Kursbeschreibung

Even if you cannot see them – embedded systems are everywhere. Very often, the only time that we take notice of them is when they no longer function properly: All of a sudden, the expensive new car refuses to go any further. Doors in the shopping mall do not open or close anymore at closing time. The barrier in the parking garage remains closed. The smart phone cannot login at the network.
Embedded Systems became so complex during the course of the last decades that methods of computer-assisted design have to be applied. This module deals with the building of models and the analysis of embedded systems, focusing on the design of a uniform model for event-driven real-time systems.

The course focuses mainly on:

- Model-based design of embedded systems
- Time and real-time systems
- Modeling of embedded systems: event models and graphs
- Intrinsic analysis of real-time systems
- Extrinsic analysis of real-time systems
- Complexity and approximation of the extrinsic analysis
- Optimization and Design Space Exploration