Model Based Design and Verification (RESCHIP4EU)

This Model Based Design and Verification course (a self-standing learning module) aims to introduce modelling techniques for designing complex embedded systems - consisting of both software and hardware components - that interact with the environment. 

About this course

The course focuses on system-level design, including modelling techniques that can be used to represent requirements and design systems architecture that satisfies both functional and extra-functional requirements (such as dependability and safety). 

Modelling interactions and state-based reactive behaviour are introduced at the level of system components. For verification of the design, various model-based architecture analysis techniques, simulations, and model-based testing methods will be presented. The course also introduces SysML and UML as system modelling languages.

The course curriculum

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

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

About the instructor

Istvan Majzik is an associate professor in the Department of Artificial Intelligence and Systems Engineering at the Budapest University of Technology and Economics (BME) in Budapest, Hungary. 

About RESCHIP4EU

This course is developed and delivered under the European Union's Digital Europe Programme Reinforcing Skills in Chips Design for Europe (RESCHIP4EU) project. This initiative aims to support the excellence of EU higher education around embedded systems design in a holistic way, from silicon via System-on-Chip design and manufacturing to smart and safety-critical platform and application software.