Stud.IP Uni Oldenburg
Universität Oldenburg
20.09.2020 23:17:17
inf456 - Realzeitsysteme
Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2020 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
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

Nach oben