This is an archived page and is no longer updated.
Computer Safety
RVS-Bk-11-01
Safety of Computer-Based Systems
(draft version from July 27, 2011)
(final version to be published by Springer-Verlag, Heidelberg and London)
Peter Ladkin, Technische Fakultät, Universität Bielefeld,
ladkin@rvs.uni-bielefeld.de;
Bernd Sieker, Technische Fakultät, Universität Bielefeld,
bsieker@rvs.uni-bielefeld.de;
Jan Sanders, Technische Fakultät, Universität Bielefeld,
sanders@rvs.uni-bielefeld.de;
et.al.
This is a draft manuscript. All rights are reserved by the authors.
- Title and contents
[ PDF ]
- Kapitel 1: Ein Beispiel für eine alltägliche technische Risikoanalyse
[ PDF ]
- Kapitel 2: Grundlagen der Systemanalyse
[ PDF ]
- Kapitel 3: Unfall-Analyse
[ PDF ]
- Kapitel 4: Beispiel einer Why-Because-Analyse
[ PDF ]
- Kapitel 5: Probleme mit der Verwendung des Begriffs Hazard zur Risikoberechnung
[ PDF ]
- Kapitel 6: Definitionen und Terminologie
[ PDF ]
- Kapitel 7: Einführung in die Geefährdungs-Analyse
[ PDF ]
- Kapitel 8: Ontological Hazard Analysis - Überblick
[ PDF ]
- Kapitel 9: OHA-Beispiel - Automobil-Kommunikationsbus
[ PDF ]
- Kapitel 10: OHA-Beispiel - Zugleitbetrieb nach FV-NE
[ PDF ]
- Kapitel 11: Probabilistische Risiko-Analyse
[ PDF ]
- Kapitel 12: An Overview of IEC 61508 on E/E/PE Functional Safety
[ PDF ]
- Kapitel 13: Kontextfreie SILs
[ PDF ]
- Kapitel 14: Software-Richtlinien für IEC 61508
[ PDF ]
- Kapitel 15: Securing the Interface: Safety-Critical Interaction between Humans and Mobile Robots
[ PDF ]
- Kapitel 16: Herleitung einer Berechnung von Littlewood und Strigini
[ PDF ]
- References
[ PDF ]