Software in sicherheitsrelevanten Systemen Ralf Pinger Stefan Gerken

Software in sicherheitsrelevanten Systemen Ralf Pinger / Stefan Gerken / Helge Zücker Sommersemester 2017

Software in sicherheitsrelevanten Systemen Inhaltsübersicht 1. 2. 3. 4. 5. 6. 7. Page 2 Was sind Sicherheit und Verfügbarkeit? SW und Systeme Risiko- und Gefährdungsanalyse konstruktive Grundprinzipien der Sicherheit Normen Software für sicherheitsrelevante Systeme Sichere Kommunikation 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Organisatorisches - Termine Vorlesungstermine, Do 08: 00 - 09: 30 § § § Do, 27. 04. 2017 Do, 04. 05. 2017 Do, 11. 05. 2017 Do, 18. 05. 2017 Feiertag Do, 25. 05. 2017 Do, 01. 06. 2017 Exkursionswoche am 06. – 09. 06. Do, 15. 06. 2017 Do, 22. 06. 2017 Do, 29. 06. 2017 Do, 06. 07. 2017 Do, 13. 07. 2017 Page 3 12/4/2020 Kleine Übung § Blockveranstaltung Exkursionswoche 06. – 09. 06. 2017 § praktischer Umgang mit SCADE § Gehalten von Esterel Technologies Gmb. H § § § Sprechstunde: nach Vereinbarung Prüfung: nach Vereinbarung Kontakte: § ralf. pinger@siemens. com § stefan. gerken@siemens. co Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Organisatorisches - SCADE-Schulung Datum: 06. - 09. 06. 2017 Zeit: 9: 00 Uhr – 17: 00 Uhr Ort: Siemens AG Ackerstraße 22 Raum: Gebäude 37, Raum 37201 § bitte beim Eingang Ost melden § der Raum ist im Erdgeschoss links den Gang hinunter und dann geradezu Page 4 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Internet § § § www. stellwerke. de – private Seite zu Eisenbahnsignalsystemen www. wikipedia. de – Nachschlagewerk (auch zur Eisenbahnsignaltechnik) www. montenegros. de/sergio/index. html – Dr. Sergio Montenegro-Retana, Forscher am DLR für dependable Systems (vorher Fhg-FIRST), Autor von „Sichere und Fehlertolerante Steuerungen“, Hanser Verlag, Sept. 1999, ISBN: 3 -446 -21235 -3 http: //sunnyday. mit. edu/book 2. pdf – Nancy G. Levesons zweites Buch http: //liggesmeyer. de - Prof. Dr. . -Ing. Peter Liggesmeyer, Inhaber des Lehrstuhls Software Engineering: Dependability am Fachbereich Informatik der TU Kaiserslautern http: //www. gesetze-im-internet. de – Das Bundesministerium der Justiz stellt in einem gemeinsamen Projekt mit der juris Gmb. H nahezu das gesamte aktuelle Bundesrecht kostenlos im Internet bereit. Die Gesetze und Rechtsverordnungen können in ihrer geltenden Fassung abgerufen werden. Page 6 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Internet § http: //www. din. de – Seite des Deutschen Instituts für Normung e. V. . Page 7 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Bücher 1 § § § A. Villemeur: Reliability, Availability, Maintainability and Safety Assessment Vol 1, J. Wiley & Sons, 1991 (Anm. : Methodenbeschreibungen und Rechenregeln, Standardwerk, manche Terminologie abgewandelt) Nancy G. Leveson: Safeware: System Safety and Computers, University of Washington, Addison Wesley 1995, ISBN 0 -201 -11972 -2 Horst Zuse: A Framework of Software Measurement, Publisher: Walter de Gruyter, Berlin, Genthinerstr. 13, 10785 Berlin, Phone: +49 -30 -26005 -0, 1998, 755 pages, ISBN: 3 -11 -015587 -7 Helmut Balzert: Lehrbuch der Softwaretechnik, Teil 2, Unternehmensmodellierung, Spektrum 1998, ISBN 3 -8274 -0065 -1 Jens Braband: Risikoanalysen in der Eisenbahn-Automatisierung, Edition Signal+Draht, Eurail. Press, Hamburg, 2005 Page 8 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Bücher 2 § § § Chris Rupp: Requirements-Engineering und –Management, Hanser-Verlag, ISBN 3 -446 -22877 -2 Christof Ebert: Systematisches Requirements Engineering und Management, dpunkt. Verlag, ISBN 3 -89864 -546 -0 Jean-Louis Boulanger: Safety of Computer Architectures, John Wiley & Sons, ISBN 978 -1848211971 Jean-Louis Boulanger: Industrial Use of Formal Methods: Formal Verification, John Wiley & Sons, ISBN 978 -1848213630 Jean-Louis Boulanger: Safety of Software-Based Systems, John Wiley & Sons, ISBN 978 -1848214149 Page 9 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Normen 1 § § EN 50126 – Europäische Norm, „Bahnanwendungen – Spezifikation und Nachweis der Zuverlässigkeit, Verfügbarkeit, Instandhaltbarkeit und Sicherheit (RAMS)“; Deutsche Fassung EN 50126: 1999 EN 50128 – Europäische Norm, „Bahnanwendungen – Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme – Software für Eisenbahnsteuerungs- und Überwachungssysteme; Deutsche Fassung EN 50128, Juni 2011 EN 50129 – Europäische Norm; „Bahnanwendungen – Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme – Sicherheitsrelevante elektronische Systeme für Signaltechnik; Deutsche Fassung EN 50129, Februar 2003 EN 50159 – Europäische Norm; „Bahnanwendungen – Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme - Sicherheitsrelevante Kommunikation in Übertragungssystemen“; Deutsche Fassung EN 50159, September 2010 Page 10 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen

Literatur – Normen 2 § § § DIN EN ISO 9000, „Qualitätsmanagementsysteme“ ISO/IEC 9126, „Software Engineering – Product Quality“, International Standard, first edition 1991, revised 2001 as Parts 1 – 4 IEC 60812, Analysis techniques for system reliability – Procedure for failure mode and effects analysis (FMEA), 2006 -05 IEC 61025, Fault tree analysis (FTA), 2006 -12 IEC 61165, Application of Markov Techniques, 2006 -05 IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems, 2010 -04 Page 11 12/4/2020 Ralf Pinger / Stefan Gerken Software in sicherheitsrelevanten Systemen