HAL Id: inria-00071907
https://hal.inria.fr/inria-00071907
Submitted on 23 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language
Abdoulaye Gamatié, Thierry Gautier
To cite this version:
Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using
the SIGNAL Language. [Research Report] RR-4678, INRIA. 2002. �inria-00071907�
ISSN 0249-6399 ISRN INRIA/RR--4689--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language
Abdoulaye GAMATIÉ — Thierry GAUTIER
N° 4678
December 2002
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 Rennes Cedex (France)
Téléphone : +33 2 99 84 71 00 — Télécopie : +33 2 99 84 71 71
% '&()&( %*+&(,-(.0/102324
56)78:9;=<?>:@BAC5EDF5GHIJKGLM=@ONPNQ>RAC5TSUGHVW
XZY\[Q]^_a`cbdfeg^fhjilkU^mnegolepmq[Q]^fe
rtsquwvp^Qmyxyzf{}|~\zPzf
bhj}uOsm l^sq^f'Y}^fsq'Y\^(O?B`cy^fQ^Q]#^Qsawj`_Phwj^Pe
UfQ}jj XZY} ¡e luli}]^Qm}sq^feg^Qmqehyemgi loujmqY}^$]¢ul l^f£¤ ¥}auw¦hjsq'Y\ §mq^f¨mqi}sq^)uO]¢uj\^Qmqe*¦©ujs
h«ª? ¥uj} ¡Qe)hw}}£¥ ¡Qhmq ¤uO\ef¬*®^yuO\eg ¥ l^fsKmgY\^yh«ª? ¤uO} ¡Qetemqhj\ }hws' ¯nb°p±²³O´jµe^fQ §¶fhmq ¤uO\e)hOet\hOe ¡eQ·
hOe¸$^Q£¥£(hjemgY}^¹eo?\'Y}squj\uji\e£¡hw\ji\hjj^¢º»©¼(½¾*¿mquU l^PegQsg ¥^mgY}^]ul l^f£¤ ¥}\¬¯£¤ ¥}s'hwsqoUuw¦t¯nrtÀtÁ
uOlvp^fm#]ul l^Q£¡eUÂÃ\hwsgmg ¤mg ¥ujÄ·K\sgul^Pegef·uj]]¹i}} ¡Qhmq ¤uOÅhw\ Æego?\'Y}squj} ¥Çfhwmg ¥uj4e^fsgª? ¡^PeQ·^m'w¬ÉÈÊY\hje
^Q^fÅ ¤]}£¥^Q]^fOmq^f ¬EXZY} ¡eegY}uji}£¡ Åhw£¥£¥u¸mguC }^feqsq ¤^T l ¡epmqsg ¥}ilmq^f 4sq^fhw£¤Ë=mg ¥]¢^Thj}}£¥ ¥fhmq ¤uO\ei\eg ¤}
Ìa*¿¨ÍÎÏÄ|(½:Ít·?eguhOe$mguhjf^Pege$¦©uOsg]hw£:mqu?uj£¡ehw\ Umg^P'Y}} ¡ÐOi\^fe$¦©ujshjsq'Y\ §mq^f¨mqi}sq^a^fªhw£¥i\hmq ¤uOĬ
ÑÓÒÔ:ÕqÖ#× Øj º:»©¼*½¾(¿}·\¯yb°p±a²y·h«ª ¥uj\ ¥fe$hjsq'Y\ §mq^f¨mqi}sq^fef·sq^fhj£§Ë=mg ¥]^eolemg^Q]]¢ul l^f£¤ ¥}¬
ÙÄÚ«ÛÉÜÝÞ¨ßÃàUÚá'ÜyâwãpãpäEÜ=åPæ«æwÞ¨ßÃçèãpéÓâQêTçèÚ«ããåPßèÞ¨æwãá'äCæ«ßèÞqëèãpìíçaîÃïQÙFðOñòóQñôöõø÷¤ùÄéPú¨á'ä«ìpãpéCûãpÜ=ÛÉü¨äÙlÞfÞ¨ýÉÜþ¤Þ¨ß
ùÛÉßÃìßèáqþ§çïêPÜÃç=ãpÿÜ(á'ä«éaù(ÛÉßèâwÞ¨ßÃä«ã ïfÞ'þ¤çÝá'ßèã
÷ !"#$%& $'(
*)
#¨ +p ,-*. / 02
² ^t lulQi}]^Qm*}sqdfeg^Qmg^i}\^tdmqi\ l^)egi}s£¡hZ]¢ul ldf£¤ ¡eqhmg ¥uj l^ uj]uOeqhwmqe hjsq'Y} ¤mg^P¨mqi}sg^
uji\sZ }^feZhw}\£¤ ¡Qhwmg ¥uj\eZh«ª? ¤uO} ¡ÐOi\^fef¬±nuji\eZuO\eg ¥ ldfsguO\e £¤^Pe$egdf ¤¶fhmg ¥uje$ }^y£¡h¢}ujsq]^yh«ª? ¤uO} ¡ÐOi\^
¯yb°p±a²®´wµQuj]]^t\hjeg^j·«hw ¥\eg OÐi}^t£¥^t£¡hw}hwO^teo?\'Y}squj\^Zº»©¼*½Ä¾*¿Zuji}s ldfQsg ¥sg^)£¥h]ul ldf£¤ ¡eghwmg ¥ujĬ
n}^} ¥}£¥ ¤ujmgY}[PÐi}^ l^]ul l[Q£¥^fen uOlvp^m'en¯nrtÀtÁ ÂÃ\hwsgmg ¤mg ¥uj*·\}squl^feqegi\eQ·}eg^Qsqª? ¥Q^fe l^¹uj]]¹i}} ¡QhË
mq ¤uOB^Qm#eo?\'Y\sguO} ¥eqhmq ¤uOÄ·:^m'w¬ÉÈ"hdQmgd] ¥eg^^Qi}ª?sg^O¬² ^P t l^fª?sqhj §m^Qsq]¢^Qmmqsg^ l^T ldPsq ¤sq^ l^fe
hj}}£¥ ¥fhmq ¤uO\eT l ¡epmqsg ¥}i}df^femq^Q]\eË=sqdQ^f£n^f ilmg ¥£¤ ¡eqhwmÌy(¿'ÍÎÏÄ|:(½:Ít·Z l^C]hw} ¥[Qsq^ÆhOQdP l^QsThjilk
uOilmg ¥£¡eZ^mmg^P'Y}} ¡Ði}^fe$¦©uOsg]^Q£¡eZuji}s£dfªhw£¥i\hmq ¤uO hws''Y} ¤mg^P¨mgi\sg^PeQ¬
× P Õ ø º»©¼(½¾*¿\·Ä¯nb°p±a²y·Ähws''Y} ¤mg^P¨mgi\sg^Peyh«ª? ¥uj} ¡Ði}^fef·:]¢ul ldf£¤ ¡eqhmg ¥ujB l^eolemg[Q]^¹mg^f]¢epË
sqdQ^f£è¬
/ ##&#&
0 13254!6879:<;=2?>A@CB592?:!9DFEG@IH%D%J9LK)68DKNM<HN6OEPME 9:<;RQ?SLTVU<W'X Y
Z\[&] f × Ø w^× ] _
` 5ab^× ] ^ÃOldcO^Ã Ò w * Ò e
fhg c Ò Ô ] dc( × ] × Ã ]Oi ( i Ò4º:»©¼*½¾(¿ j
µ\¬¤_lkøhw ¥E'Yhws'hj¨mq^Qsq ¥emg ¡Qe uw¦ º»©¼(½¾*¿ ¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ _P
µ\¬mkCu? }i}£¥hjsg ¤mpoonKhw ¤]ujsgmqhwm¦©^Phmgi\sg^uw¦(mgY}^º:»©¼*½¾(¿¢}sguOjs'hw]] ¤\ ¬¬¬¬¬¬a¬¬ _O_
p q × sr × ] Ò ] × Ø Ò ,^
]ti Z)`
¬¤_ ¯nrtÀtÁ eg^Qsqª? ¥Q^fe ¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ _Pµ
¬¯yb°p±a² }squl^feqeŬ¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ }_
¬µrKhjsmq §mq ¤uO£¥^QªO^Q£Ou.v ¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ j
¬ ¯nE^k}hw]}£¥^F¬¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ µ\_
_xw
^ÃPf^× ] f j
´}¬¤_ b^Q£¡hmg^P ¸ uOsy ¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
´}¬X(u?uj£Äegi}}ujsgm¦©ujssq^fhj£§Ë=mg ¥]^y^f]#^f } l^P Eeolemg^Q]eZ]ul l^Q£¥ ¥}¬¬¬¬¬¬¬¬¬¬¬a¬¬0_
e q × ]
#^
× ] po`
0)0 @z:!:!6F{568E |?|
}
]O]
Ò~ CKØ Ò fN^Ò Ø º»©¼*½Ä¾*¿ r( × i
× c Ò Ò }Ø¢è} × }«ØF Ò dab^à Ò
pp
]O]
Ò~ br Ò ^$Ol#^× ]
× #c Ò Ò ab^è Ò p e
\¬¤_3² uO]]¢uOUmpo?^fe0¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
\¬ r)sgul^Pegeg^fe ¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
\¬}¬¤_ kChw ¥U¦©^Phmqi}sg^PeZuw¦Kh¢}sgulQ^feqe¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
\¬}¬ X)o?^fe ¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
\¬}¬µ rtsgulQ^feqe l^feqsq ¤}mgujs ¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬0
\¬}¬ rtsgulQ^feqeZ¸$hj §mq ¤}Ði}^Qi\^fey¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ \_
\¬}¬´ rtsgulQ^feqeZ]hj\hwO^Q]^Qm¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ ?
\¬µ°ímqsqhwË=\hjsmq §mq ¤uOQuj]]#i}\ ¥fhmg ¥ujEhw ego?\'Y}squj} ¥Çfhwmg ¥ujU]^P'Y\hw} ¡eg]e¹¬¬¬¬¬¬a¬¬ j´
\¬µ\¬¤_ X)o?^fe ¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ j´
\¬µ\¬ °íOmqsqhwË=hwsgmg ¤mg ¥ujQuj]]#i\} ¥fhmq ¤uOhw ego?\'Y}squj} ¥Çfhwmg ¥ujT]^P'Y\hw} ¡eg]eZ]hj\hwO^Qs4w
\¬µ\¬µ ² uj]]#i}\ ¥fhmg ¥ujEhw ego?\'Y}squj} ¥Çfhwmg ¥ujUeg^Qsqª? ¥Q^fe ¬¬¬¬¬¬¬¬¬¬¬¬a¬¬ O
\¬ °ímq^QsgË=\hjsmq §mq ¤uOQuj]]#i}\ ¥fhmg ¥uj]^f'Y\hj} ¡e]e ¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬y_fOµ
\¬¬¤_ X)o?^fe ¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬y_fOµ
\¬¬ °íOmq^QsgË=hwsgmg ¤mg ¥ujQuj]]#i\} ¥fhmq ¤uO]^f'Yhw} ¡e]e$]hw\hjj^fs ¬¬¬¬¬¬¬¬a¬¬y_fj
\¬¬µ °íOmq^QsgË=hwsgmg ¤mg ¥ujQuj]]#i\} ¥fhmq ¤uOeg^Qsqª? ¥Q^fe¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬y_j_P
\¬´XZ ¥]^]hw\hjj^Q]^fOm ¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬a¬¬¬¬¬¬¬¬¬¬¬¬a¬¬y_Pj
j
]O]
Ò~
q g c Ò ^sr Ò Ò ]
f}#^× ]
ldcO^Ã Ò w * Ò®× #c Ò $^©l Ô
ZN`Np
*& -
!#"$ "%&
')(+*-,.0/
1
-¹&* )&(
XZY\^a l^Pe ¥jUuw¦*uO]}£¤^QkUeolemg^f]e i\egi\hw£¥£¥o¢ ¥?ªjuO£¤ªO^fet]¹i}£¤mg ¥}£¤^y¦©ujsq]hw£¥ ¥eg]eyÂèhw]uj\#uwmqY}^Qs'ef·O\hwmgi}s'hw£
£¡hw\ji\hjj^j·*}sguOjs'hw]] ¤\£¡hw}Oi\hwO^fe'Ènhj\ ®ªhwsq ¤uOi\eamgu?uj£¡eTÂÃ^j¬\¬T}squªj^fsqef·*eg ¤]¹i}£¡hmguOsqe'Ȩ·*^fhj'Y4hm#h
eg^f ¤¶#}Y\hjeg^#uj¦ uO\^flmg ¥uj"ÂÃeg^P ¤¶Qhwmg ¥ujÄ·ul l ¥}ujsymg^femg ¥}?Ȩ¬XZY}^¹]hj ¤ø }sqh«¸\hOyuj¦)ei'Y
hjhw}}squOhO'Y# ¡emgYhmKmgY\^n l^feg ¥jhw\ 'Y}^Py? ¤}am'hjey?eKhjsg^Z ¥}Y}^fsg^fOmq£¤o¹£¤uO}hw\ ¢Y\hjsq Ĭ¯yeth]hmmq^Qs
uj¦¦ÃhO¨mP·wmgs'hwe ¤mg ¥uj\e^mp¸$^Q^f¢ }^feg ¤O¢\Y\hjeg^feKhjsg^ l 32Ti}£¤m)hw\ ¢^fsgsqujs}squj}^O¬54\i}sgmgY}^fsg]ujsq^j·«¦©uOs)hw?o
}^mg^P¨mq^f ^QsqsguOs$hwmnh¢j ¥ªj^Q}Y\hOe^O·luj}^]¹i\epm^hw\£¤^amgui}: }hwmg^mgY\^¸Y}uj£¥^ l^feg ¤O'Yhw ¥Ä¬
°ímqY}^)hwsgmg ¡i}£¡hws*fhjeg^Kuw¦} l ¡epmqsg ¥}ilmq^f sq^fhj£§Ë=mg ¥]^teolemg^f]ef·PmgY}^fsg^ hwsq^thj } l ¤mg ¥ujhw£j l 32Ti}£¤mg ¥^fe#n*uOmgY}^
uO}^)Yhw\ ·egi\'Y#egolepmq^Q]e*Yh«ªj^Kmqun^$eg^Q\hjsqhwmg^P y^62T ¥^Qmg£¥o ¤mquyuO]uO}^Qmqef·hw\ #uj]]¹i}} ¡Qhmq ¤uO
]^P'Y\hw} ¡eg]e)^Qmp¸ ^f^QmqY}^feg^yQuj]uO}^Qm'et]#iepm$^y}sguª? ¡ l^f +7OuOmgY}^yuwmqY}^Qs Y\hw\ Ä·jmqY}^nªhw£¥ ¡ }hmq ¤uO
uj¦*mqY}^¸Y}uj£¥^ ¥esg^PÐOi\ ¤sq^f ¬
XZY}^fsg^Q¦©ujsq^j·?h yO^Qo'Y\hw£¥£¤^f}j^y ¤U^Q]#^f \ l^f Usg^Phw£¤Ëèmq ¤]^negolepmq^Q] l^feg ¥j8v? ¤¦Ã}_:9;8<Ä^Q^Pj=9 ¡etmqu#}squwË
ª? ¡ l^}s'hj¨mq §mq ¤uO}^Qs'ey¸ §mqY®sq^Q£¥ ¡hw}£¥^¢hj\ ®h?>:ujs' }hw}£¥^mqu?uj£¡eQ·*hj\ B^Q\hj}£¤ ¥}mg^P'Y}}uj£¥ujOomguEuªj^fsqQuj]^
mqY}^ujepm'hj£¥^feZhjuªO^j¬
kCu? }^Q£¥ ¤}U ¥ey^feqe^fmg ¡hw£ÄmquTmqY}^¢ }^feg ¤OChj¨mq ¤ª? ¤mpoj¬y°mahw£¥£¥u¸e]ujsq^A@\^Qk? ¥} ¥£¤ ¤mpoÓuO\^fsg} ¥}U }^f ¡eg ¤uO\eQ·
¤m ¡ei}}}^P^PegeqhwsqoEmguEY\h«ªO^¹mqY}^Thjmgi\hj£teolemg^f] mguE]hyO^^kl^fsg ¥]^Qmqef¬T¯]uO}EmgY}^ThO lªhwmqhjj^Pe
^f]}Y\hjeg ¥ÇQ^f ø?o8vl §¦Ã\_B9=·(¸ ^QhjB]^fOmq ¤uOCmqY}^^Q}Yhw\Q^f øhO }hw}mqhw\ ¤£¥ §mpoÓuj¦ ]ul l^Q£¡ehw CmqY}^Q ¥s\hË
s'hw]^Qmg^Qs'eC7]ujsq^O^Q}^fsqhj£( l^PegQsg ¥lmg ¥uje?oEi\e ¥}j^Q\^Qsq ¥Q §mpoO·hj\epmqsqhO¨mq ¤uOÄ·\^QY\h«ª? ¥ujs'hw£(}ujø }^mg^fsË
] ¥} ¡e]#7lmqY}^uegeg ¥} ¤£¥ ¤mpoTuw¦hw}}£¥o? ¤\¹¦©uOsg]hj£]¢^QmgY}ul }e¦©ujshwhw£¥o?eg ¡e$hj\ }sq^f l ¡¨m'hw} ¥£¤ ¤mpoj¬
køhw?o4¦©ujsq]hw£¥ ¥eg]e¦©uOssg^Phw£¤Ëèmq ¤]^Eeolemg^Q]e¢]ul l^Q£¥ ¤\BY\h«ªO^^Q^f"\sguOue^P ¬ ¯]uO}®mgY}^f]· ¸ ^
]^fOmq ¤uOÓmg ¥]^f Ó]ul l^f£¥e¢Â©^O¬¬ *ED ^Qkmq^Q\eg ¥ujCuj¦GF &*-?o&*, 8v? ¤¦=jC9· *,ED C*IHN-*,$Pd-*L:D
8J!kCr?}_69uOs
*,ED H)*L?DKH*LH
8¯yjM9©È¨·*¯nsq'Y\ §mq^f¨mqi}sq^¢y^feqsq ¤}mg ¥uj!<(hw}Oi\hwO^fe¹ÂïnN<*e'ÈO8ö² £¤^j=9
ÂÃ^j¬\¬ kÓ^QmqhPJ8QK^fe(C9©È¨·ujs#mgY}^} ¤¶\^P kÓul l^Q£¥ ¥}R<*hj}jihwj^ÓÂTSVUy¿OÈ]¢ul l^f£¤ ¥}øQuj\Q^Qlm'e#hOe ¥
8vlb<O=9¬)b^Q£¡hmq^f mgu?uO£¥e£¥ yj^XW|(½*zV8Ytuª)?C9Ħ©ujsZmq ¤]^P Óhwilmquj]hm'h¹^f\hw\£¤^ªO^Qsq §¶fhmq ¤uOUuw¦}squjlË
^fsmq ¤^PeZuj]u? }^Q£¡eQ¬
uyªO^QsmqY}^feg^Uhjem¹oj^Phws'eQ·(mgY\^ego'Y}sguO}ujiemg^P'Y}}uj£¥ujOoZ8Jnhj£Oµ=9$Yhje¹^Q]^Qsqj^P ÅhjeuO}^Uuj¦mgY}^
]uepm)\sguO]¢ ¡eg ¤}#¸$h«ole¦©uOs)jihws'hwmg^f^Q ¥}heghw¦©^n l^Pe ¥jTuj¦^Q]#^f \ l^f Tegolepmq^Q]ef¬(°m$uM>:^Qs'et}s'hjmg ¡Qhw£
}^feg ¤O®hOegeg ¥emqhj\^¢mquuO£¥e¸ §mqYÆhU¦©uOsg]hj£t\hjeg ¡eQ¬UXZY\ ¥e ¥\Q£¤i\ }^feuOeqe ¥} ¥£¤ ¤mg ¥^feuw¦ZY} ¤OYÅ£¤^fªj^f£te^fQ §Ë
¶Qhmq ¤uO\ef·i\e ¥} - 3H[H- 8\G\ \_]9T7(]¢ul li\£¥hjsªj^Qsq ¤¶Qhwmg ¥ujCuj¦ }squj^Qsgmg ¥^feyujBmgY}^Pe^
eg^f ¤¶fhmg ¥uje67$hwilmquj]hmq ¥ul l^j^f}^Qs'hmq ¤uO4mgY}squji}OYŦ©ujsq]hw£ mgs'hw\e¦©ujsq]hmq ¤uO\eQ·thj\ Ūhw£¥ ¡ }hmq ¤uO
uj¦ mqY}^j^f}^Qs'hmq^f Bul l^Thwhw ¥\emeg^f ¤¶fhmg ¥ujeQ¬T¯yehsg^Pei}£¤mf·(^fhjsg£¥ ¤^fshws''Y} §mq^fmgi}s'hw£K'Y}uO ¥Q^fehw
^QYh«ª ¥ujs'hw£ e ¥]#i}£¡hmq ¤uOÆhwsq^^Q\hj}£¥^f ·thj\ Å l^feg ¥j hj]#} ¥ji} ¤mg ¥^fe#hw\ Å^fsgsqujs'efhwÅ^eg ¤O} §¶Qhwmq£¤o
sq^f }i\^P ¬
XZY\^)}squjOsqhj]¢] ¥}Z^Q?ª? ¤squj\]¢^fm*uw¦?mgY\^ ego'Y}sguO}ujie£¥hj}jihwj^Zº:»©¼*½¾(¿A8<_^`<<O}_B9 ·wQhj£¤£¥^f Ìa*¿¨Í+a
ÎÏÄ|:(½:Ít·Ä¸Y} ¡'Y4 ¥e# l^QªO^Q£¥uj^f ®?oø°p±nb°p¯E fȨ· ¤\QujsquOsqhwmg^Pe
hj£¤£:mqY}^feg^¦©i}\mg ¥uj\hj£¤ ¤mg ¥^fef¬
XZY} ¡eysg^fuOsma}sg^Pe^fmqenhjChw}\sguhj'YmguUmgY}^¢]u? }^Q£¥ ¤}Uuw¦tsq^fhw£¤Ë=mg ¥]¢^¢hws''Y} ¤mg^fmgi}sq^fe ¤CO^Q}^fsqhj£è·
hj\ B]¢ul li\£¥hjsh«ª ¥uj\ ¥fehws''Y} §mq^fmgi}sq^fea ¥®hwsgmg ¡i}£¡hwsP¬B^i\eg^mgY\^Eº»©¼*½Ä¾*¿£¥hj}jihwj^¹mguCeg^f ¤¦©o
]ul l^f£¥ef¬¯ }sg^fª? ¤uOi\e\hw^QsK8^A^O=9 hw£¥sg^Phj loÓ ¥mgsqul li\^P CmqY} ¡e¸ uOsy:¬ J^fsg^O·*¸$^¢O ¤ªO^ ¤Åh]ujsq^
}^mqhj ¤£¥^f ¸Zh«oj·}hw ¥]¢\sguªO^f TªO^Qs'e ¥ujuw¦mgY}^hj}}squOhO'YĬ
XZY\^ sq^Q]hw ¥\ l^fs(uj¦\mqY}^ hw^Qs ¥euOsghw} ¥ÇQ^P hje*¦©uj£¥£¤u¸e#nOv?^P¨mq ¤uOEy l ¡egQi\egeg^fe l^Pe ¥j¢hw}\sguhj'Y}^Pe:¦©ujs
hjsq'Y\ §mq^f¨mqi}sq^fe ¤Eh«ª? ¤uO} ¥feQ¬¯ÊeY\ujsgmZ ¥mgsqul li\¨mq ¤uOTmqu¯yb°p±a²ÂïZ^fsguO\hwilmq ¥fhw£bhO l ¤u·?°í\w¬ÉÈ¢e^fQ §Ë
¶Qhmq ¤uOTO´jµ 8ɲ uO] ?« 9 ¥e$hw£¡euO ¤ªO^QĬ v?^P¨mg ¥ujÓµ\sg^Pe^fOm'emgY\^n]hw ¥¦©^fhwmgi}sq^fe)uw¦:mgY\^yego'Y}sguO}ujie
£¡hw\ji\hjj^º»©¼*½Ä¾*¿}·¸Y} ¥£¤^Cvl^f¨mq ¤uOEE¦©u?Qi\eg^feuO®uOi}s#hj}}squOhj'YømguÓ]ul l^Q£¥ ¥}ø¯nb°p±a² e^fQ §¶QhË
mq ¤uO\eK ¥º»©¼*½Ä¾*¿}¬XZY}^fÄ·O ¥e^P¨mq ¤uOE´a¸$^sg^f£¥hwmg^Zuji\s)hw}\sguhj'YmqumgY}^n£¤ ¤mg^fsqhwmgi}sq^j¬XZY}^uO\£¥i\eg ¤uO
hj\ Ó^Qs'e^fmg ¥ªj^Penhwsq^O ¤ªO^QÓ ¥Beg^f¨mq ¤uO}¬N4 ¥\hw£¥£¤oO·hwChw\}^kÓ}squª? ¥ l^PeZmgY\^¢eg^P ¤¶Qhwmg ¥ujCuj¦KmgY}^
]ul l^f£¤^P eg^Qsqª? ¥Q^fef¬
³!QQ % '&()&(
X(s'hj l ¤mg ¥uj\hj£¤£¥oj·h«ª? ¥uj} ¡QeT¦©i}\mg ¥uj\eEhwsq^C ¥]}£¤^f]^Qmg^P ¥Fegi\'YRhƸZh«o"mgY\hwm^Phj'Y ¦©i}¨mg ¥ujFY\hje
¤mqe }^f l ¡Qhwmg^f ø¦Ãhwi\£§mgËèmquj£¥^Qs'hwmQuj]}ilmq^Qsego?emg^f]E¬¢XZY} ¡ehws''Y} ¤mg^P¨mgi\sg^¢¸Y}^Qsq^eolemg^f]ehjsg^¢£¤u?ue^f£¤o
Quji}\£¤^P ®¦©sguO] ^fhO'YÅuwmqY}^Qs ¡e#fhw£¥£¤^P
&IH*L
¬! Z»©¼t¬Å_Tj ¥ªj^PehEª? ¤^f¸ uj¦nei'Y4hjÆhws''Y} ¤mg^fmgi}sq^j¬
¯ jsq^fhm#hO lªhwmqhjj^ ¡emgYhm#¦Ãhji}£¤m¹uOOm'hw ¥}]^Qm# ¡e ¥}Y}^fsg^fOmmquÓmgY\ ¥e¢hw}\sguhj'YĬl¦©uOsmqi}\hmq^Q£¥oj·
mqY}^Qsq^ ¡e)huwmq^Qmg ¡hw£sg ¡ey#uw¦]hjeqeg ¤ªO^i\e^nuw¦sg^PeuOi}s'^fe#n*^Phj'Y¢¦©i}\mg ¥ujTsq^fÐi} ¥sq^fe ¤mqe u¸Quj]}ilmq^Qs
egolepmq^Q]E·K¸Y} ¡'YÆ ¡e#]uOem¹uj¦mgY\^Tmg ¥]^sq^Q\£¤ ¡Qhwmg^f Ŧ©ujs¹¦Ãhwi}£¤m#mquj£¥^Qs'hw\Q^j¬Gun¦auji\sqeg^j·uªj^fsqhj£¤£ uOemqe
hjsg^a^fhOe ¥£¥oTh?>:^f¨mq^f ¬ 4\ujs ¥\emqhw^j·l ¥\emqhj£¤£¡hmq ¤uOhw U]hw ¥mg^f\hw\Q^amqhjeyleZhwsq^aYhws' l^QsP·?¸ ^f ¤OYOmhw
eg\hO^^PuO]¢^Qsg ¤mg ¡Qhj£ujuhws' ·l^m'w¬
"""
#$&%('*),+-,./0/+-,%21
3
)*1,#4+65$&1&781
3
)*1,#+65$&1&789
#$&%(':)+-,./0/+-,%29
4 ¥ji}sq^¢_n<;=?>=,@BA:C=>DA:@EBFGHC=ECI@=KJL=?A:EFDMNIOE,CGQPKODFA&R<GHCR(>=?>GSEA:C=?>TMUA&IVQC4WCP&VS=@BA&OXC(EPKY[ZIC=,@<R]\R]C=Y_^
`
ÙÄÚ«ãpßÃãÅÛÉÜCá'ýÉÜ=Þ"á'äFÛÉä«éPå«ÜèçèßèÛöá'ý#úãpßèÜèÛÉÞ¨äaðôQb?cjó&daÛÉÿæ«ýÉãpÿãpäç=ãpé á'ä«éFìÞ¨ÿÿãpßÃìpÛöá'ýÉÛHeãpé âê Ù *îUfUgá'ýÉÛÉÞ¨ÜèêfÜ
÷h #?i?j*k(#&l( nm&o
*)
±n^Q¸ hws''Y} §mq^fmgi}s'hw£uO\^flmqeCY\h«ªj^®^Q]^Qsqj^P R ¥Êujs' l^Qsmqu euO£¤ªO^ømqY} ¥eC}sguO}£¥^Q]E· -%*L+H*L(
)3H "$$- ©°kC¯aÈ8ö² uj] wh 9a ¡euj}^Cuj¦mgY}^f]E¬ °í mqY} ¥e}Y} ¥£¥uOeguj}Y?oj·eg^QªO^Qs'hw£ah«ª ¥uj\ ¥fe
¦©i\\¨mq ¤uO\eyfhwÓ^#Y}uepmq^f EuOChUeg ¤}O£¤^O·egY\hwsq^f ÓQuj]}ilmq^Qsaeolemg^Q]0hjeyeY\u¸Óuj Z»©¼K¬?¬n¯ sq §mq §Ë
fhw£hjeg^P¨my¦©ujsn° kø¯ ¡en^f\egi}sg ¥}mqY\hmegY\hwsq^f ÓQuj]}ilmq^Qsasg^PeuOi}sqQ^fehjsg^¹eghw¦©^Q£¥oEhj£¤£¥ulQhwmg^f ÓeguTmqY\hm
mqY}^Qsq^^kl ¡epm'e}uE¦Ãhji}£¤m#}squj\hjOhmq ¤uOø¦©squj] uj}^UY}uOemg^P ø¦©i\\¨mq ¤uOÅmguChj}uwmqY}^QsP¬XZY\ ¥e# ¥ehO } lsq^feqe^P
?o®mgY\^
H-**,$% ]^f'Y\hj} ¡e]E¬®°mQuj\eg ¥emqe¹ ¥ hC¦©i\\¨mq ¤uO\hw£Z l^fQuj]uOeg §mq ¤uOÆuw¦mqY}^Eh«ª ¥uj\ ¥fe
hj}}£¥ ¥fhmq ¤uO\eQ·*¸ §mqY®sq^feg^f¨mmquEh«ªhj ¤£¡hw}£¥^¢mg ¥]^Thw\ B]^Q]ujsqoCsq^feguji}s'^PeQ¬¢¯
H-*,*$ 8ɲ uO] ?« 9
¡enhjøhw£¥£¥u?fhmq ¤uOi\} §masg^Pei\£§mq ¤}T¦©sguO]mqY} ¥ea l^Puj]uOeg §mq ¤uOĬrKhwsgmg ¤mg ¥uj} ¥}T\sguO]¢ujmg^Peªj^fsg ¤¶Qhwmg ¥ujÄ·
ªhj£¤ ¡ }hmq ¤uOhj\ ^Qsgmg ¤¶fhmg ¥uj*¬
"""
.Q+65+65$&1*51
#$&% '*)+-,./0/+-%29
#$&% '*)+-,./0/+-% !1
3
)*1,#+65$&1&781
3
)*1,#+65$&1&78169
3
)*1,#+65$&1&7
3
)*1,#+65$&1&789
3
)*1,#4+65$&1&7
4 ¥ji}sq^)n A:@EBFGHC=ECI@=KJLR4==@BA&VMUIOE,CGQPKORE?A&O = FPKR]C=>TPKODA R4GQO &VQ="!R4FA:@=?> EPKY[ZIC=,@R]\R]C=Y_^
XZY}^
( D )
^Quj]\hOegeg^fen\hwsgmg ¤mg ¥ujeyuOeqeg ¤}£¥oÓ^Q£¥uj}O ¤}mguEhw\}£¤ ¡Qhwmg ¥uj\eyuw¦Z l 3>^fsg^fOm
Qsg ¤mg ¡Qhj££¥^QªO^Q£¡eQ¬ kÓ^P'Y\hw} ¡eg]e$hwsq^}squª? ¥ }^f ¥Uujs' l^fstmgu¢}sq^QªO^Qm hhwsgmg ¤mg ¥uj¦©squj] Y\h«ª? ¥}$#ghw}\ujsgË
]hj£&%nhjf^PegemqumgY\^n]^Q]ujsqohwsq^fhuw¦Ähj}uwmqY}^Qsthwsgmg ¤mg ¥ujĬKXZY} ¡et^f\ei\sg^Pe)heqh¦©^^Qkl^fi}mg ¥ujuw¦Ähj}}£¥ §Ë
fhmq ¤uO\eQ¬XZY}^y}sgulQ^feqeuOsK ¥e$hw£¥£¤ulfhmg^P ¹mgu#^Phj'Y\hjsmq §mq ¤uO¦©ujs$h¶}kl^f ¢mq ¤]^y¸ ¤\ }u¸ ¸ §mqY} ¤h]hvpujs
mq ¤]^y¦©sqhj]^y]hw ¥mqhj ¤}^P T?omgY\^aQujsq^y]ul li}£¥^y£¥^QªO^Q£8u.v:¬l¯F\hwsgmg ¤mg ¥ujQhw\}uwmZ^ l ¡epmqsg ¥}ilmq^f uªj^fs
]¹i}£¤mg ¥}£¤^$}squl^feqegujs'e^Q ¤mgY}^fs ¤mqY}^Zeghj]¢^$uOsg^ ]¢ul li\£¤^$ujs ¤¢ l 3>^fsg^fOmuOsg^ ]¢ul li\£¤^PeQ¬54}ujs ¥\epm'hw\Q^j·
¥ Z»©¼K¬Kµ}·('X*),+ -nhj\ .'X*),+ /nhjsg^hj£¤£¥ulQhmq^f ¹mgu 101+(-·"'X*),+32Ksqi}\e
hj£¤uO}^ujmgY\^uwmqY}^Qs}squl^PegegujsP¬KrKhwsgmg ¤mg ¥uj\eQuj]]#i}\ ¥fhmg^hOeo?\'Y\sguO}uji\eg£¥o¢ª? ¡h£¤uOj ¡Qhj£
-*$ hw
H%o& ¬ÆXZY}^fsg^Ehwsq^mp¸$uømqsqhj\e¦©^Qs#]ul l^Pe¹ ¥ ¸Y\ ¥'Y³'Y\hw}\^Q£¡e#]h«o4^EuOl¶\Oi}sg^P Fn 6H?D
]ul l^ahw\ 54 %) ]ul l^j¬°íUmgY}^n¦©ujsq]¢^fsf·}u¹]¢^PegeqhwO^nÐi}^Qi\ ¤}¹ ¥eZhj£¤£¥u¸ ^P ¬(¯F]^feqeghjj^sq^Q]hj ¤\e
¥BmgY}^Teguji}s'^¢ujsgmi\Omq ¤£K ¤m ¡eamgs'hw\eg] §mgmg^f B?oÓmgY\^T'Y\hw}\^Q£ujs ¤m ¥euªO^Qsq¸sg ¤mmq^Qø?oCh}^f¸ ul¨Ë
Qi}sqsg^f\^uw¦mgY\^]^feqeghjj^j¬ ni}sq ¥}mgs'hw\eg] ¥eqeg ¤uO\eQ·}'Yhw}}^f£¥e^Q\egi}sq^mgY\hwm]¢^PegeqhwO^feZ£¥^fh«ªO^eguji\sqQ^
ujsgmqe¹hw\ Æsg^Phj'YÆ l^Pepmq ¤\hwmg ¥ujÆujsgmqe¹ ¥ÅmgY}^eghj]^Uujs' l^fsf¬ø¯sg^P^f ¤ªO^f 4]^feqeghjj^Tsq^Q]hj ¤\e# ¤ mgY}^
'.Q$&#-/6/n$*.7 '.S$:#B-/n/6$?.789
/n-,%
',$?.S-
)-,.
.Q$&#-/6/789
.Q$&#-/6/789
.S$:#B-/n/B7 '*$?.Q+/
#
1*1,-
.S$:#B-/n/B789
.S$:#-B/n/7
.S$:#-/6/7
.Q+65+65$&1&7
.Q+65+65$&1K7
.H+65+65$&1&789
# $
.
4 ¤Oi}sq^µ%n A&Y[ZVQ= P:MCF@=,= ZA*@4CGQCGQP&OR<@IOOGQO P&O?W6Z@PXE=R4R4P:@R A:@EBFGHC=ECI@=K^
}^femg ¥\hmq ¤uO®ujsgmj·i}mg ¥£ ¤m# ¡e#hw£¡eguÓuªj^Qsq¸sq §mgmg^Q*¬U°í4mgY\^Ði}^Qi\ ¤}Ó]ul l^O·ujsgmqe¹hwsq^Thw£¥£¤u¸$^f ømgu
emguOsg^]^PegeqhwO^fe¦©squj] h#eguji}s'^hwsgmg ¤mg ¥uj ¥UÐi}^Qi}^Pej·Oi\Omq ¤£mgY\^Qohwsq^sq^f^f ¤ªO^f ¢?o#mqY}^y }^femg ¥\hmq ¤uO
hwsgmg ¤mg ¥ujĬ)XZY\^]^feqeghjj^Ði}^Qi} ¥}T l ¡eq ¥}£¤ ¥}^ ¡e 4 ¤s'emË °í#4 ¥sqemËuyilm#Â4(° 4 uȨ¬¯ e^Qmnuw¦Ke^fsgª? ¡^PeZ ¥e
\sguª? ¡ l^f mgumgY\^hw}}£¥ ¡Qhmq ¤uO¢eguw¦mp¸Zhwsq^ ¦©ujsK]^feqeghjj^$^k}'Y\hj}j^$^Qmp¸ ^f^Q\hjsmq §mq ¤uO\eQ¬(°í¢mgY}^eg^fÐi}^f£è·
mqY}^feg^hwsq^sg^Q¦©^Qsqsg^P mguThOe %*L&
H-**$PMDVD )%$]H*$&-"$- ¬
rKhwsgmg ¤mg ¥uje$hjsg^uO]ue^P Tuw¦
-& ¸Y} ¡'YUsq^Q\sg^Pe^fOm$mgY\^a^f£¤^f]^Qmqhjsgo^kl^Pilmq ¤uO^fOmq §mq ¤^Pe
Âèe^f^ Z»©¼K¬ZµOȬ rtsqul^Pegeg^feZsqi}ÓuO\i}sqsq^Qmg£¥omguhj'Y} ¥^QªO^y¦©i\\¨mq ¤uO\enhOegegul ¡hmg^P U¸ ¤mgYEmqY}^\hjsmq §mq ¤uO
mqY}^QoÓhjsg^#Qujmqhj ¤\^f E ¥Ä¬nÀ)hO'YC}squl^feqe ¡ei\} ¥Ði}^f£¤oÓ'Y\hjsqhO¨mq^Qsq ¤Çf^f ?oEhUe^Qmyuw¦t ¥l¦©uOsg]hmq ¤uOCei'Y
hOen^Qsq ¥u? Ä·Ä}sq ¤uOsg ¤mpoEujs l^fhO l£¤ ¥}^¹mg ¥]^j·Äi\eg^f B?oChUhwsgmg ¤mg ¥ujø£¥^QªO^Q£?u.v:¬:rtsqul^feqeg^feahwsq^¹eq'Y}^f li\£¤^P
mqY}squji}OYEh\sg ¥ujsq §mpoU}sg^f^Q]lmq ¤ªO^uO£¤ ¡oontmqY}^}squl^Pege ¥ #sg^Phj lo(%emqhwmg^¸ ¤mgYEmqY}^#i\sgsq^QmY} ¥jY}^Pepm
\sg ¥ujsq §mpo^kl^Pilmq^fey¸Y}^Q}^fªj^fsmgY\^¹\hjsmq §mq ¤uOC ¡eyhO¨mg ¥ªj^O¬aXZY\^¹uO]]#i}} ¡Qhwmg ¥uj\en^Qmp¸ ^f^QB}sgulQ^feqe^Pe
hjsg^hO'Y} ¤^fªj^P C?oCmqY}sg^f^\hjeg ¥¢]^f'Yhw} ¡e]ef¬TXZY}^uji}\ }^f
&
¥ei\eg^f BmquCe^f\ 4hw\ Bsg^P^f ¤ªO^
]^PegeqhwO^fef¬*°mhw£¥£¤u¸e$emgujsq ¥}#]^feqeqhwj^Pe) ¥#4(° 4 uÊÐi}^Qi\^fef¬XZY\^
"d%*
^fsg] ¤mqe$mqY}^ahj}}£¥ ¥fhmq ¤uOTmgu
\uwmg ¤¦©ohw¹u?fi}sqsq^Q\Q^tuw¦\hyuj l §mq ¤uOmguy}squ?Q^feqe^PeĸY} ¡'Y#]h«oa¸$hj §m(¦©ujs §mP¬XZY\^
3H
H(
¡e*ie^P
mqu¢ } ¥eg}£¡h«ohj\ sq^fhO ]^feqeghjj^feC7}u¹]^PegeqhwO^nÐi}^Qi}^Pe hjsg^ahw£¥£¤u¸$^f Ä·hj\ Uhjo]^feqeqhwj^n¸sg ¤mmq^QU ¥h
\£¥hOyuOhjsq sq^Q]hj ¤\e*mgY\^Qsq^ i}mq ¤£mgY\^ ]^feqeqhwj^ ¥e(^Q ¤mgY\^QsK£¥^fhjsg^P ujsuªj^fsg¸sq §mgmg^fohn}^Q¸ ¤\emqhj\^
uj¦)mqY}^]^feqeghjj^j¬ v?o?\'Y\sguO} ¤ÇPhmq ¤uO\eyhjsg^hO'Y} ¤^fªj^P C?oBh :DKH
N ·¸Y} ¡'Y®}sguª? ¡ l^feQujmgsquj£¥£¤^P
hOQQ^feqemgu®\hjsmq §mq ¤uOÆsg^PeuOi}s'^fef¬øÀ hj'YÆ]^f'Yhw} ¡e] ¡ehjQQ^feqe^P 4ª? ¥hB §m'e¹hOegegul ¡hmq^f Æeg^Qsqª? ¥Q^j·^j¬\¬
O - F! #" %$&' () A F* ' ¬°í
mqY}^eg^fÐi}^Q£=·l¸$^fhw£¥£:mgY}^f] *,IH+
H-*,*$G?DOD )$ H*,$ H o()-, H* $ &-"$(&¬
XZY}^¢¯nb°p±²Êeg^P ¤¶Qhwmg ¥ujCO´jµ 8ö² uj] P9sq^Q£¥ ¤^PenuOÓ° kC¯¬:° ma }^¶\}^PemqY}^# ¥mg^fs¦ÃhO^^mp¸$^Q^f
mqY}^nhj}}£¥ ¥fhmg ¥ujTeguw¦mp¸Zhwsq^hw\ ¢mqY}^yQujsq^euj¦mp¸$hjsg^Â+u.v:·egolepmq^Q] e^fQ §¶Z¦©i}\mg ¥uj\e'Ȩ·lQhj£¤£¥^f ¯nrtÀtÁ
Âè¯rt\£¤ ¡Qhwmg ¥ujEÀtÁn^Pilmq ¤ªO^PȬt° m ¥e }^Q} ¡¨mq^f ¤ Z»©¼t¬K\¬
. /
1* #10%23547658
XZY\^Ui}\ }^Qsq£¤o? ¥}ÓmgY\^Qujsqo®uw¦ZmgY}^Eego'Y}sguO}ujiehw}}squOhO'Y 8Jyhw£jµ=9Z ¥e#mgYhm¹uj¦ l ¥eqsq^mq^U^fªj^Qm¹egolepË
mq^Q]e¢hw\ ÅhjilmguO]hwmqhEmqY}^QuOsgoO¬øXZ ¥]¢^ ¥e¹£¥ujj ¡Qhj£,n¹ §m ¡eY\hj\ l£¥^f ÆhOQuOsq } ¤}Emquø\hjsmq ¥hj£)uOsq l^fs#hw
eg ¥]#i}£¤mqhj}^Q ¤mpoøuj¦$^fªj^Qm'eQ¬ni}s'hmq ¤uO\euj¦$^Qk?^Pilmq ¤uOÅhwsq^ª ¥^Q¸$^f 4hOeujepmqsqhj ¤mqeamquC^ªj^Qsq ¤¶\^f 4hm
mqY}^® ¤]}£¥^Q]^Qm'hmg ¥ujF£¤^fªj^f£è¬ X o\ ¥fhw£a^k}hw]}£¥^feuw¦¹ego?\'Y}squj}uOi\e£¡hw}Oi\hwO^feR8\ \ }_B9hjsg^ n xyz:a
9
~}|~\¿ 8\ ^. 9=·:<;(z
9
|~8J²$br?\_:9·)º»©¼(½¾*¿ 8^`<Ok w?9 8<5^`<<8\_B9 ¬XZY}^foø]hw ¥}£¥oB l 3>^fs¦©squj]
^Phj'YuwmqY}^Qs ¤mqY}^Q ¥s)\sguOjs'hw]] ¤}empo?£¤^O¬XZY\^¶\s'epm)uO}^nhO lujlm'ethw ¥]^fsqhwmg ¥ªj^nempo?£¤^n¸Y}^Qsq^fhOemgY}^
mp¸$uuwmqY}^Qs'eKhwsq^$ \hmqhwË@u¸ ujsq ¥^Qmg^P Â=:<;*z
9
|~# ¡e¦©i}\mg ¥uj\hj£\hw Uº:»©¼*½¾(¿a ¥eKsq^Q£¡hmq ¤uO\hw£È¨¬5Ju¸$^QªO^QsP·
mqY}^Qsq^nYhj ^Q^fvpuj ¥m$^6>uOsm'eKmgu¹}squª ¡ l^nh¹uO]¢]uO¦©ujsq]hm ²?> 8\ ^.køb<C9·?¸Y} ¡'YUhw£¥£¤u¸etmgY}^
¥mg^fsguO^fsqhj} ¤£¥ ¤mpouw¦*mqu?uj£¡eQ¬
@
ùßÃãíþ¥ßÃãpÜ=Ú$æwãpßÃÛÉÞfé áqçèçèßÃÛÉâ«åPçèã(á'æPæ«ýÉÛÉãpÜ}çèÞæwިߩç=Ü )
ÚPãä ßèãá'é«ÛÉäPüá(Ü=á'ÿæ«ýÉÛÉä«üÄæwÞ¨ßÃçBaQá<ABCD-EDGFIHæá'ß=á'ÿãíçèãpß\ÛÉäPé«ÛÉìáqç=ãpÜ
Ý(ÚPãpçèÚ«ãpßÄç=Ú«ã)á'ü¨ãKÞ'þ}çèÚ«ãKßèãá'éÿãpÜèÜá'ü¨ãÛÉÜÄìpÞ¨ä«Ü=ÛÉÜÃç=ãpäç(Ý*ÛçèÚyçèÚ«ãKßÃãJQå«ÛÉßÃãpéßèãíþ¤ßèãpÜ=ÚaæjãpßÃÛÉÞféaáqçèçèßÃÛÉâ«åPçèã Þ'þlçèÚ«ãtæwÞ¨ßÃç
)
K
ùUä«ãíÝUÛÉä«Üèç=á'ä«ìpã(Þ'þOáÿãpÜ=Ü=á'ü¨ãÿáê)ìá'ßèß©êZåPä«ÛLJfåPãýê é«ÛMjãpßèãpäçéáqç=á
)
ïfÞaQÛç\Ü=Ú«Þ¨å«ýÉé$ä«Þ'ç:âwã*á'ýÉýÉÞgÝãpé)ç=ÞtÞgúãpß©Ý*ßèÛçèã
æ«ßèãíúfÛÉÞ¨å«Ü*Þ¨ä«ãpÜé«å«ßÃÛÉä«ü$çèÚ«ãKçèß=á'ä«ÜÃþ¥ãpß
)
N îänþ¡á'ìíçBawá'äá'äá'ýÉÞ¨ü'êyìá'äaâwãKÿá'é«ãâwãíçÝãpãpäù ÄîOæ«á'ßÃçèÛç=ÛÉÞ¨äPÜá'ä«éP(îRQøæ«ßÃÞfìpãpÜ=ÜèãpÜÞ¨äyçèÚ«ãtÞ¨ä«ãKÚá'äPéawá'ä«é
ù ÄîOæ«ßÃÞQìãpÜèÜ=ãpÜá'ä«éP*îRQøç=á'Ü=àQÜ(Þ¨änç=ÚPãKÞ'ç=Ú«ãpß(Úá'ä«é
)
Application_1 Application_n
Specific Functions System
Hardware
Application ...
Software
APEX Interface
Core Software
OS
4( ¥ji\sg^%n F= GQOXC=,@4MA:E= <GHCFGQODCF= EP&@= Y[P>IVQ=P:MNC A:@=UM@PKY ^
1 9: D%J H DK)6bH%9E K)9DFEG2>Q?SLTVU<W'X
XZY\^Uº»©¼(½¾*¿£¡hw}Oi\hwO^&8^`<8k j?9 8<5^`<<8\_B9KY\hw l£¤^Peai}?uOi}\ øeg^Qsq ¥^feyuw¦)mpo?^f øª«hj£¤i\^fe"!$#&%'(%*),+*·
}^Q}ujmg^f Rhje.-³ ¥ mqY}^B£¡hw\ji\hjj^j· ¥]}£¥ ¥Q §mq£¤o ¥\ l^kl^P ?o l ¥eqsq^mq^Ómg ¥]^³Âè l^Q\uwmg^P ?o0/ ¤RmgY}^
eg^Q]hjOmq ¥\uwmqhwmg ¥ujÈ&n#mqY}^QoÅhjsg^Tfhw£¥£¤^P H ¬C¯$m¢hEO ¤ªO^QÅ ¥\epm'hwmf·KhÓeg ¤O\hw£ ]h«oø^U}sq^feg^Qmf·
mqY}^QE ¤mY}uj£¡ }eh¢ªhw£¥i}^ 7luOshw\eg^Qmf·?mqY}^QE ¤m ¥e l^f}uwmq^f ?omgY\^e^fQ ¥hj£:ego?]#uj£21 ¤mgY\^e^f]hjmg ¡
\uwmqhwmg ¥ujĬ XZY}^Qsq^ ¥enh\hwsgmg ¡i}£¡hwsZmpo?^uw¦teg ¤O\hw£¡eQhj£¤£¥^f 43 ) :¬t¯ eg ¤O\hw£uj¦mqY} ¡eZmpo?^ ¡ehj£¤¸Zh«ole
*-% ¸Y}^QC ¤my ¡e\sg^Pe^fOm¢Â©uwmqY}^Qsq¸ ¡e^O·\ ¤my ¡e51ȬXZY}^¹eg^mauw¦K ¤epm'hwmqen¸Y}^Qsq^#hTeg ¤O\hw£2- ¡ey}sg^Pe^fm
¡eaQhw£¥£¥^f E ¤mqe &# ¬a°my ¡ey}uwmq^f ChOe6,-Å©¸Y} ¡'YC ¡enuj¦Kmpo^D43*) lÈ$ ¥CmqY}^#£¡hw\ji\hjj^j¬!vl ¤O\hw£¡emqY\hm
Yh«ªj^heqhw]^#£¥ulyhjsg^eqhw ¡ mgu^ - ( ¬¯ º»©¼(½¾*¿\sguOjs'hw]E·}hw£¡euTfhw£¥£¤^P
- ·\ ¡enh
egolepmq^Q] uj¦^PÐi\hmq ¤uO\e$uªj^Qseg ¤O\hw£¡ef¬
g c Ò Ò ] Ò Ã ]ti ( i Ò87+º»©¼*½Ä¾*¿"sg^f£¤ ¥^feuj h Yhw\ ?¦©i\£uw¦#}sq ¥]¢ ¤mg ¥ªj^4uO\emgsqi\¨m'e¸Y\ ¥'Y hwsq^
Quj]¹} ¤\^f i\e ¥}huO]¢uOeg ¤mg ¥ujuj^Qs'hmguOsf¬XZY}^Pe^hjsg^ n
9;:
] j#^× ] 7=< (> @?- 2BA4A- )BC·¸Y\^Qsq^ED %GF
H
1JIK#ML %GF
H
1JIONPNQN@IR#TS %UF
H
1¹·Khw WV8/-n
D %
HYX
!$#2L %[Z NQNQNZ #TS % '¨¬
9 w Ò è Ô&7\< ]>^-`_ 2 ) ^< a·l¸Y}^Qsq^5#
%bF
H
1JIcD
%F
H 1 Z
Vd/fe=g%n@D
% H #
%*hi,Z Dkj
H
Dlg\¬
9 ` Õ l
i
Ò ]
f Ø ×?Ö
] Õ P sr $^
]ti
7m< ]>^- *)^n·Z¸Y}^fsg^UDk%
H
#T%¢ §¦po[%
H
/(qr8s·Z^Q£¡e^
Dk%
H
1¹¬
9 w Ò Ò ^]
^èQ^Ã Ò i ^
]ti
7ft (>^-Yu wv&xy<:·l¸Y}^Qsq^z{%
H
#&% ¤¦|#&% F
H
1¹·l^f£¥eg^z}%
H
Dw%q¬
9;~
^ÃØt^
]ti
7'k- l^Q}ujmg^Pe$mgY\hwmmgY}^eg ¤O\hw£d-T ¡e£¥ulQhw£:mqu¢mgY}^}squl^Pege':¬
9 Ô ]
dc* × ] × rl Ò t × sr × #^Ã#^× ]
uj¦ 'hj\ \·^Q\Qu? }^f T?o ?' C?¬°mZQujsqsg^QË
euj }eZmgu¢mqY}^i}} ¥ujEuw¦eolemg^f]eZuj¦^PÐi\hmq ¤uO\e$sg^f}sg^Pe^fmg^f ?o 'Uhj\ }¬
~ Ò ] #^× ] 7ÊXZY}^hjuªO^Qujsq^TuO\epmqsgi¨mqe#hwsq^uw¦ei 2Q ¤^fm#^kl}sq^feqe ¥ªj^u¸$^QsmquC l^Qsq ¤ªO^TuwmqY}^Qs
Quj\emgsqi\mqe ¦©ujsnQuj]¢¦©ujsgmhw\ Eemgsqi\¨mqi}sg ¥}¬®^Qhj]^fOmq ¤uOUmqY}^¦©uj£¥£¥u¸ ¤}uO}^fe#n
9 Z Õ l
i
Ò ]
Ø ×?Ö
] Õ P sr $^
]Oi
7 < (> *)^n·¸Y}^fsg^\Dk%
H
/(qr8sZ ¤¦do[%
H
/(qrds·^Q£¡e^\Dk%
H
1¹¬
9 Ô ]
dc* × ]
^ Ò 75- 2y6k> 6k>^- )·}¸Y}^Qsq^ #2L
%JF
H
1JI NQNQN I #TS
%5F
H
1© =¬^j¬#ML
Z
NQNPN
Z
#&SÅhwsq^
eo?\'Y\sguO}uji\e'Ȩ¬
9
Ò ×
d^ ^
]Oi n¸ ^}ujmg^amp¸ ui\eg^¦©i\£Äuj^Qs'hmqujs'eQ·
< ]>y- 0lx x=n ) ^< a·} l^¶}^f Ehje#n
? < ]>y-mu wv&x ?<T_32 ") ^< aTC < 6k> 6-mu wv&x ?B*)^nBCC
Â<U ¡e^fÐi\hj£:mgu -¸Y}^QG-T ¡e}sq^feg^Qmf¬ unmgY}^fsg¸ ¡e^O·l¸Y}^Q n ¥e v· <Umqhyj^fe$mqY}^£¡hmg^Pepm
ªhj£¤i}^¹Qhwsqsq ¤^P ?o -:¬uy}^#QhjÓ}uwmq ¥Q^mgYhmnmqY}^¹Q£¤ulyuw¦<E l^Q^Q\ \eujEmqY}^#uO}^fenuw¦@-
hj\ En}È
< ]>^3^- ") ^< a\·
Jn^Qsq^Uhw£¡eguU<4hj£¤¸Zh«oleQhjsgsq ¤^PemgY\^U£¡hmg^Pepm¹ª«hj£¤i\^Tuw¦-:¬CXZY}^]hj ¤Æ } >:^Qsq^Q\Q^¦©squj]1mgY}^
hjuªO^uj^Qs'hmqujs ¡enmgY\hwmnmgY\^¢Q£¤ulyuw¦<E ¥enmgY\^¹uO}^# l^Q¶\}^f ø?omqY}^¹Qujmg^Qk?my ¥C¸Y} ¡'Y
¤m ¡eZi\e^P ¬
¯n}uwmqY}^Qs ¥]uOsm'hwm'Y\hws'hjmg^Qsq ¡epmq ¥nuw¦mgY}^¢º»©¼(½¾*¿¢£¡hw}Oi\hwO^n ¡eZmgY\^auOeqeg ¤} ¥£¥ §mpoTuj¦( ¥]uOsmq ¤}
^Qk?mg^Qsq\hj£(uOlvp^fmqe¢Â©^j¬\¬#²?>> ¦©i}¨mg ¥ujeqȬXZYieQ·}i}mymqujj^QmgY}^fsf·hj£¤£(mgY}^Pe^¹¦©^fhwmgi}sq^fen¦Ãh«ªjuOsn]ul lilË
£¡hwsq ¤mpoøhw\ ®sq^Qi\eqhw\ ¤£¥ §mpoO¬¯ Quj]}£¥^mg^hw\ 4 l^Qmqhw ¥£¥^f 4 l^feqsq ¥lmg ¥uj4uw¦hw£¥£º»©¼(½¾*¿E¦©^fhmqi}sq^fe¸ ¥£¤£ ^
¦©uOi}\ ¥!8\ ^A^O=9¬K°ímgY}^}^Qk?mne^P¨mg ¥ujeQ·?mqY}^i\eg^auj¦(mqY}^hwuªj^auj^Qs'hmqujs'e) ¡e ¥£¤£¥i\emgs'hmq^f ¬
¯nuOilmnmqY}^ªj^fsg ¤¶fhmg ¥ujEuj¦$º:»©¼*½¾(¿}squjjs'hw]ef·l¸ ^¹QhwÓ l ¡emg ¥}ji} ¡egYEmp¸ u y? ¥\ }euj¦K}sguO^fsmq ¤^Pen
"=H-H* \sguO^fsmq ¤^Pe©^j¬\¬h\sguOjs'hw] ^klY} ¥} ¤mqe\uCujmqsqhO l ¥mg ¥ujB^Qmp¸ ^f^QÅ£¥uly?euj¦ ¥?ªjuj£¥ªj^P
eg ¥j\hj£¥eÈ)ujTmgY}^auj}^yY\hw ·lhw\ HMD $]H }squj^Qsgmg ¥^fea©^j¬\¬sq^fhO'Y\hw} ¥£¥ §mpoO·j£¥ ¤ªO^Q}^Pege'ÈKuOmgY}^auwmqY}^Qs
Yhw\ ¬XZY}^º:»©¼*½¾(¿uO]¢\ ¤£¥^QsK ¤mqeg^Q£¤¦Ähj } lsq^feqeg^feuj\£¤o#mgY}^¶sqemtuj}^O¬54\ujs)hO ¤ªO^Qº»©¼(½¾*¿}squjOsqhj]E·
¤m 'Y}^PylemgY}^yuje ¡epmq^Q\Qo#uj¦:Quj\emgs'hw ¥mqeK^mp¸$^Q^fQ£¤ulyleKuj¦eg ¥j\hj£¥ef·jhw epm'hmg ¡Qhj£¤£¥o#\sguªO^fe}squjlË
^fsmq ¤^PeÂÃ^j¬\¬®mgY\^eguwËíQhj£¤£¥^f # (% }squj^Qsgmpo4ji\hjsqhjmg^Q^f ¤\C l^mq^Qsq]¢ ¥} ¡e]TȬƯ]hvpuOs#\hjsm
uj¦mgY\^EQuj]} ¥£¤^fs#m'hjeyÅ ¥e¢sq^¦©^fsgsq^f 4mqu®hOe¹mgY}^ #s]H&) ÂÃeg^Q^ 8<5^`<<O}_B9¦©uOs¹]ujsq^E l^m'hw ¥£¥e'Ȩ¬
yo?\hw] ¡Qhj£t}squj^Qsgmg ¥^fehjsg^ThO } lsq^feqe^P Bie ¥}CujmgY}^fs#uO}}^fmg^P ®mgu?uj£¡e£¥ yO^Óº»©¼*¾*¿O» 8k\ <<(j=9·h
]ul l^f£Ä'Y}^fyO^QsP¬
1 2 4M!7tH9LKU : 9V2H)Kl : K >6tK)M!HN6 2> KNJ<6 Q?SLTVU<W'XHN2;HT 9:!;
kCu? }i}£¥hjsg ¤mpo® ¥e¹uj}^U]hwvpujs#¦©^fhmqi}sq^Uuw¦º:»©¼*½¾(¿Ë \hjeg^f 4eg^P ¤¶Qhwmg ¥uj\ef¬B¯n?o®\sgul^Pege¹QhjÅ^EhwlË
emgs'hjmg^P ?ohwE ¤mq^Qsg¦Ãhj^¸Y\ ¥'YÓeg^P ¤¶\^fe\sguO^fsmq ¤^PeujE ¤mqe ¥}}ilmgË=uOilmg\ilmaeg ¤O\hw£¡ef¬)XZY}^feg^}squjlË
^fsmq ¤^Pe^feqeg^Qmg ¡hw£¥£¤o4uO\^fsgÅQ£¤ulyøsq^Q£¡hmq ¤uO\ehj\ Å l^Q^Q l^Q\Q ¤^Pe#^mp¸$^Q^fÆe ¥jhw£¡eQ¬EX*¸$u y? ¥\ }euj¦
hj\emgs'hj¨mq ¤uOUhwsq^y } ¥emg ¥}ji\ ¥egY}^f T¦©ujshUº»©¼*½Ä¾*¿¹}sgulQ^feqen?
H
hj\
hw\emgs'hjmg ¥uj\ef¬°í
mqY}^$¦©ujsq]^QsP·uj}£¥o}squj^Qsgmg ¥^fe(uj¢ ¤\}ilmË uji}mg}ilm)eg ¥j\hj£¥ehwsq^$eg^f ¤¶\^P Fn* ¤mt ¥eKegY}u¸¹ujmqY}^Z£¤^Q¦mtY\hw
u«kUuj¦ Z»©¼t¬)´l·lmqY}^uj}£¥oTª? ¡e ¥}£¥^a ¥l¦©uOsg]hmq ¤uO ¡eY}u¸RmgY}^uOilmg\ilmqeuj¦h}squl^Pege$r hwsq^sg^f£¥hwmg^f Umgu
mqY}^ ¥}}ilm'eQ¬
4( ¥ji\sg^´)n8VSA&E P EVQ=,MNC A:O>.:@=,\ P .U@G&KFXC A R]C4@BA&E,CGQP&OR(P&M AZ@PXE=R4R^
XZY\^a£¡hmgmg^fsf·lsq^Q}sq^feg^Qmq^f T?omqY}^sq ¤OYOmZY\hj\ u«k·l ¡eh¹sq^¶}^Q]^Qmuw¦(mgY}^¦©uOsg]^fsf¬°íÓhj } l ¤mg ¥ujmgu
mqY}^ ¥l¦©ujsq]hmg ¥ujeuj¢mgY}^ ¥}}i}mËujilmq}ilm eg ¤O\hw£¡euw¦mgY}^n}sgulQ^feqeQ· ¤m l^PegQsg ¥^PemgY}^uOeqeg ¤}£¥^ ¥Omq^Qsq\hw£
¥mg^fsqhO¨mg ¥ujet^mp¸$^Q^Qei}}Ë Quj]uO}^Qm'e)¸Y} ¡'YUhjsg^\£¥hOy¢u«kThw\emgs'hjmg ¥uj\e) ¤U¸Y} ¥'Y ¤\}ilmqe$}sq^Ë
Q^f l^#ujilmq}ilmqe¹ÂÃegi\'YEmgYhmmqY}^#uOilmg}i}mqenfhwÓ^#uO]}ilmg^P Chjeneu?ujÓhOemgY\^ ¤\}ilmqeahwsq^h«ªhw ¥£¥hj}£¥^PȨ¬
XZY\^nº»©¼(½¾*¿y£¡hw}Oi\hwO^)}squª? ¥ }^fehy\sgul^Pege*¦©s'hw]^ ¸Y\ ¥'Y¢^Q\hj}£¥^fe*mgY}^ l^Q¶\} ¤mg ¥uj¢uw¦egi}lË }squl^feqeg^fef¬
vli}lË }sgulQ^feqe^Pey¸Y\ ¥'YÅhwsq^uj\£¤oøeg^f ¤¶\^P 4o®hw® ¤mq^Qsg¦Ãhj^¸ ¤mgY\ujilm ¥mg^Qsq\hj£t^fY\h«ª? ¤uOsT©£¥ yO^mgY}^
egi}lËíuO]uO}^Qmqe( ¥#mqY}^Zjsq^Qou«k#hj\emgs'hj¨mq ¤uOÈÄhjsg^$uO\e ¡ l^fsg^P #hje(^k?mq^Qsq\hw£ÂÃeg^Qhws'hmg^f£¤oQuj]} ¥£¤^P
\sgul^Pegeg^fe$uOs$\Yoleg ¥fhw£ÄQuj]uO}^Qm'eqȬtXZY} ¥eZ ¡ehj^Pegeg^Qmg ¡hw£¦©^Phmgi\sg^ ¥Euji}shw\}sguhj'YĬ
°ímgY}^eg^fÐi}^f£è·?¸$^}sg^Pe^fm$Y}u¸F\hwsgmg ¤mg ¥uje$hjsg^a]ul l^Q£¥^f ¤ÓÌy(¿'ÍÎÏÄ|:(½:Ít·?hw\ ¸ ^hw£¡egu¹O ¤ªO^
hj^Qk}hw]}£¥^y¦©uOs ¤£¥£¥i\epmqsqhwmg ¥ujĬ
/ B#¹& Q
X(u]u? }^Q£*h¢\hjsmq §mq ¤uOÄ·l¸ ^Quj\eg ¥ }^QsZmgY\sg^f^ahjeg ¥a^Q£¥^Q]^fOm'en
_j¬$mgY}^^Qkl^fi}mg ¥ªj^i}} ¤mqe¸Y\ ¥'YÓhwsq^¯nb°p±² }squl^Pegeg^feC7
l¬$mgY}^a ¥Omq^Qs'hjmg ¥uj\eyÂÃuO]]#i}} ¡Qhwmg ¥ujThj\ Tego'Y}sguO} ¥Çfhmq ¤uOÈ^mp¸$^Q^fmgY}^Pe^y}squ?Q^feqe^PeQ·O¸Y} ¡'Y
hwsq^hj'Y} ¥^QªO^f Tª? ¡h¹mgY}^eguwËíQhj£¤£¥^f ¯rtÀtÁ e^fsgª? ¡^feC7
µ}¬$mgY}^¢\hjsmq §mq ¤uOC£¤^fªj^f£ u.v:·¸Y} ¡'Yø ¡en ¥B'Yhwsqj^uw¦)mgY}^uOsgsq^fmyuO\i}sqsq^Qmn^kl^Pilmq ¤uOCuw¦t}squwË
^Pegeg^feZ¸ ¤mgY} ¥mgY}^hwsgmg ¤mg ¥ujĬ
XZY\^#^kl^Pilmq ¤ªO^¹]ul l^Q£uw¦$hT\hjsmq §mq ¤uOC ¥ea]hw ¥}£¥oEujlm'hw ¥}^f øoÓhuj]¹} ¥\hmq ¤uOCuw¦KmqY}^feg^¹^f£¤^f]^Qmqe
hOe l^Q} ¡¨mq^f B ¤ Z»©¼K¬l¬#°íBmgY\ ¥eeg^f¨mq ¤uOÄ·¸$^¹¦©ulQi\eaujCmqY}^]u? }^Q£¥ ¤}Euj¦)^fhO'Yøuw¦)mgY}^f] na ¥®egi}lË
eg^fmg ¥uj\¬¥_j·l¸$^eY}u¸FY}u¸F¯nrtÀtÁ eg^Qsqª? ¥Q^fehjsg^ l^PegQsg ¥^P U ¥®º»©¼(½¾*¿[7?mgY}^fCh¹]ul l^f£Äuw¦¯nb°p±²
\sgul^Pegeg^feZ ¡e\sguOue^P U ¥Cei\lËeg^fmg ¥ujE\¬É 7hw\ ¶\hw£¥£¤oO·egi}lËíe^P¨mg ¥ujE¬µ l ¡eqi\eqe^PeZmgY\^]u? }^Q£¥ ¤}
uj¦*mqY}^\hwsgmg ¤mg ¥uj£¥^Qªj^f£Ou.v:¬
l«^©#^ × ]
C
!"$#%
4 ¥ji}sq^Nn'&(*)%+,.-==E,ICG&= Y[P>=V P:M AZA:@4CGHCGQPKO ^
| @0/2143lE6bH)B<9Do68E
Jn^Qsq^j·l¸$^uje ¡ l^QsZmqY}^¦©uj£¥£¥u¸ ¤}¯r)ÀtÁ eg^Qsqª ¡^Pen
9 q ×
]
^èjl^ × ] ] Ø Ô ]
dc( × ] ^Ol#^× ] Ò dab^Ã Ò ¸Y} ¥'YÓ l^PegQsg ¥^Y}u¸ ¯yb°p±a²R}squwË
^Pegeg^feKhOQ^Pege]^P'Y\hw} ¡eg]e£¥ yj^Z}i >:^Qs'eQ·O^QªO^Qmqef·w}£¡hjy?uOhws' }ef·«uOsm'ethw\ ¢eg^Q]hw}Y\ujsq^fef¬*À¬\¬
· ) # ¬
9 × Ò P Æ ] i Ò Ò ] # Ò dab^Ã Ò ¬À¬¬ · 8 · <' FZ¬
9 g ^ Ò ] i Ò Ò ] ¹ Ò dab^Ã Ò ¬À¬¬
)
·F
'! $5) ¬
XZY\^n l^feg ¥jhw}\sguhj'Y¢¸ ¤£¥£\^n ¥£¤£¥i\emgs'hmq^f ¢?o¢Quj\eg ¥ }^Qsq ¤}uO}^n¯r)ÀtÁFeg^Qsqª? ¥Q^j¬B^negY}u¸³Y}u¸³mgY}^
Qujsqsg^Peuj l ¤\¹º:»©¼*½¾(¿]u? }^Q£\ ¡etuOlmqhj ¤\^f ¢¦©squj] ¥l¦©uOsg]hw£e^fQ §¶Qhmq ¤uO\eK£¥ yO^ZmgY}ue^n^Q\Quji}mg^fsg^P
¥ 8ɲ uO] « 9 ¬
× Ø Ò ,^
]ti
× ] 5 Ò dab^è Ò87 <*^mi\eQuj\eg ¡ l^Qs$mgY\^#eujË fhw£¥£¤^P ? ( %$& '
eg^Qsqª? ¥Q^j·w l^Q¶\}^P ¹ ¥#8ɲ uO] « 9¬KXZY} ¥eKeg^Qsqª? ¥Q^ ¡eKi\eg^f #mgusq^fhO ¹ha]^feqeghjj^$ ¤ha}£¡hjy?uhws' ¬(XZY\^$ ¥lË
\ilm$hws'hw]^mq^Qs'e)hwsq^mqY}^a}£¥hOy?uhws' $ &*,6& ·}hj\ Uh *,ED )* li\sqhwmg ¥uj¦©uOs ¸Zhw ¤mg ¥}#¸Y\^Q}^fªj^Qs
mqY}^a}£¥hOy?uhws' ¥e$^Q]lmpoO¬KXZY}^yuOilmg\ilmqeZhwsq^yh
D &6H
Âà l^Q¶\}^P T?o §m'eZhj } lsq^feqe7hw\ e ¥ÇQ^«È¨·lhw
h &* )- ( ¦©uOsÄmgY\^) l ¡hwj\uOemg ¡Qeuj¦lmgY}^)eg^Qsqª? ¥Q^Ksg^PÐi}^femf¬¯ ¥l¦©ujsq]hw£jeg^f ¤¶fhmg ¥uj ¡e*hOe¦©uO£¤£¥u¸en
8:9;=<>? @BA'CEDGF';=<$HECI;KJMLK@*N$C@POQFRC<$A@*NFTSUIVCXWYSGZCD[J\;KJ]F<$@B;^_FD`;=A_?<YE<aZbc<dZD`@*NF'@B;=OMFefZ?@gHECI?F`;=AihjZE? @
Z[kDRCE<l]FmnMo[p.qr
s
qout
s
rwvRxzyE{'|}vR~i{''{'
qX *qM8:9AZOMFOQFAGACl]F;*AW?DDRF<@KIJ;=AK>aIVCXFRJZE<@*N$FAK>$FRW;^_FRJdSUIVCWYSZCEDRJdo[p.qr
AF<aJM@*N;=ATOQFAGACl]F\C<J
s
qout
s
rwxc`T
qX *qM8:9@*NF@B;=OQFeuZ?@HECI?F;=A'FDRZQo[p.qr
s
qout
s
rwx.{y{'v[|g{'|g
qX *qM8:9>DRFGFOT>@B;KZE<;=AJ;=ACXSUIFRJZED@*NFW?DDGF<@P>DRZWFAGA;=AFDDRZDN$C<J$IFDo[p.qr
ù(ýÉÜ=Þ$ßÃãíþ¥ãpßÃßèãpéçèÞá'Ü<BjB )
s qout
s
rwvRxzyE{'|}vR~i ~T
qX *q
AF@@*N$F`>D[ZWFAGAAG@jC@uF@jZMbC;=@B;=<]l
8:9@*NF@B;=OQFeuZ?@_HECI?F;=AT<Z@;=<U^<$;=@uFo[p.qr
;=<;=@B;BC@uFCM@B;=OMFWGZ?<@uFDbc;=@*NzJ?DRC@B;BZ<@B;*OQFeuZ?@B
qr
8V9
CA[YkUZD>DRZWFAGAAWNFRJ? I;=<lzLK@*NF`>DRZWFAGA;=ATSUIVZWYXFGJC<JMbc;BI*IDGF@B?D<@jZQChBDRFRCXJ mA@jCE@uFSQCQJ;=AK>aIVCE
AFDH;KWFDGF?FAG@'Z<@*N$C@`SUIVCWYSZCEDRJTkDRZO C<Z@*NFD'>DRZWFAGAZD@B;=OMFefZE? @`F>;=DRCE@B;KZ<Xn
8:9zF>;*DRC@B;KZE< Zfk@B;=OMFefZE? @o[p.qr
s
q]out
s r %vRz~iQg
qX *q
@*NFZ?@:>?@OMFAACl]FT;=A`@*NFIVCAG@CHEC;=IVCXSUIFiOQFAGACl]FZ[k'@*NFSUIVCXWYSGZCD[JQC<aJ
s
qout
s r x\`i
qr
8V9
qr 8:9
®^nY\h«ªO^mgu¹ l^Qsq ¤ªO^nhego?\'Y}squj}uOi\e]u? }^Q£¸Y} ¥'YTQujsqsg^Peuj }emgumgY}^ahwuªj^ ¥l¦©ujsq]hw£eg^f ¤¶}Ë
fhmq ¤uOĬX(u¹eg^Q^yY}u¸³mgY} ¡e$QhwU^ luj\^j·£¤^Qm i\e$uO\e ¡ l^fs h#Quj\Qi}sqsg^fOm ^kl^fQilmg ¥ujuj¦mp¸ u¹}sgulQ^feqe^Pe
rn_hj\ Tr$#¸ ¤mgY\ ¤Óh¹\hwsgmg ¤mg ¥ujĬKrn_a ¡eZhjeqei\]¢^P Tmqu¹Yh«ªj^h¹Y\ ¤OY}^QsZ}sq ¤uOsg ¤mpo¢mgY\hjr$l¬tXZY}^foUuO]¹Ë
]¹i}} ¡Qhwmg^ª? ¥hh\£¥hOyuOhjsq U¸Y} ¡'Y ¡enQi}sqsg^fOmq£¤oU^Q]lmpoj¬$X*¸$uuOeqe ¥}£¥^egQ^Q\hjsg ¥uOeZhwsq^ ¤£¥£¥i\epmqsqhwmg^P
¥ Z»©¼K¬ ¬
°íøujmgYBeq^f\hwsq ¥uOef·r_#mgsq ¤^Pemqusq^fhO mgY}^¢}£¡hjy?uOhws' E^¦©ujsq^#r$l·hw\ Cj^m'eyegi\eg^f\ l^P øeg ¤\Q^#}u
]^PegeqhwO^ ¥ea l ¡e}£¡h«oj^P Eoj^Qmf¬y¯yeyhTsg^Pei}£¤mf·:hTsq^Ëíeq'Y}^f li\£¤ ¥} ¡en^Qsg¦©ujsq]^f mgue¸ ¤mq'YBhw\ Ó]hyj^r
hO¨mq ¤ªO^j¬ÓXZY}^T}squl^Pegern_T]#i\em#¸Zhw ¤m¦©ujs¹^Q ¤mgY}^fs¹hÓ\uwmg ¤¶fhmg ¥uj®mqY\hmhwÅ ¥} §mq ¥hwmg^P ®mg ¥]¢^uOi}mg^Qs
^fQuj]^fe$Çf^Qsqu#ÂÃsg^Q¦©^Qsqsg^P mguhje -*,[H*,$ ujTmqY}^y¶\ji}sq^PÈ·?ujs mgY}^h«ªhw ¥£¥hj} ¥£¤ ¤mpouw¦(eguj]^n]^PegeqhwO^
Âè l ¡e}£¡h«oj^P ø?oBr jÈa ¥4mgY}^\£¥hOyuOhjsq ³Â -*[H*$ Ȩ¬(±u¸·* ¤¦¸ ^T'Y\^fyÓmqY}^mg ¥]^Q£¥ ¤}^U ¤ÅuwmqY
eg ¤mgi\hwmg ¥uj\ef·¸ ^eg^Q^¹mgY\hwmmgY}^mq ¤]^Ë£¡hwEujsqsq^feguO\ l ¥}mgumqY}^bÀ)¯n \ <*¯n²A\<un¯nb eg^Qsqª? ¥Q^
¡e -@A /=¬°m\hjsmq ¥hj£¤£¥oE ¤£¥i\ l^feauwmqYB^Qk?^Pilmq ¤uO\eauw¦)rn_¢hj\ Cr }¬®^¢sq^Q] ¥\ ÓmqY\hm¸ ¤mgY} ¥®h
hwsgmg ¤mg ¥ujÄ·uO}£¤oÓuO}^¢}sgulQ^feqey^Qkl^fi}mg^fehwmhjoÓ ¥\emqhjOmP¬#°í®hego?\'Y}squj}uOi\eª? ¥^Q¸·Ä ¤m]^fhwenmqY\hm
uO}£¥oTepm'hmg^f]^QmqehOegegul ¡hmg^P T¸ ¤mgYuj}^}squl^PegeZhm]uOemhwsq^y^Qkl^fi}mg^f ¸ ¤mgY} ¥Óhw?oTepmq^QĬ ² £¥^fhjsg£¥oj·
¸$^ZY\h«ªj^$mque}£¥ ¤mKmgY}^neg^f ¤¶fhmg ¥uj¢uw¦mgY\^ne^fsgª? ¡^Z ¥Omquei}e^QmqeKuj¦:hO¨mg ¥ujeKe ¥\^ZmqY}^¸Y}uO£¤^eg^Qsqª? ¥Q^
fhw}\uwm)^n^fOmq ¤sq^Q£¥o^kl^fQilmg^P ¸ §mqY} ¥heg ¤\j£¥^yego'Y}sguO}ujieKepmq^QĬKXZY}^fsg^Q¦©ujsq^j·j¸$^y } ¥emg ¥}ji\ ¥egYmp¸$u
egi}\eg^m'enuj¢mqY}^nuO}^Y\hw ·hO¨mq ¤uO\eK^kl^Pilmq^f ¸Y}^fr_ ¡etsqi}}} ¥}UÂÃ^j¬\¬'Y}^fy? ¥}mgY}^nª«hj£¤ ¡ l ¤mpo¹uj¦
¥}}i}m\hws'hw]^mq^Qs'eQ· ¥} §mq ¥hwmg ¥}Th¹mg ¥]^uji\Omq^QsP¬¤¬¥¬ÉȨ·l¸$^afhw£¥£:mgY}^f]
]H5H &* $%
7\hj\ UuOUmqY}^uwmqY}^Qs
Yhw\ ·hjmg ¥uj\e^Qsg¦©ujsq]^f Ó li\sg ¥} ¤mqeaei\eg^Q\eg ¤uOÅ©^j¬\¬Z ¥
-*,[H*,$
·}mgY\^feg^#hjmg ¥uj\eyuje ¡epmuj¦
mqY}^ujmqsguO£\uw¦*mgY}^ymg ¥]^aQuji}mg^fs#nK l^Psq^fhOe^ ¤mhw\ U}uwmq §¦©o¸Y}^fU ¤m$^fQuj]^fe ÇQ^fsgu?Ȩ·sg^Q¦©^Qsqsg^P mguhje
H5H &* $%
¬
°í¦ÃhO¨mf·j£¥uj\hj£Ähjmg ¥uj\ehjsg^i} l^QsnmgY}^Qujmgsquj£Äuj¦(mqY}^#eguwËíQhj£¤£¥^f
H-*,*$P"d<' ·}¸Y} ¡'Y ¡esq^Ë
eguj\eg ¤\£¤^¦©uOsmgY}^¹]hw\hjj^Q]^fOmuj¦Khj£¤£ÄmgY}^\sgul^Pegeg^fef·\hj\ Euj]]ujÓsq^feguji\sqQ^feZhw\ E]^P'Y\hw} ¡eg]e
ÂÃ}£¡hjy?uhws' ·Äeg^Q]hw}Y\ujsq^j·:mg ¥]^TuOi}mg^Qs'ef¬¤¬¥¬È ¸ ¤mgY} ¥®mgY}^\hjsmq §mq ¤uOĬXZY\hm]^Phw\e^Phj'Yø\sgul^Pege
\£¤ulyj^P Óuj®heg^Qsqª? ¥Q^#sq^fÐi}^Pepm¸ §mqYBhUmg ¥]^Ëujilm¸ ¥£¤£sq^f^f ¤ªO^¹h ' e ¥jhw£¦©sguO]0mgY}^
îänç=Ú«ãKÛÉäfþ¥Þ¨ßÃÿá'ýÜèæjãpìpÛìáqçèÛÉÞ¨äaÛç*ìpÞ¨ßèßÃãpÜ=æwÞ¨ä«é«ÜçèÞ$çèÚ«ãtãpÿÛÉÜ=Ü=ÛÉÞ¨äÞ'þ Eá'ÜÄßÃãpçèå«ßÃäìpÞfé«ãKú'á'ýÉå«ã
)
(1) process P1 executes; (2) then gets another process P2 executes; (3) finally, waiting expires.
blocked on waiting for a message, and
Situation B:
re−executes after P2 makes the P1 re−executes after the time−out for
process P2 executes; (3) finally, P1 blocked on waiting for a message, and
message available.
(1) process P1 executes; (2) then gets Situation A:
execution order
t1 t2 t3 t4
time time counter
(1) (2) (3) (4)
t5
read_blackboard call
display_blackboard call
P1
P1
P2
P2 P2
P2 P1 P1
4 ¥ji}sq^# nf8PKOEI@4@=OXC<==E,ICGQPKO_P:MC 8P Z@PXE,=R4R4=R A:O>" P&O_PKO= Z@PXE=,R4R4P&@?^
hwsgmg ¤mg ¥ujÓ£¥^Qªj^f£ u.vÓ]¢ul l^f£è¬aXZY}^¹egi}\eg^fmg ¥ujC¬µUhj } lsq^feqeg^feZmqY}^¹]ul l^f£¤ ¥}Uuj¦KmgY}^¹\hwsgmg ¤mg ¥ujÓ£¥^QªO^Q£
u.v¬
v?u·\mqY}^#]ul l^f£¤ ¥}Uuj¦thUeg^Qsqª ¡^Quj\eg ¡epm'e ¥øh Ò sr × #r,^© × ^ÃfT\f × ^èl Ò ØF}w^× ]
^] × ( Ò f ¥egi\'Yh¹¸Zh«o¹mqY\hmuO}^afhwe^f£¤^P¨mZ¸Y} ¥'YEegi}\eg^mqe$Y\h«ªO^mqu¹^^kl^fQilmg^P T¸ ¤mgY} ¥h
O ¤ªO^Qeo?\'Y}squj\uji\eZemg^Q*¬tXZY} ¥eZ ¡eh¢\hOe ¡a}sg ¥\Q ¤}£¥^¦©ujsZmqY}^]ul l^Q£¥ ¤\¢uj¦eg^Qsqª? ¥Q^fef¬
±nu¸·O¸$^negY}u¸"Y\u¸"mqY}^n£¥ulQhj£\hjmg ¥uj\e)uw¦:mgY}^abÀ)¯y \ <*¯n²A\<un¯nbFe^fsgª? ¡^hjsg^]ul l^f£¤^P
ie ¥}º:»©¼*½¾(¿}¬54}ujs(mgYhmf·¸$^ Quj\eg ¡ l^Qs(mgY}^ -*,[H*,$% uj¦ Z»©¼K¬tZ¸Y}^fsg^ r_$sg^Pei}]^Pe(hw¦mg^Qsr nY\hje
} ¥eg}£¡h«oj^f ¹ha]¢^PegeqhwO^ uO#mqY}^}£¡hjy?uOhws' ¬5<ÄulQhj£?hO¨mq ¤uO\e©^Qk?^Pilmq^f ¢?or_«È(mqhyO^ \£¥hO^Z^k}hjmg£¥o#hm
-U©^j¬\¬'Y}^PymgY}^nª«hj£¤ ¡ l ¤mpo¹uj¦ ¥}}i}m)\hws'hw]^Qmg^Qs'ef·w ¤\ §mq ¥hwmg^nhamq ¤]^nQuji}mg^fs¦©ujst¸Zhw ¤mg ¥}¬¤¬¥¬È#hw\ _ /
ÂÃ^j¬\¬sg^Qmgsq ¤^fªj^$mgY\^£¥hOepm$h«ª«hj ¤£¡hw\£¤^Z]^feqeghjj^«È¨¬_<*^m¹hw\ }^Q}ujmg^mqY}^sq^feg^P¨mg ¥ªj^egi}\eg^m'eKuw¦£¥ulQhw£
hO¨mq ¤uO\eKmqY\hmZulQi\s hm$mgY\^feg^n ¥\epm'hwmqef¬KXZY}^Qohjsg^OsguOi}^f ¥mgumqY}^yeqhw]^#º»©¼*½Ä¾*¿\sgul^Pege)¸Y} ¡'Y
sq^Q\sg^Pe^fOm'eh\hwsgmg ¡hw£l]ul l^Q£\uw¦mgY}^nbÀ)¯n \ <*¯n²A\<u¯yb eg^Qsqª ¡^O¬ uy¹mgY\^uwmqY}^QsKY\hj\ ·e ¥\^
mqY}^QoÅhjsg^T\uwm¹hO'Y} ¤^fªj^P ÅhmmqY}^eqhw]^Tuj ¥m¹ ¥Åmg ¥]^j·K¸$^TY\h«ªO^mgu® l^¶\\^TmgY\^uO\ l ¤mg ¥uj\e#¸Y} ¡'Y
eg^Q£¥^fmmgY}^sq ¥jYmei}e^Qmuw¦£¤ulQhj£Ähjmg ¥uj\eZmqu^^Qkl^fi}mg^f ¸Y}^f}^QªO^QsZmqY}^¸Y}uj£¥^¢º»©¼(½¾*¿]ul l^Q£* ¥e
hO¨mq ¤ªhmq^f ¬ XZY} ¥e ¥eZ^Phjeg ¤£¥o l^PegQsg ¥^f i\e ¥}Thj ¥mg^fsg\hj£Äepm'hmq^ª«hjsg ¡hw\£¤^amgYhm ¥\ l ¡Qhmq^feZ¸Y} ¡'YEuj}^
hj]uj}Thw ZegY}uji\£¥ ^Quj]}ilmq^f ¬tX o?} ¡Qhw£¥£¥oj·? §m ¡eZ^Qul l^f ?oUh¢uuO£¤^Phwe ¥j\hj£dn&x10 u
©mgY\hwm ¤\ §mq ¥hj£¤£¥ofhwsqsg ¥^fe)mgY}^ªhj£¤i}^ :H Èhje l^f} ¡¨mg^P ¤ Z»©¼K¬t\¬
°íCmgY} ¡en]ul l^f£è· ¥en^kl^fQilmg^P Ó¸Y}^QCmgY}^¢Qhw£¥£¥^Qsn¸Zhje}uwma}sg^fª? ¤uOi\e£¥oU\£¤ulyj^P EujÓmqY}^¹eg^Qsqª? ¥Q^Qhj£¤£
Âè l^Q\uwmg^P E?oTmgY\^#uO\ l ¤mg ¥uj ) ?)yn&x10 u^_ 24C#uOEmgY}^¶\ji}sq^PȬ$XZY\^u?uO£¤^Phw n&x10 u
¡eKeg^mmgu *-% hjeKeguuO¹hOe*mqY}^sq^feguji}s'^ ¥e}ujmth«ª«hj ¤£¡hw\£¤^©^f]¢}mpo}£¡hjy?uhws' \Ȩ¬(XZY} ¥e ¡esq^Q}sq^feg^Qmg^P
?oEmqY}^hwsqsgu¸ ¦©squj]mgu.n&x 0 uT ¥ømqY}^¢¶\ji\sg^O¬ Y}^QBmgY}^emqhwmg^¢ª«hjsg ¡hw\£¤^¹}sg^fª? ¤uOi\e£¥oÓQhjsgsq ¤^P
mqY}^Tªhw£¥i}^ * -% Âà è¬^j¬mgY}^Qhw£¥£¥^Qs¸Zhje}sq^Qª? ¥uji\eg£¥oø}£¥ulyj^f Ȩ·ÄmqY}^Uegi}\eg^ma ¡e^Qkl^fi}mg^f 4hj\ ®mgY}^
u?uj£¥^fhjEn&x10 u¹^Puj]^Pe :H ¬
when (not blocked $1)
when (blocked $1)
inputs outputs
blocked L
L’
4 ¤Oi}sq^%n (PKI(KF_Y[P>=VP&M VQPXE?A:V A&ECGSP&OR(A&R4R4PXE,GA*C=?>" <GHCF A$VQPXEGSO( R4=,@ GQE=K^
Ò Æld
Z
oN D # & Z»©¼ OH IH "$5*]H -ED
6 V& MD -"#$&
o) *NA H!& *% ? ( %$& ' R&-"$(ON H *+C*% 6H?D
H &* $% A 'KH#DKH**+ 5:H*!*%C]H
- Hd *L ]HRH H *N H H(
*L * *N 3H-*5
3H($D &(6H# o) !%*FMDO[H*5 O%&s]H *%
$ &-"$.*%XH % o%XD -6H.*-$&" *N -- D
-
<o*t-6H- *N3Hd-* H"?HH oA*N !& -*t<*% D &:H# O%dAH--"?H%(
*N ]Hd V*N
- o -%H H*N H*$N H ()$&"C G & *L * *N
D &(6H# OH * *NV6H?D OHV*%dVH&H*L( *
°íUmgY}^y¦©uj£¥£¤u¸ ¥}·j¸$^n]hw ¥}£¥oQuj\Q^Qmgs'hmq^ujTmgY}^e^fQ §¶Qhmq ¤uOTuw¦*h¹ei\\e^Qm uj¦(hjmg ¥uj\ey©£¥ yO^
uOs qȬ}B^\sg ¥}ujilmZmqY}^Qhj\hw} ¥£¥ §mq ¤^PeZuw¦)º:»©¼*½¾(¿¢mguhw£¥£¥u¸ ]u? }i}£¥hjse^fQ §¶Qhmq ¤uO\ef¬
XZY}^º»©¼*½Ä¾*¿Z}squl^feqeÄegY}u¸ ¤ Z»©¼t¬OZ]ul l^Q£¡eÄ£¥ulQhj£jhjmg ¥uj\e^Qkl^fi}mg^f uOhbÀ)¯n \ <*¯n²aË
\<un¯nbe^fsgª? ¡^sq^fÐi}^PepmUÂà è¬^j¬ qȨ¬*XZY\^Qsq^Thwsq^¹¦©uOi}s]hw ¥Æegi}lË}sgulQ^feqe^PeQ¬TXZY} ¡e# }^feqsq ¤lË
mq ¤uOU¦©uO£¤£¥u¸e)mgY}^ &- F -
hOeZ l^¶\\^f ¤mgY}^¢º»©¼(½¾*¿¢\sguOjs'hw]] ¤}#]¢^QmgY}ul luO£¤uOjo
8^`<8kw?9¬
XZY\^aegi}lË}squ?Q^feqe^Pe1+ "!$#%&1+(')&hw\ *1++,')-(!)./+ªj^fsg ¤¦©omgY\^yªhw£¥ ¡ l §mpouj¦* ¥}}ilm\hjsqhj]¹Ë
^Qmg^fsqe5nlu +(')&Chw 0wv:¬°¦mgY}^fo®hjsg^Tªhj£¤ ¡ ·'%1(!$%- +$%#&Umqsg ¥^femguCsq^fhO ømqY}^eg^f ¤¶\^P
\£¥hOyuOhjsq Ĭ¯¦mg^fsg¸Zhws' }ef·: §meg^Q\ }eymqY}^£¥hwmg^fem]¢^PegeqhwO^¹ l ¡eg}£¥h«oO^f øujCmqY}^}£¡hjy?uhws' Æ© ¤mqehjsg^Ph
hj\ Ueg ¥ÇQ^yhjsg^ysg^Pe^fmg ¥ªj^f£¤oeg^P ¤¶\^f Uo20$3#hw\ Gx*)3}È·Ohj\ mgs'hwe] ¤mqeZhw£¥£\mqY}^}^fQ^feqeghjsgo
¥l¦©uOsg]hmq ¤uOCmqu54+1+%+./%61+/!$&¸Y\ ¥'Y® l^¶\\^feamgY\^¹¶\hw£t l ¡hwO}uOemg ¡]^PegeqhwO^#uw¦ mgY}^eg^Qsqª? ¥Q^
sq^fÐi}^PepmP¬_4\ujs^k}hw]}£¥^j·«¸Y}^f¹eg ¤O\hw£¡e )0 <hw )0,+*)wn&x u$sq^feg^P¨mg ¥ªj^f£¤ofhwsqsgonmgY}^$ªhw£¥i}^fe
vUhj\ lx·74+1+$%+./%61+$/!$&e^f\ }e'68# 7'&1+$-(!$&ThOe v ),+ 04u E©mgY\hwm]^Phw\enmgY}^
eg^Qsqª? ¥Q^Qhw£¥£¥^Qs]¹i\epmy¸$hj §m¦©uOsnh]^feqeghjj^ ¥EmgY}^\£¥hOyuOhjsq Ä·}hw\ E}uujmgY}^fs}squl^feqefhwE^kl^fQilmg^
}i}sg ¥}amgY\^¸$hj §mK^ffhwi\eg^ZmgY}^Qi}sqsg^fOmKuO^fsqhwmg ¥}]¢ul l^ }u^Pe}uwm)hj£¤£¥u¸ \sg^f^Q]lmg ¥ujȨ¬°ímgY}^fhjeg^
uj¦t ¤?ªhw£¥ ¡ Ó ¤\}ilmqeÂÃ^j¬\¬bnlu +/')&T ¡eahwCi}%y\u¸C ¥ }^Qmg ¤¶\^Qsa¸ ¤mgY} ¥CmqY}^¹hwsgmg ¤mg ¥ujÄ·ujs90wv
¡e#uji}mnuw¦Ks'hw}O^%Ȩ·} ¥l¦©ujsq]hmq ¤uO\ehwsq^emg ¥£¤£e^fOmnmgu4+1+%+./%61+/!$&¹?o51+ "!$#%&1+(')&¹hw
+$+,')-/!:./+ ¥Eujs' l^Qs$mguT }^mg^fsg] ¥}^amgY}^sq^mqi}sqQu? }^j¬tXZY}^egi}lË }squ?Q^feqe^Pe hjsg^uj¦mg^QÓ l^Q¶\}^P
?o¦©uO£¤£¥u¸ ¥}¢mgY}^eqhw]^ l^feg ¤O\sg ¥\ ¥}£¥^T©^O¬¬ '%1(!$%-1+$%#&}Ȭ
°í4mqY}^UhwepmqsqhO¨mg ¥uj*·mgY}^Cyj^Qo?¸$ujs' 10U ¥Omqsgul li^femgY}^Teg^P ¤¶Qhwmg ¥uj4uw¦}squj^Qsgmg ¥^feuO4mgY}^
¥}}i}mhj\ CuOilmg}i}meg ¤O\hw£¡ef¬N4\ujsa ¤\emqhj\^O·mgY}^¢}squj^Qsgmpoy?: -&C#]^fhj\emqY\hmamgY\^¹sq^mqi}sg®ul l^¹ ¥e
\sg^Pe^fOmuO}£¤oø¸Y}^Q4h£¤ulQhj£Ku?uO£¤^Phw; + v ),+ 04u ¡e *-% ÂÃXZY\ ¥eu?uj£¥^fhj®fhwsqsg ¥^fenmgY}^ªhj£¤i}^
:H ¸Y}^f"hBmg ¥]^Óuji\Omq^Qs¢ ¥e ¥} ¤mg ¡hmq^f "uj"hBsq^fhj sg^PÐi}^fem#mqu®¸Zhw ¤m¢¦©ujs¢mgY}^Óh«ªhw ¥£¡hw} ¥£¤ ¤mpo4uw¦yh
]^PegeqhwO^¢ ¥4mgY\^T}£¡hjy?uhws' ·(hj\ 4}uÓsq^mqi}sgÆQul l^ulQi\sqeoO^mP¬ unmqY}^Qsq¸ ¡e^O·* ¤m#Y}uj£¡ }emgY}^Tªhj£¤i}^
*-% ¬ vl ¤\Q^nmqY} ¡eZu?uj£¥^fhjU ¡e l^¶}^f ¤mq^Qsq\hw£¥£¤oO·? §meg ¤]}£¥oThw}^fhjsqe$ ¥TmqY}^hw\emgs'hjmg ¥ujUhOe$h¢£¥ulQhw£
eg ¥j\hj£*¸Y}ue^¢ l^¶\\ §mq ¤uOC ¥ey}ujmyj ¥ªj^fbn ¤my]h«oE^¢ ¤mq^Qsq}sg^Qmg^P Óhje#ímqY}^Qsq^#^Qk? ¡emqe< +4v ),+ 0 u
egi\'Y mgY\hwm¹mqY}^E}sguO^fsmq ¤^Pe¢^kl}sq^feqe^P Å ¤ mgY}^Óhj\epmqsqhO¨mq ¤uOÆY}uj£¡ %Ȩ¬Æ°í ?: 24C?· §m ¡eepm'hmg^P ÆmqY\hm
mqY} ¡e£¤ulfhw£Äeg ¤O\hw£ ¡eeo?\'Y\sguO}uji\e$¸ ¤mgYmgY\^ ¤}\ilmqenuw¦*mqY}^eg^Qsqª ¡^Âà è¬^j¬t¸Y\^Q}^fªj^Qs$mqY}^Qsq^ ¥enh¹sq^fhO
sq^fÐi}^PepmP·= + v ),+ 0 u ¥\ l ¡Qhmq^fe¸Y\^mgY\^QsuOs}uwm#hEsq^mqi}sg4ul l^]¹i\em^Ueg^Qm¨È¨¬UXZY}^£¥ ¥}^fe
? u 24C¢hj\ Y? u -TCeg^P ¤¦©oC l^Q^Q\ }^Q\Q ¤^Pe^Qmp¸ ^f^QCmqY}^¢ ¤}\ilmqehj\ CuOilmg}i}mqef¬X4}ujs^Qklhj]}£¤^O·:mgY}^
>
ÙÄÚ«ã ìpÞ¨ÿæ«ýÉãíç=ã ðô@?AjñbFìpÞféPãFÞ'þøç=ÚPÛÉܳÿÞQé«ãpýEÛÉÜ"ü¨Ûúãpä ÛÉä ç=Ú«ãFá'ä«ä«ãCB ù )
(Þ'çèã ç=Úáqç"Ýã ìá'ýÉýÓÛç
=D\ùûFEHG,I?ù OKJGML*ùt(ûÓãíúãpäaçèÚ«Þ¨å«ü¨ÚÛçÄÞ¨ä«ýêné«ãpÜèìßÃÛÉâwãpÜ(çèÚ«ãKýÉÞfìá'ýlá'ìíçèÛÉÞ¨ä«Ü
)
NPO
û(ãìpÞ¨ÿæwÞ¨Ü=ãá$æ«ßÃÞfìpãpÜ=Ü(ÛÉäQçèÞ$þ¤å«ä«ìíç=ÛÉÞ¨ä«á'ýÉýê&fìpÞ¨Ú«ãpßÃãpäQçìÞ¨ÿæwÞ¨ä«ãpäç=ÜRQ
)
board_ID
timeout
message
length
return_code present
board CHECK_BOARD_ID{}
outofrange available CHECK_TIMEOUT{}
timeout
message length
is_err_handler
empty
preemp_enabled PERFORM_READ{}
GET_RETURN_CODE{}
$ &*m "
$ &*m " ?l " $ &*m "
&4o?o&4o((&h ",h ?l "! (&$"
#
l("o%$ #6o " ?l " #6o "&'&(
)+*
" '"$" ?l " o " '",
* " '" # #.-" ?l " k",h'
"&$h&"" ?l " $"&$h *m&"",
/
":m 0102 (&$" 3 #6o "&'&4'5 $"&$h *m&"" ",h6 $"&$h *m&"" "%87 /
02 (&$" 3 #6o "&'&4'5 o " '",3[k",h'
",h
$"&$h *m&""9;:< '
/
"%>=
/
0?/
010 (&$" !@' #6o "&'&!@'A $"&$h *m&"" 87 /
0 $"&$h *m&""B@' ",h6 $"&$h *m&"" >= /
0 o " '"9@' k",h'@' ",h $"&$h *m&""6C:< ' / >D /
0?/
0?/
"$" (&&?k",hB&h" $"&$h *m&"",
4 ¥ji}sq^ %n&(*)}+a,.- Y[P>=VXP&MCF=| FE
G
IH,fKJ MLfFE R4=,@ GQE="!A&O> GHCREP:@4@=R4Z PKO>GQO A R]C4@BA:E,CGQPKO^
\sguO^fsmpoY? u -&CTepm'hmg^PemgYhmmqY}^Te ¥jhw£¡e 0wvChj\ nlu +('&E}sq^fQ^f l^mqY}^uji}mg}ilm¢e ¥j\hj£¥e
0$3¹hw\ x*)3¸Y}^fmqY}^ l ¡hwO}uOemg ¡nuj¦(mqY}^sq^fÐi}^femZ ¥e 6(! +$%%(!$%:¬
XZY\^]ul l^Q£¥ ¥}4uw¦mqY}^EuwmgY\^Qs¯rtÀ)Á e^fsgª? ¡^fe#¦©uj£¥£¥u¸emqY}^Óeghj]¢^Ehw\}sguhj'YĬŮ^E¸ ¤£¥£eg^Q^£¥hwmg^Qs
mqY\hmmqY}^ l^Puj]uOeg §mq ¤uOuj¦(mqY}^ ¥l¦©ujsq]hw£Äeg^P ¤¶Qhwmg ¥uj\eZ ¥mgu£¥u?fhw£Ähj\ UO£¤uO\hw£ÄhO¨mq ¤uO\eei\ §m'eZmgY}^
Quj]}ilm'hmq ¤uO]ul l^Q£(hj luOlmg^P T¦©uOsZmgY}^¯yb°p±a² }squ?Q^feqe$]¢ul l^f£)ÂÃeg^Q^mqY}^ei\\e^P¨mq ¤uO¬OȨ¬
Ò Æld
`
-P*% %*L&:H ( *N %$&' ( &-"$ $»©¼ *%
HIH?D#
*L& 10*+(')& [Hd (ZH &*& o*! -*<s*NC-H
&6]H*$N$?D
* &(V*.$%*6 &A*N 4 %--*
(#&( HoP*VC O%&z*N
#& D -* #
H
)* *N H*, 4 %%OH&H*L(* **N H (-)(( oNOD V*% *N
-"#$& *-ED 3HVH*$N&: *N 6H?D VN6D
w lP®fQ w * Ò × T × sr × ] Ò ] Æ ] i Ò Ò ] 7XZY}^]hw\hjj^f]¢^fm$uj¦uO]uO}^QmqeÂÃ^j¬\¬
Quj]]#i\} ¥fhmq ¤uO ]^f'Y\hj} ¥eg]eQ·y¯nb°p±²0}squl^feqeg^fef¬¤¬¥¬È, ¡e luO}^®ª ¡hÆO£¤uO\hw£ }hwmqh³epmqsgi\mgi}sq^fe ¥
¸Y\ ¥'YÆQuj]uO}^Qm¹hwmmqsg ¥}ilmq^fe#hjsg^TQuj£¥£¤^P¨mq^f ¬E®^Qhj£¤£)mgY}^f]
(MD
o&* DKH H&
¬øXZY\^Qo4hwsq^
Quj\egi}£¤mg^P ³mguƪO^Qsq §¦©o"¸Y}^mqY}^QsujsT}ujmhÅQuj]uO}^Qmeg^f ¤¶\^P ¤ hÆi\e^fsUhw\}£¤ ¡Qhwmg ¥uj hO¨mgihw£¥£¤o
^Qkl ¥emqeC7Ähw\ ø]u? } §¶\^P C ¥øuOsq l^fsnmqui\ }hwmg^¹mgY}^emqhmqi\eauw¦ huO]¢uj\^QmÂÃ^j¬\¬amgY\^¹mq ¤]^Qhj\hjQ §mpo
uOsmgY\^¹ l^Phj l£¥ ¤\^mg ¥]^uw¦)hjC¯nb°p±² \sgul^Pege]h«o^#'Y\hw\j^f E?ohi\eg^Qsyhj}}£¥ ¥fhmq ¤uOsq^fÐi}^Pepm¨È¨¬
XZY\^ ¤]}£¥^Q]^fOm'hmq ¤uOuj¦tei\'YC \hmqhemgsqi\mgi}sq^feuOÓ¸Y} ¡'Y¸$^uj¦mg^QÓ]hyj^eg ¥ l^#^:>:^f¨m'e ¡eneg£¤ ¥jYmq£¤o
Quj]}£¥ ¥fhmq^f 4 ¥ º»©¼(½¾*¿\¬CB^sqhwmgY}^fs¹hj\epmqsqhO¨mmqY}^Q]^ffhwi\eg^Ueg ¥ l^U^:>:^f¨m]^f'Y\hj} ¡e]e# }uC}uwm
^Qkl ¥em¹hm#hj£¤£ ¤4mqY}^Óº»©¼(½¾*¿C£¥hj}jihwj^O¬ v?u·*mqY}^Qo4hwsq^¶\s'epm¹ ¤]}£¥^Q]^Qmq^f Åhje¢²?>>Q£¥hOegeg^feÂÃ^j¬\¬
04x Tx10 nlu- *)3Ó¦©uOsmgY}^ø]hj\hwO^Qsuw¦}£¡hjy?uOhws' }e'Ȩ¬ XZY}^fÄ·)mqY}^ź»©¼(½¾*¿®]ul l^f£¥e
hOegegul ¡hmq^f ¸ ¤mgYRmgY}^4]^mqY}ul }eEuw¦mqY}^feg^4£¡hjeqe^PefhwR^Å l^¶}^f ¬4}ujsE ¥\emqhw^j·nmgY}^Åeg^Qsqª? ¥Q^
+ "!$#%&1+(')&ø]ul l^Q£¡emqY}^C]^mqY}ul ³mgY\hwm'Y}^fylemqY}^C}sq^feg^Q^Euw¦h4}£¡hjy?uOhws' " ¥ l^fmg ¤¶\^Qs
¥BmgY}^ThOegegul ¡hmg^P Ó]hw\hjj^fsf¬¢X*uÓ l^Q¶\}^ §mP·*¸$^¹ie^
H D H ¸Y\ ¥'Y4hw£¥£¤u¸mguÓhjeqeulQ ¥hwmg^e^fQ §¶
¥l¦©uOsg]hmq ¤uOÓ¸ §mqYÓmgY\^#uj}vp^f¨m'euj¦)hEº»©¼(½¾*¿U}sguOjs'hw] Âà ¤\}ilmqef·uji}mg}ilm'enhj\ Ó\hjsqhj]¢^Qmg^fsqe'Ȩ¬XZY}^
¥l¦©uOsg]hmq ¤uO ]h«o³^øie^P ¦©i}sgmgY}^fs?o³mgY\^BuO]} ¤£¥^Qsujshw}ujmgY}^fsUmqu?uj£=¬ XZY}^®^k}hw]}£¥^C^Q£¥u¸
¥£¥£¤i\emgs'hmq^fe$mqY}^i\eg^auj¦\sqhjj]hje ¤mqY}^e^fQ §¶Qhmq ¤uOuj¦(mqY}^eg^Qsqª ¡^ 1+ "!#%&1+('&:¬
~
sr Ò Z oN
º»©¼(½¾*¿
(&C
Z»©¼
--
& *N -"#$C*[H*V(%ON*%&C
o* *N
3H
H( $%*6
*N'
)*
nlu +('&
H
& *NAH&H*L(ODKH
H# <%H -"#$ j6?%*$ NH& ]H *L&- H
- o% )*
)* *)
<*% 3H CH
&&*O *% DKH H& *NC*N.*N)*
)* nlu +!)./+ 5*N$%*6
3H CH #' *N9 & *) N
&*N
&*$ *N N-*IH* ?* 24C -*LH*L- * H* O%&o&" *%
- VH &* "=H*++*[H*
D ]H%C*% - H nlu +(')& C(("d9 *%& H HN9?&+*% - H *) A&%*
*N
-* ?:8 -&C 6HdV* H*?*N H nlu +!:.+
(-%*5%ON *)
&
)*F)*
)*
&o$- H
- -* H*+6D %*, ? u 24C Ho ? u -TC
F IH D H H'*,(#%( *N? &:? 30 * &(t*%&VH ( &!*%
)
V!
IH*$ oN HMD ' '1+!$& $ H*+& *[H*5*
IH#MDKH *+
(&*L5ONs*% ED
D %*LH*$G3H [H# $ oN *H*,$N 2 2 Ho - &o( -
&*"d *N6?*
)*F*%P6-*_H( )*
)*$ !?H O*N ON -* H*+6D &*F %"&-*L ?DOD H+%"#]H+
*$!*% D *%#
&x10 n u107')&
H
*
$ *+ *N.
&*
4 /! # + # "!#%& +$-#6#4%