Stud.IP Uni Oldenburg
Universität Oldenburg
22.11.2019 03:44:12
inf205 - Formale Methoden Eingebetteter Systeme
Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Wintersemester 2019/2020 Prüfungsleistung
Vorlesung
Übung
Hinweise zum Modul
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
Kompetenzziele
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: -

Nach oben