DEIS - Universitý di Bologna - L I A - Laboratorio d'Informatica Avanzata

Ingegneria del Software

Avviso di seminario

Specifica, analisi, convalida e verifica di sistemi time- e safety-critical in logica temporale

Ing. Angelo Morzenti (Politecnico di Milano)

Orario: Il seminario si svolgera` martedi 29 maggio dalle ore 11 alle ore 13 in aula 4.2 e dalle ore 15 alle ore 17 in aula 2.3 presso la Facolta` di Ingegneria (Viale Risorgimento 2). Il seminario e` inserito all'interno del ciclo di lezioni del corso di Ingegneria del Software.

Sommario: In un processo di sviluppo dei sistemi informatici moderno assume la massima importanza l'utilizzo di linguaggi, metodi e strumenti efficaci per la specifica dei requisiti. In tale ambito, i formalismi di tipo descrittivo si rivelano particolarmente utili in quanto permettono di specificare cosa (quali funzionalità il sistema deve fornire) senza prescrivere come (mediante quale architettura e quali meccanismi il sistema realizza tali funzionalità). Nel seminario si illustra l'uso di TRIO, una logica temporale con metrica sviluppata presso il Politecnico di Milano, nella specifica di alcuni esempi significativi di sistemi, particolarmente critici sotto l'aspetto della sicurezza e delle temporizzazioni. Si mostra come le specifiche in TRIO possano fornire un supporto efficace alle attività di analisi del sistema (come si comporta effettivamente il sistema descritto dalla specifica? quali sono le sue più interessanti proprietà?), di convalida della specifica (la specifica esprime in modo preciso, esauriente e non ambiguo i requisiti?) e di verifica della realizzazione (il sistema progettato soddisfa i requisiti, così come espressi dalla specifica?).

Mail Your Comments to DocMaster