inf205 - Formale Methoden Eingebetteter Systeme (Veranstaltungsübersicht)

inf205 - Formale Methoden Eingebetteter Systeme (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2021/2022 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
Teilnahmevoraussetzungen
Keine
Prüfungszeiten

1. Termin: Abgabe des Semesterprojekts inkl. schriftlicher Ausarbeitung eine Woche nach Ende der Vorlesungszeit; anschließend Kolloquium und Abschlussgespräch

2. Termin: Wiederholung der Abgabe des Semesterprojekts inkl. schriftlicher Ausarbeitung zwei Wochen vor Beginn des Folgesemesters anschließend Kolloquium und Abschlussgespräch
Prüfungsleistung Modul
Projekt
Die Prüfungsarbeit besteht aus einem Semesterprojekt sowie dessen Verteidigung in einem Abschluskolloquium
Kompetenzziele
Das Modul vermittelt einen Überblick über semantische Modelle für reaktive Systeme, Echtzeitsysteme und hybride Systeme, sowie Beispiele für entsprechende Spezifikationslogiken. Es erläutert zustandsexplorative Verifikationsverfahren sowohl expliziter wie symbolischer Form. Die erworbenen Kenntnisse können überall eingesetzt werden, wo es um die Entwicklung zuverlässiger Software- und Hardwaresysteme geht.
Fachkompetenzen
Die Studierenden:
  • beurteilen die Tragweite der mit formalen Methoden gewinnbaren Zertifikate fundiert
  • beurteilen die Eignung verfügbarer Verifikationswerkzeuge für eine partikuläre Fragestellung und Systemklasse
  • verwenden diese Werkzeuge an realen Systemen, interpretieren die erzielten Ergebnisse und verbessern in der Folge das untersuchte System zielgerichtet
  • bereiten Systemmodelle für automatische Analyseverfahren vor und abstrahieren bzw. kodieren diese symbolisch (oder anderweitig) entsprechend
  • konzipieren und implementieren eigene Verifikationsalgorithmen

Methodenkompetenzen
Die Studierenden:
  • beherrschen die mathematische Modellierung komplexer und heterogener Systeme
  • kennen einschlägige mathematische Modelle dynamischer Systeme und können diese auf neue Problemklassen instanziieren

Sozialkompetenzen
Die Studierenden:
  • entwickeln und implementieren im Team grundlegende Algorithmen der automatischen Verifikation
  • diskutieren die Vor- und Nachteile algorithmischer Alternativen und unterschiedlicher Formalisierungen

Selbstkompetenzen
Die Studierenden:
  • erkennen ihr fachliches und methodisches Verständnis
  • reflektieren ihre Lösungskompetenz unter Einbezug der vorgestellten Verfahren und Methoden