Communication Scheduling for Time-Triggered Systems Paul Pop, Petru Eles and Zebo Peng Dept. of Computer and Information Science Linköping University Sweden Communication Scheduling for Time-Triggered Systems Slide 1 Conditional Process Graph Subgraph corresponding to D∧C∧K P0 PP11 PP22 C C PP44 D D PP33 C PP1212 K K PP66 PP55 PP77 PP1111 PP88 PP99 PP1414 Communication Scheduling for Time-Triggered Systems PP1616 PP1717 PP1010 n First processor n Second processor n ASIC PP15 15 PP13 13 P18 Slide 2 Hardware Architecture • Safety-critical distributed embedded systems. I/O Interface • Nodes connected by a broadcast communication channel. RAM ROM CPU • Nodes consisting of: TTP controller, CPU, RAM, ROM, I/O interface, (maybe) ASIC. ASIC TTP Controller • Communication between nodes is based on the time-triggered protocol. Node • Buss access scheme: time-division multipleaccess (TDMA). • Schedule table located in each TTP controller: message descriptor list (MEDL). S0 S1 Slot S2 S3 S0 S1 S2 S3 TDMA Round Cycle of two rounds Communication Scheduling for Time-Triggered Systems Slide 3 Problem Formulation Input • Safety-critical application with several operating modes. • Each operating mode is modelled by a conditional process graph. • The system architecture and mapping of processes to nodes are given. • The worst case delay of a process is known: TPi = (δ PA + t Pi + θ C1 + θ C2 ) θ C1 = local N out ( Pi ) ∑δ i =1 Si θ C2 = remote N out ( Pi ) ∑δ i =1 KS i + N inremote ( Pi ) ∑δ i =1 KRi Output • Local schedule tables for each node and the MEDL for the TTP controllers. • Delay on the system execution time for each operating mode, so that this delay is as small as possible. Communication Scheduling for Time-Triggered Systems Slide 4 Scheduling Example P1 P4 P3 P2 24 ms S1 S0 Round 1 m3 m1 m2 Round 2 Round 3 m4 Round 4 P1 P4 S1 Round 1 m1 m1 P3 P2 22 ms S0 m2 Round 2 m3 Round 3 Round 4 P4 20 ms P2 S1 Round 1 m1 m2 Round 2 Communication Scheduling for Time-Triggered Systems P11 m2 m4 P1 S0 Round 5 P22 P33 m3 m4 P3 m3 m4 P44 Round 3 Slide 5 Experimental Results Average percentage deviations from the lengths of near-optimal schedules % 60 50 • The Greedy Approach is producing accurate results in a very short time (few seconds for graphs with 400 processes). Naive Designer Greedy 1 Greedy 2 • Greedy 1 performs slightly better than Greedy 2, but it is a bit slower. 40 30 • SA finds near-optimal results in a reasonable time (few minutes for graphs with 80 processes and 275 minutes for graphs with 400 processes). 20 10 • A real-life example implementing a vehicle cruise controller validated our approach. 0 80 160 240 320 400 Number of processes Communication Scheduling for Time-Triggered Systems Slide 6