News

Ottobre 2011: al via il progetto europeo SMAC di cui EDALab è partner. Kick-off meeting a Catania il 18 ottobre.

Settembre 2011: EDALab presenta la piattaforma eCos su ARM all'evento del 28 Settembre presso EuroHotel di Concorezzo (MI) in collaborazione con Atmel, MSC e Metodo 2.

Settembre 2011: HIFSuite e radCHECK presentati durante la sessione "Assertion Propagation, Refinement and Reuse across Abstraction Levels and Description Languages"  al FDL'11 (http://www.ecsi.org/fdl)

Giugno 2011: EDALab presenterà con STM Products radCHECK e HIFSuite alla Design Automation Conference 2011 a San Diego (CA). Il numero dello stand è il 1920 nella sezione ESS.

Sviluppo di Software e Soluzioni Embedded

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

FRAME

Software per la gestione di Radius

Strumenti software per la gestione degli accounting e delle autorizzazioni basati su WEB 2.0 e Radius

MyBee

Localizzazione di persone od oggetti all'interno di un gruppo in movimento

Sistema basato su sensori wireless per monitorare e localizzare persone od oggetti durante i movimenti. Se un elemento del gruppo monitorato non è più presente ne permette la notifica.

WSN Middleware

API per lo sviluppo di applicazioni

ZigBee Suite Middleware sviluppato da EDALab facilita lo sviluppo di applicazioni per Networked Embedded Systems quali Smartphone, PDA, Set Top Box, Videophone, etc. che necessitano di comunicare con una rete di sensori ZigBee/802.15.4.

eCos

Sistema operativo embedded per ARM 9

Personalizzazione del Sistema Operativo embedded eCos per board ATMEL basate su processori ARM 9.

HIFSuite

Tools per la manipolazione di codice HDL

HIFSuite permette ai progettisti di manipolare e integrare componenti eterogenei implementati usando differenti linguaggi di descrizione hardware.

SAFE-HOME

Sicurezza domestica e controllo

Sistema di comunicazione e controllo integrato per accrescere la qualità di vita, negli scenari domestici, di persone che necessitano di supporto.

STI

Apparecchiature per la comunicazione VoIP

Complesso sistema integrato per la comunicazione attraverso VoIP, basato su consolle touchscreen distribuite che permettono agli operatori ferroviari di comunicare con treni e stazioni.

radCHECK

Modulo per la verifica di software embedded

Modulo di estensione per il tool radCASE per lo sviluppo di software embedded. radCHECK permette di generare proprietà formali attraverso cui verificare automaticamente le applicazioni emebedded.

 

Strumenti software a supporto della progettazione di sistemi embedded, dalla simulazione alla verifica di proprietà, alla manipolazione dei linguaggi di descrizione...

 

Progettazione di sistemi elettronici (hardware, software e comunicazioni) per esigenze particolari e di dimensioni ridotte...

 

Integrazione di servizi di rete, server e sistemi embedded per il monitoraggio e controllo dei processi...