计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 536-541.doi: 10.11896/j.issn.1002-137X.2016.11A.121

• 智能系统及应用 • 上一篇    下一篇

基于航电系统架构模型的安全性分析工具的设计与实现

徐文华,张育平   

  1. 南京航空航天大学计算机科学与技术学院 南京211100,南京航空航天大学计算机科学与技术学院 南京211100
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家973计划资助

Design and Implementation of Safety Analysis Tool Based on Avionics System Architecture Model

XU Wen-hua and ZHANG Yu-ping   

  • Online:2018-12-01 Published:2018-12-01

摘要: 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。

关键词: 航电系统架构,系统建模语言(SysML),共模分析,区域安全性分析,故障树建模

Abstract: Common mode analysis and zone safety analysis need to be conducted to the safety critical avionics system in order to form new separation requirements.As the avionics system is becoming more and more integrated,the traditional common mode analysis and zone safety analysis methods can’t ensure the completeness of the separation requirements as they mainly rely on how well the analyzers understand the system.Meanwhile,the requirements of the system are hard to be traced due to the differences between the understanding of the safety analyzers to the system and that of the system designers,especially when the design changes frequently,safety analysis results are always inaccurate and inconsistent.Aiming at the above problems,a safety analysis tool based on avionics system architecture model was designed and implemented.Fault tree auto-modeling was conducted through tracing the data signal path in physical architecture.Then common mode analysis and zone safety analysis were conducted based on the generated fault tree,getting a common mode checklist and some zone separation requirements.The results of the case study on one cockpit display system indicate that the tool is able to conduct auto fault tree modeling based on the avionics system architecture model described in SysML,and also can mark the components need to be isolated,ensuring the completeness of the results of common mode analysis and zone safety analysis.

Key words: Avionics system architecture model,SysML,Common mode analysis,Zone safety analysis,Fault tree modeling

[1] Wang G.Integration technology for avionics system[C]∥2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).IEEE,2012:7C6-1-7C6-9
[2] Moir I,Seabridge A G,Jukes M.Military avionics systems[M].John Wiley & Sons Inc,2006
[3] 许文平.综合化航空电子资源融合机制研究[D].南京:南京航空航天大学,2012
[4] Ruijters E,Stoelinga M.Fault tree analysis:A survey of the state-of-the-art in modeling,analysis and tools[J].Computer Science Review,2015,15:29-62
[5] Moir I,Seabridge A,Jukes M.Civil avionics systems[M].John Wiley & Sons,2013
[6] 谷青范,王国庆,张丽花,等.基于模型驱动的航电系统安全性分析技术研究[J].计算机科学,2015,42(3):124-127
[7] Schenkelberg R H.Low cost integrated modular avionics (IMA)[C]∥Proceedings of the IEEE 1996 National Aerospace and Electronics Conference,1996(NAECON 1996).IEEE,1996,1:48-55
[8] RTCA (Firme).Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations[M].RTCA,2005
[9] 杨洋,严俊,谷青范.航空电子系统接口控制文档工具的设计与实现[J].航空电子技术,2014(1):24-29
[10] Vesely W E,Goldberg F F,Roberts N H,et al.Fault tree handbook[R].Nuclear Regulatory Commission.Washington DC,1981
[11] Society of Automotive Engineers,ARP-4761:Aerospace Recommended Practice:Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,12th edition[R].SAE,400 Commonwealth Drive Warrendale PA United States,1996

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .