Validating Real-Time Behavioral Patterns of Embedded ... - Verimag



  
 
"!#$&%'
)(*
+ , %- ./$10 2 43576$8 8 ,%'$8%'. ;9 :=:@?A?B:=CED#F h@jEl]ikmjYln`B{|mo;o;v}pqiks~ikd,h@^aikegj^erc+h;€o>jYst[E[\>miko;su^a^a`uoq^Z@‚ [sujo>[jv ŒHŽ_ŽH@Ž‘d,’+ƒM“}Ž„ka…z’=†=Ž…ˆ”–‡Š•k‰—am˜ah;Ž™_vkmš_o;›–o;“œ=j ›aZ_‘@w-ž‘Hs~ikœ@‹žjY›alk`tŸHmŸ=o;›=p  ˆ¡_›œ_¢=˜“k—ˆ’ uiks£v-su^a¤–o±lk¥^z¦suw-§ˆo¨ªsuo;ik©\;g¦ajq« jY¬@p@€fRj\>vx^j,suo;acNjo±h>o_o;ikf;[Yst\;mik`usum`~^avx‚_o;j®>m€ik`>^#\;[^asuvneghªp>f>mjl]`tejEm¬>o_ms~ikoªi­j‚p>j1v^ikcRm\;\;o8mmigsul]o_p@m²ikwj[m^l]lko;mj-ik[Ymsulk^aoªjYoqikprj1^vxc–^suegcWv}i­‚@w'f;v}`umikjjlkegj-e°jv}o_‚@¯i]v}mmik`uikjstp;sueg^mo v„ [¯H^^o>`u¯HcWj^vŠlkegh>v1vxj8ik^^c¶ikma\>p@j²¯aegmo;^=[p>jjp·`ujzv}p³‚@v}lkikjj´=eh>mˆs~lkikjsu[1egikjjo_[]ik\;vo>®-sUZ_´_‚>h>v}jikvŠjYemoªp¯amik`tst^_p>^am`uikvsu®¸^a{|oµof>iklk\;^_su[YvŠjf;vxv8mfRsuo>jYl„ w,j#f@lkjvxjo_iqmegjEik\;^=p³cW^lq¯m`ustp;mˆiksuo;ik\;j¹lkjzm`u„iksuegj²ºRj\ªmz¯=su^l]m`fªmˆixikjYlko;v ^jerc"[ºR^ajzo_p;ixp@lkjz^p»`Msu[o_^iko=jixo;lkvx^su¯H`u`tjqjElkv¹mf;mf>lk`uj#st[megiksu^=^ap>o>jv`u®'jzp¼€\;h;j1vxsuo>lkjz»m`~Z_„iki]sumegikjjq[]\ªºRmˆjlx\ªi¹mz¯=p>sust^ml]ml]`Mmegf;mv1ixik^jYc lko>½¶vgo;^s~„c ¾;[]\ªjzmˆp¹lxin¿8p>^=stp>mjY`tl]sumo>eg1v'‰b[m^o>o;avxhªsuv}mikav-j^ÀÁcý"m¿q[Yik‰su¯HÂEj®Rd,^aº=^Ä}o;jY[Y[YlkikjEv-ikjsto8suegÅHmzf>¯a`tm jYegf>lkj^o_i]l]mmikegsu^ao1eg^suo>c–rik\;`tmj o>Z_ai]h;mmikajYj „ w-iksuegs~ik\jzpÆv}‚@mo;o>[]o;\>^lki]^amˆo>ik^asu^ah>o;v,v[ÇA^w,egjŠe ¯ah;mo>`usUsup>[zmmikikj su^aikoB\>®Hjr{­oŠlkjzikm\;`~j-„Èiksusuegegf;jŠ`uj[Yeg^ao;jv}o_ixi]l]mmiksuo=su^ikoŠvh;ik^1vxsuo;ºR j vxvkfRmˆjik[stv}s~¾;¾;jzjzpp º_mo‚&jjYe ¬>mºRegjp;f;p>`ujŠjp&^cn[^mqo_ixalkjz^amˆ`ul `ujY[Ylkv^a®ªo_Éixlk^aj¶`u`uvxjY\ªlŠmh>`u`bvxjzst`upÊ`uh;v}suoixl]mˆmikh>j"ik^aikeg\;j"^º;¯msu`u`ujstvp;ǖmikmsuoª^p#oqcWf>h>lklx^_ik[\>jYjYvxlkvnegw-^s~lkikja\ Ç f@lk^¯=stp>jmoqm`t^lks~ik\;egsu[vx^a`uh@ikst^ob® Ë Ì;͖Î&ÏbÐ_Ñ¸Ò Ó?ATUÔBQP»ÕÖRPRQLUTW?A?Ãâ ã ä;ånæRçAè"érê ëæAìkènå í XEÖ_îCYD·TU?·CEDAQ1CEQaÙDA?AÖ@LWÖ@ßÆÖ@ï-Úq:@?ªORïÈ:@وCEOAXYTU?BVAXYÖªÙQÛYÛ]Ö>XYÛ":@?BP·PRQaوLWTU?BQ&TW?·CEDBQ VAXETNوQaÛ'DB:HG>Q¶Ú¹:>PRQ: XEQG@Ö@LWORCYTUÖ>?1Ö@ïJÛEOAVAVALN:=?;CYTU?A?ATNÙ"Û]ßRÛ]CEQÚ¹Û,CYÖÛ]TW?AÚqVAORCEQXYÛMÖ@XMQÚ1ÞbQaPAPRQP#Û]ßRÛ]CEQÚqÛ ò ó@ô :=XYQ¶Ö@ïÁCEQ?1ORCYTULWTWõQP8TW?¹ÙˆÖ@?;CYXEÖ>L;TW?;CEQ?BÛ]TWG@Q":@VAVALWTWÙ:_CETWÖ@?bÛâ@تObÙD8ÛEßRÛkCYQÚ¹ÛÖ@X'QÚ&ÞQPAPRQaP وÖ@?;CYXEÖ>LULWQXÛnÞQDb:HG;TW?A:@PALUßÊ:@Û PAQÛETU?·VB:_CECEQXE?BÛ ò =ô âbá-:=XYTUÖ>OBÛXYQ:@Ltñ|CETWÚqQ Ú8ÖRPRQLWÛ ò Hô :=?BPµCEDAQTUX1ÔB?ATUCEQÛkC:_CYQ²ïÖ@XYÚ¹:=LWTWÛEÚ¹Û ò _ô :=XYQÆQÚ8VBLUÖ_ß>QP5ïÖ@X8G_:=LWTWPB:_CETWÖ@? Ö=ï XEQa:=LCYTUÚqQ5Û]ßRÛ]CEQÚ¹ÛÊÛ]VQÙTtÔbQP TW? PR T QXEQ?;C#VAXYÖ@XY:@Ú8ÚqTW?A?BÛ]TNPRQX CEDAQ¹PRQaÛ]TWLULWQXÛïÖ>XŠCETWÚqQP5Û]ßRÛ]CEQÚ¹Û ò  I Hô TW?»ÓrÕ·×-âÃðDBQ TU?;CEQ?5Ö@ï"GH:@LUTNPA:=CETWÖ@?¼ÚqQˆCYDAÖRPAÛ&TW?µPRQG@QLWÖ@VBÚ8Q?;C&VADB:>Û]Q²Ö@ïÓ Õ·× î"TULWLM:>ÛEÛETWÛ]C&TW? PRQGªTNÛ]TW?AXgG_:=LWTWPA:=CETWÖ@?5Ö@XYTUTU?b:_CEQaÛrïXEÖ>Ú ØªTUïÈ:=öªTWÛ ò _ô î"DAQXYQ"?AÖ@?Añ}ÙÖ@ÚqVAORCYTU?A?BÛ,Ö=ïJVAXEÖ>?;CEXYÖ@LWLUQXgTU? Ø;C:_CYQÙDB:@X]C1PATW:=ñ ?Ãâ

ÈTUGÊà"Q:>P±QøRQوOACETWÖ@?5CETWÚqQۊTW?»9;:HG_:#ÙÖRPRQ@â+ðDBQ1CYTUÚqQ¹G_:=LWOAQaÛg:=XYQ8Þb:@ÛEQP³Ö@?»Û]QLUQaÙzCEQaP CY:@XEQˆC:=XÙDATUCEQوCEOAXYQ@âRÝnTtCYDAQX¶CEDBQوÖ@ÚqVATWLWQXÛEOAVAVÖ@XECYÛ¶CEDBQ XYQ:>PRTW?AXÛ]ߪ?BÙDBXEÖ>?AÖ@OBÛMVAXYÖ@XY:@Ú8ÚqTW?AÚ CEDBQ"LUTW?AöªTU?B?>CYXEÖ>LULWQXrTWÛgÙÖ@ÚqVÖ>ÛEQPTW?³Vb:=XECYÛ Ö@X ÚqÖªPAOALUQaÛâ–ðDAQaÛ]QqÚqÖRPROALWQÛrCEÖ>Û"Û]DAÖ_î"?TW? @¸TWXCEDAQG_:@LUTNPA:_CYTUÖ>?îMQÙ:_CEQXETWõQrCEDAQ1وÖ@ÚqVÖ>ÛEQPÊÛ]ßRÛ]CEQÚ÷TW?>CYÖqCkîMÖ¹Vb:=XECYÛ  Environment

Program Controllers

Interface

NewGear Gears: {0,1,...6} 0− Neutral 6−Reverse 1−5 −Forward

Control

ReqSpeed/ ReqTorque/ ReqZeroTorque

ReqNewGear

|| ClutchOpen/ ClutchClose

Gear Control

Clutch Control OpenClutch/ CloseClutch

 « B«

Engine E Timer

Engine Control

Interface

Clutch C Timer

Environment TorqueZero/ SpeedSet

GearSet/ GearNeu ReqSet/ ReqNeu

Gear Box GB Timer

d,^egfR^avxs~iksu^aoq^c¸¿8j[j`  v"!¶jml¶d,^ao_ixlk^a`u`ujYlz®

وÖ@?;CYXEÖ>LULWQX,VB:=XEC':@Û 5 8 ; 89)% :@?BP8وÖ@ÚqVÖ@?AQ?;C,VB:@X]C-:>Û 0$=7. ,/89;+=7%02= *­â=ðDAQ"ÙÖ@ÚqVbÖ>?AQ?;CÛ DB:HG@QÆCETWÚ8QÊXYQ?;OATWXEQÚ8Q?;CYÛ&CEÖ5ÞbQÛE:=CETNÛkÔbQP¼ïÖ>X&CYDAQوÖ@XYXYQÙzC1ïOA?BوCETWÖ@?ATW?ALULWQXa&â @AÖ@X"QøA:=ÚqVALWQrCYDAQŠCETWÚqQgXEQ ?;OATUXYQÚqQ?>CÛ¶Ö@?وLWORCYÙDÖ@VQX:_CYTUÖ>?#TNÛ":@Û¶ïÖ>LULWÖ_îÛâ ðDAQ¹ÙˆLWORCYÙD»Û]DBÖ@OALNP±ÙDB:@?AÚ ÙˆLWÖ>ÛEQ&CYÖÊÖ>VbQ?³Ö>XŠG;TNوQ8G@QXYÛY:²î"TUCEDBTU? B B CYÖ  +B CYTUÚqQgOA?ATUCYÛâ QˆøªCîMQÛEDB:@LUL–VAXYQÛEQ?;C"CYDAQgÚqÖªPAQLWTU?A?BوXYQˆCYQ XYQ:@LUTWõ:=CETWÖ@?#Ö=ï CEDAQgQøR:@ÚqVALUQ>â ä   +åMæ ,æAìkènå Ó Õ·×VAXYÖ_GªTWPAQÛ'Û]CEQXYQÖ@CkߪVbQÖ=ï–ÙˆLN:@ÛYÛEQÛI_VAXEÖ@CEÖRوÖ>LWÛ':@?BPqØ;CY:=CEQÙDb:=XECnPRTW:@Q?gÛ]ßRÛ]CEQÚqÛâÓrÛ]TW?AÙDgTU?bPRQVQ?Rñ PRQ?;CrÙÖ@?;CEXYÖ@LÃQLUQÚqQ?;C Ö=ïLULWQXaâ Ì ÈÏbÐ Ì;Ð ¸Ò ðDAQ#PRߪ?B:@ÚqTWÙÆÞbQDB:HGªTUÖ>XÖ=ïVAXYÖ@XY:@Ú ÙÖ@?;CEXYÖ@LWLUQXVB:@X]C1:@?BP¼TUCYÛ8وÖ>XEXYQÛEVbÖ>?BPRTW?AÚ8ñ VbÖ>?AQ?;CgTWÛgÛEVQوTUÔBQaP³ObÛ]TW?A?AQ?;CgÖ@XŠQ?ªGªTWXEÖ>?AÚqQ?;C ÞbQDB:HGªTUÖ>XMTNÛÛ]VQÙTtÔBQaP²CYÖ8:>ÛEÛETNÛkC¶CEDAQ G_:=LWTWPB:_CETWÖ@?+â @,TW?;CEXYÖ@LWLUQX"Ö@X VBXEÖ>?AQ?;CÛ¶:@?BP²VBXEÖ@ñ وQ>ânðDAQTW?>CYQX:@وCETWÖ@?BÛqÞQˆCkî¶QQ? PAAT JQXYQ?;C²VAXYÖ@XY:@Ú ÙˆÖ>?>CYXEÖ>LULWQXÛq:=XYQÚ8ÖRPRQLUQaP OBÛ]TW?ALULN:=ÞÖ@X:_CYTUÖ>?#PRTN:=XY:@Ú¹Ûâ ,Ï ÃÍ ¸Ð_Ï ,Ï ,Ò bÌ Ì Ò @AXYÖ@ÚCYDAQqÞbQDB:HGªTUÖ>XY:@L¸VB:=C]CYQXY?BÛ CEDAQ¹ÙÖ@?BÙXEQCEQ8TUÚqVALWQÚqQ?;C:_CETWÖ@?5TNÛŠÛ ïÖ>Ltñ LUÖ_îÛ @AÖ>X8Qa:@ÙD وÖ>?>CYXEÖ>LULWQX¹:@?BP TUCYÛÆوÖ@XYXYQÛEVbÖ>?BPRTW?A?AQ?;C²:@وCETWG@QÖ@Þ kQÙzCÛ¹:=XYQ وXYQ:_CYQP–âðDAQÛEQ&:>ÙzCETWG@Q&Ö@&Þ kQaÙzCYÛ ÙˆÖ@ÚqÚ1OA?ATNÙ:_CYQ&ÛEß;?bÙDAXEÖ>?AÖ@ObÛ]LWß#:@?BPÛ]ObÙDÖ@&Þ kQaÙzCYÛr:=XYQ ö;?BÖ_î"?³:@ۊÛEߪ?BÙDAXYÖ@?AÖ>OBÛr:>ÙzCYTUG>Q&Ö@Þ kQÙzCÛ Aò  I ó=ô âðDBQqÙÖ@ÚqÚ&OB?ATWÙ:_CYTUÖ>?±ÞQˆCkî¶QQ?³CEDBQ وÖ@?;CYXEÖ>LULWQXÛq:=?BP)TUCYÛÆÙÖ@ÚqVÖ@?AQ?>CÛ¹TNÛ²Û]ߪ?BÙDBXEÖ>?ATUõQP Þªß DB:HGªTW?A:HG_:A>â ³Q²:@?A?AÖ=C:_CYQqCEDAQÆÛEߪ?;CY:_ø5Ö=ï"Û]ߪ?BÙDBXEÖ>?ATUõa:_CYTUÖ>?5Ù:=LWLWÛgî"TUCED»ïÖ>LULWÖ_î"TW?A< LW:@ÞbQL+ÛkCYXEObÙzCEOBXEQŠî"TUCEDATW?ÊCEDAQÙÖ@ÚqÚqQ?;CYÛÞQTU?A?BTU?Amjz[Ymi-vxh@ikstlkegjegjYv-jo_mi-lkj"suv¶[^suo8egikf;suh>egikjjpBh;® o;s~ikv-suo;v}ikjzmpq^c+egsu`u`tsuvxj[Y^aoªp@v® mvxjzp












  !"

 

#

%$"&('*)+",&.-"/"0)212-0"323.,-

 54

6

27.8

9"

 :



#7# ;*"#7= #7

#

(# (



?@8 BADCFE 2

HG:IKJ

L

ó

M



   I

«
B« d,`tmvxv ¶ sUml]me^c !¶jzmˆl"d,^o=ixlk^`u`tjElz®

«« Z=i]mˆikj[]\ªmlxi¶sUml]me^c¸d,`uh>ik[]\¹d,^ao_ixlk^`t`ujYlz®

)(/( ,/=2 ) !$*-,/.0
; $0 !$* =7#&%


«
B« Z=i]mˆikj[E\;mlxistml]me°^c¸d,`th@ik[E\¹d,^aegfR^ao>jo_i

ð DAQÛkCYXEOBوCEOAXYQÊÖ=ïrLN:=ÞQL"TN۹وÖ>ÚqVbÖ;Û]QaP î"TUCED CEDAQÊïÖ>LULWÖ_î"TU?B? 4T/  )+(/( 0$8 :@ÙzCYTUG>QÖ@ÞkQÙzCr?;OBÚ&ÞQXaâTWT/ 0?ŠCETWÚ8Q¶Ö=ïRCYDAQnÚqQCEDAÖRP–âHðDAQ-Ckî¶ÖrÙ:_CEñ QXETWQÛÖ=ï-وÖ>Ú8VÖ>ÛETUCETWÖ@?ÃIbCEDAQ1VAXYÖ@LULWQX :@?BPوÖ>ÚqVbÖ>?AQ?;CYÛrÖ=ï 0$=7. ,/89;= %
0$=7* :=XYQ¶ÛEVbQaوTUÔBQP&TU?q:=?B?AÖ=C:_CETWÖ@?bÛ,:>Û,QG@Q?1:@?BPÖRPAP1?ªOAÚ&ÞQXÛ,XEQaÛ]VQوCETWG@QLWß@â @BÖ@X,CEDAQQøR:@Ú8ñ VALUQÖ@ïÛETUÚqVALWQوLWORCYÙDqوÖ>?;CEXYÖ@LWLUQX+Ckî¶Ög:@ÙzCYTUG>QMÖ>&Þ kQوCYÛ':@XEQوXYQ:=CEQP     :=?BPµCEDAQوÖ>Ú8VÖ@?BQ?;C   5î"TtCYD)ÛEߪ?BÙDAXYÖ@?AÖ>OBÛÙÖ@ÚqÚ&OA?BTWÙ:_CETWÖ@?+âðDBQÊ:@?A?AÖ=C:_CYQP Û]Ö>OAXYÙQrî"TUCEDCYDAQ CETWÚqTU?AXEÚ¹:_CYTUÖ>?Ê:@VAVQ:=XÛ":@Û"ÛEDAÖ_î"?ÊÞbQLUÖ_î  œa“a ™ “H@“ ˜_žH—5—a˜H Ž a›_ŽŸ  ŽH“a—“H‘@“ ž”_›¼—a˜H Ž H˜™_‘@—ˆ ’  _‘H Ÿ H˜H˜a›a Ÿ  ŽH—H—›œ_‘R• œ=J›• Hœ_˜™_›‘@ _—ˆ’˜™H ‘@—ˆ’Õ  ! "   “a“H“ " ŽH“a—“H‘@“ ž”_›¼—a˜H Ž H˜™_‘@—ˆ’  ŽH—H—›œ_ ‘#J%• _˜R™_&• ‘@_—z’$˜ˆ™_œ=‘@›—ˆ$’ ˆ œ=›Ã•   "   “a“H“ " F ÛMCEDAQgÙÖªPAQ PRQVATNÙzCYÛMCYDAQgوLWORCYÙDÊوÖ@?;CYXEÖ>LULWQXMTWÛ¶?ªOAÚ&ÞQXYQPÆî"TtCYD B :=?BP#وLWORCYÙDوÖ>ÚqVbÖ@ñ ?AQ?;Cî"TUCED  â ' (  Eì]é ,æAìkèMå x? CEDATNÛÛ]QaÙzCYTUÖ>? îMQ³VAXEQaÛ]Q?;C²CEDAQ5G_:=LWTWPB:_CETWÖ@? Ö@ïgCEDAQ³ÔB?ATUCEQ5ÛkC:_CYQ±ÚqÖRPRQL Ú CYDAQ ]:HG_:Û]Ö>OAXوQ¹TWÚ8VBLUQÚ8Q?;CY:_CYTUÖ>?¼:=?BP5ïXYÖ@Ú CEDAQ²CETWÚ8QaP¼:=?A?BÖ=CY:=CETWÖ@?BÛÖ@?µÛEß;?Añ ÙDAXEÖ>?AÖ@ObÛ+:@وCETWG@QMÖ@&Þ kQaÙzCYÛâHðDAQMQ?AQXY:=CEQaP ÔB?ATUCEQÛkC:_CEQMÚqÖªPAQLªTWÛ:rPRTUXYQوCEQaPgCYTW:@LÃQˆøRQaوORCYTUÖ>?·Ö=ï-:@وCETWG@QgÖ>Þ&kQوCYÛâbðDAQ&CETWÚ8Q1:=?A?AÖ@CY:=CEQPLN:=ÞQLNÛÖ>? Û]ߪ?BÙDAXYÖ@?BTUõa:_CETWÖ@?5ÞQوÖ>ÚqQۊCYDAQ²LN:=ÞQLNÛÖ=ïCYDAQ²QPAX GH:@LUTNPA:=CETWÖ@?¹î¶QrPRQCEQوCnCYDAQ CYXY:@?BÛETtCYTUÖ>?BÛ'CYDB:_C¶DB:HG@QÙÖ@ÚqÚ&OA?BTWÙ:_CETWÖ@?²ïXEÖ>Ú 0$=7. ,/89;= %
0$=7* وÖ@ÚqVÖ@?AQ?;CnCE
Ö 89; +8 )% وÖ@?;CYXEÖ>LULWQXaâ @AÖ>LULWÖ_î"TW?AQÛLWÖ@?AQÛ]CMCYTUÚqQgXYQÛEVbÖ>?BÛEQ TW?;CEÖ²Ø;C:_CEQaÙDB:=XECPRTN:=ÙوÖ>OA?;C ïÖ>X CEDATNÛÛETUÚqVALWQ²Ù:>Û]Q>âÃðDAQqÞbQDB:HGªTUÖ>XY:@L,Vb:_C]CYQXY?BۊÖ=ï¶CEDBTWÛgÚqÖRPRQLn:=XYQ¹Û]DAÖ_î"?³TU? @,TWÚ8VBORCY:=CETWÖ@?ÊïÖ@XCYDAQgÚqÖªPAQL–TNÛ:@Û¶ïÖ>LULWÖ_î"TU?B7<  !#"%$'&( *ž );› +    œ=› _˜™_‘=—ˆ’  !-,    _˜ˆ™_‘@—ˆ$’ ˆœ=›  -,   _˜ˆ™_‘@—ˆ’H˜  › . !/,   ŸHŸŸ H˜  HžˆH  1032   ±™H>ž‘$









ðDAQ'LUÖ>?ALULWQXaâ ;,)/3 "1

E0 E0 Initialization Initialization E1 E1 E_7_6_ReqNewGear_35 E_7_6_ReqNewGear_35 E2 E2 E_4_5_ReqZeroTorque_25 E_4_5_ReqZeroTorque_25 E3 E3

E12 E12 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30

E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10

E_5_4_TorqueZero_50 E_5_4_TorqueZero_50

LG LG E4 E4

E_2_3_ReqNeu_50 E_2_3_ReqNeu_50

E_2_3_ReqNeu_50 E_2_3_ReqNeu_50

E16 E16

E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10

E_2_2_ErrorNeu_10 E_2_2_ErrorNeu_10

E5 E5

E_3_2_GearNeu_50 E_3_2_GearNeu_50

E_3_2_GearNeu_50 E_3_2_GearNeu_50

E_4_5_ReqSpeed_40 E_4_5_ReqSpeed_40 E_0_1_ClutchOpen_30 E_0_1_ClutchOpen_30 E_5_4_SpeedSet_80 E_5_4_SpeedSet_80

E17 E17 E19 E19

E_2_3_ReqSet_60 E_2_3_ReqSet_60 E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E_3_2_GearSet_80 E_3_2_GearSet_80

E_1_0_OpenClutch_35 E_1_0_OpenClutch_35

E_2_3_ReqSet_60 E_2_3_ReqSet_60 E20 E20 E_2_3_ReqSet_60 E_2_3_ReqSet_60

E8 E8 GL GL E9 E9

E14 E14

E15 E15 E_0_0_ErrorOpening_10 E_0_0_ErrorOpening_10

E6 E6

E7 E7

E13 E13

E_1_0_OpenClutch_35 E_1_0_OpenClutch_35

E_2_2_ErrorIdle_20 E_2_2_ErrorIdle_20 E23 E23

E_1_0_CloseClutch_10 E_1_0_CloseClutch_10

E18 E18

E_3_2_GearSet_80 E_3_2_GearSet_80 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25

E21 E21 E22 E_0_0_ErrorClosing_10 E22 E_0_0_ErrorClosing_10 E_4_5_ReqTorque_30 E_4_5_ReqTorque_30 E_0_1_ClutchClose_25 E_0_1_ClutchClose_25 E25 E25 E_0_0_ErrorClosing_10 E_0_0_ErrorClosing_10 E_1_0_CloseClutch_10 E_1_0_CloseClutch_10 E11 E11 E24 E24 E_6_7_NewGear_20 E_6_7_NewGear_20 E10 E10

 « A«

yJsuo;s~ikjrZ=i]mˆikj¿8^=p>jY`^c!¶jzmld,^ao_ixlk^a`u`ujYlz®

Ö_î ÙÖ@?BÛETWPAQXÊCEDAQ5ÔB?BTtCYQ»Û]CY:=CEQ»ÚqÖRPRQLgÖ@ïCEDAQ¼ÙÖ@ÚqVbÖ;Û]TUCETWÖ@? ïÖ@X:@LUL ïÖ@OBX·ÙˆÖ@?Añ CEXYÖ@LWLUQXYÛâ ðDBQ¹Q?ªGªTUXYÖ@?AÚqQ?>C&Û]CY:=CEQaÙDB:=XEC&PRTN:=?AQ?;CÛ:=XYQ VAXEÖ_GªTNPRQPÆïÖ@XCEDAQG_:@LUTNPA:_CYTUÖ>?VAXEÖRÙQÛYÛâBðDBQ:@ÙzCYTUG>QgÖ@Þ&kQaÙzCÛïÖ@X ÙÖ@?;CEXYÖ@LWLWQXÛMÖ@ï-وLWORCYÙDÃI í Q:=XYÞÖHøJIAÝn?AÚqVbÖ>?AQ?;CYÛ¶:=XYQ ÖRPAP²?;OBÚ&ÞQXYQPÆÛ]CY:@X]CYTU?BÚ  â @¸TWQ"Ö@&Þ kQaÙzCÛî"TtCYDqCETWÚ8Qr:=?A?AÖ@CY:=CEQP8LN:=ÞQLNÛïÖ@Xn?>CYXEÖ>LULWQXQøR:@ÚqVALUQ>â@ðDAQ"XYQÛEOALUC Ö=ï,CETWÚ8QÙÖ@ÚqVAORC:_CYTUÖ>?ÆïÖ>XCEDAQgÚqÖRPRQL+TWÛ":>Û¶ïÖ@LWLUÖ_î"TW?A? VAXEÖRÙQÛYÛnTNÛnTWLWLUOBÛ]CEX:_CYQPÆî"TtCYD#:=?#QˆøA:=ÚqVALWQ Ö@ï¸:Q:@X¶ÙÖ@?;CEXYÖ@LWLUQXâ;ðDAQ Ú8QCEDAÖRP#:=TWÚqÛMïÖ>X CEDAQTW?;CEQ