科研之友
微信
新浪微博
Facebook
分享链接
摘要
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型；随后，将危险致因和安全约束分别以状态变迁的方式注入该模型，建立航电系统任务安全性验证模型；最后，通过遍历状态空间验证模型的活性、危险致因的可达性以及安全约束的充分性，实现任务安全性分析结果的自动化验证。实验结果表明，所提方法具有可行性和有效性，能够为持续进行的航电系统任务安全性分析和设计提供模型基础，确保分析结果的正确性和完整性。
- 单位
