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
The Success and Failure of Complex Artifacts
Studies in the foundations of system engineering
Peter B. Ladkin
Book RVS-Bk-01Contents
- The Logic of Analysing Systems
- Preface and Motivation
- Some Questions and Assumptions About Artifacts
- Logical Form As A Binary Relation
- Abstraction and Modelling
- On Needing Models
- Correctness in System Engineering
- Hazards, Risk and Incoherence
- On Classification of Factors in Failures and Accidents
- Reasons and Causes
- The X-31 and A320 Warsaw Crashes: Whodunnit?
- Formalism Helps in Describing Accidents
- Explaining Failure With Tense Logic
- Some Dubious Theses in the Tense Logic of Accidents
- Social Issues