INF.01108.04 | 5 CP |
---|---|
Module label | Konstruktion sicherer Software |
Module code | INF.01108.04 |
Semester of first implementation | |
Faculty/Institute | Institut für Informatik |
Module used in courses of study / semesters |
|
Responsible person for this module | |
Further responsible persons |
Dr. Werner Gabrisch |
Prerequisites | |
Skills to be acquired in this module | Die TeilnehmerInnen sollen Grundlagen und Methoden kennen lernen, die zur Konstruktion von Softwaresystemen in sicherheitstechnischen Bereichen wie z. B. Flugzeuge oder Automobile verwendet werden. |
Module contents | 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 |
Forms of instruction |
Lecture (3 SWS)
Exercises (2 SWS) Course |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester Semester |
Module frequency | beginnend im Sommersemester im Wechsel mit |
Module capacity | unlimited |
Time of examination | |
Credit points | 5 CP |
Share on module final degree | Course 1: %; Course 2: %; Course 3: %. |
Share of module grade on the course of study's final grade | 1 |
Module course label | Course type | Course title | SWS | Workload of compulsory attendance | Workload of preparation / homework etc | Workload of independent learning | Workload (examination and preparation) | Sum workload |
---|---|---|---|---|---|---|---|---|
Course 1 | Lecture | Vorlesung | 3 | 0 | ||||
Course 2 | Exercises | Übung | 2 | 0 | ||||
Course 3 | Course | Bearbeitung der Übungsaufgaben/Selbststudium | 0 | |||||
Workload by module | 150 | 150 | ||||||
Total module workload | 150 |
Examination | Exam prerequisites | Type of examination | |
---|---|---|---|
Course 1 | |||
Course 2 | |||
Course 3 | |||
Final exam of module | 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 |
|
Exam repetition information |
Prerequisites and conditions | Prerequisites | Frequency | Compulsory attendance | Share on module grade in percent |
---|---|---|---|---|
Course 1 | Summer semester | No | % | |
Course 2 | Summer semester | No | % | |
Course 3 | Summer semester | No | % |