基于uppaal的飞机着陆控制系统模型验证

摘要：

为了避免飞机在着陆过程中出现事故,同时又能充分利用机场的跑道资源,对飞机数量多于跑道的情况进行了研究,采用了模型验证的方法.介绍了时间自动机的相关理论,以及基于该理论的验证工具uppaal,在此基础上使用uppaal工具对飞机着陆过程构造了模型,然后对模型的需求规范进行了验证,验证结果表明该模型不存在死锁问题,最终可以保证飞机安全和及时地着陆.

关键词：实时系统、模型验证、时间自动机、验证工具、控制系统

所属期刊栏目：30

分类号：TP319;TP301.1(计算技术、计算机技术)

在线出版日期：2010-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：5521-5523