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 !
Solutions
Print E-mail

EDALab solutions, available as products or application frameworks, are summarized in the table below.

 

Digital Modeling and Verification

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

Readmore

Networked Embedded Systems Design

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

Readmore

Monitoring and Control

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

Readmore
 
Site map