ࡱ > O Q N S T U V M N G ` [ R S bjbj w ΐ ΐ % s s s s $ P l S 7h ^ m " m% B % % g g g g g g g $ Wj l ^ g 9 s % K% " m% % % g g : : : % B D s g : % g : : X / D \ iݔ 6 Z Y " ~g h 0 7h Y Wm k7 Wm D \ \ Wm s ] % % : % % % % % g g C9 N % % % 7h % % % % Wm % % % % % % % % % : eS;`~b/gxvz H܀RzffkshfZSRm -N*]N[*zz{b/gxvz@b[ 7 1 0 0 6 8 XdT T P OS[INN Nyؚnx['`eQzؚ[hQvO;`~YnSbޘLc6RI{v[hQsQ.[ec6R|~v^(uBl0eS;`~b/g9hncT T P OSĉBl[x6RvpۏLKmՋSbW,gOKmՋ0eTek0EeleQI{ NTvKmՋ:WofEQRKmpvTyR0'`0ǏُNKmՋhfKmpTychnx6R BlS(uN[hQsQ.[ec6R|~0 sQ.͋ [hQsQ.eS;`~OS -NVR{|SV 2 4 3 . 1 e.shƋx R e s e a r c h o n V e r i f i c a t i o n o f T i m e T r i g g e r e d P r o t o c o l C h e n C h a n g s h e n g , L i u Z h i w u , W a n g C h e n b o , L i u Y a n g ( X i a n A e r o n a u t i c s C o m p u t i n g T e c h n i q u e R e s e a r c h I n s t i t u t e o f A V I C , X i a n , 7 1 0 0 6 8 , C h i n a ) A b s t r a c t T i m e - t r i g g e r e d P r otocol (TTP) defines a communication bus with high determinism, conflict-free and high safety, and it could meet the communication requirements of safety-critical real-time control systems such as flight control system. Verification of TTP is based on the demands of the protocol, designed test methods and procedures including basic communication, synchronization and fault injection to verify the functions and performance of TTP node under test. Through the tests, the TTP node is verified that it meets the re q u i r e m e n t s a n d i t c o u l d b e u s e d i n s a f e t y - c r i t i c a l r e a l - t i m e c o n t r o l s y s t e m s . K e y w o r d s s a f e t y - c r i t i c a l ; t i m e - t r i g g e r e d p r o t o c o l ; p r o t o c o l v e r i f i c a t i o n 0 _ яt^egc6R|~ckNƖ-N_c6RSU\0RR^_c6R OahV0c6RhV0\ORhVI{c6R|~-NvT*NNKNǑ(uO;`~ۏLޏc[spencNNO_|~wQ gfؚv[hQ'`T~Nm'`0(Wc6R|~-NSN cgqgbL{0OI{NRvSagNۏLR{|[N1uNNvSuSv|~y:NNNS|~[N1uyr[eSv|~Ry:NeS|~0R^_[ec6R|~-NǑ(ueS!j_Y\S(uvODnTt0WY`RM~|~Qk*NpǏeSvOScdNNNSOOSQvDnqQNQzTb` Yd\OI{cؚ|~vnx['`T[hQ'`0VdkYyWNeSvO;`~YF l e x R a y [ 1 ] 0T T - C A N [ 2 ] I{0v[ S A E A S 6 0 0 3 [ 3 ] hQ[INveSOST T P ;`~1uN-NǑ(uNR^_vTek{l0/ec[hQvbI{OvQfRT^(u(W[hQsQ.v[ec6R|~-N0 T T P ;`~/f NyWNhQ@\Tekve cgqHQMnvmo`chM E D L ۏLY`O^vؚ[hQ0:_[e;`~[ 4 ] v[N O~v1 5 5 3 B I{:g};`~wQ g Osfؚ0[Rf:_0b,gfNOI{yrp[ 5 ] VdkbR^(u(Wl(uޘ:gv:g5u|~A 3 8 0 v1QSRc6R|~0B 7 8 7 vRRc6R|~NsXc6R|~I{ 0ޘc|~^]C |R/e~[:gޘLc6RI{ TSR:gc6R|~G E vF 1 1 0 SR:gF A D E C I{[ec6R|~-NhfvQ go}Yv^(u^:WTc^MRof0@wbV(W'Yޘ:g0SR:gI{Wv_SU\ g_ _U\T T P ;`~b/gvxvz]\O0 1 T T P OS T T P Ǒ(u;`~WbQbggirtB\Ǒ(uR S - 4 8 5 ;`~eN蕄v;`~c6RhV@b gps^I{0Wޏc0R;`~ N0T T P ;`~cQN NyR^_vؚ|^eTek{l[ 6 ] ǏY*NcepSQ'^vv[e;R[Q~ۏLTekMQN O~vƖ-N_eTekb/g-NvcezUSpEev^NeN蕄vce'^V NXRYvO&^[0WN勗{l;`~ NT*Np^zhQ@\e0;`~[INNƖhTgTT D M A eR Y(u sv^\T D M A sRR:NY*Ni:NT*Np[INeQzvmo`SiMOnO_|~Y cgqeR Y(uve_r`S;`~ONOv[e'`Y R E F _ R e f 3 7 1 1 6 3 9 6 1 \ h \ * M E R G E F O R M A T V1 @b:y0 E M B E D V i s i o . D r a w i n g . 1 1 V S E Q V \ * A R A B I C 1 0N(V{eu T T P ;`~[INN$N{|OS gRO gRT[hQ gR0O gROS`vpenc O0Ɩv/TR0pKNv͑eteT0nx{l0[eTekNSƖ!j_RbcvYtSb /TR gRT T P c6RhVN*gTek!j_ۏeQTek!j_vǏzy:N/TR0SQNT T P c6RhV/TReƖ/f&Tck(WۏLc6RhVHNteTۏReQS_MRƖHNSw N*NƖ/TRy\OQ/TR eTek gRT T P OOSǑ(uR^_vTek{lhTg'`Tek@b gT T P pv,g0WeNNu N*Nnx[|^VQvhQ@\eW nx gRWNbXTsQ|T_v!hSp(WS'^KNTN gY$N*N gHeT~pSv'^vr`egnxꁫ/f&Tck8^v gR Ɩ!j_ gRQ0RY[e|~vd\OTc6RǏz-NS+TNY*NvNrzv6k NT6kBl NTvOMnpencT T P /ecY*NƖ!j_v^N/ecR`vƖ!j_f9e0 [hQ gR/echKmSbpbXTsQ|>m|hKm{lT;N:g/ c6RhVu}Th gRSb bXTsQ| gR[ 7 ] [IN6 4 MOvbXTsQ|Tϑk NMONh N*Npvr`0(W N*NT D M A sv N[^eQ(uNO@b g gHepvOteُNp[Nk*Npv]\Or`v,g0WƉV >m|hKm gR>m|[IN:N N*NpƖ9hncc~Ovk*N'^ُNpwQ g Nvc6RhVr`Ɩ!j_0S_MRiMONSbXTsQ|Tϑ 0>m|hKm gR(uNhgte*N;`~ N/f&TX[(W NTv>m|v^ۏLb` YNMQ|~v^ N'` ;N:g/ c6RhVu}Th gR(Wk*NT D M A s-N;N:gTT T P c6RhVKNǏ;N:gcSvNcOhTg'`fevu}ThOo`N\]v;mÍr`w~[eOpL:Nvcknx0 T T P ;`~Ǐ N gROvQwQ g[e'`0[hQ'`vb/gyrpYn:g}sX-NޘLc6R0:g5uc6R0SR:gc6RI{[hQsQ.Wv^(uBl0 2 T T P p:g T T P p:gbhQP M C !jWWǑ(u3 2 MO3 3 M H z / 6 6 M H z vP C I ;`~0irtzS NǑ(uSYO^ve_cؚ|~vS(u'`O_vQ-N N*NSEev`QN;`~N6qY:N|~cO gHevO gR08h_;Ǒ(u'Yĉ!jF P G A ;N[s/eceTekNSWNeSv;`~O gR0[hQ gRI{0T T P p:g~gYV2 @b:y0 E M B E D V i s i o . D r a w i n g . 1 1 V2 T T P p:g~g vQ-NR S 4 8 5 qRhV[sT T P ;`~5us^vqRSShV(uN;`~OSvyObM E D L Ǒ(uP R O M OX[T T P pvOMnOo`F P G A \O:NT T P p:gv8h_N[sT T P ;`~vOSc6RhVRv^[;N:gcOcS0 F P G A [svT T P ;`~c6RhV;NS+TNNR P C I ;`~cS\O:NP C I Yz[s;N:g[Np:g-NvsQ[X[hVvnN0mo`vSNc6eI{ OQ~cSC N I [INN N~[X[hVTQ:S(uN;N:gNOSYtRvOo`NN0[X[hVSb;N:g[c6RhVv NNSpev[YOsvMn0Ɩ!j_f9eBlI{NS NNc6RhVT;N:gcOvr`Oo`YƖe0-Ner`0~Oo`I{0Q:SSbSmo`Q:STc6emo`Q:S[s;N:gSTc6ed\Oevmo`Q OSYtǑ(ur`:gvb__/ecF r e e z e 0I n i t 0L i s t e n 0C o l d S t a r t 0A c t i v e TP a s s i v e qQ6 yr`0(WF r e e z e r`nvsQ[X[hVvRY