基于系统架构与运行框图的机载软件故障建模与分析应用

已有技术难以规范且有效地识别机载软件故障及其原因,无法解决机载软件研制过程中应用等问题,因此提出基于系统架构与运行框图的机载软件故障建模与分析技术。首先,基于功能失效分析的机载软件故障识别方法,从数据取值、时序约束等角度识别机载软件故障;然后,基于系统静态体系架构与动态运行框图,构建故障层次组成模型以及故障逻辑关系模型,支撑机载软件故障树的规范高效建立;其次,基于标准要求和软件需求,提出软件故障原因分析与安全性需求制定策略;最后,针对机载刹车控制软件开展工程应用。结果表明:本文提出的机载软件故障建模与分析技术符合标准要求、规范可行,能够形成机载软件故障分析验证的V&V闭环。