Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-62-36-M-6

Model-based Design of Embedded Systems (M, 8.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-62-36-M-6 Model-based Design of Embedded Systems 8.0 CP (240 h)


CP, Effort 8.0 CP = 240 h
Position of the semester 1 Sem. in WiSe
Level [6] Master (General)
Language [EN] English
Module Manager
Area of study [INF-ES] Embedded Systems and Robotics
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active


old title: Hardware-Software-Systems


Type/SWS Course Number Title Choice in
Presence-Time /
SL SL is
required for exa.
PL CP Sem.
4V+2U INF-62-36-K-6
Model-based Design of Embedded Systems
P 84 h 156 h
ja PL1 8.0 WiSe
  • About [INF-62-36-K-6]: Title: "Model-based Design of Embedded Systems"; Presence-Time: 84 h; Self-Study: 156 h
  • About [INF-62-36-K-6]: The study achievement "[U-Schein] proof of successful participation in the exercise classes (ungraded)" must be obtained.
    • It is a prerequisite for the examination for PL1.

Examination achievement PL1

  • Form of examination: written exam (Klausur) (60-180 Min.)
  • Examination Frequency: each winter semester
  • Examination number: 66237 ("Model-based Design of Embedded Systems")

Evaluation of grades

The grade of the module examination is also the module grade.


Reactive embedded systems continuously interact with their environment, performing multiple actions in parallel. For precise modeling of these systems, different models of computation (MoC) have been introduced. This lecture covers the most important MoCs and explains their advantages and disadvantages. In particular, algorithms are discussed that can be used to ensure consistency conditions of these MoCs such as causality, clock consistency, limitation to finite memory, etc.
  • formal basics: partial orders, lattices and complete orders and fixed point sets
  • Data flow process networks as asynchronous MoC
    • Syntax and semantics (operational and denotational; problem of abstraction)
    • Scheduling of (quasi-)static data flow process networks
  • polychronic data flow process networks: clock consistency
  • synchronous MoCs: quartz and statecharts
    • Syntax and semantics (operational SOS rules)
    • Translation from quartz to synchronous trigger actions
    • Synthesis of sequential programs (automata)
    • Synthesis of circuits (Boolean systems of equations)
    • symbolic causality analysis
  • endochronous systems: global asynchronous/local synchronous systems
  • discrete event-based systems: VHDL and SystemC

Competencies / intended learning achievements

Upon successful completion of the module, students will be able to
  • describe reactive systems with different calculation models/languages
  • check models for consistency (causality, clock consistency, etc.)
  • transform synchronous and asynchronous models into each other,
  • generate hardware and software components from these descriptions
  • adapt the models to suitable target platforms.


  • A. Jantsch, Modeling Embedded Sytems and SoC's, Morgan Kaufmann, 2004.
  • P.J. Ashenden, The VHDL Cookbook, available online, 1990.
  • Soonhoi Ha, Jürgen Teich; Handbook of Hardware/Software Codesign; Springer, 2017
  • K. Schneider, The Synchronous Programming Language Quartz, available online, 2010.
  • J. Teich, Digitale Hardware/Software-Systeme - Synthese und Optimierung, Springer 1997.

Requirements for attendance of the module (informal)


Requirements for attendance of the module (formal)


References to Module / Module Number [INF-62-36-M-6]

Course of Study Section Choice/Obligation
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[EIT-88.A20-SG#2021] M.Sc. European Master in Embedded Computing Systems (EMECS) [2021] [Free Elective Area] Elective Subjects [W] Elective Module
[EIT-88.D55-SG#2021] M.Sc. Embedded Computing Systems (ESY) [2021] [Free Elective Area] Elective Subjects [W] Elective Module
Module-Pool Name
[GS-CVT-CS-2022-E-MPOOL-6] Catalog Electives Computer Science 2022
[GS-CVT-CS-E-MPOOL-6] Catalog Electives Computer Science