Stud.IP Uni Oldenburg
University of Oldenburg
04.10.2022 11:30:36
inf456 - Real-Time Systems (Course overview)
Department of Computing Science 6 KP
Module components Semester courses Wintersemester 2022/2023 Examination
Hinweise zum Modul
At the end of the lecture period
Module examination
Exercises and written or oral exam
Skills to be acquired in this module
Introduction to formal methods of the specification and verification of time sensitive systems and their combinations.

Professional competence
The students:
  • Learn about different models of time and real-time properties
  • Specify and verify real-time systems
  • Model real-time systems using Timed Automata and PLC-Automata
  • Apply the model checker UPPAAL for the verification of real-time properties
  • Specify real-time systems using the Duration Calculus
  • Learn about decidability and undecidability results for real-time systems

Methodological competence
The students:
  • Recognize logic and automata as adequate forms for describing real-time systems

Social competence
The students:
  • Work together in small groups to solve problems
  • Present their solutions to groups of other students 

The students:
  • Learn persistence in pursuing difficult tasks
  • Learn precision in specifying problems