The course includes
- Lectures, where overview and inspiration are provided.
- Laboratory exercises, where tools and techniques are introduced, and a set of practical excercises are carried out by the participants in groups.
- Classroom exercises, where the participants can elaborate and practice theoretical parts of the course.
Each week of the course focuses on a specific theme. The exercises are modularized according to these themes. The exercises include the implementation of functionalities with RTOS in a single and distributed system. In parts of the exercises, the system designs will be modelled and analyzed using Matlab Simulink/Stateflow and other techniques.
This course aims to equip the participants with fundamental knowledge and practical skills for the development of embedded systems with emphasis on correctness by construction, verification, and debugging. This understanding means that You after the course should be able to
1. examplify embedded systems and their applications, describe the special requirements placed in developing such systems and the differences among different application domains (e.g. automotive, automation and medtech).
2. describe and apply systematic approaches to system development including requirement specification, function design and realization, verification and validation.
3. classify and explain different types of functionalities, behaviors, their corresponding modeling techniques and implications on software, hardware, and real-time implementation.
4. apply your knowledge in control theory and software programming in the design and implementation of control applications on distributed computers.
5. describe, explain, and apply software platform technologies (real-time operating systems - RTOS).
6. describe and explain fundamental techniques for verification and debugging, including how to derive test cases, and apply a subset of these techiques.
7. analyze system requirements, derive the implied functional and nonfunctional constraints, and motivate architectural design and execution strategies using reference styles and patterns.
8. understand the trends and state-of-the-art approaches to model- and component-based development of embedded systems.