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

Airborne software fault modeling and analysis application based on system architecture and operation diagram

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

The existing technologies are difficult to identify the airborne software faults and the corresponding causes,and thus cannot be applied in the development process of the airborne software,so the airborne software fault modeling and analysis technique based on the system architecture and operation diagram are proposed.Firstly,the airborne software fault identification approach based on the function failure analysis is proposed,which can be used to identify the airborne software faults caused by the interface data,time constraint and so on.And,the fault hierarchy modeling approach based on the static system architecture and the fault logic relationship modeling ap‐proach based on the dynamic operation diagram are constructed respectively,which can be used for constructing the software fault tree effectively.Then,the software fault reason analysis and safety requirement development strate‐gy based on the software requirement and criteria is proposed.Finally,the engineering application of the airborne brake control software is conducted.The results show that the proposed airborne fault modeling and analysis tech‐nique is feasible,and consistent with the standard requirement,which is suitable for constructing the V&V loop of the airborne software fault analysis and validation.