inf456 - Realzeitsysteme (Veranstaltungsübersicht)

inf456 - Realzeitsysteme (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2017/2018 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
Teilnahmevoraussetzungen

Theoretische Informatik I + II

Prüfungszeiten

Am Ende der Vorlesungszeit

Prüfungsleistung Modul

Fachpraktische Übungen und mündliche Prüfung.

Kompetenzziele

Einführung von formalen Methoden zur Spezifikation und Verifikation von zeitkritischen Systemen und deren Kombination.
Fachkompetenzen
Die Studierenden:

  • lernen Zeitmodelle und Realzeiteigenschaften kennen
  • spezifizieren und verifizieren Realzeitsysteme
  • modellieren Realzeitsysteme mit Realzeitautomaten und PLC-Automaten
  • wenden den Model-Checker UPPAAL zur Verifikation von Realzeiteigenschaften an
  • spezifizieren Realzeitsysteme im Duration Calculus
  • lernen Entscheidbarkeits- und Unentscheidbarkeitsresultate für Realzeitsysteme kennen

Methodenkompetenzen
Die Studierenden:

  • erkennen Logik und Automaten als adäquate Beschreibungsformen für Realzeitsysteme     

Sozialkompetenzen
Die Studierenden:

  • arbeiten in kleinen Gruppen an Lösungen von Aufgaben
  • präsentieren Lösungen von Aufgaben vor Gruppen

Selbstkompetenzen
Die Studierenden:

  • erlernen Ausdauer bei der Bearbeitung schwieriger Aufgaben
  • erlernen Präzision bei der Spezifikation von Problemen