计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 536-541.doi: 10.11896/j.issn.1002-137X.2016.11A.121
徐文华,张育平
XU Wen-hua and ZHANG Yu-ping
摘要: 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。
[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! |
|