Bielefeld University - Faculty of Technology
Networks and Distributed Systems
Research group of Prof. Peter B. Ladkin, Ph.D.
Networks and Distributed Systems
Research group of Prof. Peter B. Ladkin, Ph.D.
Why-Because Analysis
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 |
| ladkin@rvs.uni-bielefeld.de loer@cs.york.ac.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.