Skip to main content

Causal Reasoning about Aircraft Accidents

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1943))

Included in the following conference series:

Abstract

We show how objective, rigorous causal reasoning in the analysis of air transportation accidents can improve our understanding of the factors involved in those accidents, by considering two high-profile digital-automation-related air transport accidents.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. David Hume. An Enquiry Concerning Human Understanding.Oxford University Press, third edition, 1777/1975. Ed.L.A. Selby-Bigge and P.H. Nidditch.

    Google Scholar 

  2. Peter B. Ladkin. Notes on the foundations of system safety analysis. Technical Report RVS-Bk-00-01, Networks and distributed Systems Group, Faculty of Technology, Bielefeld University, Bielefeld, Germany, 2000. Available through [2].

    Google Scholar 

  3. Peter B. Ladkin and Karsten Loer. Why-Because Analysis: Formal Reasoning About Incidents.Technical Report RVS-Bk-98-01,Networks and distributed Systems Group, Faculty of Technology, Bielefeld University, Bielefeld, Germany, 1998. Available through [2].

    Google Scholar 

  4. Peter B. Ladkin et al. Computer-related incidents with commercial aircraft. Technical Report RVS-Comp-01, RVS Group, Faculty of Technology, University of Bielefeld. Compendium of digitised accident reports and commentary, available through [2].

    Google Scholar 

  5. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.

    Article  Google Scholar 

  6. Nancy G. Leveson. Safeware: System Safety and Computers.Addison-Wesley, 1995.

    Google Scholar 

  7. David Lewis. Causation. Journal of Philosophy, 70:556–567, 1973. Also in [10], [14].

    Article  Google Scholar 

  8. David Lewis. Counterfactuals.Oxford University Press, Inc., Blackwell, 1973.

    Google Scholar 

  9. David Lewis. Philosophical papers, Vol.II.Oxford University Press, Inc., 200 Maddison Avenue, New York, New York 10016, 1986.

    Google Scholar 

  10. Main Commission Aircraft InvestigationWarsaw. Report on the Accident to Airbus A320-211 Aircraft in Warsaw on 14 September 1993.A vailable through [5], March 1994.

    Google Scholar 

  11. John Stuart Mill. A System of Logic, Books I-III, volume VII of Collected Works. University of Toronto Press, London: Routledge & Kegan Paul, 1973.

    Google Scholar 

  12. Ministry of Planning, Housing, Transport and Maritime Affairs (France). Investigation Commission concerning the accidents which occurred on June 26th 1988 at Mulhouse-Habsheim (68) to the Airbus A320, registered F-GFKC.Final Report, November 29th 1989.

    Google Scholar 

  13. Ernest Sosa and Michael Tooley, editors. Causation.Oxford Readings in Philosophy. Oxford University Press, Oxford, 1993.

    Google Scholar 

  14. United States Air Force. Air Force Instruction 91-204.Author, July 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ladkin, P.B. (2000). Causal Reasoning about Aircraft Accidents. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-40891-6_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41186-4

  • Online ISBN: 978-3-540-40891-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics