エンジン制御ソフトウェアのアーキテクチャの構築

全文

(1)

(2) !#"$"#%#&(')"#*#",+.-0/2143 57698;: <>=0?A@ !#"#"$%#&7')"$!#"CBE!$DG"#"$%#FH&7+')"$R#!TS4!#U"$"#%#VW&(+ ')"#I#JLK.MONQP 576X8;: Y[ZE\ õ¶Là «X')ú& ÁCqL ØAÚu tAp7·X¸¹2lLkp7·X¸¹2l£¢¤¥°<¦ ] ^`_XaHb cAedXf9g9 hQyikj4,lnm(o7g7pXh2qCrXiksuj4t7lnvLm(wyo7x(p9zAq9{X|AutT}X~t § êXî9ë7ï7XðXñ9ò9pkó·7¸nêX¹Qël d9ìÁ ¨X zA§ {X2;¨QC;©)4ªi¢r9jQl ¢m¢¡o7p9tCik«Xj4¬lnm(®7o7¯p£9 ¤§ T¥X°¦ i § î9î9ï7ï7ðXðXññ9ò9pkóu·7¸tî9¹Qïl tCðXñª © § åX jpk2·7l¸m9¹QoXpLlº5£;vT¤³7T´`¥y¦ » ¼$½¾§ LC¿4AÀ¢°ÁCC ;±y¶X² ÂA§ LT ³X´HXµ¶9ª § p÷(p9«pk¬®·9A¸Î¹Q,l ¯7<°,¹;±o²³h´Ç÷nÎ Ãv4ÄiÅÇjÍÆl(Èmq;oª(pÉpÊQÎÇËÌÏiAÐ.jE¹Al¢ÑQmÒo·4pÓAtÔpAÕ×·ÖÙØ°¸QÚu¹Eª¢leÛÝ5 Ü § pkpk )·7·7+¸¸§¹4¹4* ¶ll &¢ªtª¤h¢A(9¥`tªX©'o9¸Ö · »ºÞ¹Q¹gl ã µ¤h¥ § ,t Þ)ÊßËuàáikÞàáj4âlnâm¢ã o9åä9p9æ4p9ÎXµ¶Ï(ÐçkL¹L7ÑÛèÒ(Ü Þ)qßêXàéëuÞeàkdXââ ì §ÈyqL®7ª7íÉ ®§ íQ t õ à ')& qyÂP ¼°kÎ* ½ © ¾o¿dì õÈLtCà «Xê;')úë9& î9ÁCqCï9 êXðXë7ñ7 XòX;óôªnî9ÖÙØ;ï7Ú9ðXª(ñ;õ ª(à ')÷7& p(ã tÈ;øöyùAtX7pkµ·7¶y¸ÂA¹Ql Ûèp#'È qÀÜ p\¤hÞ)ß¥4ÁàéµÞeÂ¯¶XàéÃâÂAâÄTÅoÈy¢Æqõ)É7Ç õ°ÈÊtCÉËË«9Ê-¬ikÂjQ- Á}lnÂÍm¢Ð(o7Ì- Î'p7 Èªq§ Ï õ à ')& t°õ)õ «9Ã9ü;ÄXg9hQÅý9þti¢jQåÀåäXûAlnæQqTm(É7o7µÊª7p9ÿËtXpXi(ÇÎXjQÏk lnÐm( o7¹L§Ñp9tXÒ(tp9X«9ÎX ¬°Ï¢kÐL Xª¹LÑu§Ò(,t CÈöT¢ÛÝÜ Þ)ßàéÞàáââ qT«Aú

(3) y÷(j Î ,¢÷AÇl 7ÎLÕ>Ö õ)õ ã ;ö°© ª¢«9¬. X «;È ¬.ç7A§ ;uT §,Àg7ûAh4Èikp¢j2·;¸lnm(¹Ìo7lºp95utXvp9ÎXÛèÏkÜ Þ)Ðß¹LàéÞeÑàéÒ(âtâ ÑÓÒ*Ô ÕÖ×LØ¯ÙÛÚ-ÜÝeÔÒ*ÔÞ¶ßÚ®à ® 7 k 9 ê 9 ë Ã9Ä9#¼ Å"uqLª7kØ;Úg7t h4ikCj4!lnAm7o7 p9 $%;' &(XXo;¹Ql ®7íutyî9÷yï¢kðXjñ( ò9ó éÖÙØ;ÎÚ9ª¾,õ)õ à õ ')à & ')ã & q ÈLáã«Xâåäsæsúçè ÁCõ à ')& 5! "u*vk)+ g7h4ikj4lnm7o7p9 $%;9pk·9¸¹2l 5 õ)÷Aõ ¢à j')& 7hÔ ê Î l '(ëì°õ à Á') & < í(áã|âåäs7æsçèÔ õ êà ')& l ' eë ì2Á, Ç¢(4÷Xjo oÍ Îî77AqªïîyïW v% "«9Tü2³9´2µT¢uÛèÜ ,Þ)ßàéÞeg7àéhQââ iktjQlåm¢o7p7-t ,. ð9òXîXïyöyT ð9òyî9ï|A7¯Ô êl ' ëì.ÁC ñ k;ª¯Ô êÇl q òóÁC áãâ#äsæÀçôè õ à ')& qÇ÷ykj é Î,(ï9î9ïNõöð9òXî9ïÇ÷7 § / 021436587:9<;>=@?BAC?EDGFIHJ9LKNMI5 CCSTM. active / sleep. CSTM1. PolicyCSTM. CSTM2. active / sleep. 7O9P;N=E?C?CQSRBTNHGUWV8DNXGYBZ\[^]`_ ab'cdaecgfhfhi. ÛèLÜ ª¢Þ)ßêàéë°Þeàé,âdAâ ì qL§ É;ÌÊuõ Ëà i(')& j2lt'm7joXkpXÈtAöp9Îy;Ï7µLÐ¶A¹,ÂÑu¢Ò ÛèÏkÜ ÐÞ)ß¹LàéÑÞeÒ;àéânâ «9qü4ªáµÃ7¶Ä7çkÅXÆAlÈLmoÉ7nÊËä9i,æjQÁCl ;m¢¶Xo7ÂAp(tX p(Î õp#qsàru')& tv- }wx~(yh- z {§ | ^ ^ WLL- ¡ (CSTM). << IAD>>. << IAD>>. ø ù2úËû8úAéüþý. íu¨ , TLtj9g9g9okhuhÔkÕA X

(4) yq¢´ÌÇÎ;jX,¨HL(tL© wÃXÿÄ9;;|ÅyÈAx9q¢ªp¢,ÔL Õtr #qÀr ceåd9$&(fuq'T Lª(r9

(5) ´4)(*ÁC+u q !,.u-A "9trX/0us$È214#%3;§Â9¶' ¿ 4µ¶XÂA6 5X¤Aû;$¨ 78Ç- }:9¢- § #qÀp Ã;=<Ï>ÈÃ cn.ed9nfuª(zz{{X t CE#Du?Q< µT ¦¢ñ¶k q =q FH@XGyë 9?JÈI(ç, B¨ ¢AnPt Äk ö,Lt öj9µª9ok unLÔ,Õy,ICy MÎ;¢RjkPtKQQ Á7= ¨Nµå¶¢R ªC9OöyÉ.µ,Ë7T;°nöy©)yª(Lr9zAS {ÇK)µT-*Ç }U ñPTk;Q ª § .

(6) VXWXY[Z \X][^`_ acm[npbed[orbgqtsXfihXu jlk k X jcc| vXwXxXy apapbebed[d[bgb vp{ e|l [jpgX g| |l z|z|{{ yy k[k[`` ``XXXX|Xl X z|{ y k | | ¡ } {p~ mlXg|l k | |¡ ee¢|¢|££ || | |¡¡¤p¤p¥¥§¦p``||XXX|l X ¨ª©2«$¬R=®2¯ À[Á[ÂÃeÄ[Å À[Á[ÆrÇXÈ[É Ê[Ë[Ì ÍlÎ ²³iµ [ º » l Ï r Ð °[¶l±r·[±¸²´²³gµ ³gµ °[¶l±·[Ñl± Ò[¹ ÓpÔ ¹¹l[ºpº[¼ » ÕcÖe×cÕrØ áeÙ|âäÚcãiÛråpÜ|æpÝpç Þ[ßpà ÏlÐrÑlÒ[Óp¹ Ô ½[¾ ³ ½i¿ ²³gµ ßpèrà é´á|ê`îrë|ïcì[ð íré ôöñ õ|êì[÷|ø[írùré|ò´ú ðó û ·[±¸²³gµ ¹lº[» ÏlÐrÑlÒ[ÓpÔ Eü Õ=ýþeà$ÿ*Ú*Õ. <<hardware>> StarterUnit. <<hardware>> ExhaustManifold. ùSúÍûGúI5þ7 9;8=? ?þQR TBH UBV A &( . ª)+ <

(7) é L)+ S ¯&( Aª O< $# *P

(8) !#" K 2 . $ qsr&%PÂ 'Â)(+*

(9) ,

(10) -¯Ã Ì/.;01,12+3Ï L&o( 54 6 #"87 9 &( 1: " ;7 =< ¯©ª» í$M " =<,H¯&o( º, +7 ª©ª»on e&o( ¶¢ ª© > ;?4 %Â@'PÂAéÈCB).4;0

(11) D EFGIH5JKL#' ;+MÌONP Q+R ;7 +S 1T U 6 +S 1T -}WV - +7 ¯íYX ,+Z )6 è äsæ\[^]`_ba ·c[edf_çhg âia ·kji[ æ\gl_ba -÷ P¦ @7 ©'» '. uÂ7¶ k4g7µThQ, i¢jQlåm¢oXÎyp;Ó¢ªt uX9Xq,oXª¹Ql 5ûAvA y o;Ìµ¹Ì¢l 5(vÇi;Hj XlTµTmX¶ oypk£¤Ç9kÂ°¥n¦ § ¶y Â Aû¨(¾» % ½ Q 2µªûApX¨ ·A2¸X¹HµTlÝ¶5°jyv(o(³Ô(´2Õ ÎyjAµ( 9E¢©)õ)w õ ¢ ª ÛèÜ Þ)ßàéÞeàéââ °µTL u¶¢ª(kØ;Úg7tTý9hQþi¢jQlåÂ m¢yoX p;§ 9;o9¹4l 5vA ¢Â ¼ ±Î nm(o7p9tC«X¬u QÀXµT XXoX¹Ql 5v ! k Î åm(o9pXt«X¬°gXhÍÛèõ 2t % eg9Äh Ûèõ ¢ª ;Î i¢nj2m7o7låm(p9o9t p9t °X ;oX9y¹2o9l¹ l t Ç uµTLk¹ ,·Î åm¢o9p7¢tT «9¬§ 9¹ kÎ · nm¢o7p ¢Â7¶tCyò9ó õû;ÂA¨(Tù;¨7Á4q L©Cª QÎ µª ª¢tk«9ùA¬¨74 y©nX .t7 öAµT§ L k«;t9¬Çq X¨ È¢¶ µTL %PÂ 'Â;AoÈmB/.;0nGo(+*qpsrutG5,UvUw Î

(12) ýTöAmXoyºpy,;y.=C,; ±x L'X}7~ q7§ +ª CygXzAhÍgAÛèh4õ=<h $ ;{# |4þ¨ µ 7: ,+ 7Î åm7o9p9t7ËytT«9¬,ª7}9~ § Cg9hÍÛè=õ <W {@|QµTC«X¬1 }+S,1· T ¢Â7h¶ }~k- § g7uh k§,9ÀûXq(È¢r@1ª +A@xkr;+Ç)*

(13) tL´4¿h §y7öyt¢TÈ¢+ª¢='r# Çaâig Ü. <<hardware>> TimingBelt. <<hardware>> CrankShaft. <<hardware>> Radiator. <<hardware>> Cylinder. <<hardware>> Thermostat. <<hardware>> CoolingFanUnit. <<hardware>> <<hardware>> <<hardware>> <<hardware>> <<hardware>> <<hardware>> IntakeCam ExhaustCam ExhaustValve IgniterUnit InjectorUnit IntakeValve. <<hardware>> Piston. )Y=

(14) =; <<hardware>> StarterUnit. 3. 1300. <<hardware>> CamShaft. Engine. 80 20. 2. AT <<hardware>> FlyWheel. <<hardware>> IntakeManifold. 180km/h 140 -80. Car. Starter. AT. <<hardware>> Throttleposition SensorUnit. Throttleposition Sensor. Car <<hardware>> SpeedSensorUnit. SpeedSensor <<hardware>> FlyWheel. <<hardware>> IntakeManifold. <<hardware>> TimingBelt. <<hardware>> CrankShaft. Engine <<hardware>> ExhaustManifold <<hardware>> Radiator. <<hardware>> IntakeAirTemperature SensorUnit. <<hardware>> CrankSensorUnit. <<hardware>> Thermostat. <<hardware>> O2SensorUnit <<hardware>> WaterTemperature SensorUnit. <<hardware>> CoolingFanUnit <<hardware>> ExhaustAirTemperature SensorUnit. CrankSensor. <<hardware>> CamShaft O2Sensor. CoolingFan WaterTemperature Sensor. IntakeAir TemperatureSensor <<hardware>> Cylinder. ExhaustAir TemperatureSensor. <<hardware>> InjectorUnit. Injector. ReviseFuelUnit. FailSafeUnit <<hardware>> IntakeCam. <<hardware>> <<hardware>> <<hardware>> IntakeValve ExhaustCam ExhaustValve. <<hardware>> Piston. Normal_Injector. Failsafe_Injector. <<hardware>> IgniterUnit. Igniter. )

(15) ;!)! l \¡b¢¤£i¥f¦\l¦\£i§^¨`¡h§`¥f£ª©«¬m®¯°I±¯1²U³Íµ#¶·¸º¹ »¼½¾¿Àº¿Á@ÂÃÄÅ «UÆÇCÈÉÊ Á

(16) Ë ²UÌÍiÎ l¡h©fÏÐ¡bÑ5¢¤¡b©fÍilÒ^©f¡b¨^¡b§^¥f£i©5«ÓÔÕ

(17) Ö Ën× ÊÙØÚÍªÛ`¦\Íªl£i©!¹ ¬@®¯°U¨^¢Ü¡b¡bÛ^¨^¡b§`¥f£ª©o«UÝnÞ!ßÈ)É

(18) Ê;à ÁUá¿)âäã ¬ ®¯° åIæ çæ)è+éê1ëíì/îïð1ñò@ó ·+¸õô÷ö=øùúI¹ûíü®)²ýUþíÿ

(19) « #¯° Á «U ¯ I®Y¯ ¾¿YÀ ¿ ·1¸ý þÿ "Á !# «

(20) $%&n« (ã 'U¼1*½ ),+ ¹ - É° Starter. AT Throttleposition Sensor. Car SpeedSensor. CrankSensor. IntakeAir TemperatureSensor. Engine WaterTemperature Sensor. ExhaustAir TemperatureSensor. O2Sensor. FailSafeUnit. ReviseFuelUnit. Igniter. CoolingFan. Injector. Normal_Injector. Failsafe_Injector. .+8 O!0 12=)!436587 / ¾í¿À¿ ·n¸ý#þWÿ9 Á*! # Ý@² ôO§;:i¦\§^¡ <·

(21) ¸ ô÷ö=øù>=(« ?9@ÉÊ !9# È AÊ°Uô÷§B:ª¦ §^¡ Ýô÷ö=øù =«DCE9FGIH(J ² KLí8« MNÉäÊ °äýþÙÿD9Ý 4 « O® ½ à Á ý þíÿ *1Q¹ PR á À « S Ê5°.

(22) TQU VT. ¾¿ À¿ ·1¸ýUþÿ Á FWX Fä« ¾¿ À¿4Y*Z[ Á ³@´µ¶ Z[ «"\n¹D]^Ú²_*` ¿ %&n«Da ¼+½*)cb ¹ - É° dfe gd e fd e Starter. Car. Crank Sensor. Engine. WaterTemperature Sensor. Normal_Injector. {y z wgrfxsftgrvu fm nkoqp hgikjgl rwgfxsftgy{rvz u |k}~k|kk qkk qff /1)Y"D" ¡4¢£ ³+´µ¶ Á8Z[ ¹(¤ ¼1½(¥¦ É

(23) Ê°

(24) $ ¿

(25) _ +þÿ Á §¨ «äö=©fÍª§B© ¨^¡b§^¥f£i©<ª « ®8²ô÷§Bª: ¦\§`¡)¹ PR á À « S Ê°P R á À «8¬ ¯ô÷§Bª: ¦ §^¡®< ¯ Â9°± « »>² A ¼ ²D¯ Â ¹"³ ´9<µ¶H"·QA ·¸ºk¹ §¼f» ¡¾b½ £i©Ú¹!³+´#µ¶ ¿À « »² A//Á ° ÂÄÃÆÅÈÇQÉÊ æ4Ë9

(26) Ì æ Mí N ®¯ ¾¿YÀ

(27) ¿ ·+¸ýþÿ 1 ¹ »¼1½ ²U³+´µ¶ ·¸º¹ ÉÊÍ9@Î<*ÏÎÐQ W ¹(Ñ9Ù Ò ® ½¼ Ê ² È«DÓ9Ô ®¯Y° ¾¿ À¿ ·1¸ýUþÿ4 1 ¹ » # ÊÕÖW A × ¿ â ¿ È@® ½ ²U³´

(28) µ+¶#·@¸ÙÈUþ Ø*Ù á þ*< × ÊY° ³ÚÛí Ü Èþ(Ø(Ù á þ¹ » Ê;ù= Á((Ý « )^Þ ¹ - É° (. ö'& \¦\§`Û^¡b©YÈäô÷§B:ª¦\§`¡5¹Ï Ð WI¹ ®U¯ÙØ¡¾í ¦\¥f¡¾î`Ò`¡h øÚÎ §^¦\8«)³ ÚÛÜ>(%(

(29) ÿ!È1® ½ ú ®¯° ³´

(30) µ+*¶ ),+ Á F W X9F « _ ` ¿ %&«Da ¼½)-. ¹ - É°. ). Cylinder inject(). Engine. ReviseFuelUnit. <<hook>>. Injector. <<hook>>. calculate(). getWaterInfo(). <<hook>> getInAirInfo(). <<hook>> setIFinfo(int). inject(int). / !310!3214$! ö'& \¦\§`Û^¡b© Á°65 É

(31) Ê PýRÎ!ÈôO§;:i¦\§^¡879 Ä1Å «]: É

(32) ÊPýRÎ8*« (%(

(33) ÿ ;<(= Ë <(=í®¯Y°Uö'& \¦\§`Û^¡b© Á ½bÍª Æ½bÒ` \Íªl¡8P ý Rà÷²Uô÷B§ :ª¦\§`¡ Á :ª¡blÌÍil¡h© ¹c§;ó £*Pý R È/:i¡h ¹c;§ ñÚ¦ © ¹k;§ ó £ PIý Rº« %*Î

(34) Ù'ÿ ;(<*= Ë <,= ®¯° ë#ï >6?@9Ìë ã '¼ ¯ ¾ ¿+ÀI¿ ·#¸Ùý+þm"ÿ Q %Î

(35) mAÿ I« Á þ Ø*Ù C á B þ *%

(36) íÿ)« ú í®¯ !# « )-.D ¹ - É° Water Temperature Sensor. <<hook>> FailSafeUnit wt();. sense();. WaterTemperature Sensor. Engine. ReviseFuelUnit. IntakeAirTemperature Sensor. FailSafeUnit. ExhaustAirTemperature Sensor. Cylinder. Injector. àßâá ã*äæåUU ³>Ú Û/ÜíÝÎ_èç ¿é êë á¿ â ²Iþ>Ø9Ù á þIÝ Ø ¿+À 9

(37) ì ê ëá¿â ¹ ÏÎÐWI¹ ® ½¼ ÊU°\ ¸äØ¡¾í ¦\¥f¡¾î¤Ò^¡b \øÚ§`¦\Ý ÌÍil¡h©fÏÐ¡bÑ5¢¤¡b©fÍilÒ^©f¡b¨^¡b§^¥f£i© ²ï¹k§`Î â ê ô÷B§ :ª¦ §^¡ Íð©i¡ñ/¦\©fÏÐ¡bÑ!¢Ü¡b©fÍªlÒ`©f¡h¨`¡b§^¥f£i®© Aò Á ëäáº¿ ¹ ÉÊ5°I±U¯¾² î¤Íª¦ \¨^ðÍ ó ¡bø/§^¦\÷Ýïô ôöõ`ÍªÒ`¥f ñÚ¦\©fÏÐ¡bÑ!¢Ü¡b©fÎ ÍªlÒ^©f¡b¨`¡h§`¥f£ªæ© AÎ 8Á ëá¿)â ê ² ¹c¼§ »f¡ ½bl£i©¹ ÉIÊ5° ÂÄÃÆ÷ åäæç

(38) æ5èéê@ëÙì8îïUQ ð øùQúû@ð üý>þmì ÿ K L Ë#× Ê; ³ ÚÛ Ü²þ (Ø Ù á þ*« (%

(39) ÿ!È ½® ú ÉnÊ5°.

(40) %Î

(41) Ùÿn« ã'¼ ¯ ¾ ¿1À¿ · ¸mý+þmÿ" Q Á ³ ÚÛ Ü/ %

(42) ÿ8«ú í®Y¯ !# « ) ¹ - É1° <<hardware>> Cylinder. Injector. inject(int); push(); inject(); ignite(); injectAir();. <<hook>>. <<hook>> Engine. ReviseFuelUnit. getWaterInfo() getInAirInfo(). !3"#%$ calculate();. /EGF!H6I+å* D813J%K1I143"#L$! î`Íi¦\ \¨`ÍÄó ¡bøÚ§`¦\÷Ýö'& \¦\§^Û`¡b© ê ² Ì#Íªl¡b©fÏÐ¡hÑ5¢Ü¡b©fÍªlÒ^©f¡b¨`¡h§`¥f£ª© Á MN A á¿)â IÈ < × Ê° ÏÐW¹ ®¯ AÎ î`Íi¦\ \¨`ÄÍ ó ¡bøÚ§`¦\«Q þ ØÙ á nþ9%>

(43) mÿ È® ½ úO ®¯° ÂÄÃ ÂQPSRUTWV4XYTZX\[%[ 1 ñ ] ^*_6`(a ¾¿ À¿ ·@¸ýUþíÿ @¹ ôOgÎ ñ'b8;¨ ñÚY¨ c%cI<dQa eL 7Ê5 ° Ø ¿YÀ

(44) ì Á þ (Ø(Ù á þ¹ö=öíf« dQa É

(45) Ê56° dQa ® ¯ &n« )g.h ¹ - É° ikjklkm. irjklkm. InjectorCompositeCSTM. NormalInjectorCSTM. InjectorPolicyCSTM. nkokprq. NormalInjector Concurrent. InjectorPolicy Concurrent. <<IAD>>. skt trvuwyxuz trvuwyxuz ikjklkm. NormalInjector. InjectorPolicy STM. <<interface>> InjectorPolicy State. InjectorPolicy Normal_State. InjectorPolicy FailSafe_State. <<IAD>>. <<IAD>>. <<IAD>>. trvuw~xuz. sut. FailSafeInjector. NormalInjector STM. <<IAD>>. <<IAD>>. trvuwyxuz. <<IAD>>. <<interface>> NormalInjector State. NormalInjector Active_State. nkokpkq. FailSafeInjectorCSTM. FailSafeInjector Concurrent. nkorpkq. FailSafeInjector STM. <<interface>> FailSafeInjector State. FailSafeInjector Active_State. {k{k{ tu|k}~vy {r{k{ tu|u}~vy uk ZO18!JU)!" Ø ¿À Q

(46) Qì@¹ ® ½ ö=ö=¨`Ï' «8M NÙ®Y¯ ° ë × ¿ þ _ ¿ ¹ × ¯+Ê Á Ý²4Ú £i©fÑ5Íª Æ¹c§¼»f¡¾½hl£i©fö=¨^Ï' Èî`Íi¦\ \¨`ÍÄó ¡¾¹k§¼»f¡¾½b £i©fö=¨^Ï' Ë× Ê° ë × ¿ þ * <<IAD>>.

(47) _ ¿ « ?@ÉÊ¹c§¼»f¡¾½hl£i© £ª ¦Æ½& ö=¨^Ï' «"a6í®5¯° = ²Uô÷Îgñ'b8¨;ñ/¨\c%c Á ö=öí«3dQa ËC ¯° ¢¡ £¤¥ Á¦ § «3*¨ Áª© ¤ Á!«*¬ 79 É

(48) Ê5° ® ¯(°²± ýUþÿ Á (

(49) Á8!³,´µ Á!¶·¸

(50) ÿWC «fQ d a ®¯ ¶·¸ ® (% ô® ÷Îgñ'8b ¨;ñ/¨\c%W c «fQ d a ®¯ ¶²·¸ Ä¹ Ãuº¼»,½O¾ êëì)îïUð@ñð Ì¿ À þÁÃ@ Â ñ òÄ,Å Æ ñ1ÇCÈa ÉÊ À 9

(51) Ùÿ « ã'¼ ¯1² ¯°± ý@þÙÿDQ Á " Á · Ë× ÊË7 Ê° ¯(°± ý (

(52) ! ³ < ¶²1 þÿ (

(53) ¹+Ýný þíÿ *(ÌËÍ Á PR á ÀÏÎ Ð È «Oí®¯QPR á ÀÏÎÐ < × Ð Á!ÑÒ « )gÔÓ ¹ - É° Ê5° ë PR á ÀÏÎ â ÕrÖØ×uÙkÚrÛkãkäyåçæ~èÝé ßrêuërì â Þ~ßáà ÙrÚkÛçíÝîÜïkðçæ~èÝé ßrêuërì â æ~Þ~èÝßáé à ßrÙrêuÚkërÛ ì ÕríkÖØ÷y×uøuÙkùØÚrú Ûyôrõuö ÕrÖØ×uÙkÚrÛ ÕkÖÜ×ÝÙrÚkÛ ÕrÖØ×uÙkÚrÛ ÕrÖØ×uÙkÚrÛ ÕrÖØ×uÙkÚkÛ ÕrÖØ×uÙkÚrÛ Þ~ßáà ÙrÚkÛ Þ~ßáà ÙrÚkÛ ÞyßÜà ÙkÚrÛ Þ~ßáà ÙrÚkÛ ñ æ~èÝé ßrê åÝò~ó ûüþý!ÿ 3YI ®¯ !*³*´ µ ¹ » #ÊPR á À!Î Ð Ý ² < Á ©

(54) < × Ê5° ý þÿ ÌËÍ Á PR á À!ÎÐ Ý² ý þÙÿD Q#Ý² à Á ý@þmÿ" Qà P>R á À « Ê ² È Ë MN ËC Ê5° «4O®¯QPR á À1ÎOÐ Ý²ý+þmÿ8 Q< /,DQn«DOm® ½ à Á ý þíÿ *1¹QPR á À « Ê ÁUË ² ý þÿ Ì Í Á PR á ÀÏÎÐ È+È,9 Ê5° ²ºý þÿ nÈ ã ¹ PR á ÀÎÐ « »>² A/Á Ý²ºý þÿ 9*Ì(Í Á PR á ÀÎOÐ È4Î " Qn«8Om®U¯ PR á ÀÏÎÐ « ¯ Q JÊ ² È Ë MN Ë² Ê° £¤*¥ Ë ], ¯D\È+® ½ ²ý þÿ *(ÌËÍ Á PR á ÀÏÎ. ®¯°þ(Ø Ù á þ Á Í @I¹H I< × ¯JIÝ (% Ë L

(55) ¼nÁ@Ë MNÃ¸ <C >

(56) mÿ4; <*=«H'IIÉäÊ K É

(57) Ê5°. ¹ÄÃ ÷QPSRUTWV4XYTZX\[%[. InjectorCompositeCSTM. Water Temperature Sensor. FailSafeUnit. sense() wt(int). Water Temperature Sensor. sense(). FailSafeUnit. <<hook>> wt(int) <<hook>> changeInfo(int). changeInfo(int). pointcut wtSense(); call(void WaterTemperatureSensor.sense()) after(): wtSense(){ new FailSafeUnit().wt(wt_num); }. e 05Ï2þ$(3@?BA þ Ø(Ù á #þ ÁC D+Â )+#²*¯ Â )+#² »²EGF D+Â ) +« »à² AòÁÎî`Íi¦\ \¨`ÄÍ ó ¡bøÚ§^¦ !« %,

(58) ÙÿYÈ® ½ ú ,. NormalInjectorCSTM. InjectorPolicyCSTM. QSRUTSV. WSXUYSZ. FailSafeInjectorCSTM. FailSafeInjector Concurrent. [U\. <<IAD>>. \SaUh;iUj. FailSafeInjector STM. <<interface>> FailSafeInjector State. <<IAD>>. FailSafeInjector. ]S]S] \U^`_ba2c. FailSafeInjector Active_State. ]U]S] \`Û_da2c e fSg. e JU)!" 3Zlknm@o þ ØÙ á

(59) þ Á _% qp Á!¦ ¹rHts< × ·¸èî¤Íª¦ \Î ¨^Íðó ¡¾¹c§¼»f¡½bl£i©fö=¨^'Ï «%HuIÉnÊK ËL¼Á1ËGM N*¸ < vxw AÊ5°. ,. Ð

(60) Ë Ý²Ì#Íªl¡b©fÏÐ¡bÑ!¢`Íª©fÍilÒ^©f¡b¨^¡b§^¥f£i©Èö=£ £ª \¦ §;:ðî`Íi§<X 9 ·Ê°> 4«"O® ¯9PR á ÀÎ,ÐIË ÝU² bi ¨^¡b§`¥f£ª©!È

(61) ô÷§;:i¦\§`¡6<X 9 ·nÊ5° Ä¹ ÃÆÅ ð ü*ýþì ÿ ! ] ^#"%$1ÇCÈa ¯ Â

(62) á¿;â ¹ » Ê@þ*Ø(Ù á þ4µF'& Á _ ` ¿ % & Á( ) « )g+* ¹ - É° ,.-0/210354 687 9;:0<.3=4 6>7. ] ^#"%$1ÇCÈa. ô÷Îgñ'b8¨;ñ/¨\c%cõ«Ïda®¯ ¾ä¿À

(63) ¿ ·¸íýþÿ4* Á M N¸ ¹ ¤ ¼#½ IÊ9° Ø ¿À

(64) ì Á ö=ö=¨^Ï'« ) PO ¹ - É°. y. <<IAD>>. z {}|'~ ! £O¤¥ Ë Ý1² ÉÊ À Q

(65) mÿ Ë¾ ¿+À¿ ·¸mý1þmÿ Á

(66) (« ! ³ ®¯°/HO9!¹ ²U³ÚÛÜ ê þ Ø(Ù á #þ Á Í@«*(%

(67) íÿ!È+® ½ úí ®8² %*/

(68) Ùÿ «D] @ · ¾º¿1À¿ ·¸Ùý+þÙÿD9 Á ( 9

(69) Á!# «% @º®¯°I±¯²÷ô÷Îgñ'8b ¨BñÚ¨\c%c «fQd a#É

(70) Ê ² È Ë ² ¾¿YÀ

(71) ¿ ·+¸ý þíÿ * Á .

(72) ÁM N*¸ <* É

(73) Ê ² ÈY« ÓÔ®¯° £¤¥ «%I ßÊ1¹ × ¯à²uO;GuI ¹!¸* º « ¼ ¯K ¼ ¯! # ²u ¦ # ² A9I9 Ø%

(74) « ¼ ¯K ¼ ¯r q ¦uq ² ¡¢ Á£ ¤u¥ºHr¦²§ ¨© ª Hr ¦ ²*¯ «'Î ¬ Hr ¦ ²u® ¯ °²±¦³¬µ´¤u¶± ¦³·¹¸ºu»±r¦³ ¼u½¾ © ±¦¿ÀxÁÃÂÄ¹ÅuÆ¹ÇGÈ ÉÊ È Æ³ËÌqÍ¹Î'ÏÐ¿ÑÒÈ'Ç%ÓqÔGÕtÅÖ×ÒØÙ¹ÚÆ ÛÝÜGÞqßtàtá¹â ³× Þßtàtáãâ'ä å²æ ¿ãÐJÂ'ÄÒÅ'ÆÇ È ÉÊ ç#èêéìë í îðïñóòõôPöø÷øù>úüûþýÿù8ù8ô ðöø÷ Uô òõ ö

(75) ðòõô+öø÷øù í ðï ´ á ³ "!$#&%('!()+ ³ *+,.-0/u³ î 1 23 í 4ðï5ú 767 ³ ýÿù8ù8ô 8967Sò :;S÷ <= ? ³ > öøô ù Ê @@ A Ê í 3ðï + · BDCFEF ³ HG(IGKJ+LFMFNHGPO ³'=¸ QSR ³ î 11 1 í Tðï USVDWFX Y ³ !0Z[ 0ä \S]_^ M?àbGcIdGfehgi?jq³ k_l G(mbnP-/u³ î 11 2 í Aðï oqp+r ³ ýÿù>ù8sô 8767 :<=

(76) ³t> öøô ù Ê @ @A Ê í uðqï vdw x gSy{zF|S}.~__F{' ³ H.n?Gfe G?I.G ä _ ³'=¸ QFR ³ @@ T ".

(77)