Model Based Design and Verification

The course (self-standing learning module) aims to introduce modelling techniques for designing complex embedded systems consisting of both software and hardware components, interacting with the environment. The course focuses on system-level design, covering modelling techniques that can be used to represent requirements and design the system architecture that satisfies both functional and extra-functional (dependability and safety) requirements. At the level of system components, the modelling of interactions and state-based reactive behaviour is introduced. Regarding verification of the design, various model-based architecture analysis techniques, simulation, and model based testing are presented. The course introduces SysML and UML as system modelling languages.

The course consist of 5 main parts, presented in 9 lectures:

1. Introduction to systems modelling and the System Modelling Language (1 lecture)
2. Modelling requirements and the structure of the design (2 lectures)
3. Modelling the platform and allocation of components; designing the architecture of critical systems, and analysis of the design decisions (3 lectures)
4. Modelling the behaviour of reactive components and their communication (2 lectures)
5. Model based testing, simulation and verification (1 lecture)