系统工程与电子技术

作者：牛浩田, 马存宝, 韩佩, 衣健民

单位：1. 西北工业大学民航学院, 陕西 西安 710068；2. 中国电子科技集团公司第20研究所, 陕西 西安 710068

关键词：航电系统,任务安全性,形式化建模,时间自动机,仿真验证

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

来源：2023年第5期

《系统工程与电子技术》期刊编辑部

查看系统工程与电子技术杂志2023年第5期