State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance

Reliability Engineering and System Safety

Volumn 95, Issue 4, 2010, Pages 345-353

  Landry, Steven J ^a   Lagu, Amit ^a   Kinnari, Jouko ^a  

^a SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

Author keywords

Hybrid systems; Modeling; Statecharts; System safety

Indexed keywords

AIR TRAFFICS; CONTINUOUS DYNAMICS; HUMAN ERROR PROBABILITY; INTEGRATED SYSTEMS; KEY CHARACTERISTICS; NEXT-GENERATION AIR TRANSPORTATION SYSTEMS; QUANTITATIVE EVALUATION; STATE-BASED; STATECHARTS; SUFFICIENT SET; SYSTEM CONFIGURATIONS; SYSTEM SAFETY;

ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; INTEGRATED CONTROL; PROBABILITY; SEPARATION;

AIR TRANSPORTATION;

EID: 75949104880     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2009.11.004     Document Type: Article

References (33)

1. Erzberger H. Transforming the NAS: the next generation air traffic control system. In: Proceedings of the 24th international congress of the aeronautical sciences, Yokohama, Japan; 2004.
2. Joint Planning & Development Office. Next generation air traffic control system integrated plan (2004), Joint Planning & Development Office, Washington, DC
3. Erzberger H. The automated airspace concept. In: Proceedings of the fourth USA/Europe air traffic management R&D seminar, Santa Fe, NM; 2001.
4. Kupfer M, Farley T, Yung-Cheng C, Erzberger H. Automated conflict resolution-a simulation-based sensitivity study of airspace and demand. In: Proceedings of the 26th congress of the international council for the aeronautical sciences, 14-19 September 2008, Anchorage, AK: American Institute for Aeronuatics and Astronautics; 2008.
5. McNally D., and Gong C. Concept and laboratory analysis of trajectory-based automation for separation assurance. Air Traffic Control Quarterly 15 (2007) 35-63
6. O'Connor P.D.T. Practical reliability engineering. 4th ed. (2002), John Wiley & Sons, Chichester, England
7. Rauzy A.B. Guarded transition systems: a new states/events formalism for reliability studies. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 222 (2008) 495-505
8. Schoenig R., Aubry J.-F., Cambois T., and Hutinet T. An aggregation method of Markov graphs for the reliability analysis of hybrid systems. Reliability Engineering & System Safety 91 (2006) 137-148
9. Volovoi V. Modeling of system reliability petri nets with aging tokens. Reliability Engineering & System Safety 84 (2004) 149-161
10. Bauer E., Zhang X., and Kimber D.A. Practical system reliability (2009), Wiley, Hoboken
11. Dhillon B.S. Applied reliability and quality (2007), Springer-Verlag, London
12. Zio E. Reliability engineering: old problems and new challenges. Reliability Engineering & System Safety 94 (2009) 125-141
13. Majdara A., and Wakabayashi T. Component-based modeling of systems for automated fault tree generation. Reliability Engineering System Safety 94 (2009) 1076-1086
14. Sutcliffe A.G. Automating scenario analysis of human and system reliability. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 37 (2007) 249-261
15. Johnson T.L. Improving automation software dependability: a role for formal methods?. Control Engineering Practice 15 (2007) 1403-1415
16. Leveson N. The need for new paradigms in safety engineering. In: Dale C., and ANderson T. (Eds). Safety-critical systems: problems, processes and practice (2009), Springer, London
17. Reer B. Review of advances in human reliability analysis of errors of commission, part 1: EOC identification. Reliability Engineering & System Safety 93 (2008) 1091-1104
18. Reer B. Review of advances in human reliability analysis of errors of commission-part 2: EOC quantification. Reliability Engineering & System Safety 93 (2008) 1105-1122
19. Colombo S., and Demichela M. The systematic integration of human factors into safety analyses: an integrated engineering approach. Reliability Engineering & System Safety 93 (2008) 1911-1921
20. Leveson N. A new accident model for engineering safer systems. Safety Science (2004) 42
21. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (2002) 231-274
22. Kirwan B., Gibson W.H., and Hickling B. Human error data collection as a precursor to the development of a human reliability assessment capability in air traffic management. Reliability Engineering & System Safety 93 (2008) 217-233
23. Nolan M. Fundamentals of air traffic control (1999), Wadsworth Publishing Company, Pacific Grove, CA
24. Wickens C., Mavor A., McGee J. Flight to the future: human factors in air traffic control. National Academy Pr; 1997.
25. Bolic T., and Hansen M. Automation adoption and adaptation: case study of user request evaluation tool. Transportation Research Record: Journal of the Transportation Research Board 1915 (2005) 62-68
26. Paielli R., Erzberger H., Chiu D., and Heere K. Tactical conflict alerting aid for air traffic controllers. Journal of Guidance, Control and Dynamics 32 (2009) 184-193
27. Erzberger H. Transforming the NAS: the next generation air traffic control system (Report #TP-2004-212828) (2004), National Aeronautics and Space Administration, Moffett Field, CA
28. Erzberger H., and Paielli R. Concept for next generation air traffic control system. Air Traffic Control Quarterly 10 (2002) 355-378
29. Witsenhausen H.S. A class of hybrid-state continuous-time dynamic systems. IEEE Transactions on Automatic Control 11 (1966) 161-167
30. Narasimhan S., and Biswas G. Model-based diagnosis of hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 37 (2007) 348-361
31. McNally D, Thipphavong D. Automated separation assurance in the presence of uncertainty (ICAS-2008-8.8.1). In: Proceedings of the 26th international congress of the aeronautical sciences, Anchorage, AK; 2008.
32. Hemm B., and Busick A. NAS separation assurance benchmark analysis (2009), NASA Research Announcement Review. Ames Research Center, CA
33. Barnett A., and Higgins M.K. Airline safety: the last decade. Management Science (1989) 1-21