3ARINC. Arinc project paper 664: Aircraft data network, part 7-a-vionics full duplex switched ethemet (AFDX) network [S]. 2005.
4Taubrich J, Hanxleden von R. Formal specification and analysis of AFDX redundancy management algorithms[C]. Pros. of SAFECOMP'07. fS. 1.1: SprinQer-Ver 1 aQ, 2007.
5Anand M, Vestal S, Dajani-bronwn S, et al. Formal modeling and analysis of the AFDX frame management design[C]. Proceedings of the 9th IEEE International Symposium on Object and Component-oriented Real-time Distributed Computing. [S. L]: IEEEPress,2006.
6Xilinx Inc. Virtex-5 User Guide(UG190(v3.1))[R]. 2007, i I.
