[1] SAE ARP 4761,Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[S]. 1996. [2] CCAR 25-R4,运输类飞机适航标准[S].2011 CCAR-25-R4,Airworthiness standards for transport category airplanes[S].2011. [3] ARINC 651-1, Design guidance for integrated modular avionics[S].1997. [4] 宗蜀宁, 端木京顺, 汪建华,等. 飞机整机级系统安全性评估方法探讨[J]. 中国安全科学学报, 2011, 21(10):125-130. ZONG Shuning, DUANMU Jingshun, WANG Jianhua.Study on aircraft system safety assessment method at aircraft level[J].China Safety Science Journal, 2011, 21(10):125-130. [5] RUIZ A, JUEZ G, ESPINOZA H, et al. Reuse of safety certification artefacts across standards and domains: a systematic approach[J]. Reliability Engineering & System Safety, 2017, 158(1): 153-171. [6] DALTON John C. Advances in safety assessment in new airplane design[J]. SAE Transactions, 1998, 107(4): 1 832-1 835. [7] 赵长啸,阎芳,王鹏. 综合模块化航电系统适航审定要求分析[J]. 电讯技术,2015,55(10):1 134-1 140. ZHAO Changxiao, YAN Fang, WANG Peng. Airworthiness certification requirement analysis for integrated modular avionics system[J] Telecommunication Engineering,2015,55(10):1 134-1 140. [8] MCDERMID J A. Support for safety cases and safety arguments using SAM[J]. Reliability Engineering & System Safety, 1994, 43(2): 111-127. [9] HABLI I, KELLY T. Achieving integrated process and product safety arguments[C]. Proceedings of 15th Safety Critical Systems Symposium, 2007:55-68. [10] SHEN Xueqiang, BAI Yan. Architectural considerations in integrated modular avionics (IMA) system safety case construction[J]. IEEE Aerospace & Electronic Systems Magazine, 2014, 29(10):26-33. [11] SUN Linling, ZHANG Wenjin, TIM Kelly. Do safety cases have a role in aircraft certification?[C]. Proceedings of 2nd International Symposium on Aircraft Airworthiness,2011:358-368. [12] GSN Working Group. GSN community standard version 1[EB/OL]. [2011-11-12].http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf. [13] ZHANG Quan, WANG Shihai, LIU Bin. Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL[J]. IET Software, 2016, 10(1): 18-25. [14] STANAG 4626, Modular and open avionics architecture[S].2005. |