|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 superceded by chapters 11 to 25 of Causal System Analysis.
This is a draft manuscript and is for private viewing only. All rights are reserved by the authors.