This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at

Why-Because Analysis

Document RVS-Bk-98-01

Why-Because Analysis:

Formal Reasoning About Incidents

Peter Ladkin , Technische Fakultät, Universität Bielefeld
Karsten Loer , BAe Dependable Computing Systems Center, University of York, UK

This book explains the Why-Because Analysis Method of incidents with complex systems, WBA, working through an aviation example, with formal proof. Informal applications of WBA to some well-known aviation accidents involving computers are also given.

This is a draft manuscript and is for private viewing only. All rights are reserved by the authors.
This is superceded by chapters 11 to 25 of Causal System Analysis.