INF.01108.04 | 5 CP |
---|---|
Modulbezeichnung | Konstruktion sicherer Software |
Modulcode | INF.01108.04 |
Semester der erstmaligen Durchführung | |
Fachbereich/Institut | Institut für Informatik |
Verwendet in Studiengängen / Semestern |
|
Modulverantwortliche/r | |
Weitere verantwortliche Personen |
Dr. Werner Gabrisch |
Teilnahmevoraussetzungen | |
Kompetenzziele | Die TeilnehmerInnen sollen Grundlagen und Methoden kennen lernen, die zur Konstruktion von Softwaresystemen in sicherheitstechnischen Bereichen wie z. B. Flugzeuge oder Automobile verwendet werden. |
Modulinhalte | 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 |
Lehrveranstaltungsformen |
Vorlesung (3 SWS)
Übung (2 SWS) Kursus |
Unterrichtsprachen | Deutsch, Englisch |
Dauer in Semestern | 1 Semester Semester |
Angebotsrhythmus Modul | beginnend im Sommersemester im Wechsel mit |
Aufnahmekapazität Modul | unbegrenzt |
Prüfungsebene | |
Credit-Points | 5 CP |
Modulabschlussnote | LV 1: %; LV 2: %; LV 3: %. |
Faktor der Modulnote für die Endnote des Studiengangs | 1 |
Modulveranstaltung | Lehrveranstaltungsform | Veranstaltungstitel | SWS | Workload Präsenz | Workload Vor- / Nachbereitung | Workload selbstgestaltete Arbeit | Workload Prüfung incl. Vorbereitung | Workload Summe |
---|---|---|---|---|---|---|---|---|
LV 1 | Vorlesung | Vorlesung | 3 | 0 | ||||
LV 2 | Übung | Übung | 2 | 0 | ||||
LV 3 | Kursus | Bearbeitung der Übungsaufgaben/Selbststudium | 0 | |||||
Workload modulbezogen | 150 | 150 | ||||||
Workload Modul insgesamt | 150 |
Prüfung | Prüfungsvorleistung | Prüfungsform | |
---|---|---|---|
LV 1 | |||
LV 2 | |||
LV 3 | |||
Gesamtmodul | 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 |
|
Wiederholungsprüfung |
Regularien | Teilnahmevoraussetzungen | Angebotsrhythmus | Anwesenheitspflicht | Gewicht an Modulnote in % |
---|---|---|---|---|
LV 1 | Sommersemester | Nein | % | |
LV 2 | Sommersemester | Nein | % | |
LV 3 | Sommersemester | Nein | % |