摘要
已有技术难以规范且有效地识别机载软件故障及其原因,无法解决机载软件研制过程中应用等问题,因此提出基于系统架构与运行框图的机载软件故障建模与分析技术。首先,基于功能失效分析的机载软件故障识别方法,从数据取值、时序约束等角度识别机载软件故障;然后,基于系统静态体系架构与动态运行框图,构建故障层次组成模型以及故障逻辑关系模型,支撑机载软件故障树的规范高效建立;其次,基于标准要求和软件需求,提出软件故障原因分析与安全性需求制定策略;最后,针对机载刹车控制软件开展工程应用。结果表明:本文提出的机载软件故障建模与分析技术符合标准要求、规范可行,能够形成机载软件故障分析验证的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.
作者
温晓玲
姜梦岑
艾笑天
柳庆宇
WEN Xiaoling;JIANG Mengcen;AI Xiaotian;LIU Qingyu(Institute Office,AVIC Shenyang Aircraft Design and Research Institute,Shenyang 110035,China)
出处
《航空工程进展》
CSCD
2023年第4期168-176,共9页
Advances in Aeronautical Science and Engineering
基金
航空工业联合基金“十三五”项目(6141B050301)。
关键词
机载软件
故障建模
故障原因分析
软件安全性
系统架构
airborne software
fault modeling
fault reason analysis
software safety
system architecture