Marsha Chechik
(University of Toronto, Canada)
Keynote Title: Assuring Product Lines of Complex Systems
Keynote Abstract:Assuring the reliability of complex systems is a difficult and expensive undertaking. These costs are further exacerbated when a family of similar products with varying features need to be assured, or when products evolve due to changing requirements or to introduce new functionalities. In this talk I will discuss methods for assuring reliability of such systems, from their representation as product lines to their efficient analysis to methods for building and maintaining assurance cases for such systems using templates.
Bio: Marsha Chechik is Professor and former Chair in the Department of Computer Science at the University of Toronto, where she holds Bell University Labs Chair in Software Engineering. In 2022, she served as Acting Dean in Faculty of Information. Her research interests are in the application of formal methods to improve the quality of software. She has co-authored numerous papers in formal methods, software specification and verification, computer safety and security, and requirements engineering. She is a member of IFIP Working Group 2.9 on Requirements Engineering, an Associate Editor-in-Chief of IEEE Transactions on Software Engineering and Associate Editor-in-Chief of Journal on Software and Systems Modeling. She has been Program Committee Chair of top software engineering and verification conferences: ASE’14, ESEC/FSE’21, TACAS’16, ICSE’18, FM’23, MODELS’24. She is Fellow of ACM, Fellow of Automated Software Engineering and Chair of ACM SIGSOFT.
Event Timeslots (1)
Thu. 04/09
-
09:30 - 10:30
