[1] ARINC Specification 653P1-3. Avionics application software standard interface—Part1: required services［S］. Maryland:Aeronautical Radio, Inc. , 2010.
[2] VxWorks 653 3.0 multi-core edition［EB/OL］. ［2019-10-10］.
[3] FUCHSEN R. IMA NextGen:a new technology for the Scarlett program［J］. IEEE Aerospace and Electronic Systems Magazine, 2010, 25(10): 10-16.
[4] BIEBER P, BRUNEL J, NOULARD E, et al. Preliminary design of future reconfigurable IMA platforms-safety assessment［C］//Proceedings of the 27th International Congress of the Aeronautical Sciences, 2010: 1-10.
[5] HALLE M, THIELECKE F. Next generation IMA configuration engineering—from architecture to application［C］//Proceedings of the 34th Digital Avionics Systems Conference, 2015: 6B2-1-6B2-13.
[6] ROGALSKI T, SAMOLEJ S, TOMCZYK A. ARINC 653 based time-critical application for European SCARLETT project［C］//Proceedings of AIAA Guidance, Navigat-ion, and Control Conference, 2011: 1-14.
[7] AGROU H, SAINRAT P, GATTI M, et al. A design approach for predictable and efficient multi-core processor for avionics［C］//Proceedings of the IEEE/AIAA 30th Digital Avionics Systems Conference, 2011: 7D3-1-7D3-11.
[8] GATTI M, JEAN X, PAUTET L, et al. Ensuring robust partitioning in multicore platforms for IMA systems［C］//Proceedings of the IEEE/AIAA 31st Digital Avionics Systems Conference, 2012: 7A4-1-7A4-9.
[9] HAN S, JIN H W. Full virtualization based ARINC 653 partitioning［C］//Proceedings of the IEEE/AIAA 30th Digital Avionics Systems Conference, 2011: 6C5-1-6C5-9.
[10] The Open Group. Future Airborne Capability Environment (FACETM), Edition 2.1［S］. Burlington: The Open Group2014.
[12] ARINC 836-2012. Cabin standard enclosures-Modular Rack Principle(MRP)［S］. Maryland: Aeronautical Radio, Inc. 2012.
[13] FUCHSEN R. How to address certification for multi-core based IMA platforms: current status and potential solutions［C］//Proceedings of the IEEE/AIAA 29th Digital Avionics Systems Conference, 2010: 3E3-1-3E3-11.
[14] EFKEMANN C, PELESKA J. Model-based testing for the second generation of integrated modular avionics［C］//IEEE 4th International Conference on Software Testing, Verification and Validation Workshops, 2011: 55-62.
