Simulation and Performance Verification for Clock Synchronization of Time-Triggered Ethernet

WANG Meng-di; WANG Tong; HE Feng; ZHAO Ke-li

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

[1] SAE AS6802.Time-triggered ethernet［S］.SAE Aerospace Standard,2011.

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

[3] GUI B X,LIU J H.Realization of IEEE1588 high-precision synchronous algorithm［J］.Electronics Optics & Control, 2006,13(5):90-94.

[4] YI J,XIONG H G,HE F,et al.Research on traffic classes transformation strategy and real-time guarantee scheduling algorithm in TT Ethernet［J］.Acta Aeronautica et Astronautica Sinica,2014（4）: 1071-1078.

[5] STEINER W,DUTERTRE B.Automated formal verification of the TT Ethernet synchronization quality［C］//NASA Formal Methods,Third International Symposium,2011:375-390.

[6] DUTERTRE B,EASWARAN A,HALL B,et al.Model-based analysis of timed-triggered ethernet［C］//Digital Avionics Systems Conference(DASC),IEEE/AIAA 31st, 2012:9D2-1-9D2-11.doi: 10.1109/DASC.2012.6382445.

[7] ABUTEIR M,OBERMAISSER R.Simulation environment for time-triggered ethernet［C］//The 11th IEEE International Conference on Industrial Informatics(INDIN),2013:642-648.

[8] HUANG Z,ZHANG Y T,XIONG H G.AFDX modeling and simulation based on discrete event method［J］.Journal of Beijing University of Aeronautics and Astronautics, 2011,37(10):1326-1332.

[9] STEINHAMMER K,GRILLINGER P,ADEMAJ A,et al.A Time-Triggered Ethernet (TTE) switch［C］//Proceedings of the Conference on Design,Automation and Test in Europe,Proceedings European Design and Automation Association,2006:794-798.

[10] LIU W C,LI Q,HE F,et al.Research on time-triggered-ethernet synchronization and scheduling mechanism［J］.Aeronautical Computing Technique,2011,41(4):122-127.