COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems

Data inizio
1 gennaio 2008
Durata (mesi) 
30
Dipartimenti
Informatica
Responsabili (o referenti locali)
Fummi Franco
URL
http://coconut-project.edalab.it/

La progettazione e la verifica delle moderne piattaforme embedded, pur essendo problematiche strattamente correlate, continuano ad essere affrontate con metodologie non integrate. Ciò riduce la produttività del processo di sviluppo e rende difficile garantire che il modello finale soddisfi a pieno le proprietà desiderate.

Il progetto COCONUT mira a definire un ambiente formale basato su una stretta integrazione tra progettazione e verifica lungo tutti i passi di raffinamento del flusso di progetto di una piattaforma embedded, dalle specifiche fino alla sintesi logica e alla compilazione del SW. In particolare, COCONUT propone un nuovo flusso di modellazione e verifica per migliorare e velocizzare la progettazione e la configurazione di piattaforme embedded con particolare riguardo ai campi di applicazione relativo ai modelli costituiti sia da parti continue che discrete, come ad esempio settore delle applicazioni multimediali di rete o della gestione delle reti di sensori. In tale contesto, le attività principali di COCONUT sono relative alla definizione di strumenti e metodologie innovativi per:
- definire e validare proprietà che rappresentano le specifiche dei sistema;
- sintetizzare le proprietà in modo automatico;
- mappare modelli tra il dominio ibrido e quello discreto;
- definire processi di astrazione e raffinamento di tali modelli corretti per costruzione;
- effettuare verifica post-raffinamento.

Tutte le metodologie verranno implementate in un insieme di strumenti che agiscono a diversi livelli di astrazione nel flusso di progettazione di una piattaforma embedded.

Enti finanziatori:

Unione Europea
Finanziamento: assegnato e gestito dal dipartimento
Programma: EUROPA - Progetti Europei

Partecipanti al progetto

Nicola Bombieri
Ricercatore
Davide Bresolin
Incaricato alla ricerca
Giuseppe Di Guglielmo
Incaricato alla ricerca
Luigi Di Guglielmo
Incaricato alla ricerca
Franco Fummi
Professore ordinario
Luca Geretti
Ricercatore a tempo determinato
Valerio Guarnieri
Graziano Pravadelli
Professore associato
Tiziano Villa
Professore ordinario
Sara Vinco
Aree di ricerca coinvolte dal progetto
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Attività

Strutture