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

Data inizio
1 gennaio 2008
Durata (mesi) 
30
Dipartimenti
Informatica, Ingegneria per la medicina di innovazione
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

Luca Geretti
Ricercatore a tempo determinato
Valerio Guarnieri
Graziano Pravadelli
Professore ordinario
Tiziano Villa
Professore onorario
Sara Vinco

Attività

Strutture

Condividi