[1] [1] WOLFIG R, JAKOVLJEVIC M.Distributed IMA and DO-297: architectural, communication and certification attri-butes［C］//IEEE/AIAA 27th Digital Avionics Systems Conference(DASC), 2008.doi: 10.1109/DASC.2008.4702769.

          WOLFIG R, JAKOVLJEVIC M.Distributed IMA and DO-297: architectural, communication and certification attri-butes［C］//IEEE/AIAA 27th Digital Avionics Systems Conference(DASC), 2008.doi: 10.1109/DASC.2008.4702769.

[2] [2] KOPETZ H, BRAUN M, EBNER C, et al.The design of large real-time systems: the time-triggered approach［C］//Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.doi: 10.1109/REAL.1995.495208.

          KOPETZ H, BRAUN M, EBNER C, et al.The design of large real-time systems: the time-triggered approach［C］//Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.doi: 10.1109/REAL.1995.495208.

[4] [4] BIEBER P, NOULARD E, PAGETTI C, et al.Preliminary design of future reconfigurable IMA platforms［J］.ACM SIGBED Review, 2009.doi: 10.1145/1851340.1851349.

          BIEBER P, NOULARD E, PAGETTI C, et al.Preliminary design of future reconfigurable IMA platforms［J］.ACM SIGBED Review, 2009.doi: 10.1145/1851340.1851349.

[5] [5] ZHOU Q, GU T, HONG R, et al.An AADL-based design for dynamic reconfiguration of DIMA［C］//IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 2013. doi: 10.1109/DASC.2013.6712585.

          ZHOU Q, GU T, HONG R, et al.An AADL-based design for dynamic reconfiguration of DIMA［C］//IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 2013. doi: 10.1109/DASC.2013.6712585.

[6] [6] ZHANG Q, WANG S H, LIU B.Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL［J］.IET Software, 2016, 10(1): 18-25.

          ZHANG Q, WANG S H, LIU B.Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL［J］.IET Software, 2016, 10(1): 18-25.

[8] [8] POURMOHSENI B, WILDERMANN S, GLA M, et al.Hard real-time application mapping reconfiguration for NoC-based many-core systems［J］.Real-Time Systems, 2019, 55(2): 433-469.

          POURMOHSENI B, WILDERMANN S, GLA M, et al.Hard real-time application mapping reconfiguration for NoC-based many-core systems［J］.Real-Time Systems, 2019, 55(2): 433-469.

[9] [9] OBERMAISSER R, AHMADIAN H, MALEKI A, et al.Adaptive time-triggered multi-core architecture［J］.Designs, 2019, 3(1): 1-23.

          OBERMAISSER R, AHMADIAN H, MALEKI A, et al.Adaptive time-triggered multi-core architecture［J］.Designs, 2019, 3(1): 1-23.

[10] [10] WISNIEWSKI L, CHAHAR S, JASPERNEITE J.Seamless reconfiguration of time triggered Ethernet based protocols［C］//IEEE World Conference on Factory Communication Systems (WFCS), 2015.doi: 10.1109/WFCS.2015.7160581.

          WISNIEWSKI L, CHAHAR S, JASPERNEITE J.Seamless reconfiguration of time triggered Ethernet based protocols［C］//IEEE World Conference on Factory Communication Systems (WFCS), 2015.doi: 10.1109/WFCS.2015.7160581.

[11] [11] LI Z H, WAN H, PANG Z Y, et al.An enhanced reconfiguration for deterministic transmission in time-triggered networks［J］.IEEE/ACM Transactions on Networking, 2019, 27(3): 1124-1137.

          LI Z H, WAN H, PANG Z Y, et al.An enhanced reconfiguration for deterministic transmission in time-triggered networks［J］.IEEE/ACM Transactions on Networking, 2019, 27(3): 1124-1137.

[13] [13] Military Agency for Standardization.STANAG 4626 (Part VI: Guidelines for system issues)(Vol.7: Safety)［S］.Brussels: North Atlantic Treaty Organization, 2014.

          Military Agency for Standardization.STANAG 4626 (Part VI: Guidelines for system issues)(Vol.7: Safety)［S］.Brussels: North Atlantic Treaty Organization, 2014.

[14] [14] STEINER W.An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks［C］//The 31st IEEE Real-Time Systems Symposium, 2010.doi: 10.1109/RTSS.2010.25.

          STEINER W.An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks［C］//The 31st IEEE Real-Time Systems Symposium, 2010.doi: 10.1109/RTSS.2010.25.

[15] [15] STEINER W.Synthesis of static communication sche-dules for mixed-criticality systems［C］//The 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011.doi: 10.1109/ISORCW.2011.12.

          STEINER W.Synthesis of static communication sche-dules for mixed-criticality systems［C］//The 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011.doi: 10.1109/ISORCW.2011.12.