Abstract :
The following topics are dealt with: flight deck systems; air traffic management; aircraft navigation; aircraft surveillance; software engineering; systems engineering; avionics information management; unmanned aircraft systems; aircraft automation; complex systems validation; and complex systems verification.
Keywords :
aerospace computing; air traffic; aircraft navigation; autonomous aerial vehicles; avionics; large-scale systems; software engineering; surveillance; systems engineering; air traffic management; aircraft automation; aircraft navigation; aircraft surveillance; avionics information management; complex systems validation; complex systems verification; flight deck system; software engineering; systems engineering; unmanned aircraft system;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4673-1699-6
DOI :
10.1109/DASC.2012.6382266
