Central European Journal of Computer Science

, Volume 2, Issue 2, pp 118–127

Using parallelization to improve the efficiency of an automated taxi route generation algorithm

Research Article


As part of the Federal Aviation Administration’s (FAA) Next Generation Air Transportation System (NextGen) concept, surface support tools that generate taxi routes and monitor pilot conformance against those routes have been designed and implemented by Mosaic ATM and tested in simulations conducted by The Mitre Corporation’s Center for Advanced Aviation System Development(CAASD). The purpose of these tools is to increase the overall safety of the airport’s surface by detecting aircraft movement that is not in conformance with the taxi route assigned to that aircraft. Additionally, the tools aim to increase the overall efficiency of airport operations by ensuring that aircraft taxi in compliance with their assigned routes. One of the keys to providing a reliable conformance monitoring system is to produce reliable taxi routes against which to monitor compliance. The tools provided by Mosaic ATM generate these taxi routes via a set of predefined routes commonly used at an airport. In the simulations conducted by CAASD, it was found that the routes provided were found to be reliable and trustworthy. In addition to the predefined routes, Mosaic ATM provided an ad hoc route capability. This capability uses an algorithm that finds a route based on the taxiways assigned by a user through the ad hoc route tool. However, in the simulations conducted by CAASD, this tool was not used extensively by the users. In this paper, we describe our efforts to verify the correctness of the ad hoc taxi route generation algorithm as well as our efforts to increase the speed of the algorithm by implementing a lock-free parallelized version.


surface automation taxi routing multi-core processing lock-free 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C. Click. A lock-free hash table, In: 2007 JavaOne Conference, 2008Google Scholar
  2. [2]
    C. Click, Highly scalable Java beta, November 2011, http://sourceforge.net/projects/high-scale-lib/
  3. [3]
    P. Diffenderfer, C. Morgan, Surface conformance monitoring in the NextGen timeline, In: 9th USA/Europe Air Traffic Management Research and Development Seminar, 2011Google Scholar
  4. [4]
    M. Herlihy, N. Shavit, The Art of Multiprocessor Programming (Morgan Kaufmann, March 2008), http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0123705916
  5. [5]
    U. Meyer, Design and Analysis of Sequential and Parallel Single-Source Shortest-Paths Algorithms, PhD thesis, Universitat Saarlandes, Saarbrucken, 2002Google Scholar
  6. [6]
    R. Pearce, M. Gokhale, N.M. Amato. Multithreaded asynchronous graph traversal for inmemory and semi-external memory, In: Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, SC’10, Washington, DC, USA, 2010, IEEE Computer Society, http://dx.doi.org/10.1109/SC.2010.34
  7. [7]
    E. Stelzer, C. Morgan, K. McGarry, K. Klein, K. Kerns, Human-in-the-loop simulations of surface trajectory-based operations: An evaluation of taxi routing and surface conformance monitoring decision support tool capabilities, In: 9th USA/Europe Air Traffic Management Research and Development Seminar, 2011Google Scholar
  8. [8]
    Y. Tang, Y. Zhang, H. Chen, A parallel shortest path algorithm based on graph-partitioning and iterative correcting, In: Proceedings of the 2008 10th IEEE International Conference on High Performance Computing and Communications, HPCC’ 08, Washington, DC, USA, 2008, IEEE Computer Society, http://dx.doi.org/10.1109/HPCC.2008.113

Copyright information

© Versita Warsaw and Springer-Verlag Wien 2012

Authors and Affiliations

  1. 1.University of Central FloridaOrlandoUSA
  2. 2.Scalable and Secure Systems R&D Department Sandia National LaboratoriesLivermoreUSA

Personalised recommendations