Stud.IP Uni Oldenburg
University of Oldenburg
27.06.2022 11:40:34
inf456 - Real-Time Systems (Course overview)
Department of Computing Science 6 KP
Module components Semester courses Sommersemester 2015 Examination
Lecture
  • No access 2.01.456 - Realzeitsysteme Show lecturers
    • Prof. Dr. Ernst-Rüdiger Olderog
    • Manuel Gieseking

    Tuesday: 14:00 - 16:00, weekly (from 14/04/15), Location: A01 0-004
    Thursday: 10:00 - 12:00, weekly (from 16/04/15), Location: A05 1-160
    Dates on Thursday. 30.07.15 10:00 - 13:00, Location: A04 2-221

Exercises
Notes for the module
Time of examination
Am Ende des Semesters und nach Absprache mit dem Lehrenden
Module examination
KL
Skills to be acquired in this module
Einführung von formalen Methoden zur Spezifikation und Verifikation von zeitkritischen Systemen und deren Kombination. Es werden folgende Kenntnisse, Fertigkeiten und Kompetenzen vermittelt:

Kenntnisse:
  • diskretes und kontinuierliches Zeitmodell, Logiken und Automatenmodelle zur Spezifikation von Realzeitsystemen (Duration Calculus, TCTL, Realzeitautomaten, PLC-Automaten), Entscheidbarkeits- und Unentscheidbarkeitsresultate für Realzeitsysteme, Model-Checker UPPAAL für Realzeitautomaten, Implementierung von Realzeitsystemen auf PLC-ähnlicher Hardware
Fertigkeiten:
  • formale Spezifikation von Realzeitsystemen im Duration Calculus sowie mit Realzeitautomaten und PLC-Automaten, Verifikation konkreter Realzeitautomaten mit dem Model-Checker UPPAAL, Verifikation von Spezifikationen im Duration Calculus für diskrete Zeit mit dem Model-Checker DCVALID
Kompetenzen:
  • Fähigkeit zur Spezifikation und Verifikation von Realzeitsystemen