Skip to main content
Springer Nature Link
Log in

Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3688))

Included in the following conference series:

  • 1325 Accesses

Abstract

In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational environment, covering ground segments and aerospace. Industry will be involved as early as possible in the lifecycle of ATM projects. EUROCONTROL manages the processes that involve the definition and validation of new ATM solutions using Industry capabilities (e.g., SMEs). In practice, safety analyses adapt and reuse system design models (produced by third parties). Technical, organisational and cost-related reasons often determine this choice, although design models are unfit for safety analysis. Design models provide limited support to safety analysis, because they are tailored for system designers. The definition of an adequate model and of an underlying methodology for its construction will be highly beneficial for whom is performing safety analyses. Limited budgets and resources, often, constrain or inhibit the model definition phase as an integral part of safety analysis. This paper is concerned with problems in modeling ATM systems for safety analysis. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aviation Safety Reporting System. Controller Reports (2003)

    Google Scholar 

  2. Aviation Safety Reporting System. TCAS II Incidents (2004)

    Google Scholar 

  3. Bergman, M., King, J.L., Lyytinen, K.: Large-scale requirements analysis as heterogeneous engineering. Social Thinking - Software Practice, 357–386 (2002)

    Google Scholar 

  4. Bergman, M., King, J.L., Lyytinen, K.: Large-scale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. requirements engineering 7(3), 152–171 (2002)

    Article  Google Scholar 

  5. BFU. Investigation Report, AX001-1-2/02 (2002)

    Google Scholar 

  6. Enders, J.H., Dodd, R.S., Fickeisen, F.: Continuing airworthiness risk evaluation (CARE): An exploratory study. Flight Safety Digest 18(9-10), 1–51 (1999)

    Google Scholar 

  7. EUROCONTROL. EUROCONTROL Airspace Strategy for the ECAC States, ASM.ET1.ST03.4000-EAS-01-00, 1.0 edn. (2001)

    Google Scholar 

  8. EUROCONTROL. EUROCONTROL Safety Regulatory Requirements (ESARR). ESARR 4 - Risk Assessment and Mitigation in ATM, 1.0 edn (2001)

    Google Scholar 

  9. EUROCONTROL. EUROCONTROL Air Traffic Management Strategy for the years 2000+ (2003)

    Google Scholar 

  10. EUROCONTROL. EUROCONTROL Air Navigation System Safety Assessment Methodology, 2.0 edn. (2004)

    Google Scholar 

  11. Felici, M.: Observational Models of Requirements Evolution. PhD thesis, Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh (2004)

    Google Scholar 

  12. Flight Safety Fundation. The Human Factors Inplication for Flight Safety of Recent Development. The Airline Industry, (22)3-4 in Flight Safety Digest (March-April 2003)

    Google Scholar 

  13. Greenwell, W.S., Strunk, E.A., Knight, J.C.: Failure analysis and the safety-case lifecycle. In: Proceedings of the IFIP Working Conference on Human Error, Safety and System Development (HESSD), pp. 163–176 (2004)

    Google Scholar 

  14. Heitmeyer, C.L.: Software cost reduction. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, 2nd edn., John Wiley & Sons, Chichester (2002)

    Google Scholar 

  15. Hoffman, D.M., Weiss, D.M. (eds.): Software Fundamentals: Collected Papers by David L. Parnas. Addison-Wesley, Reading (2001)

    Google Scholar 

  16. Hollnagel, E.: Human Reliability Analysis: Context and Control. Academic Press, London (1993)

    Google Scholar 

  17. Hollnagel, E.: The art of efficient man-machine interaction: Improving the coupling between man and machine. In: Expertise and Technology: Cognition & Human-Computer Cooperation, pp. 229–241. Lawrence Erlbaum Associates, Mahwah (1995)

    Google Scholar 

  18. Hughes, A.C., Hughes, T.P. (eds.): Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After. The MIT Press, Cambridge (2000)

    Google Scholar 

  19. Johnson, C.W.: Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting, October 2003. University of Glasgow Press, Glasgow (2003)

    Google Scholar 

  20. Kelly, T.P., McDermid, J.A.: A systematic approach to safety case maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 13–26. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  21. Kelly, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York (1998)

    Google Scholar 

  22. Kinnersly, S.: Whole airspace atm system safety case - preliminary study. Technical Report AEAT LD76008/2 Issue 1, AEA Technology (2001)

    Google Scholar 

  23. Laprie, J.-C., et al.: Dependability handbook. Technical Report LAAS Report no 98-346, LIS LAAS-CNRS (August. 1998)

    Google Scholar 

  24. Leveson, N.G.: SAFEWARE: System Safety and Computers. Addison-Wesley, Reading (1995)

    Google Scholar 

  25. Leveson, N.G.: Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering 26(1), 15–35 (2000)

    Article  Google Scholar 

  26. MacKenzie, D.A.: Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance. The MIT Press, Cambridge (1990)

    Google Scholar 

  27. MacKenzie, D.A., Wajcman, J.: The Social Shaping of Technology, 2nd edn. Open University Press, Stony Stratford (1999)

    Google Scholar 

  28. Matthews, S.: Future developments and challenges in aviation safety. Flight Safety Digest 21(11), 1–12 (2002)

    Google Scholar 

  29. Overall, M.: New pressures on aviation safety challenge safety management systems. Flight Safety Digest 14(3), 1–6 (1995)

    Google Scholar 

  30. Pasquini, A., Pozzi, S.: Evaluation of air traffic management procedures - safety assessment in an experimental environment. Reliability Engineering & System Safety 89(1), 105–117 (2005)

    Article  Google Scholar 

  31. Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)

    Google Scholar 

  32. Ranter, H.: Airliner accident statistics 2002: Statistical summary of fatal multi-engine airliner accidents in 2002. Technical report, Aviation Safety Network (January 2003)

    Google Scholar 

  33. Ranter, H.: Airliner accident statistics 2003: Statistical summary of fatal multi-engine airliner accidents in 2003. Technical report, Aviation Safety Network (January 2004)

    Google Scholar 

  34. Reason, J.: Managing the Risks of Organizational Accidents. Ashgate Publishing Limited (1997)

    Google Scholar 

  35. Review. Working towards a fully interoperable system: The EUROCONTROL overall ATM/CNS target architecture project (OATA). Skyway, 32, 46–47, Spring (2004)

    Google Scholar 

  36. Shappell, S.A., Wiegmann, D.A.: The human factors analysis and classification system - HFACS. Technical Report DOT/FAA/AM-00/7, FAA (February 2000)

    Google Scholar 

  37. Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)

    Google Scholar 

  38. van Es G.W.H.: A review of civil aviation accidents - air traffic management related accident: 1980-1999. In: Proceedings of the 4th International Air Traffic Management R&D Seminar, New-Mexico (December 2001)

    Google Scholar 

  39. Wiegmann, D.A., Shappell, S.A.: A human error analysis of commercial aviation accidents using the human factors analysis and classification system (HFACS). Technical Report DOT/FAA/AM-01/3, FAA (February 2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LFCS, School of Informatics, The University of Edinburgh, Edinburgh, EH9 3JZ, UK

    Massimo Felici

Authors
  1. Massimo Felici
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Sciences, Østfold University College, Os Allé, 11, 1757, Halden, Norway

    Rune Winther

  2. Insitute for Energy Technology, Software Engineering Laboratory, 1761, Halden, Norway

    Bjørn Axel Gran

  3. Software Engineering Laboratory, Institute for Engergy Technology, 1751, Halden, Norway

    Gustav Dahll

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Felici, M. (2005). Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. In: Winther, R., Gran, B.A., Dahll, G. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2005. Lecture Notes in Computer Science, vol 3688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563228_16

Download citation

  • DOI: https://doi.org/10.1007/11563228_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29200-5

  • Online ISBN: 978-3-540-32000-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics