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

This is a draft manuscript and is for private viewing only. All rights are reserved by the author.

Title, contents and preface [ PDF ]
Part I: Introduction: The Social Background
- Chapter 1: Example of everyday risk analysis [ PDF ]
- Chapter 2: Social background to technological risk [ PDF ]
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)
- Chapter 18: The PARDIA classification [ PDF ]
- Chapter 19: Flight phases and system modes [ PDF ]
- Chapter 20: The Logic EL [ PDF ]
- Chapter 21: Procedure specifications in tla+ [ PDF ]
- Chapter 22: Formal proof of explanation [ PDF ]
Part V: Less-Formal WBA of Important Incidents
- Chapter 23: The Cali accident 1995 [ PDF ]
- Chapter 24: The 1993 warsaw accident [ PDF ]
- Chapter 25: The WBGraph of the 1994 Nagoya Accident [ PDF ]
Appendices and index [ PDF ]