Design by Contract Approach to Support Software Updates of CPS

Cyber-physical systems (e.g., planes, cars, medical devices) are systems where the software extensively interact with their working environment. The software of these systems is typically made by multiple software components. Effectively managing these software components is challenging since software failures can lead to catastrophic consequences. To ensure safety, engineers need to ensure that hazards are sufficiently mitigated. The goal of this project is to define a design-by-contract approach for CPS designed using Simulink System Composer a widely used tool used to define CPS software. Design-by-contract will enable to define the contract (assumptions and guarantees) of each software component in a rigorous and systematic manner and to use them to reason about the system safety. This project will help University of Toronto, University of Bergamo (and more generally Canada and Italy) to foster their collaboration with industrial partners working in the CPS domain. It help enhancing the longstanding collaboration between Prof. Menghi and Prof. Chechik. It will enable the student to interact with prominent researchers in their field, and publish and present their work at prestigious conferences.

Faculty Supervisor:

Marsha Chechik

Student:

Partner:

University of Bergamo

Discipline:

Computer science

Sector:

Education

University:

University of Toronto

Program: