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.:

• SPS-Programmiersprachen
• Statische Analyse
• Program Slicing
• Spezifikation
• Model-Checking
• Concolic Testing

Die regelmäßigen Veranstaltungstermine sind ab dem 20.10 immer Dienstags, von 14:15-15:45, und Mittwochs, von 10:15-11:45, im Hörsaal AH III (2350|314.1), im obersten Geschoss des Hauptbaus des Informatikgebäudes (vom Eingang Ahornstraße geradeaus, durch das Foyer und den Flur bis zum AH I, dann die Treppe nach oben). 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 erste Klausur findet am 15.02.2016, von 14:00-16:00 statt. Die Nachholklausur am 15.03.2016, 10:00-12:00.

Klausurrelevant sind die Inhalte aller Vorlesungen und Übungen.

wird noch bekannt gegeben

• Dr. rer. nat. Dimitri Bohlender
• Hendrik Simon, M.Sc.
• Dr. rer. nat. Marcus Völker