We analyse the 'probable cause' of the 1979 Chicago DC-10 accident using a minimal formalism, and find an omission. The omission is contained in the body of the report. This omission had consequences for the public discussion of this accident, which we show. We conclude that formalism helps in accident reporting by enabling simple consistency and omission checks. We then present a quick overview of our formal method, Why-Because Analysis, which provides the necessary mechanisms and rigor. We consider this to be the engineering of causal reasoning. As is now known from a quarter-century's experience with verification of digital systems, such reasoning engineering is both essential and non-trivial.
Formalism helps in describing accidents
01.01.1999
896079 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
An audio visual aid that helps prevent accidents in vehicles
Europäisches Patentamt | 2019
|California's reduced visibility study helps cut down traffic accidents when fog hits area
Engineering Index Backfile | 1965
|Chain helps Canada - Back-up helps exporters
Online Contents | 1999
Transport accidents and other accidents
British Library Conference Proceedings | 1993
|AIAA | 2004
|