Oral examination (written exam if there are a large number of participants), exercise points can included as a grade bonus in the assessment of the exam

Embedded systems are a fundamental component in many technical systems and have become an integral part of everyday life, e.g. in mobile communications, medical technology, consumer electronics, the smart home, (fully) automated vehicles, industrial automation, and the Internet-of-Things (IoT). The associated extensive requirements for embedded systems with the manifold dependencies between software and hardware require application-specific design methods for embedded software. This module introduces modeling, analysis, and implementation techniques that consider the interaction of software with the underlying hardware architecture in terms of performance, energy efficiency, reliability, and functional safety at an early stage. Current research and development trends in embedded systems design are highlighted to introduce students to a topic of high industrial relevance at an early stage, providing both basic theoretical knowledge and domain-specific application skills.

This module enables students to develop embedded systems and to compare specification techniques for embedded systems with each other and they are confronted with problems from the field of embedded systems that are relevant for science and industry. The students know the theoretical approaches to modelling and analysing embedded software, taking into account task scheduling, priority inversion, communication overhead as well as the influences of the hardware architecture, and can apply these to different practical problems in the design of embedded software systems. The exercises are worked on independently by the students in small groups and self-confidence, rhetorical skills and critical faculties are trained by demonstrating the achieved results.

• O. Bringmann, W. Lange, M. Bogdan: Eingebettete Systeme: Entwurf, Modellierung und Synthese; De Gruyter Oldenbourg, 3. überarbeitete Auflage, 2018.
• P. Marwedel: Embedded System Design – Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things; Springer, 3. Auflage, 2018.
• C. Haubelt, J. Teich: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation; Springer 2010.