Dr. Werner Gabrisch

Die TeilnehmerInnen sollen Grundlagen und Methoden kennen lernen, die zur Konstruktion von Softwaresystemen in sicherheitstechnischen Bereichen wie z. B. Flugzeuge oder Automobile verwendet werden.

Ausgehend von einer Einführung in die Problematik von Steuerungssystemen für reale Prozesse werden Methoden der Beschreibung von Modellen vermittelt. Dabei wird der Schwerpunkt auf den praktischen Einsatz gelegt. Zunächst werden wesentliche Grundbegriffe der statischen und dynamischen Modellierung vorgestellt. Es werden verschieden Methoden zur Transformation der Modelle untereinander und zu ihrer Verifikation vorgestellt. Es werden Ansätze zur automatisierten Umsetzung von Modellen zu lauffähigen Programmen vermittelt.
1. Eingebettete-Systeme, Sicherheits- und Lebendigkeitsbedingungen
2. Abstrakte Zustandsmaschinen
3. Automaten mit Erweiterungen
4. Temporale Logik
5. Modellprüfung
6. Codegenerierung
7. Programmprüfung

Regelmäßige Teilnahme und an den Übungen, Erfolgreiches Lösen von Übungsaufgaben, Die Lösungen von Übungsaufgaben erklären können

mündl./schriftl./elektron. Prüfung