综合模块化航空电子系统安全分析的模型检测方法
[1] WATKINS C B.Integrated modular avionics:managing the allocation of shared intersystem resources［C］//IEEE/AIAA 25th Digital Avionics Systems Conference.Portland:IEEE, 2006:1-12.
[2] ZHOU T R, XIONQ H G, ZHANG Z.Hierarchical resource allocation for integrated modular avionics systems［J］.Journal of Systems Engineering and Electronics, 2011, 22(5):780-787.
[3] SAE.Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment:SAE ARP4761［S］.Warrendale:SAE International, 1996.
[4] GODDARD P L.Software FMEA techniques［C］//Annual Reliability and Maintainability Symposium.Los Angeles: IEEE, 2000:118-123.
[5] RUSHBY J.Formalism in safety cases［C］//Making Systems Safer.London:Springer-Verlag, 2010:3-17.
[6] LEVESON N.Engineering a safer world:systems thinking applied to safety［M］.Massachusetts:MIT Press, 2011:1-33.
[7] HOLLNAGEL E.FRAM:the functional resonance analysis method［M］.London: CRC Press, 2012.
[8] AKERLUND O, BIEBER P, BODE E, et al.ESACS:an integrated methodology for design and safety analysis of complex systems［C］//European Safety and Reliability Conference(ESREL).Toulouse:Balkema Publisher, 2003:203-221.
[9] AKERLUND O, BIEBER P, BODE E, et al.ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects［C］//Electronic Reciprocal Transfer System.Toulouse:ERTS, 2006:145-162.
[10] PRISAZNUK P J.Integrated modular avionics［C］//Proceedings of the IEEE National Aerospace and Electronics Conference.Dayton: IEEE, 1992:39-45.
[11] RTCA.Integrated modular avionics(IMA) development guidance and certification considerations:RTCA DO-297［S］.Washington, D C:RTCA Inc., 2005.
[12] WANG G Q, GU Q F, WANG M, et al.Research on the architecture technology for new generation integrated avionics system［J］.Acta Aeronautica Et Astronautic Sinica, 2014, 35(6):1473-1486.
[13] DI NATALE M.SANGIOVANNI-VINCENTELLI A L.Moving from federated to integrated architectures in automotive:the role of standards, methods and tools［J］.Proceedings of the IEEE, 2010, 98(4):603-620.
[14] WINDSOR J, DEREDEMPT M H, DE-FERLUC R.Integrated modular avionics for spacecraft—user requirements, architecture and role definition［C］//IEEE/AIAA 30th Digital Avionics Systems Conference(DASC).Seattle:IEEE, 2011:8A6-1-8A6-16.
[15] JOSHI A, MILLER S P, WHALEN M, et al.A proposal for model-based safety analysis［C］//The 24th Digital Avionics Systems Conference.Washington, D C:IEEE, 2005: 156-168.
[16] HOEPFFNER L.Analysis of the HAZOP study and comparison with similar safety analysis systems［J］.Gas Separation and Purification, 1989, 3(3):148-151.
[17] ROBERTO C, ALESSANDRO C, CHARLES A J, et al.NuSMV 2.5 user manual［EB/OL］.(2011-12-01)［2022-01-28］.https://nusmv.fbk.eu/NuSMV/userman/v25/nusmv.pdf.
邝安玄, 马超, 王佳明. 综合模块化航空电子系统安全分析的模型检测方法[J]. 电光与控制, 2023, 30(3): 112. KUANG Anxuan, MA Chao, WANG Jiaming. A Model Checking Method for Safety Analysis of Integrated Modular Avionics System[J]. Electronics Optics & Control, 2023, 30(3): 112.
PDF全文
