REAL-TIME SYSTEMS II Real-Time Networking WorldFIP ... - EPFL
REAL-TIME SYSTEMS II Real-Time Networking WorldFIP ... - EPFL
REAL-TIME SYSTEMS II Real-Time Networking WorldFIP ... - EPFL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
List concept<br />
Temporal consistency<br />
• ordered collection of consumed variables<br />
• lists should not intersect in the system<br />
• variables may be periodic or not<br />
• periods may be different<br />
• temporal consistency may be defined on a list<br />
• asynchronous status<br />
• Ttx + Tcons ≤ Tvalidity ≤ Ttx + Tprod + Tcons<br />
• temporal consistency<br />
• = logical AND of all refreshment<br />
and promptness statuses<br />
⇒ problems<br />
timer Tprod<br />
refreshment<br />
status<br />
variable<br />
production<br />
variable<br />
transmission<br />
Ttx<br />
variable<br />
production<br />
time<br />
<strong>Real</strong>-<strong>Time</strong> Networks – <strong>WorldFIP</strong> 37<br />
©2010, J.-D. Decotignie<br />
var 1<br />
Tprod1 Ttx1 Tcons1<br />
var 2<br />
Ttx2 Tcons2<br />
t1<br />
<strong>Real</strong>-<strong>Time</strong> Networks – <strong>WorldFIP</strong> 38<br />
time<br />
timer Tcons<br />
promptness<br />
status<br />
var 1<br />
var 2<br />
Tprod1 Ttx1 Tcons1<br />
Ttx2<br />
t1 t2 t3 t4<br />
Tcons2<br />
time<br />
©2010, J.-D. Decotignie<br />
Temporal consistency (2)<br />
Temporal consistency (3)<br />
<strong>Real</strong>-<strong>Time</strong> Networks – <strong>WorldFIP</strong> 39<br />
• synchronous statuses<br />
• Tvalidity = Tcons<br />
• temporal consistency<br />
• = logical AND<br />
of all refreshment<br />
and promptness<br />
statuses<br />
timer Tprod<br />
refreshment<br />
status<br />
timer Tcons<br />
promptness<br />
status<br />
sync.<br />
variable<br />
variable<br />
prod.<br />
variable<br />
transm.<br />
⇒ OK as long as the same sync. variable is used for all<br />
Ttx<br />
sync.<br />
variable<br />
time<br />
©2010, J.-D. Decotignie<br />
variable<br />
de synchro<br />
<strong>Real</strong>-<strong>Time</strong> Networks – <strong>WorldFIP</strong> 40<br />
V1 V2 V3 V4 variable<br />
de synchro<br />
promptitude V1<br />
promptitude V2<br />
promptitude V3<br />
promptitude V4<br />
cohérence de<br />
consommation<br />
©2010, J.-D. Decotignie