Abstract
A model for the separation assurance and collision avoidance in air traffic has been developed. The objective of the model is to provide qualitative and quantitative predictions of system behavior with respect to separation assurance and collision avoidance. No such model exists, complicating efforts to understand the impact of adding automation to the current system. The model integrates two concepts. First, the system models at the scope of the human-integrated system, instead of the level of the operator. This follows from the work of Duane McRuer, who found that only at the system level was the human as a control system modelable. Secondly, the system considers the separation assurance and collision avoidance problem as a control problem, where agent (automated and human) actions work to control the system from entering undesirable states. This broadly follows the methodology of system safety. Under this methodology, safety is determined by the ability of the agents in the system to impart control to prevent the system from reaching an unsafe state. The model defines system states, the events and conditions that cause transitions between states, and the control that agents in the system can impart to control those transitions.
Chapter PDF
Similar content being viewed by others
References
Barnett, A., Higgins, M.K.: Airline safety: The last decade. Management Science, 1–21 (1989)
Brooker, P.: The risk of mid-air collision to commercial air transport aircraft receiving a radar advisory service in class F/G airspace. The Journal of Navigation 56(2), 277–289 (2003)
Erzberger, H.: Transforming the NAS: The next generation air traffic control system. In: The 24th International Congress of the Aeronautical Sciences, Yokohama, Japan (2004)
Gerovitch, S.: Interview with Tom Sheridan [Electronic Version] (2003), http://web.mit.edu/slava/space/interview/interview-sheridan.htm (retrieved from: March 1, 2009)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (2002)
Hemm, B., Busick, A.: NAS separation assurance benchmark analysis. In: The NASA Research Announcement Review (2009)
Kaiser, B., Gramlich, C., Förster, M.: State/event fault trees—A safety analysis model for software-controlled systems. Reliability Engineering and System Safety 92(11), 1521–1537 (2007)
López-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic petri nets: application to software performance engineering. ACM SIGSOFT software engineering notes 29(1), 25–36 (2004)
McRuer, D., Graham, D.: Human pilot dynamics in compensatory systems (No. AAFFDL-TR-65-15). USAF (1965)
Taneja, N., Wiegmann, D.A., Savoy, I.: Analysis of midair collisions in civil aviation. In: The 45th Annual Meeting of the Human Factors and Ergonomics Society, Santa Monica, CA (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Landry, S.J., Lagu, A.V. (2009). A Model of Integrated Operator-System Separation Assurance and Collision Avoidance. In: Duffy, V.G. (eds) Digital Human Modeling. ICDHM 2009. Lecture Notes in Computer Science, vol 5620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02809-0_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-02809-0_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02808-3
Online ISBN: 978-3-642-02809-0
eBook Packages: Computer ScienceComputer Science (R0)