Module summary
Module name:
Internal number:
Pre-requisites with regard to content: Computer Engineering 2, System Software
Pre-requisites according to the examination regulations:
Module Internship

The realisation of technical systems is at the teaching core of this module. Two different basic concepts are addressed: Concepts for the software development of autonomous systems and the hardware concepts, which have to be employed to realise such systems. The module spans the corresponding space of system compositions with respect to hardware and software. The module builds upon the previous courses of computer engineering and software engineering. Therefore it can advance the students quite far conceptually as well as concerning the application fields. The focus is on the domain specific conceptual thinking, which supports the decision making competence of the graduatesfor therealisation ofsystems. The module also enables the graduates for further scientific activities in system development.

Written Exam 120 Min. (graded)
Course: Autonomous Systems
Internal number: INFB6217.b Type/mode: Lecture
Prof. Dr. Martin Sulzmann
Language of instruction:
Credits (ECTS): 2 Contact hours: 2
Workload: 60 hours (30 hours presence, 30 hours self-contained work) Assessment: Module exam

Students in this course

  • obtain an overview of methods for formal modelling and verification of autonomous/reactive systems,
  • get to know programming concepts to master highly concurrent/distributed systems.l

Selection of topics covered:

(1) Modeling and Verification

  • Statemachine models
    • Mealy/Moore
    • Communication statemachines
    • Timed statemachines
    • Harel Statecharts
  • Specification
    • Reguar languages
    • Temporal logic (CTL)
  • Modelchecking
  • Testcasegeneration via modelchecking
  • Run-Time Verification
  • Coverage criteria

(2) Concurrency and Synchronisation

  • Shared memory
    • Threads and Locks
    • Lock-free Algorithms
    • Software Transactional Memory
  • Message-passing
    • Foundations: CSP, Join
    • Haskell, Go
Recommended reading:
  • Lecture notes and slides
  • Exercises
  • Selection of textbooks:
      • Real World Haskell
        by Bryan O'Sullivan, Don Stewart, and John Goerzen
      • Real-Time Systems and Programming Languages (Fourth Edition) Ada 2005,
        Real-Time Java and C/Real-Time POSIX
        by Alan Burns and Andy Wellings
      • Principles of Model Checking
        Christel Baier and Joost-Pieter Katoen
      • Real-Time UML: Developing Efficient Objects for Embedded Systems (2nd Edition)

Mix of lecture and theoretical and practical exercises.

Course: Computer architecture
Internal number: INFB6217.a Type/mode: Lecture
Dr. rer. nat. Peter Altevogt
Prof. Dr. Martin Sulzmann
Language of instruction:
Credits (ECTS): 3 Contact hours: 2
Workload: 60 hours (30 hours presence, 30 hours self-contained work) Assessment: Module exam

In the lecture we will deal with the most important principles of organization and design of microprocessors.
Microprocessors are the central building blocks of practically all current computer systems, from smartphones to supercomputers and thus of the complete digital world.

The focus of the lecture will be the programming of 64-bit ARMv8 processors and the logical design of processors with the help of Verilog.
In addition to teaching the theoretical basics, great emphasis is placed on practical programming exercises.

The following topics are covered:

  - Computer Abstractions and Technology
  - Instructions: Language of the Computer
  - Arithmetic for Computers
  - Performance Analysis
  - Logic Design with Verilog
  - The Processor
  - The Memory Hierarchy
  - Parallel Processors

Recommended reading:

Computer Organization and Design : The Hardware/Software Interface , ARM Edition,  D.A. Patterson, J.L. Hennessy, Elsevier Inc. 2017


In general, the lectures start with a discussion of the exercises associated with the previous lecture. Afterwards we address new topics.
Questions and feedback are always welcome!