A Model Checking Method for Safety Analysis of Integrated Modular Avionics System

KUANG Anxuan; MA Chao; WANG Jiaming

doi:10.3969/j.issn.1671-637x.2023.03.020

[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.