HAL Id: inria-00156468
https://hal.inria.fr/inria-00156468
Submitted on 21 Jun 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
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,
Loosely Time-Triggered Architectures based on Communication-by-Sampling
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Stavros Tripakis
To cite this version:
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli, et al.. Loosely Time-Triggered Architectures based on Communication-by-Sampling. [Research Report]
PI 1854, 2007, pp.41. �inria-00156468�
I
RI
SA
IN STITU
T D E R
EC HERCH
E EN INF ORM
ATIQ UEET
SYST ÈMES
ALÉATOIRES
P U B L I C A T I O N I N T E R N E
No 1854
LOOSELY TIME-TRIGGERED ARCHITECTURES BASED ON COMMUNICATION-BY-SAMPLING
A. BENVENISTE , P. CASPI , M. DI NATALE , C. PINELLO , A. SANGIOVANNI VINCENTELLI , S. TRIPAKIS
INSTITUT DERECHERCHE EN INFORMATIQUE ETSYSTÈMESALÉATOIRES
Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr
!"$#% &#('" *),+ -.
/
012'".3 4+5#(6.7)80:9+6<;,.3 =
>@?&ACBEDGF:BHDIKJLMBON&PQ?&R8SJUTINWVX?&Y3I[Z"SL\S]KBNWR3?&P^IKD%BE]K]`_aNb>?bc%SdDe:I`_fFdSDDI
g IKDhHBEDGLMBH]K]`IiNWc?bjlkUI`TbSdmnIKJ o:o
prqfsutwvx8yzs {|}x8x6~7{zEtws
& |}uytlpr
~77{z\t|},Ety 7y5nUH\6H~77y6HE5 }}yzs
%z\7}}
y[}¡7¡ yUss(t¢y |H7yx|£dx777^5s¤ytb|£: |f{yzsws¤yUs¥ ¢7¦{$¢{|HxCx0~77¦{tys¤qr{$¢ |}|}~s§q
|H¨¡f¦sut 7~ftwyz¡t¤£©| x,ªb«¢7yl«xCyi« }}y yU¡0¬ {$¢twyz{tw~ y6®¯« «%¬Q°W |}d|Hsyz¡Crq8±Q|}dytw²£©|
tw¢7yQ{|}x8x6~7{z\tw§|H¨x8yz{$¢}7sx³|£6¡7s¤t §~ftyU¡7¦\t¤£©| x´|}µdy s4¡f yU{t4x8}777tw¢\t4¥|H~7¦¡
yUs¤y ¶ y,t¢7ys¤yzx8}Et¦{s¨|}£^t¢7ys¤dyz{·d{\tw§|Hnª¹¸l|\¥y ¶ y Uº t$s3y»7}{t§x87yx8yzHt$\tw§|H¼xMq º \t
tw§x8yUs º y6 |H7yx\tw{Hs §t yz½E~7yUst¢7y0¡fs¤t 7~ftyU¡¾7¦\t£©| x¿t|¢ ¶ y5tw¢7y0{§|f{$Àfs |£b§twsi{|Hx0Á
d|}yEtwsdy £©yz{tqs¤qr{$¢ |H7§²zyz¡Gª y5 |H|Es¤y^Hsx87yx8yEtwt|}, {$¢7§tyz{t~ y5 y¦\»7t|}|}£
« «%¬¿{z§yU¡ÃÂn|r|Hsyq@«x8yÁÄ«
§H}y
yU¡@¬
{$¢7§tyU{tw~
yÅ®`Âf« «(¬i°
º
§O¥ ¢7{$¢Æ{|}x87~ftw§Å~77§tws6y
Á
£©|
xǥ
twyzs0§Etw|}¡
yz}¡s£
|}xÈt¢y3{|}x8x6~7{z\t|}OxCyU¡f~7x2§¡fydy¡7yEtq
º t
}Hy
yz¡rq
|f{}
º
½E~}s§ÁKdy
§|f¡f¦{^7~7ti7|H@sqr{$¢
|}7²yU¡
º
{§|f{$ÀfszªiÂf« «%¬¹|}µdy
sis|}x8y6|}£bt¢7y8}¡
¶
}Ht$Hyzs[|}£
« «%¬X¥ tw¢@|\¥y
¢
¡f¥4
y0{|Hs¤ti}¡@
yz\twy
lÉ
y»f7§§tuq}ª0pr|"£¯
Âf« «%¬X¥}sis¤t~¡fyz¡Ê£©|
s§}y
¡7
yz{t|}}:tu¥|}ÁK~sy
s{|HxCx0~77¦{t|}s4|
¶ y
¾Âf« «Ë~sª4Ìiy7y
}:t|}d|}|}Hq¨¥}s7|}tlsutw~¡fyz¡Gª
Í ¨t¢7¦s&}y ¥4y[ |}d|Hsy[¡fyUs¤} É |\¥Îtw¢\t4ys~ yzss¤yzx8}Et¦{s& yUs¤y ¶ \tw§|HC£©| }¨Âf« «Ï{|Hx0Á
x0~77¦{t|}37ytu¥4| À¨¥ §t¢¾ 7§t q8t|}d|}|}Hq}ª&±5yzq¨yyx8yEt$s[ yitu¥|87yz¥Ð |tw|f{|}¦s£©| {§|f{$À
yHy7y t|}¾¡¾ yz¡f¦{tw¶ yt \Ѩ{0s¤¢}77ªÒQ~ 7 |HH{$¢ yz§yzsQ|}Êx\t¢yx\tw{zÓ¾|f¡fy
|}£bÔ|HxCx0~77¦{t|}®¯Ó¾|fÔ°t¢t[¥y^¡fyUs{ y5¾¡fyt$`ª
Õ¾ÖE×:ØwÙ6Ú \Û%}
yU§Á`tw§x8ylsqfsutwyxs
º
¡f¦sut
7~ftwyz¡{|HEt
|}
º
tx8yÁKt
§H}y
yz¡
º
|E|Es¤yz§qtxCyÁ`t
}Hy
yz¡
º
ÓÅ|rÔ Ô
Ü%ÝnÞMßáàâ¯ãuàKã¤ä$â¯åæÞ6çGä$àbàKèMéMéêâ©ëKãuì6ßáí^é\ä$â©ë&îï5ë`ÞMã4ðèMâ¯êéãä$íCñ:êò ò ßáàKà`ßáêíièMíMìUã¤âë`ÞMãéMâ`êwó`ãuåÄëKà&ô¯õzÝGö©÷øøUùÄöûú$üý÷ø
þÿ
Ýnô¯õzÝä$íMìWô¯õzÝGö©øø$ü÷
þÿ
Ýnô¯õzÝ÷ãÄëûçGêâàê}ð zå¤ãáãuíMåuãGêíðò4îãuìMìMãuì4õïzà`ë`ã¤ò à(ã¤à`ßíîïbëKÞUãõQèMíMìMãuâ
ëKÞMãbéUâ`ê$ó¯ãuåÄë%ôûÝ
ÿ ñnñ
ÿ
ö©ø÷÷Uù¤ø}ä$íUì5îï[ë`ÞMãbõ
ÿ
ñ
ÜÄÜ
þ :ßáà çßëKÞ"ô
ÿ
ô¯õ
þ!
ô"
ÿ ôþ
(ñGä$ò éMèMà[ìMã#:ã¤ä$è$áßáãuè%úø$ü÷
ÿ
ã¤íUíMãuàQåuãuìMã %\âKä$íUå¤ã&'(ñ:ßáà[ç(ßë`Þ*)ð
ÿ ö
ô"+
þ ñ,
ÿ
õ-\ñ:ã¤íë`â`ãWð/.è\äwë`ßáêí÷ä10ãuízèUãWìUã)ßí\äwë`ãúýUù¤ø2%ß3uâ`ãuà1$\â`ä$íMåuã&-+4ì%ßáàGç(ßë`ÞËñ:êò éMèUë1ðí$$
5
õzåuß6,%ãuéUë1
ÿ
ãuÝßõ27fä$î}õå¤èUêä[õzèMéãuâ`ßáêâ¯ãõ8
þ
íMíMä9-'ßáàæä9Uô¦ëæäï-&Hñ'\ä$íMì^õ-Ý:ä$â¯ãbçßëKÞ5ñnä$ìUã¤íUå¤ã;:ãuâãáãÄï
7fä$îMà<Hù1==?>íMß0ãuâ`à`ßëûï
þ
0ã\õzèMßë`ãüø9@:ãuâAã1áãÄïHñ
þ
=$üB$ø$ü$8>õ
þ & þ õB);Ußáà:çßë`ÞQðð:ñnõ2%ãuéUë<$>ñ9:ã¤âAãáãÄïB
:ã¤âAãáãÄïBHñ
þ
@>õ
þ
"!$#%'&)("*,+-
¼ !"+6.6#%.3.3+
ÒQt~¡fy^~77y57|H~ ¶ yz§y5 {$¢7twyz{t~ y tyld|}~ yzs }77{z\t|}sWtwyx8s¤Á yzº
¡7|}Etb~sw}y4yzs¤tby ¶ §H~7y~ ¡7}s7~s§yz~ ssyz{ty~ s%¡f~s¤t §yzs º ¡f|HEt ¶ |}½E~7yHª&§y y yz¡
¡7y {$¢twyz{tw~ y4« «%¬a¡fy4¸ly x78±l|Hyt²4¦¡y¡~7CHssyx07¦}y4¡fy {|HxCd|HswEt$s(¡fy {z¦{~7ryt
¡7y6{|HxCx0~77¦{t|},}{tw¶ zs y^tyzx8sªÓÅ}s yz§y6}¡7|}77y5y»f§Hy{y¡fy6sqE{$¢ |H7¦st|}
s¤t ¦{tyQ¡fyzsb¢| §|H}yzs º ½E~7£¯§ty £©|}¡7yx8yEt¡fyQ« «(¬6ª Í ds¤~fÑ8t½E~7yl§yUs&¢7| |}Hyzsbs|}yEt^dy~¨ vzs
sqr{$¢ |}7¦syzs º ¡|§yQ7|}x Âf« «%¬¹®¯Â|r|HsyqC« «%¬Q°ª7ÒQt~¡f§yi{|HxCx8yzHt º §| s¡f~¡z7§|H§yzx8yEt º
Us¤y ¶ y 8sxEt¦½E~7y^¡fyzsl¡f|}7yzs {|}x8x8y^¡f~3tyx8szª
¹Ú UÊ Æ sqfsutwvx8yzstyx8s¤Á zyº sqfsutwvx8yzs z t¦s º sqr{$¢ |}7y º ½E~Hs¤§Áæsqr{$¢ |}7y º « «%¬ º
Âf« «%¬
/ 6.6#% .6#%
z Ú Û %Ú
7 Ö Of`} ÚnÚ ¯
7ª§ ¬l¾}y 0|£ É |\¥[s º ¡\ty s º ¡"{|}~7Ety s ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
7ª pfyxEt¦{s yUs¤y ¶ \tw§|H ª5ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ªÇU
Ú ¯}7 Ú ×
ª§ &µdyU{t¶ y^ |f{yU¡f~ yi£©| {|Hx87~ft7
cw.rº }¡3 |}dy tyzs ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ªÇM
ª «%Àr78tyz{yzsEt|}{z{|}~Ht ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ªÇz
ª
~fµ:y
yz¡ÅÔ|HxCx0~77¦{t|}rq,pfx87§ ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ªÇM
Ö,Ù
¯
Ö
Ö
7Ûa
Ú
`}f
Ú Ú!dÖ
"
#"%$&$
%
'$ Ö "%$&$
Ú
¯Hf
Ú )( Ö
Ù6Ú
+*
"%$&$&(-, .
/10
Ú Ú Ú `0 Ú 7Û%2(
"%$&$
Ç Ú
"%$&$3(
Ö O
`}
4
5
ª§ ¬ Hy7y ¦{Qtu¥|}Áæ{|}~7Etwy xC|H7§t| 78 |}t|f{|H ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª 7
5 ª Ô|f{$À76 yz}yy \t|} ª5ª^ª5ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
5 ª
W yU¡f{t¶ y5t Ñ{5s¢§7 ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª H
5 ª pfyxEt¦{s yUs¤y ¶ 70 |Hy tw§yUs ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª 5
5 ª6[y¦\»f§8¬Qss~7x8ftw§|H¾0|H"7ytu¥| À8tw|}d|}|}Hq ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª 98
5 ª5 : ¦s{~ss|} ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
; <=
>"?$3$&(
Ú
#"%$&$
%U Ö
?
© Ö
8}
Ö
U
?
ª§ «x8y
: ¶
s|},Ó¾~7§t7§y0¬ {{yUss5®`«
:
ÓŬi° ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
@
ª W | tuq
Hs¤yU¡Ó¾~tw§7y6¬ {z{yzsws^®
ÓʬQ° ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
ª
6[yzs|}~ {yA6 yzsy w¶ \tw§|H3Ó¾~tw§7y¬ {{yzsws^®6B6lÓŬQ° ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
ª
~s ¬ {z{yUss¥ §t¢¾¬ ¡7}ftwt|}®
¬l¬i° ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
@5
.1C
¯8 Ú Ö \
Ö
D/
8ª§ Ô|H~7Ety }syz¡"}~ ¡7}s ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
8ª6[yz¡f~7¡7Et[7~syzs ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª5ª^ª5ª^ª^ª5ª^ª5ª^ªiª^ª5ª^ª^ª5ª^ª5ª^ª5ª^ª^ªiª^ª
2-
Ú %Ú
.0#3'" W#(.
Í Æ}~ft|Hx8|t¶ y¨}¡Æ ¶ |}7¦{s^}77{z\t|}s º t¢7y" |}}H\tw§|H@|}£ §f£©| xt|}£ |}xÈ|}7y¨yz¡t|
tw¢7y|tw¢7y |}£"£©~7{t|}W{$¢}§¦s5tuqr7{z§qʧx87yx8yEtwyz¡rqʾsyt^|£y |f¡f¦{qÊ}{t¶ tyU¡
t$}sÀfs ¡,x8yzswsw}yUsª«¢7yy»fyU{~ftw§|H3t¤£©| x*¦s[¡f¦s¤t §7~7tyz¡¾ {$¢twyz{tw~ y{|}s¤¦sutw§C|}£&s¤y ¶ Á
y } 4Ôls {|}77yU{twyz¡¨rq¨~s¤yUs4| "§Ety {|}7yz{tw§|H7ytu¥| À:ªbpr|}x8yi|£(t¢7y^{|Hx8x6~77¦{t|}s
dytu¥4yyzÏtwHs¤Àfsx6~s¤t3H~ Etwyy¾7|Χ|Ess|£0¡7twª y y£©y t|Ot¢7¦s,{|Hsut }§Et"Hs
!" #%$& ª('~ tw¢7y x8| y ºdyU§Á`tw§x8y6{|}s¤t Etwslx8Mq,dyC¡7y·7yU¡¾|}Êt¢7y
{|}x87~ft$\tw§|H@¡Ê{|Hx8x6~77¦{t|}Ŧ\twy{§yUsª y}¡7¡ yUsslt¢7yC |}7yx |}£Wx7§7"t¢y0£©~{Á
tw§|H yU½E~7 yx8yzHt$s&|HHtw|¨x87yx8yEtwt|}¨t¤£©| x´s¤|^tw¢\tsut yUx´s¤yzxEt¦{sW yUs¤y ¶ t|}
{|}s¤t
Etws
ysw\tws¤·yz¡
º
tx8§7"{|}sut
}§Etws
y^x8yt
º
¡,
|H
ty^{|Esut £©~7{t|}sl{}¾y
|Hftx8§²zyz¡Gª
Í "t¢7¦s}y zº £©|}|\¥ §70t¢yi}s{l7¢7§|Es¤|H7¢rq|£ ¦\t£©| x
}syz¡
:
yUs¤})
@5 *º ¥4y5{|}s¤¦¡fy
tw¢7y5£©|}|\¥ §78¡fyUs¤} É |\¥,+
}ª ys¤tw t£ |}x
• isyt|£(®¯|Ess§§q^Ety }{t7E°n£©~7{t|}szª W}{$¢6£©~7{tw§|H6|Hyzqrs(tw¢7y4£©|}§|\¥ 7lx8|f¡fyz-+
§tb |r{yyU¡7srqC®©d|Hsws¤7q7|HHtwy x8§t7E°s¤yU½E~7y{y|}£s~{{yzsws¤¶ y§|H}¦{ yz}{t|}s
{|}x8d|Hsyz¡¾|}£W·7§ty8syt5|£W}{t|}s.GÊ}¡7¡7tw§|H º tx8§73{|Hsut }§Et$sls~{$¢Ê}sQdy Á
|f¡f¦{§tuq}¡0/M| ¡fyzH¡f§7yUs {,dy\ttw}{$¢yz¡tw|yzH{$¢3H{t|}ª
• }¨xC§yzxCyzEtw\tw§|H7¦\t£©| x {|}s¤¦sutw§6|£nEty {|}77yU{twyz¡ 4ÔQs º |}t|f{|Hs&£©| }{Á {yzsws¤7^tw¢7y[Ety
{|H77yU{t|}ytu¥4|
À0¡8xC¦¡7¡fy¥
y £©|
yzH{$¢ 4Ôªf«¢7y[t¤£©|
x
¦s {$¢
H{ty
²yU¡¨rq¨§tws dy
£©|
x{yQ3ty
xs|£(tx8§7
º
{}}{tuq
º
|\¥4y
}¡"{|Hs¤tzª
fª
ydy
£©|
xx777i|£t¢7y4£©~7{t|}s|HEt|[tw¢7y§x87yx8yzHt$\tw§|HC
{$¢7§tyU{tw~
y4s¤|Qt¢\tt¢7y
{|Hsut
}§Et$s
y ¶ y
§·yz¡¡3{|Esut£©~7{tw§|Hs ¡fy·7yz¡"|}t¢7y5x87§yzx8yEtwt|}"
{$¢twyz{tw~
y
{}"dy^x8§7x8§²zyz¡Gª
«¢y^x8}777¨ |}§yzx*¦sl{|Hx87§y»3s§{y5t¢y§x8t$\tw§|H¾|£t¢7y6§x87yx8yEt$\t|},7¦\t£©| x xMq
x}À}ysut yUx syx}Htw{zs5 yzsy w¶ t|}¡fѨ{~7t6t|Å}{$¢§y ¶ y}ªÒl£ûtwy º ¥ ¢7ytw¢7y§x87yx8yzHt$\tw§|H
t¤£©| x ¦s^y ¶ yEt¤ÁæHs¤yU¡ º }~ Etyzy7tw¢\t^tw¢7y¨|}H{z&¡Åtw§x87Ê{|Hs¤t Ht$s5 y8sw\tws¤·yU¡
¦s6}~7s|}¶ yz¡ |}§yzx | yU½E~7 yzs^Å HyC| ¶ y ¢7yzH¡Gª"¬¿|Ess§§ys|}~ftw§|H@tw|¾t¢s0 |}7yx
¦stw|8syyz{t t¢7y6§x87yx8yEt$\t|}¾ {$¢7§tyU{tw~ y5s|0tw¢\tis¤|HxCy5|}£(tw¢7y{|Hsut }§Et$s y5sw\tws¤·yU¡rq
{|}s¤t ~{t|}"}¡"t¢7y}qfs¤¦s{}"dy{ §yU¡¨|H~ft[~s§7C£©| xGx8yt¢7|f¡7szª
«¢7y¾«x8y,« §H}y yz¡O¬ {$¢7twyz{t~ y®`« «(¬i°0 |H|Es¤yU¡ÆrqƱQ|}dyt², )8 * £©| t¢7y¾{|}x8x6~fÁ
{z\t|}@x8yz{$¢}7sx |£,¡fs¤t 7~ftyU¡Êt¤£©| x |µ:y s5"¡7 yz{t5x}777tw¢\t¥4|}~¡Ê yUs¤y ¶ y
tw¢7y8s¤yzx8}Et¦{s[|}£&t¢yCsyU{§·{t|}nª
Í
t^{|}s¤¦sut$slÊx87yx8yEt7
º
|}Ê"¡fs¤t
7~ftyU¡Å¢
¡7¥4
y º
tw¢7y
yU§Á`tw§x8yldy
|r¡7{is¤qr{$¢
|H7|}~s&xC|f¡fyz`ª1Qs¤76t¢7¦s7
|HH{$¢
º
{|
w
yz{tw7yzswsb|}£(0¡7s¤t
§~ftyU¡
x87yx8yEtwt|}Å{z¾dy6}§qr²zyz¡
}|
|H~s§q¨¥ §t¢Å£©|
x8}GtyU{$¢77¦½E~7yzs
º
syy6}s|2) 5 * ª[¸[|\¥4y
¶ y
Uº
tw¢7¦s[7
|E}{$¢{z
w
yzs{|Esutl}¡txC7dy}tw§yUs®¯syy
º
£©|
s¤tw}{y
º )H
º
\
*
°tw¢\t[xMq¨7|}t[y
H{{yft$7y6£©|
s¤|Hx8yC}77{z\t|}sª
Í
@
t¦{~7¦
Uº
« «(¬³¦s57|tyU}s§q¾xC§yzxCyzEtw§yC£©|
|}
¥
yzs3®¯s~{$¢ÎHs6 sqfsutwyxs0¥ ¢7y
y3{|}Et
|}§Etwy§}yz{y3sC¥ ¦¡fyqÆ¡f¦sut
7~ftwyz¡°6|
£©|
¥
yz§yUss
{|}x8x6~7{z\tw§|Hsª
¸ly{y º tw¢7y yÊ¢}s"yzyË |\¥ 7ÃEty yzs¤t"Ëyzsws3{|}sut }§7yU¡Ï {$¢7§tyz{t~ yzs"s¤~{$¢Ë}st¢7y
Â|r|Hsyq@«xCyÁæ« §H}y yz¡¬ {$¢7§tyU{t~ yÅ®`Âf« «(¬i°^~syz¡Ãt¢y"y |Es¤}{y8¡f~s¤t q¡Ãs¤t~¡7§yU¡
)8 º º º 7 º º *
ª&Âf« «%¬ ¦s {$¢ }{ty ²yz¡¨Eqt¢7y5£©|H§|\¥ 76£©yU\tw~ yUs+
• }{z{yzsws:tw|[t¢yW{|HxCx0~77¦{t|}^x8yz¡f~7x |f{{~ s½H~}sÁæy |f¡f¦{q º ~s¤7 tw¢7y¡f§µ:y yEt(|f{
{|f{$Àrs.}¥ ¢§y[7|}ts¤qr{$¢ |H7§²zyz¡ º t¢7yUs¤yl{§|f{$Àfsb y d|}~7¡Ctw|6¡fy ¶ ¦\twy£ |Hx¹yU}{$¢8|tw¢7y ¥ §t¢
§x8twyz¡¾¡ §£ûtl¡6utty ª y{}§ns~{$¢¾{|f{$Àrs
$ #ª
• ¥ §t7Es¾¡ yU}¡f7Es3 ydy £©| x8yz¡Ð§¡7ydy¡fyzEtqÐ\tÅ}§|r¡7yzs¾{|H77yU{tyU¡¼tw|at¢7y x8yz¡f~7x§,s¤qr{$¢ |HEq¥ §t¢3tw¢7yd| ¶ yix8yEt|}7yU¡3§|f{}n{|f{$Àrs.
• t¢7y{|}x8x6~7{z\t|}@x8yz¡f~7x dy¢ ¶ yzsQ§ÀHy83s¢ yz¡ÊxCyzx8| q º KªyHªºn¶ }§~7yUs^ y0s~s¤tw7yU¡
¡Ï y,dy §|f¡f¦{}§q y£ yzs¢7yU¡ º }syz¡ |}Ï|f{Q{|r{$ÀÎ|\¥ 7yz¡ rqÆtw¢7yÅx8yz¡7§~7x .i¢7|\¥
x6~7§t§Áæ~s¤y }{z{yzsws4t|Ctw¢7y{|HxCx0~77¦{t|}3xCyU¡f~7x*¦sy £©| x8yU¡ º s[§y£ût[~7syU{§·yz¡Gª
«¢s {$¢7twyz{t~ y yUs{ dyzstw¢7yl{|Hx8x6~77¦{t|}sw{$¢7yx8y 7~ft§yU ¶ yzsWs¤y ¶ y f twsb|}£:}§x87yÁ
x8yzHt$\tw§|H@~7s¤dyz{·yU¡|µ:y §7¾¡fyUs¤}y sl£©~ tw¢7y ^É y»f§§tuqʧt¢y8·W§x87yx8yEt$\t|}ª Í
£¯H{t º tw¢7y5Âf« «(¬ x8yz{$¢}7¦s¤xs4{y5y§t¢y §x87yx8yEtwyz¡"§3{~s¤t|HxC²yU¡¢ ¡f¥ y º | 7~7§t4|H
tw|}|£y»f¦sutw§7,¡f¦sut 7~ftwyz¡y»fyU{~ftw§|H@f£ }s¤t ~{tw~ yUsl-£©| y»f}x87§y º Ô4¬´}syz¡@7ytu¥4| Àfs
Hs s¤¢|\¥ )
*ª
«¢7yÂf« «%¬ x8yz{$¢}7sx¿¢Hs47|t[dyyz£©~7q"{$¢ H{ty ²yU¡7| 8{|}x87yty^¡fyUs¤} É |\¥¼¥ §t¢
d|twyEt¦4¡fyzs}Ãs¤}{yy»f7| \t|}¢HsdyyÃ|}µdy yU¡Gª Í ) º º º * |}t|f{|Hsi£©| tx8yÁ
sys¤§t¶ y ¡0Âf« « {$¢7§tyz{t~ yzs%¥4y y |H|Es¤yU¡^t|{|}x8dysw\twy£©| 5{$¢7Hy8tyz{yzs º £ |}x
sdyz{§·{z\t|}itw|[§x87yx8yzHt$\tw§|Hnª Í )8 *º s~fѨ{yEt{|}¡f§t|}sG¥y ybH¶ yit|lys~ yb yUs¤y ¶ t|}
|}£sut yUxsyxEt¦{szª(¸l|\¥y ¶ y zº t¢7y yzs~7t$s|}£ )8 * y4s¤dyz{·d{&tw|Qs§7H§yÁK~s¤y {Hs¤y4¡ | ¶ ¦¡fy&7|
}ss£©| 8sqfsutwyx\tw{iy»rtwys§|Htw|8x6~7§t§ÁK~s¤y zº x0~7twÁæ7~s º {|}x8x6~7{z\t|}ª6 yU{yzHt[¥4| À2) *
y»rty¡7sQt¢7yC¥| À,|}£ )8 * rqÅs¢7|\¥ 7¢7|\¥ {z}sw{H¡fy6Âf« « {|}x8x6~7{z\t|}@{@yCxC§yzxCyzEtyz¡
|Htw|},|£¨Ô4¬ Hs¤yU¡" {$¢7§tyU{tw~ yHª
Í 0t¢7¦s}y zº ¥4y |H|Es¤y4Q{|}x8 y¢7yzs¤¶ y4¡fyzs} É |\¥Ãt¢tbx8}s(£©~7{t|}} yz½E~7 yx8yEtws
|HEt|¨Âf« «%¬¼¥ §t¢"
7t
qt|}d|}|}Hqtw¢\t{dylx87yx8yEtyU¡¨
¶
§ytuq0|}£:¥Mqfsb{~¡rÁ
7ÊÊs¤yt0|£[Âf« «´7~s¤yUsªÅ«¢7y"¡fyzs§H
É
|\¥´s0}~
Etyzyz¡Êt|Ê
|f¡f~{yÅsyxEtw{
yUs¤y
¶
7
x87yx8yEtwt|}3£b
|H
ty5}sws¤~7x8ftw§|Hs
y5st¦su·yU¡Gª
l¡fy t¢7y £ x8yz¥| À^|}£ ¦\t£©| xCÁKHs¤yU¡0¡7yzs§H º ¥4y[¡fy·y[Q |f{yUss8¥ ¢7¦{$¢8i£©~{tw§|H
x8|f¡fyzH¦snxyU¡^§Etw|Q[¡f¦s¤t §7~7tyz¡6Âf« «(¬Î {$¢7twyz{t~ y&rqQx8yUs(|£fHtwy x8yz¡f¦\twysut H{t|}s
®`s¤yzy '%§H~ y °ªQ«¢7y6£©~7{tw§|H%x8|f¡fy(si{$¢ }{ty ²yU¡"rq yU½E~7 yx8yzHt$s[|}£ É |\¥ yUs¤y ¶ t|}
|H3{|}x8x6~7{z\tw§|Hs¡"y»fyz{~ft|} \tyUs4|}3|}t¢¾{|HxC~ftwt|}s¡"{|}x8x6~7{z\t|}si®©t|H3|}£
tw¢7y '(}~ yM°ª Í tw¢7y^Âf« «(¬Ð7¢rqfs¤¦{}:7t¤£©| x º 7|f¡fyzs yi{$¢ }{ty ²yz¡8rq¨{§|f{$ÀfsW¥ §t¢3§x8§tyz¡
u§t¤twy }¡C¡ §£ûtzª '~ tw¢7y x8| y º tw¢7y y»fyU{~ftw§|H07¦\t£©| x¹¡f|ryzs&7|t& | ¶ ¡7y4{§|f{$À6sqr{$¢ |}7²zt|}
®¯|}t¤tw|}x*|}£tw¢7y('%§H~ yM°ª
ÒQ~ x777¨~s¤yUsl¨¢§y {$¢rq¨|}£&7t¤£©| xs º ¥ §t¢¾tw¢7y0{| wyUs¤d|}¡7§78x7§Hs ³t¢7y
£©~{tw§|H ¦Mq}y }¡ t¢yÅÂf« «(¬ {$¢7§tyU{tw~ yHª «¢y3t¤£©| xs y3¡7y·7yU¡ }syz¡Î|}Ît¢7y
# , ! $ 3| 3s¤t }{tx8|f¡fyz|£b{|Hx87~ftwt|}nª[Ôp"¦sl½E~7§ty^}yz7y
{|}x8x6~7{z\tw§|Hx8|f¡fy}¡ º rq¨§twsy§£ º {}77|}t | ¶ ¦¡fy É |\¥Ë yzsy w¶ \t|} º | ty5}~ Etyzyzszª
¬ x}777|}ÅÔp"§Etw|¨¾Âf« «(¬
{$¢twyz{tw~
yQ¥ §t¢,tw¢7yd|
¶
y5¡fyzsw{
yU¡"
|Hy
tw§yUs
º
{z,y
alternating bit
Medium Access Control Policies Clocks wih limited drift/jitter
Functional Model
Physical Platform
&
Mapping Platform abstractions
Interaction functions
Requirements of execution rates and flow preservation
clock regeneration flow control
LTTN CbS FP−CbS
LTTA LTTA protocol
Distributed Architecture with Shared Buses
'%}~ y8 +WÓÊ7778|£bC£©~7{t|}}nx8|f¡fynEt|¨},Âf« «%¬ {$¢7§tyU{t~ y + t¤£©| xs ¡" |}t|Á
{|}¦sª
¡7y·7yU¡¨s|^t¢t y·7yz¡ ¶ y s§|H|£ É |\¥Áæ yzsy w¶ 76Ôp¾®-' ÁuÔdpt¢7y '%§H~ yU°¦sW|Hftw}§yz¡Gª
¬4tWt¢7¦sWs¤tw}}y º}É |\¥ yUs¤y ¶ t|}CsW}~ }HtwyyU¡6|H¨s¤7}y ¥ twy Á`tw|Á yU}¡fy 7Àfsª«¢7¦s&x7§7
y ¶ y Hyzs4s¤~7§tw}7q¡fy·7yz¡¾Âf« «%¬ |t|f{|}n¡ y·yzsQÔp"rq yzs¤t {t78t$s[syxEt¦{s^®¯§
tw¢7y '%§H~ y"Ôp@sH{tw~§qʧ{§~¡fyz¡x8yz}773t¢t6Ã}¡7¡7tw§|H& |}t|f{|H%¦Mq}y s7~7t|H
tw|}3|£tUª°
¬l7|tw¢7y Ety x8yz¡7tyb¦Mq}y |}£r}s¤t }{tw§|Hi{z§yU¡ %"
¦s4~sy£©~7:tw|0y»Etwy¡|}~
}7
|H}{$¢8tw|0Hy7y
}tw|}d|}|}H§yUsªÂf« « Ë~s¤yUs~
y5{|Hx8x6~77¦{t|}fÁærqEÁ
swx877,xCyU{$¢sxsª3«|¾H~
Etyzy6tw¢\t6t¢7y¨x}777¾|£4t¢7y¨£©~7{tw§|HWxC|f¡fyzW|HÂf« «
¦sCs¤yzx8}Et¦{
yzsy
w¶
7,£©|
Hy7y
}&y¡fÁ`tw|Áæy¡
É
|\¥[s
º
¥y"§Et
|f¡f~{y¨tu¥4|Å
|tw|r{|}¦s+0t¢y¨·
sut
|}t|f{|H7y £©| xs , 3tw|6 ¶ |H¡8{~x6~7¦\tw¶ yls¤|\¥a¡f|\¥ |£n{|f{$ÀfsW|}¡f yz{tyU¡
{|}x8x6~7{z\tw§|H3\t¢s.G¡3t¢7yCs¤yU{|}¡" |}t|f{|Hdy £©| x8s $ #, $ 3t| ¶ |}¦¡
¥ §ty st|| ¶ y §|E}¡ yzH¡fy sª
ÒQ~ É |\¥s({|HxC§ytyz¡Eqi | ¶ ¡f7 x7§Hsn|}£7Âf« « ÆHtw|lsy ¶ y }x8yz¡f~7x}{z{yUssn{|}Et |}
sw{$¢7yzxCyUs4£©| s¢ yz¡7~syzs4tw¢\t[xMq¨dy ¶ }7§y5\t tw¢7y^7¢rqfs¤¦{}:§y ¶ yKª
«¢7y3}y ¦sC| H§²zyz¡Ã}s6£©|}|\¥[s+¨¥4y¨· s¤t0 yzsyEtÅx\tw¢7yxt¦{t|r|H§Àr§tC pryU{tw§|H
t¢t,¡7ytw}§¦st¢7yx8|r¡7yi|£0{|}x87~ft$\t|}Ë~s¤yU¡at¢
|H~7}¢7|H~fttw¢7ydy
ª Í
Ð
t¦{~
zº
}§
tw¢7y6yyz¡7yz¡¾ |tw|f{|}¦s ~sy6~7½E~7y º £©~7¡7}xCyzEtw º tu¥|}Áæ{|}~7Ety x8yz{$¢}7¦s¤x ¡fy ¶ y|}dyz¡,¾t¢s
syz{t|} º ¥ ¢7¦{$¢5y7§H¢Etys:t¢7yWyyH}{y|}£r|H~ Âf« «¬ {$¢7§tyz{t~ y}ªÔ|}x8x6~7{z\t|}5rqip7x87§7
¦sWs¤t~¡f§yU¡¨¡fyt$pryz{t|}
ª '|}§|\¥ 75tw¢7ssutw~¡fq º ¥4y[ |}d|Hsy[ :
7 |E}{$¢0t|x¨
syt[|}££©~7{t|} yz½E~7 yzx8yEtws|H3Âf« «%¬ |}tyzHtw}§q¨x87§yzx8yEtyU¡,¥ tw¢,8syt[|}£Âf« «Ë7~sws¤yUsª
Í t¦{~7¦ Uº pryz{t|} ¥yl yUs¤yzEtbt¢7ylÂf« « Ë¡0tu¥4|^ |}t|f{|Hs%tw¢\t}~ }Htwyy syxEt¦{s
yUs¤y ¶ \tw§|HÆ|}Ît¢y3x}777|£ltw¢7y yU½E~7 yx8yzHt$sC|}Et|@t¢7y¾ytu¥4| ÀdªÎ¸[|\¥¿tw| yz7H{y"t¢7y
¦¡fyUÔ|Hx8x6~77¦{t|}ÃrqÃpfx87§Årq}ÆÂf« «³7~sC¡¦s0}qr²yU¡@ÎpryU{tw§|H ª@pryU{tw§|H
si¡fy ¶ |twyz¡,tw|x0~7tw§§y8}{z{yzsws.¥4y0s¤t~¡7q¾|}t¢@«x8y : ¶ ¦s¤|}@¡ W | tuq }syz¡¾ÓÅ~7tw§§y
¬ {z{yUsszª '%q º £©~7¡7}x8yEtw}%x8yU{$¢7¦sx8sQys¤~ 7¨£¯}~7tit|H§y }{y0 y6 |}d|Hsyz¡,pryU{tw§|H
8 ª
+5#(!3[+5#( 4+#(6$#
Í 6t¢7¦ss¤yU{tw§|H¥y4¡fy ¶ y|}^tw¢7y4t|r|}Àrt%¥ys¢H~s¤yWt¢ |}~7H¢7|}~7tt¢ss¤t~¡fqHª%«¢s(t|r|H§Àr§t{|}§yU{tws
tw¢7y57~7¡7§7§|f{$Àfs4|£tw¢7yÂf« «%¬Ó¾|rÔ Ô º tw¢E~s y ¶ yz}§70t$s yyE{yQrqtw¢7y^s¤xGr~7x6dy |}£
yyz¡7yz¡"xCyU{$¢sxsª
! #"%$'&(*)+,"%$-&/.0123)4!,"
¬ x\tw¢7yxt¦{rx8|f¡fyr£©| Ôpx0~s¤t¢¡fy É |\¥[s º ¡fy·yz¡C}ss¤~{{yUss¶ y¡\tyU¡6|f{z{~ w yz{yUs|}£
¶ }§~7yU¡8y ¶ yEtwszª yQ· s¤tW yzsyEt&tw¢7yQ{| w yUs¤d|}¡f§^x8ty ¦º rqC7~7¡f70~7|Ht¢yl7|}7yzy §
¥4| À )H * ªÎprqrx6d|}
N ¡7y7|}tyzs0tw¢7y"d|Hs§t¶ y3§Etyz}y s+
N = 1,2,3, . . .ª '7| x}§q º5% ¾ y
f·twys¤yU½H~y{yzs
e= (en)n∈N
|}£ & " $ª
«¢7y @|£y ¶ yEt
en
¦s¡fyz7|twyz¡Ïrq
νneª l7§yUss3x07}~7§tuqÎ{z yzs~7§t¨£ |Hx<s~{$¢¼}
| ¶ y §|E}¡f7 º ¥4ys¤¢s§x87q¥ §ty
en
s¤tyU}¡|£
νneª y"{}§-
e tw¢7y"syz½E~7yz{y¨|}£
¶ }§~7yUs
(νne)n≥0
º ¥ ¢7y y º rq3¡fy£¯}~7t º
ν0e=?º ¥ ¢7y ysqrx6d|}76
?8 x8yz}s, :9 \ª¬ ,¦s[
É
|\¥Ë¥ §t¢
¶
~7yzs3t¢7ys§}yt|H3syt-;zt¦{$À7<Eª
«¢7y "^|£
e¦s6syz½E~7yz{y
te s¤~{$¢¨t¢\t
ten∈R+
¦s&tw¢7yi¡\tyi|£
en
.7¡fyz7|twylrq
Tetw¢7yisyt
|}£%}§n¡7tyUs|£(y
¶
yzHt$s4|£
É
|\¥
eª ¢7y3t¢y{|}s¤¦¡fy
yz¡
É
|\¥¼¦s 8{|r{$À
κº rq~s¤yi|£7|t$\tw§|H
¥4y^¦s¤|8¡fyz7|twy^Eq
κt$s[s¤yt |£b¡7\twyzs º §s¤tyU}¡"|£
Tκª&¬ {z{| ¡f7}q º
¥y^s¢G¥ twy
κ⊆κ0 t|x8yz} Tκ ⊆Tκ0ª ®uU°
«¢y |}£
e s[C7|H3¡7yz{
yzHs¤70£©~7{t|}
R+7→N
¡fy·7yz¡3rq
cet =def Card{n|ten≤t} ®K}°
}¡"¥y^¡fy·7y5t¢y # "^|£
erq cet− =def lim
s%tces = Card{n|ten< t} ® °
«¢7y"¡7\twy }¡@t¢7y{|}~7Etwy |}£ É |\¥³{z w q¾tw¢7yswx8yf£©| x\t|}ª"«¢7y{|}~7Etwy {}Ãy
|Hftw}§yz¡£ |}x¿t¢7y^¡7ty Hss¤¢7|\¥ 3d| ¶ yHª%¬ltwy \tw¶ yq º t¢y5¡\ty {3dyi|Hftw}§yz¡£ |Hx t¢7y
{|}~7Etwy
}s4£©|H§|\¥[sª