HAL Id: hal-00346370
https://hal.archives-ouvertes.fr/hal-00346370
Submitted on 11 Dec 2008
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.
Validation of distributed periodic real-time systems using CAN protocol with finite automata
Gaëlle Largeteau-Skapin, Dominique Geniet, Jean-Philippe Dubernard
To cite this version:
Gaëlle Largeteau-Skapin, Dominique Geniet, Jean-Philippe Dubernard. Validation of distributed periodic real-time systems using CAN protocol with finite automata. World Multiconference on Sys- temics, Cybernetics and Informatics, ISAS-SCIs, 2002, orlando, florida, United States. pp.151-155.
�hal-00346370�
2345 687:9 ; "#<>=?@ 4A BC@ 7 4- D E
FHGJI
KLMLNK&O GQPSR
KTUK GWV
OYX[Z\XS]_^H`badceK PSf
adThgKibKkjleaNTUaNK
PSfnmoqpsrp
Z
pst>psu
v gKLwgKxYl
P
Tny\]{z G c
pq|<p}u
i~K
P
]}qjhzh]~ +ehz V T
V~P
l
f[
lexYK
|q~GWf[f
K`bK
V
aML
| gKibK@
G
`bi
laN`baN
V K F
K`baNKT
OYX[Z\XS]_^H`badceK PSf
adThgKibKkjleaNTUaNK
PSfnmoqpsrp
Z
pst>psu
v gKLwgKxYl
P
Tny\]{z G c
pq|<p}u
i~K
P
]}qjhzh]~ +ehz V T
V~P
l
f[
lexYK
|q~GWf[f
K`bK
V
aML
| gKibK@
G
`bi
K G
`hj
aNLMadxbxYK
Vh
K P ` GQP
i
OYX
u<
]^`badcK PSf
adThgKki~K
l V
K`
jL G
K go
aNLMKLNl`bi~KL]b +eeJy\z
t
l`JTZ
G
aN`JT
u aR ` G ` | gKi~K
&h b¡¢£+
¤¥§¦¨h©ªS«¬dW®\¯±°Q©³²~´_°ªµ¶ª¸·b¥¶ª¦º¹ªw»¨}Q©³¦Q¼½»Jµ¶ªw¼
¾ ¦Q¯ªwµW¥¿©ªSÀW®\¼d¦©D¼d¦Q¥¶ÀW®\¦ÀQªw¯¹1«¦Q¼d¬dµ\¦¹ªº¨}ªS©³¬ÁJµ\¬dÂ
©ªw¦Q¼Äù¬d»kª¯ÅJ¯¹ªw»k¯SƹÇ\ªÈɪw¦Q¯¦ ¾ ¬d¼N¬Á¹Êŵ¶ªwÂS¬N¯¬ÁW¥\¦Q¼Y¨\©Ã
¸ªw¯¯Ë¬d¯+ª¸Ì¨h©ªw¯¯ªwµ ¾ Å»ªw¦Q¥\¯+QÈh¦Q¼ÁÀQª ¾ ©U¦Q¬dÂÍQ¨}ªS©³¦¹¬dW¥\¯
W¥Î¼N¦Q¥¶ÀW®\¦ÀQªw¯S´º¯®\ÂUÇϦQ¯Ð¬d¥e¹ªS©³¯ªw¸¹¬dW¥´ºÑq¦Qµ\¦Q»¦©³µ
¨\©Jµ\®\¸¹S´Ë¦Q¥\µ1¼N¦Q¥¶ÀW®\¦ÀQªÂ¸ªw¥¹ªS©Â¸W»¨h®\¹¬d¥¶À¶ÒÑqªS©ªQ´
°ªÓµ\ªw¯Â¸©³¬¾ ªCǶ)° ¹Çh¬d¯Ô»µ\ªw¼§ÂS¦Q¥ ¾ ªC®h¯ªwµ¹
«¦Q¼N¬dµ\¦¹ª"¨}ªS©³¬ÁJµ\¬dÂ0µ\¬N¯¹©³¬¾ ®\¹ªwµÕ©³ªw¦Q¼Äù¬d»ª1¯Å¯¹ªw»¯SÒ
Ö§ª ¾ ¦Q¯ª'¹Ç\¬d¯&µ¶ªw¯Â¸©U¬Á¨\¹¬ÁW¥1W¥¹Ç¶ªDª¸Ì¶¦Q»¨h¼dª'QÈ׹Ƕª
Ø4ÙÚ ¥¶ªS¹Û°Q©³²'¨h©Q¹Â¸W¼Ò
Ü×Ý¿Þ¶ßáàãâCäå!æáçèàÕÞbäéß
êªw¦Q¼Äù¬N»ªº¯Å¯¹ªw»k¯&¦©ª©ªw¦Q¸¹¬Á«QªQƹǶªSÅ1©³ªw¦Q¸¹k¸W¥JÃ
¹¬d¥®¶W®\¯¼ÁÅ¿¹¿¹Ç¶ª"¯¹¬N»®\¼N¬n¸W»k¬d¥¶ÀÈÉ©W»ë¹Ç¶ªw¬d©ºªw¥JÃ
«¬d©W¥\»ªw¥e¹SÒ1¤¥¦Qµ\µ\¬Á¹¬ÁW¥_´ìÇ\¦©³µ©ªw¦Q¼Äù¬N»ªº¯Å¯¹ªw»k¯
»®h¯¹©³ªw¦Q¸¹4¬N¥D¦ÀW¬Á«Qªw¥µ¶ªw¼d¦)ÅQ´°qÇ\¦¹ªS«QªS©¹Ç¶ª±¨\©J¸ªw¯Ã
¯Q©n¼ÁW¦Qµ0¦Q¥\µí¹Ç¶ª¯ÅJ¥\³Ƕ©³W¥\¬Áîw¦¹¬ÁW¥ïÉ©ªw¯W®¶©U¸ª&¯³Ç\¦©Ã
¬d¥¶À¶´Â¸W»k»®h¥\¬dÂS¦¹¬ÁW¥~ðUÒ!ñY«¦Q¼d¬dµh¦¹ª0¦Ç\¦©UµÔ©ªw¦Q¼ÄÃ
¹¬d»ª¯ÅJ¯¹ªw»Ó¸W¥\¯³¬d¯¹¯½¬d¥HÀW®\¦©³¦Q¥e¹ªSªw¬d¥¶Àò·h©³¯¹¼ÁŬÁ¹¯½¦Q¼ÄÃ
ÀQQ©³¬Á¹Ç\»¬dÂ<¸Q©©³ªw¸¹¬ÁW¥ïÉÈÉ®\¥h¸¹¬ÁW¥\¦Q¼{«¦Q¼d¬Nµ\¦¹¬ÁW¥~ðU´b¦Q¥\µ
¯ªw¸W¥\µ\¼dÅk¹Ç\¦¹S´\°×Çh¦¹ªS«QªS©¹Ç¶ªn¸W¥¹ª¸ÌJ¹S´\ªw¦QÂUǹ¦Q¯²¬d¯
¦Q¼Á°4¦wÅJ¯Í¦ ¾ ¼Áª4¹ò©³ªw¦Q¸¹ ¾ ªSÈMQ©³ª¬Á¹¯½µ¶ªw¦Qµ\¼d¬N¥¶ªòïɹªw»¨}Q©³¦Q¼
«¦Q¼N¬dµ\¦¹¬ÁW¥~ðUÒ
ñ°µ\¬Äó}ªS©ªw¥e¹¦¨\¨h©W¦Q³Ƕªw¯H®\¯®h¦Q¼d¼ÁÅô¦Qµhµ¶©ªw¯¯<¹Ç\¬d¯
¨\© ¾ ¼dªw»ºÆÐW¥¶Ãʼd¬d¥¶ªíQ©óbÃʼd¬d¥¶ªí¨}W¼d¬dÂS¬Áªw¯SÒ!õq¯³¬d¥¶À¦Q¥
öJ÷ø0ùú³ûÊúüýÿþû
ú
Ëúþ
!#"$&%'&(
*)',+.-'/102%)34567789:664;<6=?>@A B
þ 677&89DC
ûEú
3F39
G û øPO
óbÃʼd¬d¥¶ª¨bW¼N¬d¸ź¸W¥\¯¬d¯¹¯¬d¥í¯ªw¦©³ÂUÇ\¬d¥¶À0ï¾ Å»kªw¦Q¥\¯QÈ
¯¬d»H®\¼d¦¹¬dW¥\¯Uðq¦¯ÂUǶªwµ\®\¼d¬N¥¶Àº¯ª&Qe®\ªw¥\¸ªk¹Ç\¦¹<¯³¦¹¬d¯·hªw¯
¹Ç¶ªôÀW¬Á«Qªw¥ ¹ªw»¨}Q©³¦Q¼q¸W¥\¯¹©³¦Q¬N¥¹¯SÒSR±¥h¸ªÂ¸µ\ªwµ¿¬d¥
¦k¯ª&Q®¶ªw¥\¸ªS©)´\¹Ç\¬d¯¯ª&Q®¶ªw¥\¸ªn°q¬d¼d¼}µ¶©³¬Á«Qªn¹Ç\ªò¦¨\¨h¼d¬dÂS¦Ã
¹¬ÁW¥ÒêªS«QªS©U¯ªw¼ÁÅQ´4¦Q¥W¥JÃʼd¬d¥\ª'¯ÂUǶªwµ\®\¼dªS©&µ\©³¬Á«Qªw¯&¹Ç¶ª
¦¨\¨h¼N¬dÂS¦¹¬ÁW¥ ¾ Å1ÂUǶW¯¬d¥¶À¶´ì¦¹&ªw¦Q³ǯ°¦¨_´½¹Ç\ª'¹¦Q¯²
¹¯Â³Ç¶ªwµh®\¼ÁªQÒ>ñÇ\¬N¯k³ǶW¬N¸ªí¬d¯
¾
¦Q¯ªwµ¿W¥ÕǶªw®\©³¬d¯¹¬dÂS¯
°×ǶW¯ªk©W¼Áªk¬d¯±W¥"¹Ç¶ªkW¥¶ªÇh¦Q¥\µ0¹¨\©@«¬Nµ¶ª¹¹Ç¶ª
¯ÂUǶªwµ\®\¼ÁªS©º¦µ¶ªwÂS¬N¯¬ÁW¥\¦Q¼ÂS¦¨h¦QÂS¬Á¹ÛÅ ïɹÇ\ªí¨h© ¾ ¼Áªw»?¬d¯
ÚUT
ÃÊÇ\¦©³µbðU´~¦Q¥\µW¥¹Ç¶ªQ¹Ç¶ªS©±Ç\¦Q¥\µ¹'»k¦²Qª&¬Á¹¹Ç¶ª
ȦQ¯¹ªS©±¨bW¯³¯¬¾ ¼ÁªïɹÇ\ª¨\©³Â¸ªw¯¯Q©±ÂS¦Q¥h¥¶Q¹ ¾ ªH®\¯ªwµÈÉQ©
¦±¼ÁW¥¶À±¹¬d»ªÈÉQ©Ë¯³Â³Ç¶ªwµ\®h¼d¬d¥¶À»k¦Q¥\¦ÀQªw»ªw¥e¹UðUÒìñǶª4®\¯ª
QÈìǶªw®¶©U¬d¯¹¬dÂS¯»k¦²Qªw¯q¹Ç¶ª¹ªw»¨}Q©³¦Q¼«¦Q¼d¬dµ\¬Á¹ÛÅDQȽ¯®h³Ç
¦¯Â³Ç¶ªwµh®\¼ÁªS©D®h¥¶¨\©@«¦ ¾ ¼dªQÒ>ñÇe®h¯S´¬Á¹¯«¦Q¼d¬dµh¦¹¬ÁW¥ ¬d¯
¾ ¹¦Q¬d¥\ªwµ ¾ ŹǶª°4¦wÅ QÈò¦Q¥ÕóbÃʼd¬d¥¶ª¦Q¥h¦Q¼Áů³¬d¯ï¾ Å
¯¬d»H®\¼d¦¹¬dW¥~ðUÒ
ñǶªw¯ª¿¹Ê° ¦¨\¨\©W¦QÂUǶªw¯Ç\¦w«QªãÀQªw¥¶ªS©³¦¹ªwµÏ¦ÀQ©ªw¦¹
¥®\» ¾ ªS©íQÈ°Q©²J¯S´¬d¥¹Ç¶ª©ªw¦Q¼Äù¬N»ªÂ¸W»»®\¥h¬Á¹ÊÅQÒ
VôW¯¹ôQȹÇ\ªw»3¦©ª ¾ ¦Q¯ªwµ W¥ ¹Ç¶ªÐ¹¦Q¯²è¹ªw»¨}Q©³¦Q¼
»Jµ¶ªw¼¨\©³Q¨bW¯ªwµ ¾ ÅXW{¬d®º¦Q¥\µYWYªSżN¦Q¥\µ¬d¥[Z\]Ò^ˬÁ©³¯¹
QȦQ¼d¼´¹Ç¶ªª¸Ì¨\©³ªw¯¯¬d¥¶À¨})°ªS©òQȹǶªµ\¬ÁóbªS©ªw¥e¹±¨\©Ã
¨}W¯ªwµ»ªS¹Ç¶Jµ\¯Çh¦Q¯
¾
ªSªw¥¯¹®\µ\¬dªwµÒñÇ\¬N¯<¼Áªw¦Qµ\¯¹
¹Ç¶ª¥¶Q¹¬ÁW¥>QÈ`_ba c3dfehgbifdjckQÈk¦Q¥>W¥¶Ãʼd¬d¥¶ª"¯ÂUǶªwµJÃ
®\¼ÁªS©)ÆЬÁ¹ÀW¬Á«Qªw¯¦Â¸Q©©³ªw¸¹¯ª&Qe®\ªw¥\¸ªQ´n¬ÁÈòW¥¶ª0ª¸Ì¶¬d¯¹¯SÒ
ÖÔǶªw¥¹Ç¶ª±¹¦Q¯²J¯¦©ªn¬d¥¹ªS©Uµ¶ªS¨}ªw¥\µ¶ªw¥e¹±ï¬ ÒÿªQÒ½©³ªw¯W®¶©³Â¸ª
¯Ç\¦©U¬d¥¶ÀQ©Â¸W»»®\¥h¬dÂS¦¹¬ÁW¥Ô¦©ª§Â¸W¥\¸ªS©³¥¶ªwµbðU´¬Á¹¬d¯
¨\©@«Qªwµ¹Çh¦¹×¦Q¥Q¨\¹¬N»k¦Q¼W¥JÃʼd¬N¥¶ªò¦Q¼ÁÀQQ©³¬Á¹Çh»áÂS¦Q¥\¥¶Q¹
¾ ª<ÈÉW®\¥\µlZnm]oZnp]oZqr]Ư¬d»H®\¼d¦¹¬dW¥ÂS¦Q¥\¥¶Q¹ ¾ ª<¦w«QW¬Nµ¶ªwµÒ
s
¬d¥h¸ª¹Ç¶ª¯ÅJ¯¹ªw»,»H®\¯¹ ¾ ª«¦Q¼d¬dµh¦¹ªwµôÈÉQ©n¦Q¥Åô¨\©Ã
¸ªw¯¯¬N¥¶À'µh®¶©³¦¹¬ÁW¥´bW¥¶ª»H®\¯¹±ÀW¬Á«Qª&¦Q¥§®¶¨\¨}ªS© ¾ W®\¥\µ
ÈMQ©D¹Ç¶ªôµh®¶©³¦¹¬ÁW¥QÈò¯³¬d»®h¼d¦¹¬ÁW¥ ï¾ ªwÂS¦Q®\¯ªí¯¬d»H®\¼d¦Ã
¹¬ÁW¥1»H®\¯¹< ¾ «J¬ÁW®\¯¼dÅôQ¨}ªS©³¦¹ªDW¥1¦º·b¥\¬Á¹ª¹¬d»ª'¬d¥JÃ
¹ªS©«¦Q¼MðUÒtZnp]ÀQªS¹¯¦H«¦Q¼d®\ªqÈÉQ©¬d¥\µ¶ªS¨}ªw¥\µ¶ªw¥e¹Í¹¦Q¯²D¯ÅJ¯Ã
¹ªw»k¯S´}°×Ç\¬N³ǬN¯q¬d»k¨\©)«Qªwµí¦Q¥\µôÀQªw¥¶ªS©³¦Q¼d¬dîSªwµÈÉQ©nµ\¬d¯Ã
¹©³¬¾ ®\¹ªwµº¯Å¯¹ªw»k¯QȽ¬d¥e¹ªS©³µ¶ªS¨}ªw¥\µ¶ªw¥e¹4¹¦Q¯²¯×¬d¥[Znu]Ò
VôW¯¹<QÈ4¹Ç¶ªD¨\©Q¨}W¯ªwµ"¦¨\¨h©W¦Q³Ƕªw¯H¯W¼Á«QªD¦¯¨}ª¸Ã
ÂS¬Ä·~Â'¨\© ¾ ¼Áªw»ºÆ¹¦Q¯²Q©»ªw¯¯¦ÀQªô¯Â³Ç¶ªwµh®\¼d¬d¥¶À¶´¼ÁW¦Qµ
¾ ¦Q¼d¦Q¥\ÂS¬N¥¶À¶´eªS¹ÂÒ¤¥[Znv3]´h°ªòµ¶ª¸·b¥¶ª¦¥\ªS°>»ªS¹Ç¶Jµ¶W¼ÄÃ
QÀQÅQ´ ¾ ¦Q¯ªwµ'W¥D©ªSÀW®\¼d¦©¼d¦Q¥¶ÀW®h¦ÀQªw¯S´J¹«¦Q¼d¬dµ\¦¹ª¨}ªS©³¬ÄÃ
µh¬dÂ<©³ªw¦Q¼Äù¬d»ªk¯ÅJ¯¹ªw»k¯wƪw¦QÂUǧ¨}ªS©³¬ÁJµ\¬dÂ<¹¦Q¯²í¬N¯n¦Q¯Ã
¯JÂS¬d¦¹ªwµ&°×¬Á¹ÇH¦±¼d¦Q¥¶ÀW®\¦ÀQª4°×Ç\¬N³ÇH¸W¼d¼Áªw¸¹¯½¬Á¹¯Jwxryy{z{w|
¾ ªwÇ\¦w«J¬ÁW®¶©³¯w´¦Q¥\µ'°ªn®\¯ª±Â¸W»¨}W¯¬Á¹¬ÁW¥\¦Q¼~¹ªw³Çh¥\¬}Q®¶ªw¯
¾ ¦Q¯ªwµÕW¥ Ù ©³¥¶W¼Nµ ¦Q¥\µ Ú ¬Á«¦¹D¯Å¥\ÂUǶ©W¥\¬dîSªwµ ¨\©JµJÃ
®\¸¹¯~ZB3]½¹µ¶ªwÂS¬dµ\ªH¹Ç\ªHÈɪw¦Q¯¦
¾
¬N¼d¬Á¹ÊÅQȹǶª&¹¦Q¯²0¯ÅJ¯Ã
¹ªw»ºÒ½¤¥`Zn3]´°ªqª¸Ì¹ªw¥\µD¹Ç\¬d¯ì¹ªw³Ç\¥\¬1Qe®¶ªq¹<©ªw¦Q¼Áù¬d»ª
¯ÅJ¯¹ªw»k¯×¸W»k¨bW¯ªwµQÈ ¾ Q¹Ç¨}ªS©³¬ÁJµ\¬d¦Q¥\µô¯¨}Q©³¦Qµ\¬dÂ
¹¦Q¯²J¯SÒ
¤¥§W®¶©ò¹ªwÂUÇ\¥\¬}Q®¶ªQ´_¹¬d»kª¬d¯n¬d»¨~¼d¬dÂS¬Á¹SÒñÇ\¬N¯q¨h©Q¨¶Ã
ªS©¹ÊÅD¼Áªw¦Qµ\¯¹Ç¶ªq»Jµ¶ªw¼h¹ ¾ ªªw¦Q¯³¬ÁªS©4¹Ç\¦Q¥Q¹Ç\ªS©³¯¹
¦Q¥\¦Q¼ÁÅJ¯ªQÒ&¤¥hµ¶ªSªwµ0W¥0¹Ç¶ªW¥¶ªkÇ\¦Q¥hµ´¹Ç¶ªkµ¶ªwÂS¬d¯³¬ÁW¥\¦Q¼
¨\©J¸ªw¯¯H¬d¯<µ\¬d©ªw¸¹¼ÁÅ
¾
¦Q¯ªwµW¥Ð¹Ç¶ªk·~¥h¬Á¹ªD¦Q®¶¹W»¦¹¦
¦Q¥\¦Q¼ÁÅJ¯¬d¯¹W¼¾ wÌ}´b°×Ç\¬dÂUǦQ¼ÁÀQQ©³¬Á¹Çh»k¯×¦©ª²¥\)°×¥ô¹
¾ ª'«QªS©³ÅЪDÂS¬dªw¥¹SÒ^¶Q©D¬N¥\¯¹¦Q¥\¸ªQ´ì¹Ç\ªÂ¸ªw¥¹©³¦Q¼¹Ç¶ª¸Ã
Q©ªw» QÈ Znu]1¬d¯HÀQªw¥¶ªS©³¦Q¼d¬ÁîSªwµ¹"»H®\¼Á¹¬Áà ØT
õ¹¦©³ÀQªS¹
¦©³Â³Çh¬Á¹ªw¸¹®¶©ªw¯í¦Q¯¦Õ¸Q©W¼d¼d¦©ÅÔQȹǶª1ª¸ÌJ¬d¯¹ªw¥\¸ª1QÈ
¹Ç¶ªô¦Q®\¹W»k¦¹W¥Ô¦Q¯¯JÂS¬d¦¹ªwµã°×¬Á¹Ç ¦Ð©ªw¦Q¼Äù¬d»kªô¯ÅJ¯Ã
¹ªw»ºÒRn¥Õ¹Ç\ªíQ¹Ç\ªS©Ç\¦Q¥\µ´×W®¶©¦¨\¨\©W¦QÂUÇè¦Q¼d¼Á@°×¯
¹kª¸ÌJ¨\©ªw¯¯4·b¥¶ªn¨\©Q¨}ªS©¹¬Áªw¯òï ¼N¬Á²Qªn¨\©ªSªw»¨h¹¬ÁW¥º«¦©³¬d¦Ã
¹¬ÁW¥\¯µ\®¶©³¬d¥\Àº¹Ç¶ªD¼d¬dÈMªQȦ¹¦Q¯²~´½ÈÉQ©¬N¥\¯¹¦Q¥\¸ª@ðUÒº¤¥
¹¬d»ªwµí¦¨\¨\©W¦QÂUǶªw¯S´}¹Ç¶ªw¯ªH²J¬d¥\µ\¯QÈͨ\©Q¨}ªS©¹¬Áªw¯q»k¦wÅ
¾ ªò»Q©ªÂ¸W»k¨h¼Áª¸Ì¹D»Jµ¶ªw¼´ ¾ ªwÂS¦Q®\¯ªò¹Ç¶ªSź¬d»¨}W¯ª
¾ Q¹ÇH¸W»k¨h¼Áª¸Ìª&Q®\¦¹¬ÁW¥h¦Q¼e¹ªwÂUÇ\¥\¬}Q®¶ªw¯ËQ©ì¦Qµ\µh¬Á¹¬ÁW¥\¦Q¼
¯¹©³®\¸¹®\©³¦Q¼µ¶ª¸·~¥\¬d¹¬ÁW¥\¯SÒ
ÑqªS©ªQ´ò°ªÐµ¶ªw¯Â¸©U¬¾ ª"Ƕ)° W®¶©ô¦¨\¨h©W¦Q³ÇéÂS¦Q¥ ¾ ª
®\¯ªwµé¹è«¦Q¼d¬dµ\¦¹ªµ\¬d¯¹©³¬¾ ®¶¹ªwµ ©ªw¦Q¼Äù¬d»kª¯Å¯¹ªw»¯SÒ
R±®¶©½µ¶ªw¯Â¸©U¬Á¨\¹¬ÁW¥&¬d¯ ¾ ¦Q¯ªwµ&W¥k¦Q¥k¬d¥\µh®\¯¹©³¬d¦Q¼e¥¶ªS¹Ê°Q©²
¨\©Q¹J¸W¼ ´ ØÙqÚ ´W¹Ç\¦¹Í¬N¯ìÂS®¶©©ªw¥e¹¼ÁÅH®\¯ªwµ ¾ Å T ªw®\ÀQªSQ¹
ïÉÈMQ©q¬d¥\¯¹¦Q¥\¸ª@ðU´~¬d¥º¥¶ªS° ÂS¦©³¯wÒ
¤¥Ï¨h¦©¹Ô´°ª>¨\©ªw¯ªw¥e¹¹Ç¶ª>ÂS¼d¦Q¯¯ QÈô©ªw¦Q¼Áù¬d»ª
¦¨\¨h¼d¬NÂS¦¹¬ÁW¥\¯¹Ç\¦¹°ª<¯¹®\µ\ÅQÒ½¤¥º¨~¦©¹n´¶°ªµ¶ªw¯Â¸©³¬¾ ª
¹Ç¶ª¹ªw»¨}Q©³¦Q¼H»µ\ªw¼H®h¯ªwµ ¹è«¦Q¼d¬dµh¦¹ªÐ©ªw¦Q¼Áù¬d»ª
¯ÅJ¯¹ªw»k¯SÒ½¤¥D¯ªw¸¹¬ÁW¥í´°ªn¯Ç¶@°ÔÇ\)°
Ø4ÙÚ
¨\©Q¹J¸W¼
ÂS¦Q¥ ¾ ªk»Jµ¶ªw¼Áªwµ´{¦Q¥\µ§°ªkÀW¬Á«Qª¯W»kª¯ÅJ¥\³Ƕ©³W¥\¬Áîw¦Ã
¹¬ÁW¥H¹ªw³Ç\¥h¬}Qe®\ªw¯Y¹±«¦Q¼d¬dµ\¦¹ª4¦±µ\¬d¯¹©³¬¾ ®¶¹ªwµn©ªw¦Q¼Áù¬d»ª
¯ÅJ¯¹ªw» °×ǶªS©³ª¹¦Q¯²¯ì¸W»»®\¥h¬dÂS¦¹ª¹Ç¶©W®¶ÀWǦ
Ø4ÙqÚ
¥¶ªS¹Ê°Q©²bÒ
þ
AHJJF&3 HN
93F û
þû A þú
4tJF&3 B
=
þqù@û
F{
×þE
A A þj
F!
úo
A
3
Aþ
o
43@
û
;
û{úû ú þ fþ ú fþ
⥣
§¦©¨
àãÞ¢ª £ ?«¬ à£lª
Ù
¸W¥¹©W¼ÁÃʸW»k»k¦Q¥\µÕ¯Å¯¹ªw» ¬d¯¦[®¯#g°i}±{cd<e²¯"¯ÅJ¯Ã
¹ªw» °qǶªw¥0¹Ç¶ª¨hÇeů³¬dÂS¦Q¼½µ¶©³¬Á«Qªw¥í¨\©³Â¸ªw¯¯<Ç\¦Q¯±¹¬d¥JÃ
¹ªS©³¦Q¸¹¯¹©W¥¶ÀW¼dÅа׬d¹Ç ¬Á¹¯kªw¥e«J¬Á©W¥\»ªw¥e¹SÒÕñ{Ц)«QW¬dµ
¸©³¦Q¯Ç¯¬d¹®\¦¹¬ÁW¥\¯S´+¹Ç¶ªÂ¸W»¨h®¶¹ªS©&»H®\¯¹<©U®\¥1°q¬Á¹Ç1¦
¯¨}ªSªwµ ¸W»k¨h¦¹¬¾ ¼Áª§°q¬Á¹Çè¹Ç¶ªÐW¥¶ª1QÈ&¹Ç¶ª"¨~ÇÅJ¯¬dÂS¦Q¼
¨\©J¸ªw¯¯SÒDñǶªw¥´Y¯³®\³ÇЦ¯ÅJ¯¹ªw» ¬d¯³®¯g$´rc3djµ°¯~Òk¤¹<¬d¯
¸W»¨}W¯ªwµDQÈ_ªw¼Áªw»ªw¥e¹¦©Å¨\©³Â¸ªw¯¯ªw¯S´¥h¦Q»ªwµ¶c3g$·&¸ ·QÒ
ñǶªw¯ªÍ¹¦Q¯²J¯Ë»k¦wÅòÇ\¦)«Qªµ\¬Äó}ªS©ªw¥¹YÈÉ®\¥h¸¹¬ÁW¥\¯ï ¯ªSª^ˬÁÀÃ
®¶©ª~\ÒBWYªSÈM¹UðUÆ
¹ s ÂS¦Q¥\¥\¬d¥¶À¹¦Q¯²¯éÇ\¦w«Qª!¹ ÀQªS¹é¹Ç¶ªÓ¨~ÇÅJ¯¬dÂS¦Q¼
µh¦¹¦Q¯S´\¸W»k¬d¥¶ÀÈM©³W»Î¹Ç\ªÂS¦¨\¹Q©U¯4QÈ_¹Ç¶ª¨hÇÅJ¯¬ÄÃ
ÂS¦Q¼\¨\©J¸ªw¯¯SÒ½ñǶªw¯ªÂS¦¨h¹Q©³¯Í®\¯³®\¦Q¼d¼ÁÅ<¯ªw¥\µ&¹Ç¶ªw¬Á©
µh¦¹¦Q¯ò©ªSÀW®\¼N¦©³¼ÁÅQ´_°×¬d¹Ç"¦º¨hÇeů³¬dÂS¦Q¼½µ¶ª¸·~¥¶ªwµ0ÈÉ©ª¸Ã
Q®¶ªw¥\¸ªQÒRȸW®¶©³¯ªQ´¯ÂS¦Q¥\¥\¬N¥¶À4¹¦Q¯²¯{Ç\¦w«Qª¹ÀQªS¹
¹Ç\ª×µ\¦¹¦Q¯½°×¬d¹Ç&¹Ç¶ª×¯¦Q»ªÈÉ©ª&Q®¶ªw¥\¸ÅQÒ½ñǶªSÅ&¦©ª
ÂS¦Q¼N¼Áªwµ.a¯®d<_ º»dj´¹¦Q¯²¯wÒHñÇ\ªH¨}ªS©³¬dµ\¬NÂn¹¦Q¯²½¼¾
¬N¯×³Çh¦©³¦Q¸¹ªS©³¬ÁîSªwµ0°×¬d¹ÇÈÉW®¶©×¹¬d»¬d¥¶À¦¹¹©³¬¾ ®¶¹ªw¯SÆ
¬d¹¯Ja¯#®2d<_ º[¿ ¾ ´\¬Á¹¯Jº ¯g$º»ifd<À ¯©Á ¾ ´\¬Á¹¯Â»®·Ãc~g$´2±
cd1µ¢g¢cdj_DÀĺPg¢c¯ÆÅ&¾´\¦Q¥\µ¬Á¹¯?ÇȳÉÊc3dfe²¯©Ë̾Ò
¹Í
ªwÂS¬d¯³¬ÁW¥¹¦Q¯²J¯ ©ªw¸ªw¬d«Qªµ\¦¹¦Q¯¿ÈM©W» ¦Q¼d¼º¹Ç¶ª
¯³ÂS¦Q¥\¥\¬d¥¶À¹¦Q¯²J¯ï¦Q¥\µ_´Y¯W»ªS¹¬d»kªw¯S´_ÈÉ©W»Q¹Ç¶ªS©
µ\ªwÂS¬d¯¬ÁW¥\¦Q¼_¹¦Q¯²¯[ðUÒñǶªSźÇ\¦w«QªH¹¨h©µh®\¸ªò¹Ç¶ª
Î
)°ÏQÈ×µ¶©³¬d«¬d¥\Àµ¶ªwÂS¬d¯¬ÁW¥h¯<¹í¹©³¦Q¥\¯»¬Á¹<¹0¹Ç¶ª
¨h©Â¸ªw¯³¯»Q¹Q©Â¸W»k»k¦Q¥hµ\¯SÒR±È׸W®¶©³¯ªQ´¹Ç¶ªw¬Á©
¯¨bªSªwµ'»H®\¯¹ ¾ ª¬d¥'¦QÂS¸Q©³µ\¦Q¥\¸ª±°×¬Á¹ÇD¹Ç¶ªW¥¶ªQÈ
¯³ÂS¦Q¥\¥\¬d¥¶À&¹¦Q¯²J¯SÒ
¹ Ø
W»k»k¦Q¥\µô¹¦Q¯²J¯qÇ\¦)«Qª&¹D¹©³¦Q¥h¯»k¬Á¹×¸W»»k¦Q¥\µ
»kªw¯¯¦ÀQªw¯q¹k¹Ç¶ªò»Q¹Q©µ¶©³¬Á«J¬d¥¶À&µ¶ªS«J¬d¸ªw¯SÒ
ñǶªw¯ªÕ¨}ªS©³¬ÁJµ\¬d¹¦Q¯²¯¦©ªÔ¸W»¨h¼dªS¹ªwµÎ°q¬Á¹Çί¨bÃ
©³¦Qµ\¬NÂ×¹¦Q¯²J¯S´J°×Ç\¬N³Ç'¦©ªqW¥h¼ÁÅk¦Q¸¹¬Á«¦¹ªwµº°×Ƕªw¥'¦Q¼d¦©³»
¯¬ÁÀW¥h¦Q¼d¯Ð¦©³ªã©³ªw¸ªw¬Á«Qªwµ!ÈM©W» ¹Ç¶ªèÂS¦¨\¹Q©U¯SÒ ñǶªw¯ª
¹¦Q¯²J¯º¦©ª"³Çh¦©³¦Q¸¹ªS©³¬ÁîSªwµ ¾ Å¿¹Û°¹¬d»kªí¦¹¹©³¬¾ ®¶¹ªw¯SÆ
Ë̾¦Q¥\µhÁϾҤ¥§¹Ç¶ªÈMW¼d¼d)°×¬d¥\À¶´Y¦º©ªw¦Q¼Äù¬N»ª¯ÅJ¯¹ªw»
¬d¯¯®\¨\¨}W¯ªwµ¹
¾
ªò¸W»¨}W¯ªwµºQÈ+¹Ê°k¹¦Q¯²º¯ÅJ¯¹ªw»k¯SÆ
ï¼¾ð
¾<Ð#Ñ
4ÒÓ3Ô
¬d¯¹Ç\ª¨}ªS©³¬ÁJµ\¬dº¸W»¨}W¥¶ªw¥e¹QÈ<¹Ç¶ªô¯ÅJ¯Ã
¹ªw»º´4¦Q¥\µ>ïfÕ ¾ð
¾<ÐÑ
4ÒÖÔ
¬Á¹¯¥\W¥Jè}ªS©³¬ÁJµ\¬d¸W»k¨bW¥\ªw¥¹SÒ
ÖÔǶªw¥ ¹Ç¶ª ¨~ÇÅJ¯¬dÂS¦Q¼¿¨\©J¸ªw¯¯Î¬N¯Î¸W»¨~¼Áª¸Ì3ï ¯ªSªQ´
ÈÉQ©0¬N¥\¯¹¦Q¥\¸ªQ´òW¥×^ˬÁÀW®¶©³ª\Òê׬dÀWǹUðU´H¹Ç¶ª1©³ªw¦Q¼Äù¬d»ª
¸W»k»k¦Q¥hµ ¯ÅJ¯¹ªw» ¬d¯>QÈM¹ªw¥ µ\¬d¯¹©³¬¾ ®¶¹ªwµÆ?»k¦Q¥eÅ
¸W»¨h®\¹ªS©³¯ô¦©³ªÐ®\¯ªwµ_´n°×Ç\¬dÂUÇ ¦©ªÂ¸W¥\¥¶ªw¸¹ªwµ¹ã¦
¥¶ªS¹Û°Q©² ¾ ®\¯SÒ ^¶Q©ã©ªw¦Q¼Äù¬d»kª¯ÅJ¯¹ªw»k¯S´0¯¨}ªwÂS¬Ä·~Â
¥¶ªS¹Û°Q©²¨h©Q¹Â¸W¼N¯ ¦©ª®h¯ªwµ´¹ÎÀW®\¦©³¦Q¥e¹ªSª ¹Ç¶ª
©ªw¯¨}ªw¸¹>Qȵ¶ªw¦Qµ\¼N¬d¥¶ªw¯ãÈMQ©µ¶ªw¼d¬Á«©³¦Q¥\¸ªCQȸ©³¬Á¹¬dÂS¦Q¼
»ªw¯¯³¦ÀQªw¯SÒ s ¶´~¦kµ\¬d¯¹©U¬¾ ®¶¹ªwµD©ªw¦Q¼Äù¬d»kªò¯Å¯¹ªw» ÂS¦Q¥
¾ ªn«¬dªS°ªwµ¦Q¯×¨\©ªw¯ªw¥e¹ªwµºW¥Ø^ˬÁÀW®\©ª*mÒê׬ÁÀWÇe¹SÒ
Physical process
SignÙals
CommÚ ands τ
Û
1Ü
ScanninÙg task τ
Û
2
Ý
τ
Û
3
Þτ
Û
4
ßτ
Û
5
à
Commaánd task
Decision tasks
RTOâ S
Central computer N
ã
e
ät Command
computers Pilots
computer A real-TimÚ e Structure
A complex phåysical process
^ˬÁÀW®¶©ªY\Æ Ù ¥1ª¸Ì¶¦Q»¨h¼dªQÈ©ªw¦Q¼Äù¬N»ª¯ÅJ¯¹ªw» ÈMQ©&¦
¸W»¨h¼Áª¸Ì¨hÇeů³¬dÂS¦Q¼}¨\©J¸ªw¯¯
ænÝĪ äåç£
¦
Þ¶ßéè ⥣
§¦©¨
àãÞ¢ª £
à
*êé ìë Þ\à¤í î§Þ¶ßÞ\ण
æÏà äïª
à
ðì¦Q¼d¬dµ\¦¹ª¨h©QÀQ©³¦Q»k¯§Â¸W¥\¯³¬d¯¹¯§¬d¥é¨\©@«¬N¥¶ÀÔ¹Ç\¦¹"¦Q¼d¼
¹Ç¶ªw¬Á©q¨bW¯³¯¬¾ ¼Áª ¾ ªwÇ\¦)«¬dW®¶©³¯¦©ª&¸W¥\¯¬N¯¹ªw¥¹°×¬Á¹Ç¹Ç¶ª
¯ªw»k¦Q¥e¹¬dÂS¯4¦Q¯¯JÂS¬d¦¹ªwµ'°×¬Á¹ÇD¹Ç¶ª¨\©QÀQ©³¦Q»ºÒ^\Q©©ªw¦Q¼ÄÃ
¹¬d»ª¿¯Å¯¹ªw»¯S´¹Ç\¬N¯§«¦Q¼N¬dµ\¦¹¬ÁW¥ ¨h©Â¸ªw¯³¯1»H®\¯¹ ¾ ª
¸W»¨h¼ÁªS¹ªwµÐ°×¬Á¹Ç¦`c¯e²a_°®3gbi?µ,g°i<d<ºPg¢c3d<_°ÀÍ´½°×Ç\¬N³Ç
¸W¥\¯¬d¯¹¯k¬d¥¨\©@«¬N¥¶À0¹Ç\¦¹k°×Ç\¦¹ªS«QªS©D¹Ç¶ªªS«QW¼d®\¹¬ÁW¥
QȺ¹Ç¶ªã¨hÇÅJ¯¬dÂS¦Q¼D¯ÅJ¯¹ªw»º´º¥¶ ¹¦Q¯²»k¦wÅλk¬d¯¯Ð¬Á¹¯
µ¶ªw¦Qµ\¼d¬N¥¶ªQÒç^\Q©ô¬d¥\¯¹¦Q¥\¸ªQ´n¬d¥Ô¦¨h¼d¦Q¥¶ª ﯪSª²^+¬dÀW®¶©ª
\Òê׬ÁÀWÇe¹UðU´h¦H·h©³ª±¦Q¼N¦©³»Ï¯¬ÁÀW¥\¦Q¼ÂS¦Q¥\¥\Q¹
¾
ªn»k¬N¯¯ªwµ
¾ Å
¬Á¹¯ì¯ÂS¦Q¥h¥\¬d¥¶Àn¹¦Q¯² ¾ ªwÂS¦Q®\¯ª×QÈb¹Ç\ª×¸W»¨h®¶¹ªS©¯Å¯¹ªw»
¯Â³Ç\ªwµ\®\¼d¬d¥\À¨}W¼d¬d¸ÅQÒ
¤¥¹Çh¬d¯+¨h¦¨}ªS©w´Q°ª¦©ª¬N¥¹ªS©ªw¯¹ªwµ¬d¥H¹Ç¶ª4¹ªw»¨}Q©³¦Q¼
«¦Q¼N¬dµ\¦¹¬ÁW¥íQÈ4µ\¬d¯¹©³¬¾ ®¶¹ªwµô©ªw¦Q¼Äù¬d»ªk¯Å¯¹ªw»¯SÒ¶R±®¶©
¹ªw³Ç\¥h¬}Qe®\ª¶Znv3]oZn]Y¬d¯ ¾ ¦Q¯ªwµW¥¦&©ªw¦Q¼Äù¬d»kªn¹¦Q¯²¹ªw»&Ã
¨}Q©³¦Q¼q»kµ¶ªw¼Æ"¦1¹¦Q¯²ã¬d¯'¦Q¯¯JÂS¬d¦¹ªwµÔ°×¬Á¹Çã¦1©³ªSÀW®JÃ
¼d¦©¼d¦Q¥\ÀW®\¦ÀQª¹Ç\¦¹D¸W¼d¼Áªw¸¹¯'¦Q¼d¼¬Á¹¯ µ¢gbifd<ºñc¯,e²a_¢±
®3g°iò!¯ó gµd<_Dô®·QÆÈMQ©¶õÆöø÷4´±¦0¹Ã«¦Q¼N¬dµ¹ªw»¨}Q©³¦Q¼
¾ ªwÇ\¦w«J¬ÁW®¶©kQÈò¦Ð¹¦Q¯² ¬d¯D¦Q¥ÕÇh¬d¯¹Q©ÅQÈò¬Á¹¯D¨\©J¸ªw¯Ã
¯Q©º¦Q¼d¼ÁJÂS¦¹¬ÁW¥ã¹¬d»ª0®\¥\¬Á¹¯DW¥§Zù,ú4õÃZ4¯®\³Çã¹Ç\¦¹°ª
ÂS¦Q¥ãÀW®\¦©³¦Q¥e¹ªSªí¹Çh¦¹'¬d¥¿¹Ç¶ªíÈÉ®¶¹®\©ªÐï¬ÒÿªQÒñZõúû*üýZð
QȹÇ\ª"¹¦Q¯²b´¹Ç\ªS©ª1¬d¯º¦¹¼dªw¦Q¯¹ºW¥¶ª"¨}W¯¯¬¾ ¼Áªí¨\©Ã
¸ªw¯¯Q©0¦Q¼d¼ÁJÂS¦¹¬ÁW¥ ¯ª&Qe®¶ªw¥h¸ª1¸W»¨h¦¹¬
¾
¼Áª"°×¬Á¹Ç>¹Ç¶ª
¹ªw»¨}Q©³¦Q¼Â¸W¥\¯¹©³¦Q¬d¥\¯¹¯kQȹÇ\ªº¹¦Q¯²~ÒýR±¥ ¦Q¥Õ¦Q¼ÁÀQª¸Ã
¾ ©³¦Q¬dÂ'¨h¼N¦Q¥´Í¹Ç¶ªw¯ª«¦Q¼N¬dµ¹ªw»¨}Q©³¦Q¼ ¾ ªwÇ\¦w«J¬ÁW®¶©U¯¦©ª
°Q©Uµ\¯Æþÿö°ú
¹
´q°×ǶªS©ª¿¯ÅJ» ¾ W¼N¬ÁîSªw¯¹Çh¦¹ ¼¾
)°×¥h¯¦&¨\©J¸ªw¯¯Q©ÈÉQ©W¥¶ª±¹¬d»ªn®\¥\¬Á¹S´J¦Q¥\µ
¹
¹Ç\¦¹¼¾
¬d¯×¯³®\¯¨}ªw¥\µ¶ªwµºÈÉQ©W¥¶ª¹¬N»ª®\¥h¬Á¹SÒÑתw¥h¸ªQ´~¹Ç¶ªH°Q©³µ
¹¹
D»Jµ¶ªw¼d¯4¦&¨\©³Â¸ªw¯¯Q©¦Q¼d¼ÁJÂS¦¹¬ÁW¥¯ª&Qe®\ªw¥\¸ª
°×ǶªS©ª©¼¾©³®\¥\¯<ÈMQ© p¹¬d»ªD®h¥\¬Á¹¯S´+¦Q¥\µÐ¥\ª¸Ì¹&¬d¯<¯³®\¯Ã
¨}ªw¥\µ¶ªwµÈÉQ©mò¹¬d»ª®\¥\¬Á¹¯S´e¦Q¥\µ¹Ç\ªw¥k©³®\¥h¯ìÈÉQ©m<¹¬d»ª
®\¥\¬Á¹¯wÒ
¤¥lZnv]´}°ª¯Ç¶)°C¹Ç\¦¹±¹Ç¶ª¯ªS¹ôïE¼¾ðQÈ͹ǶªH«¦Q¼d¬dµ
¹ªw»¨}Q©³¦Q¼ ¾ ªwÇ\¦)«¬dW®¶©³¯0QȺ¦èÀW¬Á«Qªw¥¨bªS©U¬Áµh¬dÂ1¹¦Q¯²
¬d¯ Ë õ&Å
¹
ï¹
¹!"#$
ÒÖÔǶªw¥
¹Ç¶ªS©ªí¬d¯k©³ªw¯W®¶©³Â¸ª0¯Ç\¦©³¬N¥¶À§Q©'¸W»»®\¥h¬dÂS¦¹¬ÁW¥ ¾ ª¸Ã
¹Ê°ªSªw¥é¹¦Q¯²J¯S´n°ª®\¯ª§¹Ç¶ªÐÑq¦Qµ\¦Q»¦©³µ>¨\©³µ\®h¸¹ºQÈ
¼d¦Q¥¶ÀW®h¦ÀQªw¯ÈÉQ©×»Jµ¶ªw¼Â¸W¥\ÂS®¶©©³ªw¥\¸Å~ƼÁªS¹þ¿¦Q¥\µ&% ¾ ª
¹Ê°&¹ªw»¨}Q©³¦Q¼\«¦Q¼d¬dµ ¾ ªwÇ\¦w«J¬ÁW®¶©³¯ÍQȹ¦Q¯²J¯¼
¦Q¥\µÆ¼
´
¹Ç¶ª
¾
ªwÇ\¦)«¬ÁW®\©ïjþú'%ð×QÈ͹Ƕªk¯ÅJ¯¹ªw» ïf¼
ú{¼
ð¬d¯¹Ç¶ª
°Q©³µ
( þ
%
*) ( þ
%
+) ,-,-,
,-,-,
(
þ/.01.
% .2.
)
ñǶª«Qªw¸¹Q©
(
þ ¾
%¾
)
»Jµ¶ªw¼d¯ô¹Ç\¦¹.¼
¬d¯í¬d¥é¯¹¦¹ª
þ ¾°×Ç\¬N¼Áª ¼
¬d¯Ô¬d¥,¯¹¦¹ª3%¾ÛÒ Ö§ªµ\ªw¥¶Q¹ª ¹Ç\¬d¯
Q¨}ªS©³¦¹¬ÁW¥ þ546%¶Ò ñÇ\¬N¯¨\©Jµ\®\¸¹ ¬N¯ ¥\¦¹®¶©U¦Q¼d¼ÁÅ
ª¸ÌJ¹ªw¥\µ¶ªwµ ¹8¼d¦Q¥¶ÀW®\¦ÀQªw¯!¬d¥ ¹Ç¶ª °¦)Å75498 :
&þ546%$ú)ïjþú'%eðÌö&<;=8
Ò
ñ{ ¯ÅJ¥\³Ç\©W¥\¬ÁîSª ¹¦Q¯²J¯S´ °ª ®\¯ª
Ù
©³¥¶W¼dµJÃ
Ú ¬Á«¦¹->¯ ¹ªwÂUÇ\¥\¬}Q®¶ªw¯ ZB3]Æ ¬d¯ ©ª¸·~¥¶ªwµ ¬d¥
°ú@?ÅAEõBA ?CDFEõB#õG&- õHE
´ ¦Q¥hµ ¹Ç¶ª ¯Å¥\ÂUǶ©Ã
¥\¬Áîw¦¹¬dW¥ QÈ ¹¦Q¯²¯ ¬d¯ ¬d»¨h¼Áªw»kªw¥¹ªwµ ¹Ç¶©W®¶ÀWÇ
¦Q¼ÁÀQª ¾ ©U¦Q¬dÂQ¨}ªS©³¦¹¬ÁW¥\¯ìW¥k¹Ç¶ª×¯ªS¹¯ÍQÈ}«¦Q¼d¬dµ&¹ªw»¨}Q©³¦Q¼
¾ ªwÇ\¦w«J¬ÁW®¶©U¯SÒ ñǶª ¹ªw»¨}Q©³¦Q¼ ¾ ªwÇh¦w«J¬ÁW®¶©³¯§Znv]ÐQÈ
¦á¹¦Q¯² ¯ÅJ¯¹ªw» ¬N¯è¹Ç¶ªÎ¸ªw¥e¹ªS©CQȹǶªÎ¯Å¥\ÂUǶ©Ã
¥\¬ÁîSªwµá¨\©Jµ\®\¸¹QÈô¹Ç\ªIôï¼ ¾ ðJ>¯SÒ ñÇ\¬N¯¼d¦Q¥¶ÀW®\¦ÀQª
¬d¯<+Keïf¼¾ð
¾jÐÑ
4ÒÓÔML
: Ë õ&Å (1N
PO
¾RQ
Ó
4
¾MQ
íïf¼¾ ð ) ´
°×ǶªS©³ª
s
¸W¼d¼Áªw¸¹¯D¦Q¼d¼4¹Ç¶ªTSU þ
Æ
þ Ó VW
¸Q©³©ªw¯¨}W¥\µ\¬d¥\À
¹k«¦Q¼d¬dµº¬d¥h¯¹¦Q¥¹¦Q¥\ªSW®\¯Â¸W¥J·hÀW®\©³¦¹¬ÁW¥\¯SÒ
X Ý¿à¤íñ£ ç ß ßñ£àë äâ¥êÞ¶ßéè
Y
âCäéà äÓçä
¦
ñǶª Ø4ÙÚ[Z
¨h©Q¹Â¸W¼}°4¦Q¯µ¶ªS«Qªw¼dQ¨bªwµÈÉ©W» \\rrpÒ¤Û¹
¬d¯ì¦?V Ù×Ø ¼N¦wÅQªS© ¾ ¦Q¯ªwµ&W¥ Øs V Ù^]Ù V T ¹ªwÂUÇ\¥\¬}Q®¶ªQÒ
ÖÔǶªw¥¦¥¶Jµ¶ª±¹©³¦Q¥\¯»¬Á¹¯4µ\¦¹¦Q¯S´h¬Á¹4ÈÉW¼d¼Á@°×¯4¹Ç¶ª±¨\©Ã
¹J¸W¼Yµ¶ªw¯¬dÀW¥¶ªwµW¥Y^ˬÁÀW®¶©³ª?mÒBWYªSÈM¹SÆ
\Ò¤¹°4¦Q¬Á¹¯ÈÉQ©×»ªwµ\¬N®\»ÏÈM©³ªSªw¥¶ªw¯¯SÒ
mÒ¤¹D¯¹¦©¹¯D¦Q¥ã¦©
¾
¬d¹©³¦¹¬ÁW¥ ÀW¦Q»kªQÒ`_ì«QªS©Å ¥\µ¶ª
¸W¥h¸ªS©³¥¶ªwµ¬N¥º¦&¹©³¦Q¥\¯»k¬N¯¯¬ÁW¥°×¬N¼d¼h¨~¼d¦wÅQÒ
pÒ×ñ×Ƕª§¦© ¾ ¬Á¹©³¦¹¬dW¥ÕÀW¦Q»kª§°×¬d¥\¥¶ªS©'¹©³¦Q¥\¯³»k¬Á¹¯º¬Á¹¯
»kªw¯¯¦ÀQªQ´¦Q¼d¼4Q¹Ç¶ªS©'¥¶µ\ªw¯&©ªw¦Qµ ¬Á¹ïɹ©³¦Q¥h¯»k¬d¯Ã
¯³¬ÁW¥ÈÉW¼d¼Á@°×¯×¦ ¾ ©W¦Qµ\ÂS¦Q¯¹¬N¥¶À¨\©³Q¹Â¸W¼MðUҤȽ¹Ç¶ª
a û
9b 3
ú
b:A þEqþÊúc&
b:A þE"d
4
d @ þ
ABF
þ
ABJ
e
wþû B ûËø_û ú/f þ û$c
¬Á¹°×¬d¼d¼h¹©Å¦ÀW¦Q¬d¥'¹H¹©³¦Q¥\¯»¬Á¹¬N¥k¹Ç¶ªÈÉ®\¹®¶©ªQ´J¦Q¯
¯W¥¦Q¯¬d¹ÂS¦Q¥Ò
q¶Òqñ{©³¦Q¥\»k¬N¯¯¬ÁW¥§¬d¯ò¹ªS©³»k¬d¥\¦¹ªwµÐ°×¬Á¹Ç1¦hg^ikj¯¬ÁÀÃ
¥\¦Q¼Ò
Nolde Nolde Nolde
…
N
m
e
nt τ
o
1p oτ2q τo4s τo3r
τ
o
5
t αu 1p
α
u
2
q
CAN Pvrotocol
Structure of a distribuwted real-time system τ
o
1p
τ
o
2
q
τ
o
3
r
τ
o
4
s
S
x
c
y cy cy c
y
c
y cy cy cy tz tz tz tzE{
Network| activity S
x
c
y
c
y
c
y
c
y tz tz tzE{
S
x
S
x
c
y
c
y
t
zE{
S
x
c
y tzE{
S
x
c
y cy cy cy tz tz tz tzE{ Sx cy cy tz tz tzE{ Sx cy tzE{ Sx cy tzE{
Recenive t
z
Tran}smit
c
y Compentition S
x
Start com~ petition E
{
End of tran}smission
^ˬÁÀW®¶©ª³mÆ ØÙqÚ
¨\©Q¹J¸W¼
õq¯ªwµ¹á¹©³¦Q¥\¯»¬Á¹ã¦ ¯ªS¹èQÈШ}ªS©³¬dµ\¬N »ªw¯¯³¦ÀQªw¯
°×ǶW¯ª¹©U¦Q¥\¯»k¬d¯³¯¬ÁW¥0µ\¦¹ªw¯òÂS¦Q¥ ¾ ª¯¹¦¹¬NÂS¦Q¼d¼ÁÅ0¸W»&Ã
¨h®¶¹ªwµ´~¹Ç\¬d¯×¨\©Q¹J¸W¼{¬d¯qµ¶ªS¹ªS©³»k¬N¥\¬d¯¹¬dÂÒ4¤¥¨}ªS©³¬ÁJµ\¬dÂ
©ªw¦Q¼Äù¬d»kªD¯ÅJ¯¹ªw»k¯S´½¹Ç\ª'¸W»¨}ªS¹¬Á¹¬dW¥Ð¬dµ\ªw¥¹¬Ä·~ªS©³¯òQÈ
¹Ç¶ªk¥¶Jµ¶ªw¯n¦©ªk»ªw¯³¯¦ÀQªw¯<¬dµ\ªw¥¹¬Ä·~ªS©³¯SÒ Ù ¯nȦ©<¦Q¯n°ª
²¥\)° ¯¹¦¹¬NÂS¦Q¼d¼ÁÅ'¹Ç¶ªn©ªw¼d¦¹¬ÁW¥ ¾ ªS¹Û°ªSªw¥ô¯ªw¥\µ¶ªS©U¯¦Q¥\µ
»ªw¯¯¦ÀQªw¯w´¹Ç\ª§¹©³¦Q¥\¯»k¬N¯¯¬ÁW¥Ôµ\¦¹ªw¯ÂS¦Q¥ ¯¹¦¹¬dÂS¦Q¼d¼ÁÅ
¾ ªÂ¸W»¨h®¶¹ªwµ_ÒÔñ×Çe®\¯w´°ªôÂS¦Q¥Õ®\¯ªôW®¶©¹ªwÂUÇ\¥\¬}Q®¶ª
ÈMQ©×¹Ç\¬d¯4¨\©Q¹J¸W¼ Ò
±ÝĪ äåç£
¦
Þ¶ßéè
çäïª ª æ!ßÞbç
àãÞbäß ë Þ\à¤í
î§Þ¶ßÞ\ण
æ!à äïª
à
Ødj¯ ÆdfÀh´ _De²e.ôPÀ d<´ g$c3d<_°À gb· cg$·&¸ ·
Vô¦Q¥h¦ÀW¬d¥¶Àô¬N¥¹ªS©³µ\ªS¨bªw¥hµ¶ªw¥\¸ªQ´Ë¼d¬Á²QªÂ¸W»k»H®\¥\¬NÂS¦¹¬ÁW¥´
¼Áªw¦Qµ\¯{¹qÀW¦©U¦Q¥¹ªSª¹Ç¶ªÂ¸Q©©ªw¯¨}W¥\µh¬d¥¶À¨\©³Q¨bªS©³¹¬Áªw¯_ÈÉQ©
¹Ç¶ªn¹¦Q¯²J¯SÆ»H®¶¹®\¦Q¼}ª¸Ì¶ÂS¼d®\¯³¬ÁW¥´J¨\©ªw¸ªwµ¶ªw¥h¸ªòªS¹ÂÒ
¤¥
Ù
©³¥¶W¼NµJÃ
Ú
¬d«¦¹->¯4»Jµ¶ªw¼»ZB3]´¶¹Ç\¬d¯Â¸W¥¹©³W¼¬d¯4¬d»&Ã
¨h¼Áªw»ªw¥e¹ªwµè¹Ç¶©³W®¶ÀWÇè«J¬Á©¹®\¦Q¼n¹¦Q¯²¯S´n°qǶW¯ª"©W¼dª1¬d¯
¹D»Jµ¶ªw¼¨~ÇÅJ¯¬dÂS¦Q¼©³ªw¯W®¶©³Â¸ªw¯×Q©»ªw¯³¯¦ÀQªw¯SÒ Ù ©U¥¶W¼dµ
¦Q¥\µ
Ú
¬d«¦¹Â¸W¥\¯¬Nµ¶ªS©4¹Ç¶ªn¸W»k»®h¥\¬dÂS¦¹¬ÁW¥¦Q¯¦¯¼d¦)«Qª
¹¦Q¯²bƬÁ¹ò¬d¯n¦Q¯³¯ÂS¬N¦¹ªwµ"°×¬Á¹Ç1¦º©ªSÀW®\¼d¦©ò¼N¦Q¥¶ÀW®\¦ÀQªkQÈ
¾ ªwÇ\¦w«J¬ÁQ©³¯S´
´n¬ÒÿªQÒϹ ¦Q¥>¦Q®¶¹W»k¦¹W¥
ÒñǶª
¼d¦Q¥¶ÀW®\¦ÀQª:
(
¾RQ
Ó
4
¾RQ
ïôïf¼¾ðð
) 4 (
Q1
4
Q ï
B
ð )
¬d¯¦
¯ªS¹QÈ°Q©³µh¯ ¾ ®\¬d¼Á¹HW¥ ¦Q¥¦Q¼Á¨~Ç\¦ ¾ ªS¹H°qÇ\¬d³ǼÁªS¹¹ªS©U¯
¨h¦¹¹ªS©³¥§¬d¯ï
ú
,-,-, ú@
Ó
ú'E
ú
,-,-,
ú'E±ðU´°×ǶªS©³ªH¹Ç\ª#¾>¯
¦©ªí¹Ç¶ª`¼ ¾ >¯¯¹¦¹ªw¯S´q¦Q¥hµ ¹Ç¶ªE ¾ >¯D¹Ç¶ªí¯³¼d¦w«Qªí¹¦Q¯²J¯
¯¹¦¹ªw»ªw¥e¹¯SÒ Ù °Q©³µ þ`: ïjþ
ðïjþ
ð <þ .0#.
ö
¬d¯¦1«¦Q¼N¬dµ
¾
ªwÇ\¦w«J¬ÁW®¶©QÈn¹Ç¶ª¹¦Q¯²Õ¯Å¯¹ªw»:ï¬d¥ ¹Ç¶ª
»H®\¥\¬dÂS¦¹¬ÁW¥ ¨\©Q¹J¸W¼d¯Uð&¬ÁÈ´ÍÈÉQ©ªw¦QÂUÇ þ ¾ ´¹Ç¶ªª¸ÌJªwÂS®JÃ
¹¬ÁW¥ÐQȦ
¸©³¬Á¹¬NÂS¦Q¼Í¯¹¦¹ªw»ªw¥e¹ï T Q©ðòð ¾ Å§W¥¶ª
QÈ_¹Ç¶ªU¼@>¯4¬d¯Í¦Q¼d°¦)ů4¯¬d»H®\¼Á¹¦Q¥\ªSW®\¯¼ÁÅH¨}ªS©ÈMQ©U»ªwµ ¾ Å
¹Ç¶ªô«¬Á©³¹®\¦Q¼4¹¦Q¯² ¦Q¯¯JÂS¬d¦¹ªwµÕ°×¬Á¹Ç+
ÒãñÇh¬d¯k¸W¥JÃ
¯¹©³¦Q¬N¥¹1¼dªw¦Qµ\¯.þ ¹ÈMW¼d¼d)° ¹Ç¶ª¿¨\©ªwµ\¬dÂS¦¹ªQÆ#Aøö
Z\2úþ]EúB ö§Z\2úHG ]EúB#Õ¸©³¬Á¹¬dÂS¦Q¼4¯¹¦¹ªw»ªw¥e¹W¥
´
þ ¾
: 1ýö Z\2úH ]n¯®\³ǿ¹Ç\¦¹~þP¾¡ ¢: þ ¾
Ò
W_ªS¹k®h¯ÂS¦Q¼d¼
N
¹Ç¶ª¯ªS¹QÈ«¦Q¼N¬dµ1«Qªw¸¹Q©U¯ôï¬ ÒÿªQÒ¹Ç\¦¹
ÈÉW¼d¼Á)°q¯Í¹Ç¶ªq¨\©ªS«J¬ÁW®\¯Í¨\©ªwµ\¬dÂS¦¹ª@ðUÒP_¦Q³ÇÆþ¬N¥£
O N
¬d¯¦k«¦Q¼d¬Nµ ¾ ªwÇh¦w«J¬ÁW®¶©wÆì¬Á¹©³ªw¯¨}ªw¸¹¯ ¾ Q¹Çº¹Ç¶ªò¹ªw»¨}Ã
©³¦Q¼+¸W¥\¯¹©³¦Q¬N¥¹¯q¦Q¥\µ¹Ç\ª<¨\©Q¹J¸W¼+®\¯ªwµÈÉQ©±¯Ç\¦©³¬d¥\À
¸©³¬Á¹¬NÂS¦Q¼ì©ªw¯W®\©³Â¸ªw¯SÒ VQ©ªS@«QªS©w´Í¬Á¹ÂS¦Q¥ ¾ ª¬d¥J·b¥\¬Á¹ªw¼ÁÅ
ª¸ÌJ¹ªw¥\µ¶ªwµ ¾ Å'©ªw¯¨}ªw¸¹¹k¹Ç¶ªw¯ªÂ¸W¥\¯¹©³¦Q¬d¥e¹¯SÒ
¤¥"¹Ç¶ªD¥¶ªS¹Â¸W»k»H®\¥\¬NÂS¦¹¬ÁW¥"¸W¥e¹ª¸Ì¹S´½°ªª¸ÌJ¹ªw¥\µ
¹Ç\¬d¯¦¨\¨\©³W¦Q³Ǵ_¦QÂS¸Q©³µh¬d¥¶À'¹Ç¶ªH¥\ªS¹q¹º¦'¯¼d¦w«Qª&¹¦Q¯²bÒ
ñÇ\¬N¯¹¦Q¯²'»H®\¯¹Ç\¦)«Qªò¯W»ªn¨h¦©¹¬NÂS®\¼d¦©4³Ç\¦©³¦Q¸¹ªS©U¬d¯Ã
¹¬dÂS¯<Æ
¹
¤¹×¬d¯¥\Q¹¨\©ªSªw»¨h¹¬Á«QªÆìW¥\¸ªH¦»ªw¯¯¦ÀQª¹©³¦Q¥\¯Ã
»¬d¯¯¬ÁW¥¯¹¦©³¹¯>W¥,¹Ç¶ªÓ»kªwµ\¬d®\»º´Ð¥¶Q¹Ç¶ªS©
¹©U¦Q¥\¯»k¬d¯³¯¬ÁW¥ÂS¦Q¥¬d¥e¹ªS©©³®\¨\¹¬Á¹SÒ
¹
ñ×Ƕª'»kªwµ\¬d®\» °Q©³²1¬d¯&¬d¥\µ¶ªS¨}ªw¥\µ\ªw¥¹òÈÉ©W»8¹Ç¶ª
¯³¬Á¹ªw¯SÒ¤¥W®¶©»µ\ªw¼´h°ªÂ¸W¥\¯³¬dµ¶ªS©q¬d¹×¦Q¯q¦¨\©Ã
¸ªw¯³¯Q©wÒ
ñÇ®\¯S´<¥\ªS¹í¸W»k»H®\¥\¬NÂS¦¹¬ÁW¥¬N¯¦ã¥¶W¥ ¨h©ªSªw»¨\¹¬Á«Qª
¯¼d¦)«Qª¹¦Q¯²bÒñǶªw¥´+¬Á¹<¬d¯ò»kµ¶ªw¼dªwµ0¹Ç¶©W®¶ÀWÇЦ·~¥\¬Á¹ª
¦Q®¶¹W»k¦¹W¥¿°×Ç\¬dÂUǯ¹©³®\¸¹®\©ªµ\¬Á©ªw¸¹¼dÅ1µ¶ªS¨}ªw¥\µ\¯HW¥
¹Ç¶ªÈMW¼d¼d)°ªwµ¨\©Q¹J¸W¼ÒJ^¶Q©
Ø
¦Q¥´~¹Ç¶ª
Ú
ªS¹Â¸W»k»H®JÃ
¥\¬dÂS¦¹¬dW¥¦Q®¶¹W»k¦¹W¥ô¬d¯µ¶ªw¯Â¸©U¬¾ ªwµ'¬N¥º¯ªw¸¹¬ÁW¥"Ò
¤&ÀDc¯b®g¢c3dfÀ Ç¥§¦ aP®3_bc_ ´ _°iYd<ÀDc3_ ÂNÀPd1c3¯ g°ô ±
c_Dehg¢c3g[eh_ ºP¯i
¤¥¹Ç¶ª Ø4ÙÚ ¨\©Q¹J¸W¼´¦<¹¦Q¯²kÂS¦Q¥ ¾ ª×¬d¥kÈÉW®¶©¯¹¦¹ªw¯
ÆH°¦Q¬Á¹¬N¥¶À¶´Y¨\©³ªS¨h¦©ªk¹Ç¶ª'¸W»¨}ªS¹¬Á¹¬ÁW¥´+¸W»¨}ªS¹¬Á¹¬ÁW¥
¦Q¥\µ¹©³¦Q¥\¯³»k¬d¯¯¬dW¥Ò
s
¶´Í¬Á¹&¬d¯&¥\¦¹®¶©³¦Q¼N¼ÁÅ"¦Q¯¯JÂS¬d¦¹ªwµ
°×¬Á¹ÇD¦òÈÉW®¶©¯¹¦¹ªw¯¦Q®\¹W»k¦¹W¥§ï ¯ªSª^ˬÁÀW®¶©³ªpWðUÒÍñǶª
^ˬÁ©³¯¹D¯¹¦¹ªô¬d¯k¹Ç¶ª°4¦Q¬Á¹¬d¥¶À"¯¹¦¹ªQ´°¦Q¬d¹¬d¥¶À§ÈÉQ©¹Ç¶ª
»ªwµ\¬N®\» ÈM©³ªSªw¥¶ªw¯¯SÒ
Ù ¥ ¬d¥\¸W»¬d¥¶À§»ªw¯¯¦ÀQªô¬d¯&©ªS¨¶Ã
©ªw¯ªw¥e¹ªwµ ¾ Å'¹Ç¶ª s R?^й©U¦Q¥\¯¬Á¹¬ÁW¥_´¶¹Ç¶ª<¯ªw¸W¥\µô¯¹¦¹ª
¨\©ªS¨~¦©ªw¯¹Ç¶ª<¦© ¾ ¬Á¹©³¦¹¬ÁW¥ÀW¦Q»ªQÒñÇ\ªw¥º¹Ç¶ª<¸W»¨}ª¸Ã
¹¬Á¹¬ÁW¥ ¾ ªS¹Ê°ªSªw¥1¦Q¼d¼Í¹Ç¶ª»ªw¯¯³¦ÀQªw¯ ¾ ªSÀW¬d¥\¯wÆò¹Ç¶ª¯ÅJ¯Ã
¹ªw» ¬N¥¹Ç¶ª¯¹¦¹ª½pÒ R±¥\¸ªº¹Ç\ª¦© ¾ ¬Á¹©U¦¹¬ÁW¥ÀW¦Q»ª
·~¥\¬N¯Ç¶ªw¯S´¹Ç¶ªn¦Q®¶¹W»k¦¹W¥ºÀQªw¯¬d¥e¹&¹Ç¶ªn¯¹¦¹ª?qk¦Q¥\µ
¹Ç¶ªô°×¬d¥\¥¶ªS©k¯¹¦©¹¯¹©U¦Q¥\¯»k¬Á¹¹¬N¥¶À"¬Á¹¯»kªw¯¯¦ÀQªQÒ Ù ¹
¹Ç¶ªªw¥\µQȽ¹Ç¶ª¹©³¦Q¥\¯»¬d¯¯¬ÁW¥_´¶¹Ç¶ª¦Q®¶¹W»¦¹W¥ÀQªw¯
¾ ¦Q³²'¹D¹Ç¶ª±·h©³¯¹¯¹¦¹ª ¾ ÅD¹Ç\ª_R±ñ蹩U¦Q¥\¯¬Á¹¬ÁW¥_Ò
¥ ¨z-©#ªz'«-¬bx®¯×´ _De²e.ôPÀPdj´g¢c3d<_°À ò¯c°Ï¯#¯,À
®¯#gbi1±{c3dfe²¯Øcgb·&¸ ·
ñǶªÍ¹©³¦Q¥\¯»k¬d¹¹ªS©_¨}ªS©ÈMQ©U»k¯½Æ s ªw¥hµ´)°4¦Q¬Á¹¬d¥¶À¬N¥\¯¹©³®\Â[Ã
¹¬ÁW¥\¯w´¹©U¦Q¥\¯»k¬d¯³¯¬ÁW¥´±_RnñnÒ@ñÇ\ªÍ©ªw¸ªw¬Á«QªS©Ë¨}ªS©ÈÉQ©³»k¯SÆ