Skip to main content
SpringerLink
Log in

Safety Control Management at Airport Taxiing to Take-Off Procedure

  • Research Article - Computer Engineering and Computer Science
  • Published:
Arabian Journal for Science and Engineering Aims and scope Submit manuscript

Abstract

Air traffic control (ATC) system is a safety critical system because its failure may result into loss of life, considerable financial and environmental damages. Modelling safe and efficient ATC system is an open research problem and has become a challenging task due to its complexity and ever increasing traffic at airports. It is reported in the literature that a number of collisions occurred at airports surface are three time larger than the collisions in the airspace. The delays at airport surface require effective safety and guidance protocols to control traffic at the airport. In this paper, formal procedure of managing air traffic from taxiing to take-off is provided using graph theory and Z notation. After definition of airport surface by the graph structure in terms of nodes and edges, formal specification of taxiways, aircrafts and runways is provided in static part of the model. The state space analysis is provided by describing optimal paths in dynamic model expediting the departure procedure. The safety properties are described in terms of invariants over the data types carrying critical information. Further, the safety is insured by defining pre- and post-conditions in description of operations for changing state space of the system. The proposed study is focussed more on the safety component; however, the efficiency of the system is not ignored. For example, the model is based on the next generation ATC systems that use new technologies expediting the procedures. Graph theory is used in our model under the Z specification that is a foundation for automating the procedure in our future work. Formal specification is analysed and validated using Z/Eves tool. It is observed that weaknesses of testing and simulation can be overcome by applications of formal techniques avoiding state space explosions problems in complex systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Villiers, J.: ERASMUS—A Friendly Way for Breaking the Capacity Barrier, p. 58. ITA, Paris Institut du Transport Aérien (2004)

  2. Erzberger, H.: Automated conflict resolution for air traffic control. In: Proceedings of the 25th International Congress of the Aeronautical Sciences (2006)

  3. Hu, J.; Prandini, M.; Sastry, S.: Optimal maneuver for multiple aircraft conflict resolution: a braid point of view. In: Proceedings of the 39th IEEE Conference on Decision and Control, vol. 4, pp. 4164–4169 (2000)

  4. Shorrock, S.T.; Kirwan, B.: Development and application of a human error identification tool for air traffic control. Appl. Ergon. 33(4), 319–336 (2002)

    Article  Google Scholar 

  5. Debbache, N.E.: Toward a new organization for air traffic control. Aircr. Eng. Aerosp. Technol. 73(6), 561–567 (2001)

    Article  Google Scholar 

  6. Marshall, W.; Joseph, W.I.:Airport movement area safety system. In: IEEE Proceedings of Digital Avionics Systems Conference, pp. 549–552 (1992)

  7. George, J.C.; Robert, K.F.;Michael, B.D.; Nathan, M.D.; Signor Ari, S.; Thomas, H.: A new modeling capability for airport surface traffic analysis. In: 27th IEEE Digital Avionics Systems Conference (2008)

  8. Guo, Y.; Cao, X.; Zhang, J.: Constraint handling based multi-objective evolutionary algorithm for aircraft landing scheduling. Int. J. Innov. Comput. Inf. Control 5(8), 2229–2238 (2009)

    Google Scholar 

  9. Spivey, J.M.: The Z Notation: A Reference Manual, Prentice-Hall, Englewood Cliffs, NJ (1992)

  10. European Electro-Technical Standardization: Railway applications communications, signaling and processing systems software for railway control and protection systems. The European Standard, BS EN, p. 50128 (2001)

  11. Xu, K.; He, J.; Zou, S.; Zhang, H.; Yan, T.; Wei, X.: A cohesive subgraph visualization-based approach to efficiently discover large k-clique community. Arab. J. Sci. Eng. 37(7), 1959–1968 (2012)

    Article  Google Scholar 

  12. Erzberger, H.; Heere, K.: Algorithm and operational concept for resolving short range conflicts. J. Aerosp. Eng. 224, 225–243 (2009)

    Google Scholar 

  13. Farley, T.; Erzberger, H.: Fast time air traffic simulation of a conflict resolution algorithm under high air traffic demand. In: Proceedings of the USA Europe ATM Seminar (2007)

  14. Garcia, J.; Berlanga, A.; Molina, J.M.; Besada, J.A.; Casar, J.R.: Planning techniques for airport ground operations. In: Proceedings the 21st Digital Avionics Systems Conference (2002)

  15. Koeners, G.J.M.; Stout, E.P.; Rademaker, R.M.: Improving taxi traffic flow by real-time runway sequence optimization using dynamic taxi route planning. In: 30th IEEE/AIAA Digital Avionics Systems Conference (2011)

  16. Rademaker, R.; Koeners, G.J.M.: Analyze possible benefits of real-time taxi flow Optimization using actual data. In: 30th IEEE/AIAA Digital Avionics Systems Conference (2011)

  17. Medina, M.; Sherry, L.; Feary, M.: Automation for task analysis of next generation air traffic management systems. Transp. Res. Part C 18, 921–929 (2010)

    Article  Google Scholar 

  18. Kwiatkowska, M.; Norman, G.;Sproston, J.; Wang, F.: Symbolic model checking for probabilistictimed automata. Joint Conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, LNCS, vol. 3253, pp. 293–308. Springer, Berlin (2004)

  19. Nguyen-Duc, M.; Briot, J.P.; Drogoul, A.; Duong, V.: 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 (2003)

  20. Yang, L.C.; Kuchar, J.K.: Prototype conflict alerting system for free flight. J. Guid. Control Dyn. 20(4) (1997)

  21. Alves, D.P.; Weigang, L.; Bueno, B.; Souza, B.B.: Reinforcement Learning to Support Meta-Level Control in Air Traffic Management, Reinforcement Learning: Theory and Applications, pp. 357–372. I-Tech Education and Publishing, Vienna, Austria (2008)

  22. Weigang, L.; Dib, M.V.P.; Alves, D.P.; Crespo, A.M.F.: Intelligent computing methods in air traffic flow management. Transp. Res. Part C Emerg. Technol. 18(5), 781–793 (2010)

    Article  Google Scholar 

  23. Cavcar, A.; Cavcar, M.: Impact of aircraft performance differences on fuel consumption of aircraft in air traffic management environment. Aircr. Eng. Aerosp. Technol. 76(5), 502–515 (2004)

    Article  Google Scholar 

  24. Hwang, I.; Tomlin, C.:Protocol-based conflict resolution for finite information horizon. In: Proceedings of the AACC American Control Conference. IEEE Publication, Piscataway, NJ (2002)

  25. Hwang, I.; Hwang, J.; Tomlin, C.: 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)

  26. Hwang, I.; Balakrishnan, H.; Roy, K.; Tomlin, C.: Target tracking and identity management in clutter for air traffic control. In: Proceedings of the AACC American Control Conference (2004)

  27. Bousson, K.: Waypoint-constrained free flight collision avoidance. In: Proceedings of the SAE Advances in Aviation Safety Conference (2003)

  28. Kahne, S.; Frolow, I.: Air traffic management: evolution with technology. IEEE Control Syst. Mag. 16(4) (1996)

  29. Nolan, M.S.: Fundamentals of Air Traffic Control, 3rd edn. Wadsworth, Belmont, CA (1998)

  30. Kuchar, J.K.; Yang, L.C.: A review of conflict detection and resolution modeling methods. IEEE Trans. Intell. Transp. Syst. 1(4), 179–189 (2000)

    Article  Google Scholar 

  31. Amy, S.; Philip, J.S.; Charles, B.: Ramp Control Issues in the Design of a Surface Management System, Cognitive Systems Engineering Laboratory. The Ohio State University, Columbus (2002)

  32. Michael, C.; Steven, S.: Managing gate and ramp operations to reduce delay, fuel burn, and costs. In: Integrated Communications, Navigation and Surveillance Conference (ICNS) (2012)

  33. Hanh, T.T.B.; Hung, D.V.: Verification of an air traffic control system with probabilistic real-time model checking. UNU-IIST, Report No. 355 (2007)

  34. Hu, J.; Prandini, M.; Sastry, S.: Optimal coordinated maneuvers for three-dimensional aircraft conflict resolution. J. Guid. Control Dyn. 25(5), 888–900 (2002)

    Article  Google Scholar 

  35. Yousaf, S.; Khan, S.A.; Zafar, N.A.; Ahmad, F.; Khan, M.A.: Formal analysis of arrival procedure of air traffic control system. Life Sci. J. 9(4) (2012)

  36. Yousaf, S.; Zafar, N.A.; Khan, S.A.: Formal analysis of departure procedure of air traffic control system. In: 2nd International Conference on Software Technology and Engineering (2010)

  37. Banach, R.; Hall, A.; Stepney, S.: Retrenchment and the atomicity pattern. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, pp. 37–46 (2007)

  38. El Kawy, M.; Abo-Bakr, R.: Adaptive iterative approach classifying linearly and quadratically separable sets. Arab. J. Sci. Eng. 37(7), 1895–1910 (2012)

    Article  Google Scholar 

  39. Garcia, A.C.; Idris, H.; Vivona, R.; Green, S.: Common aircraft performance modeling evaluation tools and experiment results. In: Proceedings of the 24th DASC, pp. 51–59 (2005)

  40. Jamal, M.; Zafar, N.A.: Formal model of computer-based air traffic control system using Z notation. In: Proceedings of 17th International Conference on Computer Theory and Applications (2007)

  41. Jamal, M.; Zafar, N.A.: Requirements analysis of air traffic control system using formal methods. In: Proceedings of IEEE International Conference on Information and Emerging Technologies, pp. 216–222 (2007)

  42. Pickin, S.; Jard, C.; Thierry, J.R.; Jeze, J.M.; Traon, Y.L.: Test synthesis from UML models of distributed software. IEEE Trans. Softw. Eng. 33(4), 252–268 (2007)

    Article  Google Scholar 

  43. Zafar, N.A.; Araki, K.:Formalizing moving block railway interlocking system for directed network. Res. Rep. Inf. Sci. Electr. Eng. Kyushu Univ. Jpn. 8(2), 109–114 (2003)

    Google Scholar 

  44. Zafar, N.A.: Modeling and formal specification of automated train control system using Z notation. In: IEEE Multi-Topic Conference, pp. 438–443 (2006)

  45. Zafar, N.A.; Khan, S.A.; Araki, K.: Towards the safety properties of moving block railway interlocking system. Int. J. Innov. Comput. Inf. Control 8(8), 5677–5690 (2012)

    Google Scholar 

  46. Livadas, C.; Lygeros, J.; Lynch, N.A.: High level modeling and analysis of the traffic alert and collision avoidance system. Proc. IEEE 88(7), 926–948 (2000)

    Article  Google Scholar 

  47. Crespo, A.M.F.; Aquino, C.V.; Souza, B.B.; Weigang, L.; Melo, A.C.M.A.; Alves, D.P.: Distributed decision support system applied to tactical air traffic flow management in case of CINDACTA, I. J. Braz. Air Transp. Res. Soc. 4(1), 47–60 (2008)

  48. Alshayeb, M.: The impact of refactoring to patterns on software quality attributes. Arab. J. Sci. Eng. 36(7), 1241–1251 (2011)

    Article  Google Scholar 

  49. Moertl, P.M.; Atkins, S.; Hitt, J.M.; Brinton, C.; Walton, D.H.: Factors for predicting airport surface characteristics and prediction accuracy of the surface management system. In: IEEE International Conference on Systems, Man and Cybernetics (2003)

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, King Faisal University, Al-Ahsa, Kingdom of Saudi Arabia

    Nazir Ahmad Zafar

Authors
  1. Nazir Ahmad Zafar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nazir Ahmad Zafar.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zafar, N.A. Safety Control Management at Airport Taxiing to Take-Off Procedure. Arab J Sci Eng 39, 6137–6148 (2014). https://doi.org/10.1007/s13369-014-1176-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13369-014-1176-6

Keywords

Search

Navigation