40 likes | 61 Views
Explore Distributed Schedule-Carrying Code for static scheduling & TDMA communication, allowing independent code generation, ensuring composability, and easy component modification without impacting others.
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