15.11.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!