主管单位:中华人民共和国工业和信息化部
主办单位:西北工业大学  中国航空学会
地       址:西北工业大学友谊校区航空楼
基于系统架构与运行框图的机载软件故障建模与分析应用
作者:
作者单位:

航空工业沈阳飞机设计研究所

作者简介:

通讯作者:

中图分类号:

V247;TP 311.5

基金项目:

航空工业联合基金“十三五”项目(6141B050301)


Airborne software fault modeling and analysis application based onthe system architecture and operation diagram
Author:
Affiliation:

Shenyang Aircraft Design and Research Institute

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    The existing technologies are difficult to identify the airborne software faults and the corresponding causes, and thus can’t be applied in the development process of the airborne software easily. To resolve the above problems, we proposed the airborne software fault modeling and analysis approach based on the system architecture and operation diagram. First, we proposed the airborne software fault identify approach based on the function failure analysis, which can be used to identify the airborne software faults caused by the interface data, time constraint and so on. Then we construct the fault hierarchy modeling approach based on the static system architecture, the fault logic relationship modeling approach based on the dynamic operation diagram respectively, which can be used for constructing the software fault tree effectively. Then, we proposed the safety requirement analysis approach based on the software requirement and criteria. Finally, we applied these approaches on the airborne brake control software for validation the effectiveness and feasibility. The experimental results show that the proposed airborne fault modeling and analysis approach is feasible and consistent with the standard requirement, and is suitable for constructing the V&V loop of the airborne software fault analysis and validation

    参考文献
    相似文献
    引证文献
引用本文

温晓玲,姜梦岑,艾笑天,柳庆宇.基于系统架构与运行框图的机载软件故障建模与分析应用[J].航空工程进展,2023,14(4):168-176

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2022-08-12
  • 最后修改日期:2022-11-25
  • 录用日期:2022-11-28
  • 在线发布日期: 2023-06-20
  • 出版日期: