[1] [1] VIRAKTAMATH C,PEITZ G,STRAUSS U,et al.Evaluation of software performance characteristics of FlexRay communication protocol for its suitability in avionics[J].Aerospace and Electronic System Magazine,2008,23(9):4-13.

[2] [2] FlexRay Consortium.FlexRay communications system protocol specification(Version 3.0.1)［M/OL］.［2014-09-03］.http://www.flexray.com,2006.

[3] [3] GWALTNEY D A,BRISCOE J M.Comparison of communication architectures for spacecraft modular avionics systems[M].Washington:NASA,2006.

[4] [4] MATSUBARA M,KOJIMA T,SHIMAMURA K,et al.Node status monitoring and state transition mechanism for network centric X-by-Wire systems[C]//Autonomous Decentralized Systems,USA:IEEE,2009:1-6.

[5] [5] BERGENHEM C,KARLSSON J.A process health status service for safety related systems using TT/ET communication scheduling[C]//Pacific Rim International Symposium on Dependable Computing,IEEE,2008:122-131.

[6] [6] MUDALLAR V S.Verfication of FlexRay membership protocol using UPPAAL[D].Manhattan:Kansas State University,2008.

[7] [7] SAE S-18 Committee.ARP 4761 guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[M].USA:SAE,1996.

[8] [8] PFEIFER H.Formal verification of the TTP group membership algorithm[C]//Formal Methods for Distributed System Development FORTE XIII/PSTV XX,2000:3-18.

[9] [9] BAUER G,PAULITSCH M.An investigation of membership and clique avoidance in TTP/C[C]//Symposium on Reliable Distributed System,2000:118-124.

[10] [10] SAE International Group.TTP Communication protocol[Z].2011.