l'Unitā di Ricerca coordinata dal professor
Giacomo Bucci (Universitā di Firenze, Dipartimento di Sistemi e Informatica) ha come obiettivo l'esplorazione delle problematiche relative allo sviluppo di software embedded e middleware open-source multidominio, con particolare riferimento alle applicazioni di tempo reale e safety critical. Vengono perseguite le 4 linee di ricerca sotto riportate, coordinate ciascuna da un diverso docente:
- Metodi di progettazione, programmazione e verifica di software di tempo reale.
- Prof. Vicario (vedi scheda docente)
- Metodi di specifica e verifica di Software Embedded per applicazioni safety critical - Prof. De Nicola (vedi scheda docente)
- Software Embedded per elaborazioni di immagini nei sensori elettro/ottici
- Prof. Fantacci (vedi scheda docente)
- Software Embedded per elaborazione del segnale radar
- Prof. Tortoli (vedi scheda docente)
