inf456 - Realzeitsysteme (Veranstaltungsübersicht)

inf456 - Realzeitsysteme (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2015 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.456 - Realzeitsysteme Lehrende anzeigen
    • Prof. Dr. Ernst-Rüdiger Olderog
    • Manuel Gieseking

    Dienstag: 14:00 - 16:00, wöchentlich (ab 14.04.2015), Ort: A01 0-004
    Donnerstag: 10:00 - 12:00, wöchentlich (ab 16.04.2015), Ort: A05 1-160
    Termine am Donnerstag, 30.07.2015 10:00 - 13:00, Ort: A04 2-221
Übung
Hinweise zum Modul
Prüfungszeiten
Am Ende des Semesters und nach Absprache mit dem Lehrenden
Prüfungsleistung Modul
Semesterbegleitende fachpraktische Übungen und mündliche Prüfung
Kompetenzziele
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