Bielefeld University - Faculty of Technology
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de
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.