USI - Email

Archive / INF Seminars / INF_2025_01_28_AngeloGargantini

USI - Email

	A formal approach to software engineering for the Validation and Verification of safety critical systems

Host: Prof. Carlo A. Furia

Tuesday

28.01

USI East Campus, Room D0.02

11:00 - 12:00


	Angelo Gargantini University of Bergamo

Abstract: In safety-critical systems, ensuring reliability and safety is paramount due to the potential consequences of system failures. This seminar presents a formal approach to software engineering, specifically tailored for the validation and verification (V&V) of safety-critical systems. I will present some rigorous techniques for system specification, modeling, and verification (especially testing), providing a structured foundation for ensuring system correctness and compliance with safety standards. The seminar discusses key challenges in applying formal approaches, such as scalability and tool integration (and our experience in developing such tools), and illustrates how some examples on how the proposed techniques can be practically applied to real-world systems like medical systems - including those based on Machine Learning algorithms.

Biography: Angelo Gargantini graduated in electronic engineering with laude at Politecnico di Milano in 1994. He completed the Ph.D. program at Politecnico di Milano in Computer Science Engineering and a PhD in Computer Science at the University of Catania. From 1997 to 1998, he worked as researcher at the Naval Research Lab (USA). From January 2005, he has been assistant professor at the University of Bergamo, Italy, from 2015 he has been full time associate professor, and from February 2021 he is full professor. He leads the Formal Methods & Software Engineering (FOSELAB) group at the University of Bergamo. Research interests: Formal methods for Software Engineering, especially specification, design, validation, verification, and testing of medical systems. Model based testing, especially combinatorial interaction testing and logic testing. He has been in the top 2% scientists worldwide according to Scopus since 2019. Click here for his homepage.