Model Based Design of Safety and Mission Critical Systems
Date: Wed 19 Feb 2020
Venue: Dipartimento di Informatica, Via Salaria 113, Third Floor, Seminari Lecture Room
Speaker: Enrico Tronci
Title: Model Based Design of Safety and Mission Critical Systems
Abstract: 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.