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

• 作者: 周清雷 程永江
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 实时系统 模型验证 时间自动机 验证工具 控制系统
• 年，卷（期）: 2009,（23）
• 所属期刊栏目: 开发与应用
• 页码范围: 5521-5523
• 页数: 3页
• 分类号: TP319|TP301.1
• 字数: 4001字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	程永江	郑州大学信息工程学院	1	3	1.0	1.0