Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III)

Starting date
October 14, 2010
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Pravadelli Graziano

Il presente progetto, finanziato dal Raggruppamento Temporaneo di Impresa denominato VERILAB, si colloca nell'ambito delle attività del progetto VAFER approvato dalla Regione Veneto il cui obiettivo consiste nella realizzazione di uno strumento di verifica semi-formale per applicazioni embedded basato su assertion-based verification.
Il progetto è diviso in 3 azioni (Azione I, Azione III e Azione V).
Le attività che il dipartimento di informatica svolgerà nell'ambito dell'azione II sono:
- Supporto per l’ingegnerizzazione delle funzionalità dell’ambiente di verifica definite nell’AZIONE I con particolare riferimento all’implementazione di tecniche di assertion-based verification, mutation analysis e mutation testing.

Sponsors:

EDALab s.r.l.
Funds: assigned and managed by the department
Syllabus: ART66 - Attività Commerciale
MCE Meccanica s.r.l.
Funds: assigned and managed by the department
Syllabus: ART66 - Attività Commerciale
STM Products s.r.l.
Funds: assigned and managed by the department
Syllabus: ART66 - Attività Commerciale

Project participants

Giuseppe Di Guglielmo
Research Assistants
Luigi Di Guglielmo
Research Assistants
Franco Fummi
Full Professor
Graziano Pravadelli
Associate Professor
Stefano Soffia
Research areas involved in the project
Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems

Activities

Research facilities