Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
Volume 2014, Article ID 530619, 9 pages
http://dx.doi.org/10.1155/2014/530619
Research Article

Z Specification of Gate and Apron Control Management at Airport

1College of Computer Sciences and IT, King Faisal University, Alahsa 31982, Saudi Arabia
2Department of Computer Sciences, Abdul Wali Khan University, Mardan 23200, Pakistan

Received 4 March 2014; Revised 15 April 2014; Accepted 15 April 2014; Published 31 December 2014

Academic Editor: Saeed Islam

Copyright © 2014 Nazir Ahmad Zafar et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. J. Villiers, ERASMUS—A Friendly Way for Breaking the Capacity Barrier, ITA, 2004.
  2. H. Erzberger, “Transforming the NAS: the next generation air traffic control system,” in Proceedings of the International Congress of the Aeronautical Sciences, 2004. View at Publisher · View at Google Scholar
  3. H. Erzberger, “Automated conflict resolution for air traffic control,” in Proceedings of the 25th International Congress of the Aeronautical Sciences, 2006. View at Publisher · View at Google Scholar
  4. H. Erzberger and K. Heere, “Algorithm and operational concept for resolving short range conflicts,” Journal of Aerospace Engineering, vol. 224, pp. 225–243, 2009. View at Google Scholar
  5. T. Farley and H. Erzberger, “Fast time air traffic simulation of a conflict resolution algorithm under high air traffic demand,” in Proceedings of the USA Europe ATM Seminar, 2007.
  6. J. Hu, M. Prandini, and S. Sastry, “Optimal maneuver for multiple aircraft conflict resolution: a braid point of view,” in Proceedings of the 39th IEEE Confernce on Decision and Control, vol. 4, pp. 4164–4169, December 2000. View at Scopus
  7. S. T. Shorrock and B. Kirwan, “Development and application of a human error identification tool for air traffic control,” Applied Ergonomics, vol. 33, no. 4, pp. 319–336, 2002. View at Publisher · View at Google Scholar · View at Scopus
  8. N. E. Debbache, “Toward a new organization for air traffic control,” Aircraft Engineering and Aerospace Technology, vol. 73, no. 6, pp. 561–567, 2001. View at Publisher · View at Google Scholar · View at Scopus
  9. W. Marshall and W. I. Joseph, “Airport movement area safety system,” in Proceedings of the IEEE Digital Avionics Systems Conference, pp. 549–552, 1992.
  10. Y. Guo, X. Cao, and J. Zhang, “Constraint handling based multiobjective evolutionary algorithm for aircraft landing scheduling,” International Journal of Innovative Computing, Information and Control, vol. 5, no. 8, pp. 2229–2238, 2009. View at Google Scholar · View at Scopus
  11. G. J. Couluris, R. K. Fong, M. B. Downs et al., “A new modeling capability for airport surface traffic analysis,” in Proceedings of the IEEE/AIAA 27th Digital Avionics Systems Conference (DASC '08), pp. E41–E411, October 2008. View at Publisher · View at Google Scholar · View at Scopus
  12. J. M. Spivey, The Z Notation: A Reference manual, Prentice Hall, London, UK, 1992.
  13. European Electro-Technical Standardization, “Railway applications communications, signaling and processing systems software for railway control and protection systems,” The European Standard BS EN 50128, 2001. View at Google Scholar
  14. J. García, A. Berlanga, J. M. Molina, J. A. Besada, and J. R. Casar, “Planning techniques for airport ground operations,” in Proceedings of the 21st Digital Avionics Systems Conference, 2002. View at Scopus
  15. P. M. Moertl, J. M. Hitt II, S. Atkins, C. Brinton, and D. H. Walton, “Factors for predicting airport surface characteristics and prediction accuracy of the surface management system,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 3798–3803, October 2003. View at Scopus
  16. T. T. B. Hanh and D. V. Hung, “Verification of an air traffic control system with probabilistic real-time model checking,” Tech. Rep. 355, UNU-IIST, 2007. View at Google Scholar
  17. G. J. M. Koeners, E. P. Stout, and R. M. Rademaker, “Improving taxi traffic flow by real-time runway sequence optimization using dynamic taxi route planning,” in Proceedings of the 30th IEEE/AIAA Digital Avionics Systems Conference (DASC '11), October 2011. View at Publisher · View at Google Scholar · View at Scopus
  18. G. J. M. Koeners and R. M. Rademaker, “Analyze possible benefits of real-time taxi flow optimization using actual data,” in Proceedings of the 30th Digital Avionics Systems Conference (DASC '11), Fremont, Calif, USA, October 2011. View at Publisher · View at Google Scholar · View at Scopus
  19. S. Amy, J. S. Philip, and B. Charles, Ramp Control Issues in the Design of a Surface Management System, Cognitive Systems Engineering Laboratory, The Ohio State University, 2002.
  20. M. Kwiatkowska, G. Norman, J. Sproston, and F. Wang, “Symbolic model checking for probabilistic timed automata,” in Joint Conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, vol. 3253 of Lecture Notes in Computer Science, pp. 293–208, Springer, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  21. M. Nguyen-Duc, J.-P. Briot, A. Drogoul, and V. Duong, “An application of multi-agent coordination techniques in air traffic management,” in Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology, pp. 622–628, October 2003. View at Scopus
  22. L. C. Yang and J. K. Kuchar, “Prototype conflict alerting system for free flight,” Journal of Guidance, Control, and Dynamics, vol. 20, no. 4, pp. 768–773, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  23. D. P. Alves, L. Weigang, B. Bueno, and B. B. Souza, “Reinforcement learning to support meta-level control in air traffic management,” in Reinforcement Learning: Theory and Applications, pp. 357–372, ARS Publishing, 2008. View at Google Scholar
  24. L. Weigang, M. V. P. Dib, D. P. Alves, and A. M. F. Crespo, “Intelligent computing methods in air traffic flow management,” Transportation Research C: Emerging Technologies, vol. 18, no. 5, pp. 781–793, 2010. View at Publisher · View at Google Scholar · View at Scopus
  25. A. Cavcar and M. Cavcar, “Impact of aircraft performance differences on fuel consumption of aircraft in air of management environment,” Aircraft Engineering and Aerospace Technology, vol. 76, no. 5, pp. 502–515, 2004. View at Publisher · View at Google Scholar · View at Scopus
  26. I. Hwang and C. Tomlin, “Protocol-based conflict resolution for finite information horizon,” in Proceedings of the IEEE American Control Conference (ACC '02), pp. 748–753, Piscataway, NJ, USA, May 2002. View at Publisher · View at Google Scholar · View at Scopus
  27. I. Hwang, J. Hwang, and C. Tomlin, “Flight-mode-based aircraft conflict detection using a residual-mean interacting multiple model algorithm,” in Proceedings of the AIAA Guidance Navigation, and Control Conference, 2003.
  28. I. Hwang, H. Balakrishnan, K. Roy, and C. Tomlin, “Target tracking and identity management in clutter for air traffic control,” in Proceedings of the American Control Conference (AAC '04), 2004.
  29. K. Bousson, “Waypoint-constrained free flight collision avoidance,” in Proceedings of the SAE Advances in Aviation Safety Conference, 2003.
  30. S. Kahne and I. Frolow, “Air traffic management: evolution with technology,” IEEE Control Systems Magazine, vol. 16, no. 4, pp. 12–21, 1996. View at Publisher · View at Google Scholar · View at Scopus
  31. M. S. Nolan, Fundamentals of Air Traffic Control, Brooks/Cole, Wadsworth, Ohio, USA, 3rd edition, 1998.
  32. J. K. Kuchar and L. C. Yang, “A review of conflict detection and resolution modeling methods,” IEEE Transactions on Intelligent Transportation Systems, vol. 1, no. 4, pp. 179–189, 2000. View at Publisher · View at Google Scholar · View at Scopus
  33. J. Hu, M. Pradini, and S. Sastry, “Optimal coordinated maneuvers for three-dimensional aircraft conflict resolution,” Journal of Guidance, Control, and Dynamics, vol. 25, no. 5, pp. 888–900, 2002. View at Publisher · View at Google Scholar · View at Scopus
  34. S. R. Wolfe, F. Y. Enomoto, P. A. Jarvis, and M. Sierhuis, “Comparing route selection strategies in collaborative traffic flow management,” in Proceedings of the IEEE Computer Society Technical Committee on Intelligent Informatics (TCII '07), pp. 59–62, November 2007. View at Publisher · View at Google Scholar · View at Scopus
  35. S. Yousaf, N. A. Zafar, and S. A. Khan, “Formal analysis of departure procedure of air traffic control system,” in Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE '10), pp. 301–305, October 2010. View at Publisher · View at Google Scholar · View at Scopus
  36. N. A. Zafar and K. Araki, “Formalizing moving block railway interlocking system for directed network,” Research Reports on Information Science and Electrical Engineering of Kyushu University, vol. 8, no. 2, pp. 109–114, 2003. View at Google Scholar · View at Scopus
  37. N. A. Zafar, “Modeling and formal specification of automated train control system using Z notation,” in Proceedings of the IEEE International Multitopic Conference (INMIC '06), pp. 438–443, December 2006. View at Publisher · View at Google Scholar · View at Scopus
  38. N. A. Zafar, S. A. Khan, and K. Araki, “Towards the safety properties of moving block railway interlocking system,” International Journal of Innovative Computing, Information and Control, vol. 8, no. 8, pp. 5677–5690, 2012. View at Google Scholar
  39. N. A. Zafar, “Safety control management at airport taxiing to take-off procedure,” The Arab Journal of Science and Engineering. In press.
  40. R. Banach, C. Jeske, A. Hall, and S. Stepney, “Retrenchment and the atomicity pattern,” in Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM '07), pp. 37–46, September 2007. View at Publisher · View at Google Scholar · View at Scopus
  41. A. C. Garcia, H. Idris, R. Vivona, and S. Green, “Common aircraft performance modeling evaluation tools and experiment results,” in Proceedings of the 24th Digital Avionics Systems Conference (DASC '05), pp. 51–59, 2005. View at Publisher · View at Google Scholar
  42. M. Jamal and N. A. Zafar, “Formal model of computer-based air traffic control system using Z notation,” in Proceedings of the 17th International Conference on Computer Theory and Applications, 2007.
  43. M. Jamal and N. A. Zafar, “Requirements analysis of air traffic control system using formal methods,” in Proceedings of the International Conference on Information and Emerging Technologies (ICIET '07), pp. 216–222, July 2007. View at Publisher · View at Google Scholar · View at Scopus
  44. M. Medina, L. Sherry, and M. Feary, “Automation for task analysis of next generation air traffic management systems,” Transportation Research C: Emerging Technologies, vol. 18, no. 6, pp. 921–929, 2010. View at Publisher · View at Google Scholar · View at Scopus
  45. S. Pickin, C. Jard, T. Jéron, J.-M. Jézéquel, and Y. Le Traon, “Test synthesis from UML models of distributed software,” IEEE Transactions on Software Engineering, vol. 33, no. 4, pp. 252–269, 2007. View at Publisher · View at Google Scholar · View at Scopus
  46. A. M. F. Crespo, C. V. Aquino, B. B. Souza, L. Weigang, A. C. M. A. Melo A, and D. P. Alves, “Distributed decision support system applied to tactical air traffic flow management in case of CINDACTA I,” Journal of the Brazilian Air Transportation Research Society, vol. 4, no. 1, pp. 47–60, 2008. View at Google Scholar
  47. C. Livadas, J. Lygeros, and N. A. Lynch, “High-level modeling and analysis of the Traffic Alert and Collision Avoidance System (TCAS),” Proceedings of the IEEE, vol. 88, no. 7, pp. 926–947, 2000. View at Publisher · View at Google Scholar · View at Scopus
  48. C. Michael and S. Steven, “Managing gate and ramp operations to reduce delay, fuel burn, and costs,” in Proceedings of the Integrated Communications, Navigation and Surveillance Conference (ICNS '12), 2012. View at Publisher · View at Google Scholar