[1] [1] KOPETZ H. Real time systems—design principles for distributed embedded applications［M］. 2nd ed. New York: Springer, 2011.

[2] [2] FlexRay Consortium. FlexRay communications system protocol specification, version 2. 1 revision A［S］. Stuttgart: FlexRay, 2005.

[3] [3] ARINC 664P7. ARINC 664 aircraft data networks, part 7: Avionics Full Duplex switched ethernet (AFDX) network ［S］. Maryland: ARINC Specification 664 Part 7, AEEC, 2005.

[4] [4] SAE Aerospace. SAE AS6802 Time triggered ethernet［S］. Detroit: SAE International, 2011.

[5] [5] LE BOUDEC J Y, THIRAN P. Network calculus: a theory of deterministic queuing systems for the internet ［M］. Berlin: Springer, 2001.

[6] [6] XIANG Y, WANG W, ZHANG X, et al. Performance research on time triggered ethernet based on network calculus［J］. Eurasip Journal on Wireless Communications and Networking, 2014, 8(2): 1-13.

[7] [7] ROBATI T, KOUHEN A E, GHERBI A, et al. An extension for AADL to model mixed criticality avionic systems deployed on IMA architectures with TTEthernet［C］//Proceedings of the 1st International Workshop on Architecture Centric Virtual Integration(ACVI), 2014: 14-27.

[8] [8] KENFACK H D, KORF F, STEINBACH T, et al. An extension of the OMNeT++ INET framework for simulating real time ethernet with high accuracy［C］//Proceedings of the 4th ICST, 2011: 375-382.

[9] [9] BRAU G, PAGETTI C. TTEthernet based architecture simu lation with ptolemy II［C］//Proceedings of the 6th JRWRTC, 2012：29-32.

[10] [10] STEINER W. An evaluation of SMT based schedule synthesis for time triggered multi hop networks［C］//IEEE 31st Real Time Systems Symposium (RTSS), 2010: 375 384.