News

October 2011: the european project SMAC starts and EDALab is one of the partners. The kick-off meeting is scheduled in Catania (IT) the 18th of October.

September 2011: EDALab presents the eCos embedded OS on ARM platform the next 28 September at the event organized by Atmel and MSC, in cooperation with Metodo 2

September 2011: HIFSuite and radCHECK discussed during the Panel on "Assertions Propagation, Refinement and Reuse across Abstraction Levels and Description Languages" FDL'11

June 2011: EDALab will present with STM Products radCHECK and HIFSuite at the Design Automation Conference 2011 in San Diego (CA). Our booth number in the exhibition area is 1920. Come and visit us !
Development of Embedded Solutions

  • Zigbee suite
  • Frame
  • Mybee
  • eCos
  • HIFSuite
  • radCheck
  • STI
  • Safe Home

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.

FRAME

Radius Management Software

Software tool for the accounting and authorization management based on WEB 2.0 and Radius

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.

eCos

For ARM 9 processor

Customization of the eCos embedded Operating System for ATMEL board based on ARM 9 processors.

HIFSuite

Tools for HDL code mainpulation

HIFSuite allows designers to manipulate and integrate heterogeneous components implemented by using different hardware description languages.

radCHECK

Module for the embedded software verification

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.

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.

SAFE-HOME

Domestic safety and control

Integrated communication and control system to enhance the quality of life in domestic scenarios for reliant people.

 

Software tools supporting the design of embedded systems, from simulation to verification, to the manipulation of description languages...

 

Design of networked embedded systems (hardware, software and communication) with constrained resources...

 

Integration of network, server and embedded systems for process monitoring and control...