Model Based Design of Safety and Mission Critical Systems

Many software based control systems are indeed safety or mission critical systems. Examples are: aerospace, transportation, medical devices, financial systems. In this talk I will outline my research activity as for model based synthesis and verification of software based control systems and show how the general purpose algorithms and tools developed have been used in specific application domains.


Time: 10:30
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Enrico Tronci

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma