Programma

10.00 Apertura lavori
Prof. Ing. Gianni Vernazza
Preside della Facoltà di Ingegneria – Università degli Studi di Genova

10.30 - 11.00 Presentazione di Bombardier Transportation
Ing. Luigi Corradi – Direttore Generale

11.00 – 11.30 Presentazione MIND –LAB
Prof. Ing. Armando Tacchella

11.30 – 12.30 Presentazione dell'attività scientifica del MIND-Lab

11.30 – 11.50 Ing. Anahì Balbi
Generazione automatica di regole per l'identificazione e la previsione
di guasti in veicoli ferroviari

11.50 – 12.10 Ing. Claudia Peschiera
Utilizzo di metodi formali per la specifica e la verifica di hardware e
software safety-critical

12.10 – 12.30 Ing. Luca Pulina
Motori inferenziali per il supporto a sistemi di verifica e validazione
basati su modelli formali

12.30 – 14.00 Inaugurazione del laboratorio e rinfresco