WFM: Model-Based Software Design

Schedule

The course will start on June 1st, 2020. It will consist of about 7 interactive online lectures during the month of June, followed by projects to be done until September 15, 2020. The time slots for the lectures will be established together with all participants at the course start. The project work will be guided via regular online meetings organized separately per project team.

Contents

This lectures presents modern methodologies for software development in cyber-physical systems (CPS). A CPS consists of a multitude of distributed networked computational platforms interacting with the physical world. Some examples are: avionics and automotive control systems, factory automation, surveillance, building automation, and so on. Model-Based Design processes involve analysis and design activities on system models (i.e., models of the application and of the physical system under control). These activities are performed in successive iterations, starting with a high-level (e.g., mathematical) model of the entire system. At every iteration, the models are refined (by adding more details) until the software is obtained.

Lecture slides

will follow

Projects

will follow

Literature

• MBSD textbooks.pdf