2ARINC.Arinc project paper 664:Aircraft data network,part 7-avionics full duplex switched ethemet(afdx) network,2005.
3Charara H,Fraboul C.Modeling and simulation of an avionics full duplex switched ethernet[C]//Pruceedings of the Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Interminent Resources Conference/E-learning on Telecommunications Workshop,IEEE,2005.
4Charara H,Scharbarg Jean-Luc,Ermont J,et al.Methods for bounding end-to-end delays on an AFDX networks[C]//Proceedings of the 18th Euromicro Conference on Real-Time Systems(ECRTS),IEEE,2006.
6Taubrich J,von Hanxleden R.Formal specification and analysis of AFDX redundancy management algorithms[C]//LNCS 4680:SAFE-COMP 2007.[S.l.]:Springer-Verlag,2007.
7Taubrich J,von Hanxleden R.Formal specification and analysis of AFDX redundancy management algorithms[C]//LNCS 4680:SAFE-COMP 2007[S.l.]:Springer-Verlag,2007.
8Taubrich J.Formal specification and analysis of a redundancy management system with TLA+[D].Christian-Albrechts-Universitat zu Kiel,Department of Computer Science,2006.
9Anand M,Vestal S,Dajani-Bronwn S,et al.Formal modeling and analysis of the AFDX frame management design[C]//Proceeding of the 9th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing,IEEE,2006.
10Bengtsson J,Larsen K G,Larsson F,et al.Uppaal-a tool suite for automatic verification of real-time systems[C]//Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems,New Brunswick,New Jersey,22-24 October 1995.
