[1] Xiong H G, Wang Z H. Advanced avionics integration techniques. Beijing: National Defense Industry Press, 2009: 109-112. (in Chinese) 熊华钢, 王中华. 先进航空电子综合技术. 北京: 国防工业出版社, 2009: 109-112.[2] Fuchsen R. IMA NextGen: a new technology for the Scarlett program. Aerospace and Electronic Systems Magazine, IEEE, 2010, 25(10): 10-16.[3] Andrillon B, Aviation D. Contribution of integrated modular avionics of second generation for business aviation. SCARLETT Project ACP7-GA-2008-211439, Europe: FP7, 2008.[4] Fletcher M. Progression of an open architecture: from Orion to Altair and LSS. International Defense & Space Electronics Systems S65-5000-20-0. Glendale: Honeywell International, 2009.[5] Jakovljevic M. Synchronous/asynchronous ethernet networking for mixed criticality systems. Digital Avionics Systems Conference(DASC), 2009: 1.E.3-1-1.E.3-10.[6] Triquet B. Mixed criticality in avionics. (2012-3-5).http://cordis.europa.eu/fp7/ict/embedded-systems- engineering/presentations/triquet.pdf.[7] ARINC 653-1-2003 Avionics application software standard interface.[8] ARINC 664 Aircraft data network, part 7: avionics full duplex switched Ethernet(AFDX) Networks.[9] D-INT-S-10-002 TTEthernet specification.[10] VanderLeest S H. ARINC 653 hypervisor. Digital Avionics Systems Conference (DASC), 2010: 5.E.2-1-5.E.2-20.[11] Ke W J, Wang S D. Reliability evaluation for distributed computing networks with imperfect nodes. IEEE Transactions on Reliability, 1997, 46(3): 342-349.[12] Bauer H, Scharbarg J L, Fraboul C. Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. IEEE Transactions on Industrial Informatics, 2010, 6(4): 521-533.[13] Zhou T R, Xiong H G, Zhang Z. Hierarchical resource allocation for integrated modular avionics systems. Journal of Systems Engineering and Electronics, 2011, 22(5): 780-787.[14] Wang Z, Song Y Q, Poggi E M, et al. Survey of weakly-hard real-time scheduling theory and its application. Proceedings of International Symposium on Distributed Computing Applications to Business, Engineering and Science, 2002: 429-437.[15] Livani M A, Kaiser J. Evaluation of a hybrid real-time bus scheduling mechanism for CAN. Workshop on Parallel and Distributed Real-Time Systems, 1999: 425-429.[16] Decotignie J D. Ethernet-based real-time and industrial communications. Proceedings of the IEEE, 2005, 93(6): 1102-1118.[17] Georges J P, Divoux T, Rondean E. Comparison of switched Ethernet architectures models. Proceedings of Emerging Technologies and Factory Automation ETFA’03, 2003: 375-382.[18] Boudec J Y Le, Thiran P. Network calculus: a theory of deterministic queuing systems for the internet. Online Version April 26, 2012: 7-19, 175-180. |