Module Number

INFO-4311
Module Title

Modeling and Analysis of Embedded Systems
Lecture Type(s)

Lecture, Tutorial
ECTS 6
Work load
- Contact time
- Self study
Workload:
180 h
Class time:
60 h / 4 SWS
Self study:
120 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

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

Content

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.

Objectives

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.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Lecture
V
o
2
4.0
ot
30
g
100
Tutorial
Ü
o
2
2.0
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other Bringmann
Literature

• 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.

Last offered Wintersemester 2022
Planned for Wintersemester 2024
Assigned Study Areas INFO-INFO, INFO-PRAK, INFO-TECH, MEDI-APPL, MEDI-INFO, MEDI-MEDI, MEDI-MMT, ML-CS