Extension module for the radCASE tool for the development of embedded software. radCHECK allows to generate the formal properties agaist which to automatically verify the embedded application.
SAFE-HOME
Domestic safety and control
Integrated communication and control system to enhance the quality of life in domestic scenarios for reliant people.
HIFSuite
Tools for HDL code mainpulation
HIFSuite allows designers to manipulate and integrate heterogeneous components implemented by using different hardware description languages.
eCos
For ARM 9 processor
Customization of the eCos embedded Operating System for ATMEL board based on ARM 9 processors.
FRAME
Radius Management Software
Software tool for the accounting and authorization management based on WEB 2.0 and Radius
STI
VoIP Communication Equipment
Complex integrated system to communicate via VoIP, based on distributed touchscreen consolles that allow railways operators to communicate with trains and stations.
WSN Middleware
API for applications development
The ZigBee Middleware Suite developed by EDALab facilitates the development of applications for Networked Embedded Systems such as Smartphones, PDAs, Set Top Box, Videophone, etc.. that need to communicate with a network of sensors based on ZigBee/802.15.4.
MyBee
Tracking people or items inside a moving group
System based on wireless sensor for monitoring and tracing during movements. It allows to be warned if an element of the monitored group is not present anymore.
