Intended learning outcomes *
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.