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