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

Customers and project partners

Through the years EDALab has successfully worked with first level companies on both research and industrial projects. The main results into research area have been achieved into multiple years EU projects, most of which have led to EDALab products and prototypes.

Metodo 2 Logo Vulcano G20 Embedded Board

Metodo 2 produces the Vulcano G20 embedded board, based on the ARM9G20 by Atmel and suitable for any kind of networked embedded applications. EDALab supports customers in developing their own application with the Vulcano G20 board, providing also a customized version of the eCos operating system if requiered.

Telefin Logo Integrated VoIP System

EDALab has supported the customer in building a VoIP telephony system. The centerpiece of the system is a touchscreen device used by several operators in each site and is fully configurable in real time from a central monitoring station. Through the console operators can receive and emit calls to all telephone circuits interfaced with the system and monitor and change the status of many peripheral devices and appliances.

STM Logo radCHECK: software model-driven verification
radCHECK, completely designed and developed by EDALab, is the module that enables the formal verification of embedded software designed with radCASE, a tool developed by STM Products.
Infracom Logo FRAME radius manager
Tool for Radius accounting management tailored on the customer needs. FRAME is the best solution when customization and flexibility requirements are manadatory. It is based on the AMG framework, developed by EDALab to ease and speed up the building of WEB 2.0 applications with permission scheme and multi-operator workflow.
RCH Logo Porting of Embedded Operating System
EDALab created a customized version of the popular real-time embedded operating system (eCos) for ARM 9 based board.
Data4 Logo Interactive Kiosk Update
EDALab supported the customer technic team in re-engineering several part of the software logic of the kiosks.

Agsm Logo

Autec Safety Remote Control Logo Exor Logo Siemens Logo TvBlob Logo Delta Sistemi Logo Neurecam Logo Pdf Solutions Logo ST Logo Telecom Italia Lab Logo

Information Society Technologies Logo

 

EDALab is currently partner in the european projects ComplexCoconut and Smac.

Complex Logo

Coconut Logo

EDALab brought knowledge and technologies in the C4C, Vertigo, Angel and Symbad projects

C4C Logo

Vertigo Logo

Angel Logo

Symbad Logo