自動車制御ソフトウェアにおけるアーキテクチャの構築

全文

(1).

(2) !" #%$'&)( 687:9:; <>*,=4 +.?A-)@ / 02143)5 XvVv±Z²:³¤W´µZ{wvè h¡|½:¾3254 ô,õ »Z¼2k mb¡ 1 B>C:DFE GIH8J:K:LNMPO,QSRUTWV:XZYZ[]\_Û`baPc8dWebfhgjilk 68a 7:nq9<;8=?>?@BACDFEHGHI M_O2Q]R_T:VPtvuw^Wx:ybzwe|{w}_~A gZmofAnqpZ rhnsb x:r yozeo\ wXq:v_8euh^lMPO,QSRWTWn V KS H8JlÂvX ÃZnÄv5 ÅvThÆ 5m ZUhÇm uWX ^ Ã:¾ ÄWfZÅjabÆ M8LÇ|ÕO{NoÀ:±ZÁ Ôo:{< Püj RQ :qjA nqW) \,^NMPO2Q]R_T8VWX8|{q8 ¡ ü:ýv nq8Ã8ÄWÅAÆ :Çouh^ V8 Ã8Ä,R W e Ã:Ä f P MPO2Q]R_TWVq:qjA {8v Wnq ¡ ^VP¢W£b¤2Q¥6o¦ fPn§28Ü k mj¡ a nqn Nw^ [^XÐPÃ8¢:Ä8³HÅ:XOYjÆ HK8ÇZZBV: LZÃ:\Õ ÄNA±:W\ÔAn{ ]& V8^qí Ã8nbÄ _ WX8eZ ©U¤¯ª Q°t_6^W¦|«:M8¬8O)8Qq®ZR8tvTAuwVA^ VApZ±Arw²8so³r ¤_MPÓ,µUQS¢RU¶_TW·8V8¸ X:VU¢W£ ^ Ã8ÂÄ {]üjWÁ\ nÛ5öW e`3V8Ã8Ä)ôl \ õ Znbûv ^ Ã8Ä8Å:À8ÆÁ8HjÇÂAu T XH {]»8¼ ¡o½h¾w tAuw^]VP¢W¹Z£bº ¤ ÄWÅ:Æ 8Ç| {]ü:ýv n éjÃ8Äêo_úja ¡n^ ¹jº bX aZdÒ co±bnÃ Ò Q¿6|¦M8O)QqRWTAVjVA±A²8³¤_´µ ^ { À8ÁH:ÂA nqÃ8Ä8Å:Æ 8ÇXqÈjÉ W ¹Z¡hº ÊjË nq À 3f eHf|k gmj¡aAa Ò cbnq±bÒ ÁowH8Âv nqÃ8Ä8Å:Æ 8Çuw^8À8Á 8 ^ Ã8ÄWÅAÆ ^V g À8Á W aAÒdcb±bÒ ÌÍÏÎ ±:Ð|ÑhÒPÓWÔbÕh¤UX:VP¢W£b¤,QÖtP8×|k monq cb±bÒ hHi Ã8aAÄ8Ò Å: tAuhÛxjybzweAØh n8 {WVP¢8£b¤)Q ÆÎ ±:aAÐdÒ cbÑh±bÒPÓWÒ ÔbÕh¤ avdÒ cb±bÒ e¡:jÙØhÔjÚU±w¸8ÛAuw^8 ÞAnÜjßApZà:r\ {]»jÝ ¡ a8MP\:O2a Q] R_x:T:ybVz V | Ì Ï Í À8ÁowH8Âv nqÃ8Ä:Å:Æ 8ÇoUú:a ¡ ^8À8Á : <u jk oq: n W¡ há [ 8,8 ¡ w^Wx:ybzwe:ØP nW lt_^m Ã:\óÄW _ÅjX Æ Ì58n ÇÕó:Q]Ø_O: oUnq±pWXo)F qb8r _ w¾_¾wA W \ wn¾ÃX «:¬:oX¨àjuw^ {8VU¢j£¤¯Q ÔvÚ8±_¸:ÛZ {q»AÝ ^ â:ãWäv_ePåA:a q¡ ¡j}hÙ æb nvçA tj nnÜ: px:r yoze: Ø ÄWØhÅ: Æ nq8WÇZtAfPÞvuh^ßAÃ8àAÄ::Å:vØ Æuv:ØPnW Ã8nqÄ8WÅ:)Æ H^:sØ_\n t nqWaj nqW {UVP¢8£b¤,Q : ¡:Ù ÔjÚU±w¸8Û ôVW±A²P³ F^ s Bn t aZAØU nj Xhbö wAã:eN{q`ð n ¨à:tW^ ¤w´bµWèXqé:êvthë8ìqíFÖî)[ çA {]ävvP nq Ã8ÄWÅjÆ jØh n:, ^Fs nvt ajjØh n: {W «:¬8ouw^ ¹jº XZYv[qïbð nq ¾w qñvò ^óGIH:J:K:LóMPO,QSRUT:VWX VP¢W£b¤2Q X:\Ø u|<{ x v yv V8±:²P³Z¤w´bµUBX jk XWè ½ 8uw^W«:¬88®ZtP»8¼ók mA¡ a n VP¢8£b¤,Q¥6¦oM_O2Q :è h¾ U ^ v x y P z e Z _ Ø { w n : VW¢v£¤¯Q A ¡Zô2Ù õ ÔvÚA±U¸jÛ ^ XPö R_TWV8VW±:²P³b¤w´bµUFX z<{H|8ý {ãva ¾h Wè }~ dd ö:Wè ¾ { ©_÷ Û ¡ ^ { »8¼ 8\HRdO_ Xâ:ãUävPe_åja ¡ }hæ «:¬:vtvuw^ qxAybzwejØh {8VP¢ £¤FQ j h¡vÙ ÔbÚj±_¸vÛo nPÜvpr {»vnÝ 8 _¾U ¡ ¢ £ {qãZa nZçZ t8ôV8±A²_³o¤Póµw8èXwéAê t_^Wx:ybzwejØh nqW {UV_¢W£o¤2Q W ¡ íFî)[ À8Á 8 u Ã8Ä8Å:Æ) ^ Ã8ÄW¤BÅj¥d¦Æ §Fu:¨KV ©Ì¤BÍ ª¬Î « ±AÐÑPÒPÓ çA fhäv \ nq øùWu_úûhGÏHWJjK8L2MPO2Q]R_T8VWXjVP¢8£b¤2Q¿6o¦ ?mÔbUhÕhm¤ \Ø u^V |Ì[Í Î ±AÐVP¢8ÑP£bÒPÓ8¤,ÔbQ <ÕPj¤UkZuwÀ8 Á nWW, {q ^^ ¹T ü8ýAÛþ8«u_úûhjVW±A²P³Z¤h´bµWXqöjWèA^8ÿ u_ú º vyv ûh Xq»8¼|{ ¾w À8Á W VP¢W£b¤2Q Ã8ÄWÅ:Æ 8VPÇ¢W£b{À8¤2ÁoQ H8Â|\k ® nqW 2

(3) !"#

(4) Ã8ÄWÅ:Æ 8ÇoX X :Øh $%uw&^ pZ ')r (MP*%O),QS+% Ã8V ÄWÌÅ:ÍÏÆÎ ±:ÐÑhÃ8ÒPÄ ÓWÔbÅ:ÕhÆ ¤WVP¢W£on¤2WQ RUTW-V8/X:.,V80 ±:1 ²_³Z¤P´bµ h r b s {^8À8ÁowH8Âv nÃ:ÄWÅAÆ :ÇoXÈ:É W ¡PÊ:Ë, ¡ Ã8Ä X ÅjÆ ZAvX s \n t aj:Øh nqW a n uwÛ«:¬:W®ot pbrwsor MPO,QSRWTWV 2002MT071. 2002MT073. 2002MT096. [1]. (. E-AOSAS). E-AOSAS (. AOSA). •. –. •. E-AOSAS. – –. E-AOSAS. • E-AOSAS AOSA • AOSA. 1. [3]. AOSA. <<hook>>. AOSA. •. E-AOSAS+. <<hook>>. • E-AOSAS+. E-AOSAS. <<hook>>. E-. 1 E-AOSAS. AOSAS+. E-AOSAS+. • •. E-AOSAS. •. E-AOSAS. <<hook>>.

(5) 3. _ñ ò

(6) ½ ^:Àv Ál)UHb' Â( *%n_,Ãv+/ÄvÅo-,Æ ZÇl X. ÈAÉ j q¡ ^óG H:JAKjL2MWO)QRWT:VjX {qjè nq 9<>?@"!$#&%('*)+-,/.10!324 x:yoze uh ôÐP¢:³HXZybzWf65/7 w¾ khajPÛì/8 \_HjÂN{ 9;:-<&^ n jeotv nw «v¬jbtbuhyz u_^ =

(7) > ¾ &· ?|Ò|QÏ{ ]:^qí nAçA8I/Ë @ nq x:yozel{ 9/Av n /ª B uw^ CbE± D]R_T81V FW1t 9/AZ n /ª RUB T8V& ^NF8tUMPxjO2yoQ]zwR_eT81V jF:ØP6t 9/nqAv: n {/ª üjB ýbfj nnq MPO2 Q B ¡ ^ ¹jº X B fj nq ±:ÔÑPÒ Ì Ó/H n"I Ò6HJ K/L/M ¤ JRQ/<We K/L/M OÍ NG G Í P ÓZÕh NU¸Ow´bTZÕh²Z6Ò H Ì / Ó H n"I 6Ò HJ A S e 1 K/L/M FOjX uw^8yb-z 5/7?ZZ:Ð_¢8³ XAUú3Y T_6 UVZf W \ nw B" KLMtv n G ±vÔNÑ_Ò Ì Ó H nXI YÒ H uw/^ Z/[Y\]"ÛXyoz:3X 5Y7- _ ¡ ^8Av-X ` Z b Xdc m {e7gf nAçv \(hÖxjybzwe|{9Avt ½UnwYº Q/a < e K/L/Mbtj n OÍ N G Í P ÓbÕh¤Wuw^Wyo-z 5Y75ZAhA dX ` º 6{ ikjIfU^WA{ l;mw nU¾ ðjFX Z b dX c m 3f 7 f nq A S ev1 KYL/MZtj n N_¸O´bTZÕw²Z6Ò H Ì /Ó H n"I 6Ò HWuw^Wyo-z 57?ZAF Z b X c m uW\8a:f_^ © nXAvX-oYp a ÛevvXd` º f37(f nq «:¬:vtvuw^ CbE± D]R_T:VPfPyozv{ Y çA d¾ q ÉA^lMPO QSRUTW&V FWthxjybzwe|{ 9/Av {íFr Fs ü ý ¾ GIHWJ:K8LóMPO2QSR_T8VPtAn /ªuw^B G ±:ÔÑhnqÒ Ì Ó H nI &Ò H Í N G dÍ P ÓoÕU¤A{qëvã P¾P « tbtZu_^ G HAJAKjL,MWO¯QR:T:Vj ±AÔlÑWÒ Ì Ó H nI Ò H:{ü8ý ¾ q ÉoXhôVW±A²P³bG ¤wóµUXwW_åja ¡ k u nq '|{6}~ ! ! «:¬:vvtvw&uwx"^óy6GÏz HWJ:K:LNMUx O2Q]R_T8VW-X W ¡ ¸8± X ³ Xo{ s ;J ÛX n · Q XwK8Ll{Á n ·FQ Ð_¢8H [I¸b8± X n · Q Ðh¢8 H³ Xjuw^ n 1 "j_¢:·Õ]´ D V^ -& $A n · Q {jûå qñZòja ¡ :è <{ x B yv ¾ ¸b8± X n · Q ÐP¢8H³ XAX :è P¾ ¸± X n · Q ÐU¢jb³ XZX uPY^ j^ { n c P Ð_¢8p³ X ^lMPO,QSRUTWVj{ n c P ÐP¢8³X8t_8× ¾h c P Ð_¢8³HXo{ÀjÁo H8Âv nqÃ8ÄWÅjÆ :Ç : ¡ ü8ý H^ c P ÐP¢:H³ X b X \Ø ul{UV_¢W£o¤2Q jkB jHkv W^ -{ n c P ÐW¢jp³ Xbb uP/^ C± DR8T:nqVj X ÃjÄ { nh MPO,QSRUTWVj{ n c P ÐP¢8³XAuh^Y{ X n c { P ÐP¢:H³ XvX ÃjÄ {Aû w^lM_O2QSRUTWV: Ã8Ä nq '|{6}~ !324 :è P¾ X13{vû r &_vÛw&xAx"yy6zPz eN{_}_~ Px ¾ ¸H± X ³ Xo{]ü:ýv nq ÐP¢8³ XAx:ybzweAØh n ·FQ Ð_¢8H nW { ü8ýv n /ª B U ¡ ^ ¹jº X /ª B fW} õ mbnq. E-AOSAS. . . DoorSystem. <<hook>>. Door. <<hook>>. [4]. • N • • N. N. N. N. N. 3.2. <<hook>>. DoorSTM. ¡£¢¥¤§¦©¨ª§«¬®¯ <<interface>> DoorAction. <<interface>> DoorState. AOSA. 3.1. . µ ±·¶§¸. §©¡£¢¥¤§¦¨´ª«§¬®¯ ¡£¢¥¤§¦©¨ª§«¬®¯ RLSystem. <<hook>>. SwitchSystem. <<hook>>. RLSystemSTM. <<hook>>. <<interface>> RLSystemState. . <<interface>> RLSystemAction. LightSystem. °±³². <<hook>>. RoomLightSystem. <<hook>>. Light. <<hook>>. LightSTM. <<hook>>. <<hook>>. <<interface>> LightAction. <<interface>> LightState. ¹º¹¹ §»¼£ ¯©½. º¹ ¹¹ »§¼¯©½£ÄÅ§Æ ¹º¹¹ ¾¤À¿ÂÁ§Ã ¹º¹¹ ¯§Ç´» È1ÉOÊ1ËOÌ:©ÎÍ ¦ÏÊO¤ Ã8ÄWÅ:Æ 88ÇoÇoUU·&·&?? Ò|Ò|QÏQÏ{{PP n8 X3ÐZ Ñ/Ò • Ã8ÄWÅ:Æ n8, ½OÓ n • ·&?ÒlQÏ{P nqW X3bÐ Ñ/Ò ¡ ü8ýZ nq ÉjÛx:y zejØh n8 X-Ñ/|Ò {d_Ð » W w¾ WbtMUO2Q]R_T Vj{]ü:ýv n gZfv n ©Uª t_^Z·&? ÒlQÏ{\P nqW ½eÓ ¡ ü:ýv nq É:^FPjc/oÔ XW·&|? Ò|QS{&ÕdAQ n?WÒ| Q {WP ¡ ^Wx:ybzh ejØh n8t_^W{Ñ/x:oÒybtzhe½UjnØh· n8, ½eÓ nvçA nx:ybjzwe{-j8Ð Øh» j \jaU{q:ôÐPt_¢:üj³HýX8t f ½:nw «A¬A8bÇtbUuP· ^ n: Ã8Ä8Å:Æ ?Ò|QÏ{P n8, ½OÓ ¡ ü8ýv n ü8ý w¾ ¸o±8X n · Q Ð_¢8³HX:tAuh^/bC ±SD RWTWV8X:V ÌÍÏÎ ±:Ð|ÑhÒ_ÓWÔÕh¤hfZÐP¢:³HXvd {Á¯[Öjn o ±:ÔÑhÒ Ì Ó/H n"I Ò6:H {]ëjã ±:ÔÑhÒ NG Ì Ó/H n"I Ò6jH {d× P Ô:T:¤2Q 6o¦wü8 ýv¾w Nn GaW±ED X <<hook>>. <<hook>>. 2. AOSA. |{|8ý ¾ ¤ n ¢ zZ{<x Byv 3. N_VersionMachine -instance:N_VersionMachine +getInstance(): N_VersionMachine +put(Event):Event. AOSA. E-AOSAS AOSA 2. AOSA. 3.3. AOSA. <<interface>> Version. SelectionAlgorithmMachine -instance:SelectionAlgorithmMachine -ht:HashTable. £. Version1. Version2. Version3. +put(Event):void. +put(Event):void. +put(Event):void. +getInstance():SelectionAlgorithmMachine +regist(Event):void +getEventt():DoorEvent -researchMaxCountEvent():DoorEvent. ØYÉdÙ/ÚrÛOÜÝÞË6ßÛOÞ¤O¨Ë ¦ £ ¤ n ¢ZuU^ Version × P ÔATv¤)Q N VersionMachine × P ÔZTb¤ Q{6 nU SelectionAlgorismMachine ¤ Z ¢ P u Y ^ k n b m ¾ ·|? Òl¤ Q n XP¢A×uwà ^ {h´TbÕ Version ¤w nq SelectionAlgorismMachine × P Ô8T8¤2Q XY- ¾ ·&? ÒQÏ{á&â ^ãY|ä Version {Ovå 9< >?@"!-æç 3.4 ü8ý w¾ ¸o±8X n · Q Ð_¢8³HXv_úja ¡ Ûx:yze:Ø 3 N. nW fPÞAßvà:Br8 ¡ a nAçA {\eHf ¾w !ëì x:ybzw ejèØhéeê" wn:é uh^/Cb±DSR_T8VPf Ã8Ä:Å:Æ 8Ç U&· ?|Ò|Q { P ÞAßAàj:Øvu a x:ybz e:ØP nqW uwn:^b,·&? ÒlQÏ{P n8, ¡ nq½Ó ¡ ü ÁA n ü:ý ¾ ¸b± X n · QIÐP¢:H³ Xv_úAa ¡ ^Wx:y zejØh n8 fW^W J6X × P Ô:T:¤2Q ÞZß ¡ a.

(8) n {<x vyv . :è h¾ ¸±FX n · Q ÐU¢j³bXZX tbuP^/C±D R_TWV_fvÐ_¢8³XA3{Á,[ n:qx:yoze|VP¢8£b¤ QÏ{]í a 3bÐ_¢8³HX M_O2QR_T8V N3{ mjn ¡ Ð8¢vnwK³ XZtWZ×2k mn G] HAJZKZL,M:O Q R_TWVWX:VW±:²P³Z¤w´bµWuw^ x XZYv[qx:ybzeVP¢ b £ ¤2QÏ{]ëjãAt ½Unq 4 E-AOSAS+ Z_L` £ xoylzWeóVj¢Z£l¤ Qq{hí m|¾ Z P¡ ^

(9) Bª ¤ { : » b ¼ 8 è o ¸ HX n ·FQIÐU¢:³ ± n w ¾ 9<>?@"!æç x:yoze:Øh n8 {ôÐP¢:³HX:f Ã:ÄWÅ:Æ 8ÇU· XZ¤,X Q 8 q¡jÙ 8ÔjúAÚ8a ±h¡ ¸8ÛÛ xA y¡ zha e|nA ØP n: uAVWXA¢:V_£¢ ?ÒlQÏ{P nqW ôNõ ^VP¢W£o¤2Q W ¡ 8v nq V £b¤2Q X:\Ø u|O{ x v yv × P Ì|Í Î ±jÐlÑPÒ_Ó8ÔoÕ_¤ ^ Ô:T:¤2Q U·&?|Ò|Q {P nôN8õ uhôVP¢8£b¤2Q b jk gihijek acbedcf ÓH Û ¾w VP¢8£b¤2Q b jHk ^ G ±:ÔlÑhÒ Ì zc{}|v~ n"I Ò6HUjØh nW X:ÐW± Î Ò¢pzZ{<x vyv AOSA. 4. DoorButton. SwitchButton. open(). on(). void open() { DoorEvent ev;. void on() { SwitchEvent ev;. 6. ev = new DoorEvent(DoorEvent.OPEN);. ev = new SwitchEvent(SwitchEvent.ON);. N_VersionMachine nvm; nvm = N_VersionMachine.getInstance(); nvm.put(ev);. N_VersionMachine nvm; nvm = N_VersionMachine.getInstance(); nvm.put(ev);. }. }. E-AOSAS. 4. E-AOSAS+ AOSA. E-AOSAS+. 7. N VersionMachine. <<hook>>. N. <<hook>>. 5. £. // pointcut atDoorButton_to_NVersionMachine(): call(void DoorSTM.put()) && within(DoorButton); pointcut atNVersionMachine_to_DoorSTM(): call(void DoorSTM.put()) && within(DoorButton); // void around():atDoorButton_to_NVersionMacine(){ N_VersionMachine nvm = N_VersionMachine.getInstance(); nvm.put(DoorButton.getInstance().getEvent()); } after():atNVersionMacine_to_DoorSTM(){ N_VersionMachine nvm = N_VersionMachine.getInstance(); DoorSTM stm = DoorSTM.getInstance(); stm.put(nvm.getEvent()); }. &'&(& !#"%$. }. :7;=<?>=@=A. DoorButton. N_Version Machine. Version1. Version2. Door Selection Algorithm Machine. put(ev). put_open(). stm: DoorSTM. put_open(). x:ybzweV_¢W£o¤2QIuw^ g g¤vav¥dÒd¦\cb§8±o¨5Ò©¤vtAª¬ « n À8Á W VP¢W£b¤2Q ú2Û»:¼v ú:a ¡ hHi ôNaAÒ#õ cb ± Ò ¡ Uò?^ n x:n yoze|VP¢8£b¤ Q uw^V ÌÍ Î ±jÐÑ_ÒPÓ8ÔbÕP¤WVP¢8£b¤,Q ôóõ Ã:ÄWÅ Æ ÐV:Ñh¢AÒ_OZ£|ÕP¤¯¤jQSvk j® · ?óÒ,x:Q]yo<{ zP en VPL¢WOÕ £oNo¤2±ZQ ÔAfhüA×AÁ|£k ± nw mon W X m <{ x v yv . start(). put_open(). <<Aspect>>. wait(). regist(ev). getEvent(). 7 E-AOSAS+. 2=825U882' ,2U 2¡'¢2£. regist(ev). put(ev). <<Aspect>>. <<hook>>. <<hook>>put(ev). trans(). {call(void {call(voidDoorSTM.put()) DoorSTM.put())&& &&within(DoorButton)} within(DoorButton)} {advicetype {advicetype==after} around}. ¤8¥ §¦ ¢,£. <<hook>>. Ø&ÉÙÚ ÛeÜdÝÞË6ßÛeÞB

(10) Bª% C#D ! ,1}FEHG' 3.5 Wè ¾ AOSA qx:yvzeJILVh¢WKNMP£bO¤2 QI{]AOSA íF m ^ ¸b± X n · QIÐP¢8³XAXjVW±A²P³b¤wóµ:{]öjWèZ nw x:y zeVP¢8£b¤2Q {]í m ö:8è w¾ V8±:²_³Z¤w´µ:{ x. 6. vyv . . . DoorSystem. <<hook>>. Door. <<hook>>. Q,R,SUT. <<hook>>. <<interface>> Version. <<hook>>. SelectionAlgorithmMachine. <<hook>> <<hook>>. <<hook>>. £. <<hook>>. §©¡£¢¥¤§¦©¨ª«§¬®¯ <<interface>> DoorAction. SwitchSystem. Light. <<hook>>. §©¡£¢ ¤ ¦¨´ª«§¬®´¯ §©¡£¢¥¤§¦©¨ª«§¬®¯ RoomLightSystem. RLSystem. <<hook>>. <<hook>>. RLSystemSTM. <<interface>> RLSystemState. <<hook>>. <<interface>> RLSystemAction. LightSystem. °± ². DoorSTM. <<interface>> DoorState. N_VersionMachine. µ ±·¶§¸. . <<hook>>. LightSTM. <<hook>>. <<hook>>. % ¥¦§¨5©WVXZY\[C] ^. È&ÉÊ. ËOÌ:©ÎÍ ¦ÏÊO¤. AOSA. 8 E-AOSAS+. E-AOSAS+ E-AOSAS+ AOSA 5.1. <<hook>>. 8. ¤dÍÉB¨/Û¦ £. x:ybzweV_¢W£o¤2QIuw^V ÌÍ Î ±:Ð|ÑhÒ_ÓWÔÕh¤8VP¢ £b¤2Q tPÁ)[I^ Ã8ÄWÅAÆ V_¢W£o¤2Q ÛX:×Wgª©oW·&? ÒNQ]\{ P /{ Õ-Qb xAyzPe|VW¢:£¤¯QIAuP^ V ÌÍ Î ±jnwÐ:ÑPÒPÓ:ÔbÕh¤8nhVP ¢8£b¤,Q ^_Xw8×:g© ôlõ X LZ\Õ NA±jÔj{ ]:^wí n kwajXhÛx:yoze:Ø_ nqW p {jkZ x:yoze|VP¢8£b¤,Q ÛX:×Wgª©ouw^Wx:y zejØhn n8 {qÁ > ¾ ãYäl{^ Ã8ÄWÅjÆ VU¢W£o¤2Q ^_X8×Wg ©oB P nq 5 ¬« »j¼ h¾ XhâvãWäbWeUåZa }Uæb {qãZa ¡ ^[XG H8JjK:L,M_O,¡ Q]RUT:V8nw ¦^ {Wè F^ [oXwâ:ã ®W¦ ^ ¾ nq¾. <<interface>> LightAction. <<interface>> LightState. 6. £. 8,8. <<Aspect>>. <<hook>>. {call(void {call(voidDoorSTM.put()) DoorSTM.put())&& &&within(DoorButton)} within(DoorButton)} {advicetype {advicetype==around} around}. 5 N. (,2. <<Aspect>>. <<hook>>. 2. <<hook>>notify(). £. <<hook>>. 8. regist(ev) put(ev). <<hook>>. E-AOSAS+. Version3. open() <<hook>>put(ev). lim npoNqcrs!tvuew#x!y <<hook>>. )'*,+.-0/212- &'&(& 354768*'9. public aspect FaultToleranceAspect{. ¯. AOSA. !±°\;H²P³µ´ #% ')+/,59H¶H· . »Z¼ U¾ QR8T:V:X. AOSA. !. {oû W^[|XNGHvJbKvL¯M:O {üjýo hn [|XGSH:JAKAL2MWO)Q. E-AOSAS+ AOSA.

(11) RWT:VAX3 ^ {ü ýZ n GSH8:J X¡ P ±j²v{qK:Lb n uh^/Y jJ5NÒcb±w^WJ?NÒcb±h^ P ±:²P£¸{ 6û :w^-& $A P ]±A² S $b{jûqå x:ybz eV_¢W£o¤2Q uwÛ J ?N|dÒ cb±hÛJ ?NdÒ co± ôóõ Ð ¢8³ X

(12) Z-X bqí mo¾w ü8ý ¾ X <{ x v yv ABS(Anti-lockBrakeSystem) ABS. ABS. %&'(. A$BCD. <<hook>>. HSensor. HSensorSTM. %&'(. <<hook>>. N_VersionMachine. <<interface>> Version. AntiLockBrakeSystem. SelectionAlgorithmMachine. ABSystem. <<hook>>. <<hook>>. SSensorSystem. BPedalSystem. <<hook>>. <<hook>>. -./10$2$34657896:. <<hook>>. # $%&'. <<hook>>. <<hook>>. %&'(. $;<=>?@ £. Brake. <<hook>>. . <<hook>>. ABSystemSTM. <<hook>>. BrakeSTM. <<hook>>. <<interface>> BrakeAction. <<interface>> BrakeState. <<hook>>. 9 ABS. ¤. E-AOSAS+ ABS AOSA. AOSA. ABS. E-AOSAS+ AOSA. O PRQS

(13) TVU !W X YFZ\[¶· ] 5.2 ¯ hKi j^VkV_ l ` E m nIh op e abdcVe E-AOSAS+ fg MAOSA TU jkVl E m nIkVudM crv ixwyz { AOSA frq sRt |}~K kV {K fx TU {I MVi

(14) w yz {IkF{R frt T Q FTU {IK ih \¡F¢ir£ ¤R¥ ¦F§ ¢i ¢ ¨©rª«\ª fg

(15) ¬ iIh

(16) I®Kª ¯ªi°\± ² ©¤KiI¢³¨ ´¢µ ª U · ¸\¹ Gº »I¥d iR \¡F¢FMV\¢³ ¨©r ªf«g¶ª¼N½ ¾k¿ kVÀÁIh FÂ e¿U q s cVe wy z { |}N~dr k AOSA fÃ 10 hÄ t U abdcVe E-AOSAS+ hÅRÆL v i · ¸\¹ GºK »¥d wyFzF{ |F}d~

(17) È k AOSA fVq f³Ç ReKUÂ wFe y h ÊRL º Q. S sv i ªËK\¥zFÌ\{Í |}d~ kÉÎ³Ï QK · ¸k ¹ AOSA º G . I » ¥d g q TU

(18) s a bdcVe M H ¿ . i j Q

(19) S E-AOSAS+ ÒKÓ h oFp e k¿f lFÔÑÐÈ m n L h. i R l Ô TÕ g AOSA fqs\t Ö KGH¿JLM O PRQS

(20) TU ÜÝ× Þ ØÚ Q Ùi Û E-AOSAS hÅºÆIL eNß³àFá |\}È~ k AOSA fqs c i ·F¸I¹ GhRâ t Tã ä f Â e

(21) U

(22) ·¸¹ GNhâ t TKãä R»¥¿M c¿v å\ æFç ªKèé cv L T¿U

(23) ·F¸I¹ G »I¥ÈêhÊFL v i. <<hook>>. PhoneSystemSTM. <<interface>> PhoneSystemState. ö÷!øúùûüý þ. <<hook>>. SpeakerSystem. . <<hook>>. AntennaSenderSystem. î!ï!ð!ñ. <<interface>> PhoneSystemAction. ö6÷øúùûüýÿþ. ò!ó!ôõ. <<hook>>. . <<hook>>. DisplaySTM. <<interface>> DisplayAction. <<interface>> DisplayState.

(24). <<interface>> ABSystemState. ò!ó$ôõ. <<hook>>. Display. »8¼ ¾ qñvòja ¡ Ûx:ybzeVP¢W£o¤2Q {qí X {wjèt uU^ ÐW¢Z³KX m ¾ 1

(25) oX T8m&UWm f ÃAÄv½WÅZ¾UÆ AÇ2{bû å_8 8 ^YZX nwx:yozeVP¢8£b¤2Q {]í mZRW¾wT: Vj»:X ¼ ¾ Xhj© èWúva uP^û][oFâ XE:GIäbHW

(26) J:GIK8HKLNJIM_LNO2M Q ¡. 6. . <<hook>>. MicroPhoneSystem. DisplaySystem. -$./10!23465789:. )*+,. <<hook>>. í. <<hook>>. AntennaReciverSystem. )*+,. <<interface>> ABSystemAction. BrakeSystem. PhoneSystem. <<hook>>. <<hook>> <<hook>>. î!ïð$ñ. PhoneSystem. <<hook>>. <<hook>>. !". <<hook>>. <<interface>> ButtonAction. <<hook>>. <<hook>>. SelectionAlgorithmMachine. í í. <<interface>> HSensorAction. <<interface>> HSensorState. <<hook>>. !"$#. <<hook>>. <<interface>> Version. í. . <<hook>>. ButtonSTM. <<interface>> ButtonState. N_VersionMachine. AOSA. ö6÷øúùûüýÿþ. ò!ó!ôõ. <<hook>>. Button.

(27) . -$./10!23465789:. )*+,. <<hook>>. <<hook>>. <<hook>>. 9. HSensorSystem. î!ï!ð!ñ. ButtonSystem. ëìí. <<hook>>. (. )+*+,.-0/+132046587:9<;0=. 10. AOSA. h IH e i ·F¸º¹ GhRâ t Tã ä k ·f R¸¹ G R»¥ h Fé Q S TU qRs é c¿v i cKe ßràá |R}~ ³ FRk f M cKv i ·¸ ¹ G» ¥ f¿ IÂ AOSA e E-AOSAS klÔ. a d b ¿ c ¿ e

(28) U. a b c e E-AOSAS+ f M c¿v i j k ßàFá |RE-AOSAS+ }È~ V Rk Ö G k Mxixwyz {|}N~K k {IKFk AOSA cVeU AOSA frq s k ÉM c³v i F¢K± ç ©ª K¢k k H ½ Â d u M i k º h T U ³ c v v K Fk M. | N } ~ T V T U ê ß. à á d

(29) q h ÊLf v F¢K±Ó çf ©rª K¢k f ÒKÓ M Q iFk q f ä t TVU 3>3?. @6A6IHJ. .@BA. DC. FEHG. LK6J. NMBO. BPRQ. SRT. FUWV. YX. [Z. ]\. Lcbd. ^3_Da. Rh. [Z. Rh. kWl. Ü ÝÞ f L e. T h F e i i k Õ i Õ i Õ i Ut e i Ý Þ k f h g :mbn +xzyR{0|W}`~. +R}`~. WRDN F. .. RR¢`£R¤. F. `¥. WoRpbq. r¯. W·. x¶y. M3¸. 6° .¹ªº. »½¼]¾À¿. i. U. i. i U. ]\. .^`_ba. IhV} L e «R¤ f L e Lf e Õ i Õ i i Õ i Ü Õ h eIc c vISKe ec t U. [oRprq.s`t. R Õ h g. RuRv. Rw. Rw. LL . . .RRR. RR`R. C. :j. R`6. RR`. 6g. PBa. X. i. .^`_ba. FeRf. F. .. W. xR¦B§ .±. x. WRDN. .. W. `R `¡. F¨ª©¬«Rb®. F. ¯. «R6®. ³². .. a. G. ®N´. W. N¯. µC. N¯. i U U i U i U i i U i U i U U o~ ÈV FªRË º¥ T Ý Þ i i i U x¿© R¢ F¢ ® ç ª\± U i U i U U. [1] AspectJ http://eclipse.org/aspectj/ Dec 2005 [2] T Elrad M Aksits G Kiczales K Lieberherr and H Ossher “Discussing Aspects of AOP,” COMMUNICATION of the ACM Vol 44 No 10 pp 33-38 2001 [3] Java http://java.sun.com/ Dec 2005 Äu [4] Á3Â6Ã “ WÅÇÆ`È ```bLË`Ì ,” ÉbÊ RÍRËRÌRRÎWÏBÐWÑ`ÒWÓ p 67 2004 FÔWÕ3Ö R× 0Ø R×ÙX [5] ÇÚ rÛ0Ü`ÝRÆ`ÞRß p 248 1989 [6] UML http://www.uml.org/ Dec 2005. i. i. U. i U i R»º¥ ÌÍ k hâ t. ÝÞ o i¿F§¿ªè ¢ i. i i i. U.

(30)