This is an archived page and is no longer updated.
Causal System Analysis
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 ]