40 likes | 46 Views
Distributed Schedule-Carrying Code. Tom Henzinger Slobodan Matic. Motivation. Distributed real-time system static scheduling, TDMA communication Independent code generation by several developers specifications from resource manager Code composability
E N D
Distributed Schedule-Carrying Code Tom Henzinger Slobodan Matic
Motivation • Distributed real-time system • static scheduling, TDMA communication • Independent code generation by several developers • specifications from resource manager • Code composability • component code modification does not influence other components • check only modified code against its specification
Distributing SCC Giotto SCC (segment) mode start() period 24ms { taskfreq 2 do t1(); taskfreq 2 do t2(t1); taskfreq 1 do t3(); taskfreq 3 do t4(t2,t3); } dispatch(t2,1) idle(1) call(d2) dispatch(t2,5) dispatch(t3,5)
S+N Type and SCC S type N type SCC Modified SCC