Networks, System Safety,

Embedded and Distributed Systems

Research Group of Prof. Peter Bernard Ladkin, Ph.D.

Embedded and Distributed Systems

Research Group of Prof. Peter Bernard Ladkin, Ph.D.

RVS-Bk-05-01

#### Causal System Analysis

(draft version from August 14, 2001)

(final version to be published by Springer-Verlag, Heidelberg and London)

**Peter Ladkin**, Technische Fakultät, Universität Bielefeld, `ladkin@rvs.uni-bielefeld.de`

(draft version from August 14, 2001)

(final version to be published by Springer-Verlag, Heidelberg and London)

- Title, contents and preface [ PDF ]
- Part I: Introduction: The Social Background
- Part II: Causal System Analysis
- Chapter 3: Foundation of system analysis [ PDF ]
- Chapter 4: Definitions for system safety analysis [ PDF ]
- Chapter 5: Problems calculating risk via hazard [ PDF ]
- Chapter 6: More theory types of predicates [ PDF ]
- Chapter 7: An example playing golf [ PDF ]
- Chapter 8: Some more concepual machinery [ PDF ]
- Chapter 9: Causal analysis of a pressure tank [ PDF ]
- Chapter 10: Generating fault trees from cids [ PDF ]

- Part III: Why-Because Analysis (with Karsten Loer)
- Chapter 11: Accident analysis why because analysis [ PDF ]
- Chapter 12: What its all about [ PDF ]
- Chapter 13: Aviation incident reports [ PDF ]
- Chapter 14: A WBAnalysis [ PDF ]
- Chapter 15: Sufficient and contrastive explanation [ PDF ]
- Chapter 16: Specifying ATC procedures [ PDF ]
- Chapter 17: Indeterminacy and the endgame [ PDF ]

- Part IV: Formal Proof of WBA Correctness (with Karsten Loer)
- Part V: Less-Formal WBA of Important Incidents
- Appendices and index [ PDF ]