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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalism helps in describing accidents


    Contributors:
    Ladkin, P. (author) / Loer, K. (author)


    Publication date :

    1999-01-01


    Size :

    896079 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    An audio visual aid that helps prevent accidents in vehicles

    ROY HENRY BOOKER | European Patent Office | 2019

    Free access



    Transport accidents and other accidents

    Evans, A. W. / AA Foundation for Road Safety Research | British Library Conference Proceedings | 1993


    Describing Function

    Colgren, Richard | AIAA | 2004