Software safety for air traffic management systems

TitleSoftware safety for air traffic management systems
Publication TypeConference Paper
Year of Publication2002
AuthorsJoyce, J. J.
Conference NameDigital Avionics Systems Conference, 2002. Proceedings. The 21st
Pagination4B2-1 - 4B2-11 vol.1
Keywordsaccident likelihood reduction, aerospace computing, air navigation systems, air traffic, air traffic control, air traffic management system software safety, aircraft navigation, ATM functionality, ATM safety improvements, automated process visibility, availability/safety objectives conflict, coarse-grained software reuse, displayed information quantity, flight data entering, risk analysis, risk management, safety, safety risks/benefits, safety-critical software, safety-net functions, semantic complexity

The introduction of advanced air traffic management (ATM) functionality is often heralded as a safety improvement. On the whole, the introduction of advanced ATM functionality will probably reduce the likelihood of an accident. However, its introduction may also entail new sources of safety risk that need to be carefully weighed against the safety benefits of advanced ATM functionality. Many new sources of safety risk associated with the introduction of advanced automation are due to specific problems in the following categories: too much effort spent entering data; too much information displayed; increased semantic complexity; not enough visibility into automated processes; coarse-grained reuse of software; conflicts between availability objectives and safety objectives. The purpose of this paper is to argue that stakeholders must look beyond the "safety-net" functions to thoroughly understand the impact of advanced ATM functionality on the safety of an air navigation system.


a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2020 The University of British Columbia