TU BRAUNSCHWEIG

Software in sicherheitsrelevanten Systemen

Vorlesung: Do 08:00 - 9:30 Uhr
Raum: IZ 161
Übung: Mo 16:30 - 18:00 Uhr
Raum: IZ 161

Veranstaltungsnummer: INF-PRS-043
Veranstaltungsnummer Übung: INF-PRS-044
Modulnummer: INF-SSE-32

Dozent: Dr. R. Pinger, S. Gerken
Übung: Helge Zücker



Art der Veranstaltung: Vorlesung + Übung
Stundenzahl: 2+1
Leistungspunkte: 5

Hörerkreis: Studenten und Studentinnen der Informatik, Wirtschaftsinformatik und Informationssystemtechnik im Master, oder fortgeschrittenen Bachelorstudium
Voraussetzungen: grundlegende Kenntnisse in Informatik
Scheinerwerb: nach Absprache

Inhalt: Software, die in sicherheitsrelevanten Systemen eingesetzt wird, unterliegt besonderen Qualitätsanforderungen, die in unterschiedlichen Normen beschrieben sind. Daher gibt es in den Normen z. B. CENELEC für die Eisenbahnautomatisierung festgelegte Maßnahmen, die zu einer qualitativ hochwertigen Software führen sollen. Im Rahmen der Vorlesung werden zunächst die Begriffe Sicherheit und sicherheitsrelevante Software erläutert; Beispiele aus der Praxis machen die Tragweite von fehlerhaftem Verhalten sicherheitsrelevanter Systeme deutlich. Anschließend werden anhand der CENELEC-Normen die Maßnahmen diskutiert, die zur Erreichung der hohen Qualität der Software beitragen. Hier wird insbesondere auf Werkzeuge zur Analyse und zur Qualitätssicherung einge-gangen. Darüber hinaus behandelt die Vorlesung auch Anforderungen an Entwicklungswerkzeuge, die für die Pflege und Wartung von Produkten mit Produktlebenszyklen von mehr als 30 Jahren eine notwendige Voraussetzung für den industriellen Einsatz sind. Analog zur den Qualitätsmaßstäben für sicherheitsrelevante Applikationen werden Qualitätsmaßstäbe für Entwicklungswerkzeuge erläutert. Die Vorlesung gibt anhand von Beispielen aus der Praxis Einblicke in die industrielle Entwicklung sicherheitsrelevanter Software sowie dem Umgang mit langlebigen Produkten. In den Übungen zur Vorlesung steht die praktische Anwendung des Entwicklungswerkzeugs SCADE im Mittelpunkt.

Besonderheiten: Entgegen der bisherigen Vorlesungen findet in diesem Jahr die Übung als begleitende Übung statt. Die Exkursionswoche ist in diesem Jahr also frei für Exkursionen.
Die Organisation der Übungen wird in der Vorlesung bekannt gegeben.



Terminplanung (vorläufig):

Donnerstag 08:00 - 09:30
Do, 11.04.2019 fällt aus
Do, 18.04.2019 fällt aus
Do, 25.04.2019 krankheitsbedingter Ausfall
Do, 02.05.2019 Start
Do, 09.05.2019
Do, 16.05.2019
Mo, 20.05.2019 Start der Übungen
Do, 23.05.2019
Mo, 27.05.2019 Übung
Do, 30.05.2019 Feiertag
Mo, 03.06.2019 Übung
Do, 06.06.2019
Do, 13.06.2019 Exkursionswoche
Mo, 17.06.2019 Übung
Do, 20.06.2019
Mo, 24.06.2019 Übung
Do, 27.06.2019
Mo, 01.07.2019 Übung
Do, 04.07.2019 fällt aus
Do, 11.07.2019


Download:
Vorlesungsfolien Kap 0
Vorlesungsfolien Kap 1
Vorlesungsfolien Kap 2
Vorlesungsfolien Kap 3
Vorlesungsfolien Kap 4
Vorlesungsfolien Kap 5
Vorlesungsfolien Kap 6
Vorlesungsfolien Kap 7

Übung zu Software in sicherheitsrelevanten Systemen
Übung: My Counter
Hinweise zum Beispielprojekt 1.0
Logik einer Bahnübergangssteuerung
Übung 2


Last modified: Wed Jul 10 21:33:14 2019


  last changed 19.03.2019
TU_Icon_E_Mail_1_17x17_RGB pagetop