Transcript Software in sicherheitsrelevanten Systemen

Software in
sicherheitsrelevanten Systemen
Ralf Pinger / Stefan Gerken
Sommersemester 2013
Model based
Software Engineering
Software in sicherheitsrelevanten Systemen
Inhaltsübersicht
1.
2.
3.
4.
5.
6.
7.
Page 2
Model based
Development
Model based
Testing
Application
model
Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Test model
Analysis
Organisatorisches - Termine
Vorlesungstermine, Do 08:00 - 09:30














Do, 11.04.2013
Do, 18.04.2013
Do, 25.04.2013
Do, 02.05.2013
Christi Himmelfahrt am Do, 09.05.2013
Do, 16.05.2013 fällt aus
Exkursionswoche am Do, 23.05.2013
Do, 30.05.2013
Do, 06.06.2013
Do, 13.06.2013
Ggf. Do, 20.06.2013
Ggf. Do, 27.06.2013
Ggf. Do, 04.07.2013
Ggf. Do, 11.07.2013
Page 3
09.04.2015
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
Kleine Übung
 Blockveranstaltung Exkursionswoche
21.05.-24.05.2013

praktischer Umgang mit SCADE

Gehalten von Esterel
Technologies GmbH



Sprechstunde: nach Vereinbarung
Prüfung: nach Vereinbarung
Kontakte:

[email protected]

[email protected]
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Test model
Analysis
Organisatorisches - SCADE-Schulung
Datum:
21.05.-24.05.2013
Zeit:
9:00 Uhr – 17:00 Uhr
Ort:
Siemens AG
Ackerstraße 22
Raum:
Gebäude 37,
Raum 37235
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)

bitte beim Eingang Ost melden

der Raum ist im Erdgeschoss rechts den Gang hinunter und dann auf der
linken Seite
Page 4
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Internet






Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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/book2.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 GmbH nahezu das gesamte
aktuelle Bundesrecht kostenlos im Internet bereit. Die Gesetze und
Rechtsverordnungen können in ihrer geltenden Fassung abgerufen werden.
Page 6
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Internet

Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
http://www.din.de – Seite des Deutschen Instituts für Normung e. V..
Page 7
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Bücher 1





Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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, EurailPress, Hamburg, 2005
Page 8
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Bücher 2





Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Normen 1




Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013
Model based
Software Engineering
Model based
Development
Model based
Testing
Application
model
Literatur – Normen 2






Test model
Analysis
Modeltransformation
Code
(executable)
Modeltransformation
Testcases
(executable)
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
09.04.2015
Ralf Pinger / Stefan Gerken
Software in sicherheitsrelevanten Systemen
Sommersemester 2013