Distributed Schedule-Carrying Code

1
Distributed Schedule-Carrying Code

• Tom Henzinger
• Slobodan Matic

2
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

3
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)
4
SN Type and SCC
N type
S type
SCC
Modified SCC