TY - JOUR A2 - Islam, Saeed AU - Zafar, Nazir Ahmad AU - Alhumaidan, Fahad AU - Khan，谢尔阿夫扎尔PY - 2014 DA - 2014/12/31 TI - Z门和围裙控制管理规范机场SP - 530619六世- 2014 AB -造型的空中交通管制(ATC)系统是一个开放的问题,已成为一个具有挑战性的问题由于其复杂性和增加交通在机场和空域。因此，建议采用自动空管系统，以提高效率，确保安全标准。据报道，发生在机场地面的碰撞次数是在空域的三倍。此外，人们注意到登机口和停机坪的拥挤造成机场的严重延误;因此，需要有效的监测和引导机制来控制地面空中交通。本文利用Z符号，给出了从登机口到进入机场滑行活动区空中交通管理的形式化程序。一个集成的闸板和停机坪控制器被描述来操纵信息为正确的决策和流程管理。用图论表示机场的拓扑结构和适当的路由。在模型的静态部分，安全属性是根据关键数据类型的不变量来描述的。 In dynamic model, the state space is updated by defining pre- and postconditions ensuring the safety. Formal specification is analysed using Z/Eves tool. SN - 1085-3375 UR - https://doi.org/10.1155/2014/530619 DO - 10.1155/2014/530619 JF - Abstract and Applied Analysis PB - Hindawi Publishing Corporation KW - ER -