In dieser Vorlesung werden Grundlagen und Anwendungen von statischer Analyse und Model-Checking im Bereich Steuerungssoftware vermittelt. Dazu werden entsprechende Analysen und Algorithmen auf den zyklischen Betrieb von Speicherprogrammierbaren Steuerungen angepasst. Behandelte Themen sind u.A.:
Die regelmäßigen Veranstaltungstermine sind ab dem 08.10. immer Montag, von 10:30-12:00 im Hörsaal AH II, und Mittwoch, von 10:30-12:00 im Hörsaal AH II, im Hauptbau des Informatikgebäudes. Weitere Informationen werden im L2P und im ersten Vorlesungstermin veröffentlicht.
Es werden regelmäßig Übungsblätter veröffentlicht und in den Übungen in Zusammenarbeit mit den Studierenden gelöst. Die Übungen finden ebenfalls in den unter 'Termine' genannten Slots statt und werden rechtzeitig in der Vorlesung und im L2P angekündigt. Die Vorlesung wird auf Video aufgezeichnet (d.h. Bildschirmaufnahme und Mikrofon), die Übung nicht.
Die erste Klausur findet am 04.02.2019 um 10:30 statt (AH I, AH III, BS I) – die Nachholklausur am 06.03.2019 um 10:30 (AH II, AH III).
Klausurrelevant sind die Inhalte aller Vorlesungen und Übungen.
Lernraum wird so bald wie möglich bekanntgegeben.