Digital System Safety

RVS-Bk-17-02

(draft Version 1.0 from 2017-12-11)

Faculty of Technology, Bielefeld University, ladkin@rvs.uni-bielefeld.de

Causalis Ingenieurgesellschaft mbH and Causalis Limited, ladkin@causalis.com

This is a draft manuscript. All rights are reserved by the author.

Preface [ PDF ]
Chapter 1: What Is System Safety? [ PDF ]
Chapter 2: An Example of Practical Risk Analysis [ PDF ]
Chapter 3: Objects, Properties, Relations, Assertions - OPRA [ PDF ]
Chapter 4: An Example of Why-Because Analysis [ PDF ]
Chapter 5: OHA of a Pressure Tank [ PDF ]
Chapter 6: Case Study: Causal Fault Analysis of an Automobile Communications Bus: Level 0 [ PDF ]
Chapter 7: Case Study, Continued: Levels 1 to 3 [ PDF ]
Chapter 8: Risk Analysis of the Charging Procedure of an Electric Road Vehicle [ PDF ]
Chapter 9: Definitions and Terminology [ PDF ]
Appendix: Extracts from the Warsaw Accident Report [ PDF ]