Title :
Airport routing & safety nets based on standardized surface movement description
Author :
Frontera, Guillermo ; Besada, Juan A. ; De Andrea, Rafael ; Martín, David J.
Abstract :
Presents a collection of slides covering the following topics: airport routing; safety nets; and surface movement description.
Keywords :
aircraft testing; airports; formal verification; airport routing; safety nets; surface movement description; Aircraft; Aircraft propulsion; Airports; Production; Routing; Safety; Vehicles;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096155