Stud.IP Uni Oldenburg
Universität Oldenburg
20.05.2022 10:46:50
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
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:

- erkennen ihr fachliches und methodisches Verständnis
- reflektieren ihre Lösungskompetenz unter Einbezug der vorgestellten Verfahren und Methoden