![](/images/graphics-bg.png)
Z Specification of Gate and Apron Control Management at Airport
المؤلفون المشاركون
Zafar, Nazir Ahmad
Alhumaidan, Fahad
Khan, Sher Afzal
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-12-31
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
Modelling of an air traffic control (ATC) system is an open issue and has become a challenging problem due to its complexity and increase of traffic at airports and in airspace.
Consequently, automated ATC systems are suggested to improve efficiency ensuring the safety standards.
It is reported that the number of collisions that occurred at airports surface is three times larger than in airspace.
Further, it is observed that gates and aprons congestions cause significant delays at airports; hence, effective monitoring and guidance mechanisms are required to control ground air traffic.
In this paper, formal procedure of managing air traffic from gate to enter in the active area of airport for taxiing is provided using Z notation.
An integration of gate and apron controllers is described to manipulate the information for correct decision making and flow management.
Graph theory is used for representation of airport topology and appropriate routs.
In static part of the model, safety properties are described in terms of invariants over the critical data types.
In dynamic model, the state space is updated by defining pre- and postconditions ensuring the safety.
Formal specification is analysed using Z/Eves tool.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zafar, Nazir Ahmad& Alhumaidan, Fahad& Khan, Sher Afzal. 2014. Z Specification of Gate and Apron Control Management at Airport. Abstract and Applied Analysis،Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014175
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zafar, Nazir Ahmad…[et al.]. Z Specification of Gate and Apron Control Management at Airport. Abstract and Applied Analysis No. 2014 (2014), pp.1-9.
https://search.emarefa.net/detail/BIM-1014175
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zafar, Nazir Ahmad& Alhumaidan, Fahad& Khan, Sher Afzal. Z Specification of Gate and Apron Control Management at Airport. Abstract and Applied Analysis. 2014. Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014175
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1014175
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)