Evolutionary safety analysis: Motivations from the Air Traffic Management domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3688 LNCS, Issue , 2005, Pages 208-221

  Felici, Massimo ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COSTS; DESIGN; INDUSTRIAL MANAGEMENT; MATHEMATICAL MODELS; SAFETY FACTOR;

ATM SYSTEMS; EUROCONTROL; EVOLUTIONARY SAFETY ANALYSIS; SAFETY ANALYSIS;

AIR TRAFFIC CONTROL;

EID: 33646155313     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11563228_16     Document Type: Conference Paper

References (39)

1. Aviation Safety Reporting System. Controller Reports, 2003.
2. Aviation Safety Reporting System. TCAS II Incidents, 2004.
3. Mark Bergman, John Leslie King, and Kalle Lyytinen. Large-scale requirements analysis as heterogeneous engineering. Social Thinking - Software Practice, pages 357-386, 2002.
4. Mark Bergman, John Leslie King, and Kalle Lyytinen. Large-scale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. Requirements Engineering, 7(3):152-171, 2002.
5. BFU. Investigation Report, AX001-1-2/02, 2002.
6. John H. Enders, Robert S. Dodd, and Prank Fickeisen. Continuing airworthiness risk evaluation (CARE): An exploratory study. Flight Safety Digest, 18(9-10):1-51, September-October 1999.
7. EUROCONTROL. EUROCONTROL Airspace Strategy for the EC AC States, ASM.ET1.ST03.4000-EAS-01-00, 1.0 edition, 2001.
8. EUROCONTROL. EUROCONTROL Safety Regulatory Requirements (ESARR). ESARR 4 - Risk Assessment and Mitigation in ATM, 1.0 edition, 2001.
9. EUROCONTROL. EUROCONTROL Air Traffic Management Strategy for the years 2000+, 2003.
10. EUROCONTROL. EUROCONTROL Air Navigation System Safety Assessment Methodology, 2.0 edition, 2004.
11. Massimo Felici. Observational Models of Requirements Evolution. PhD thesis, Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, 2004.
12. Flight Safety Fundation. The Human Factors Inplication for Flight Safety of Recent Developments In the Airline Industry, number (22)3-4 in Flight Safety Digest, March-April 2003.
13. William S. Greenwell, Elisabeth A. Strunk, and John C. Knight. Failure analysis and the safety-case lifecycle. In Proceedings of the IFIP Working Conference on Human Error, Safety and System Development (HESSD), pages 163-176, 2004.
14. Constance L. Heitmeyer. Software cost reduction. In John J. Marciniak, editor, Encyclopedia of Software Engineering. John Waley & Sons, 2nd edition, 2002.
15. Daniel M. Hoffman and David M. Weiss, editors. Software Fundamentals: Collected Papers by David L. Parnas. Addison-Wesley, 2001.
16. Erik Hollnagel. Human Reliability Analysis: Context and Control. Academic Press, 1993.
17. Erik Hollnagel. The art of efficient man-machine interaction: Improving the coupling between man and machine. In Expertise and Technology: Cognition & HumanComputer Cooperation, pages 229-241. Lawrence Erlbaum Associates, 1995.
18. Agatha C. Hughes and Thomas P. Hughes, editors. Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After. The MIT Press, 2000.
19. Chris W. Johnson. Failure in Safety-Critical Systems: A Handbook of Accident and Incident Reporting. University of Glasgow Press, Glasgow, Scotland, October 2003.
20. T. P. Kelly and J. A. McDermid. A systematic approach to safety case maintenance. In Massimo Felici, Karama Kanoun, and Alberto Pasquini, editors, Proceedings of the 18th International Conference on Computer Safety, Reliability and Security, SAFECOMP'99, number 1698 in LNCS, pages 13-26. Springer-Verlag, 1999.
21. Timothy Patrik Kelly. Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, University of York, 1998.
22. Steve Kinnersly. Whole airspace atm system safety case - preliminary study. Technical Report ABAT LD76008/2 Issue 1, AEA Technology, 2001.
23. Jean-Claude Laprie et al. Dependability handbook. Technical Report LAAS Report no 98-346, LIS LAAS-CNRS, August 1998.
24. Nancy G. Leveson. SAFEWARE: System Safety and Computers. Addison-Wesley, 1995.
25. Nancy G. Leveson. Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering, 26(1):15-35, January 2000.
26. Donald A. MacKenzie. Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance. The MIT Press, 1990.
27. Donald A. MacKenzie and Judy Wajcman, editors. The Social Shaping of Technology. Open University Press, 2nd edition, 1999.
28. Stuart Matthews. Future developments and challenges in aviation safety. Flight Safety Digest, 21(11):1-12, November 2002.
29. Michael Overall. New pressures on aviation safety challenge safety management systems. Flight Safety Digest, 14(3): 1-6, March 1995.
30. Alberto Pasquini and Simone Pozzi. Evaluation of air traffic management procedures - safety assessment in an experimental environment. Reliability Engineering & System Safety, 89(1):105-117, July 2005.
31. Charles Perrow. Normal Accidents: Living with High-Risk Technologies. Princeton University Press, 1999.
32. Harro Ranter. Airliner accident statistics 2002: Statistical summary of fatal multiengine airliner accidents in 2002. Technical report, Aviation Safety Network, January 2003.
33. Harro Ranter. Airliner accident statistics 2003: Statistical summary of fatal multiengine airliner accidents in 2003. Technical report, Aviation Safety Network, January 2004.
34. James Reason. Managing the Risks of Organizational Accidents. Ashgate Publishing Limited, 1997.
35. Review. Working towards a fully interoperable system: The EUROCONTROL overall ATM/CNS target architecture project (OATA). Skyway, 32:46-47, Spring 2004.
36. Scott A. Shappell and Douglas A. Wiegmann. The human factors analysis and classification system - HFACS. Technical Report DOT/FAA/AM-00/7, FAA, February 2000.
37. Neil Storey. Safety-Critical Computer Systems. Addison-Wesley, 1996.
38. Gerard W.H. van Es. 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.
39. Douglas A. Wiegmann and Scott A. Shappell. 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.