inf410 - Formale Methoden (Veranstaltungsübersicht)

inf410 - Formale Methoden (Veranstaltungsübersicht)

Department für Informatik 6 KP
Modulteile Semesterveranstaltungen Sommersemester 2023 Prüfungsleistung
Vorlesung
  • Kein Zugang 2.01.410 - Formale Methoden: Petrinetze, Prozessalgebren & Co. Lehrende anzeigen
    • Prof. Dr. Heike Wehrheim
    • Cedric Richter

    Montag: 14:15 - 15:45, wöchentlich (ab 17.04.2023)
    Mittwoch: 12:15 - 13:45, wöchentlich (ab 12.04.2023)

    Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.

Übung
  • Kein Zugang 2.01.410 - Formale Methoden: Petrinetze, Prozessalgebren & Co. Lehrende anzeigen
    • Prof. Dr. Heike Wehrheim
    • Cedric Richter

    Montag: 14:15 - 15:45, wöchentlich (ab 17.04.2023)
    Mittwoch: 12:15 - 13:45, wöchentlich (ab 12.04.2023)

    Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.

Hinweise zum Modul
Teilnahmevoraussetzungen
Nützliche Vorkenntnisse: Vorlesung Logik
Hinweise
Prüfungszeiten
Wöchentliche Aufgaben, am Ende mündliche Prüfung
Prüfungsleistung Modul
Klausur oder mündliche Prüfung
Kompetenzziele
Formale Methoden sind mathematisch wohldefinierte Sprachen zur Modellierung von Systemen. Die Studierenden bekommen einen Überblick über verschiedene formale Methoden und ihren Einsatz bei der Modellierung und Analyse von Informatik-Systemen. Sie wählen für eine gegebene Aufgabe adäquate Formalismen sowie zugehörige Analyseverfahren aus, wenden diese an und interpretieren Ergebnisse der Analyse.
Fachkompetenzen
Die Studierenden:
  • wenden mathematische Formalismen in der Modellierung von Informatik-Systemen an
  • wählen für eine gegebene Aufgabenstellung adäquate Modellierungssprachen aus
  • spezifizieren Informatik-Systeme formal
  • wählen geeignete Analyseverfahren aus
  • interpretieren Ergebnisse von Analyseverfahren

Methodenkompetenzen
Die Studierende:
  • führen formale Beweise durch
  • nutzen Werkzeuge zur Analyse
  • definieren die Semantik von formalen Spezifikationssprachen

Sozialkompetenzen
Die Studierenden:
  • bearbeiten in Gruppen Übungsaufgaben und erklären sich gegenseitig Inhalte
  • diskutieren Vor- und Nachteile bestimmter Formalismen

Selbstkompetenzen
Die Studierenden:
  • organisieren sich ihre eigene Arbeit an den Aufgabenstellungen des Moduls