State-Based Mode Switching with Applications to Mixed-Criticality - - PowerPoint PPT Presentation

State-Based Mode Switching with Applications to Mixed-Criticality Systems

Pontus Ekberg, Martin Stigge, Nan Guan & Wang Yi

Uppsala University, Sweden

WMC 2013

Mixed Criticality as Mode Switching

At a switch between modes (e.g., lo to hi), each task is either

1 suspended and has its active jobs discarded or 2 continues as before, but with new parameters (C, D, T).

Tie new values of C and D are immediately used for all active jobs. Tie common sporadic MC mode switch protocol Purely sporadic both before and afuer switch!

Pontus Ekberg State-Based Mode Switching 2

Mixed Criticality as Mode Switching

At a switch between modes (e.g., lo to hi), each task is either

1 suspended and has its active jobs discarded or 2 continues as before, but with new parameters (C, D, T).

Tie new values of C and D are immediately used for all active jobs. Tie common sporadic MC mode switch protocol Purely sporadic both before and afuer switch!

Pontus Ekberg State-Based Mode Switching 2

Task Graphs — The Very Short Story

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

Time

Pontus Ekberg State-Based Mode Switching 3

Task Graphs — The Very Short Story

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

15 5 Time

Pontus Ekberg State-Based Mode Switching 3

Task Graphs — The Very Short Story

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

⩾ 20 Time

Pontus Ekberg State-Based Mode Switching 3

Task Graphs — The Very Short Story

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

Time

Pontus Ekberg State-Based Mode Switching 3

Task Graphs — The Very Short Story

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

Time

Pontus Ekberg State-Based Mode Switching 3

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Pontus Ekberg State-Based Mode Switching 4

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Pontus Ekberg State-Based Mode Switching 4

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Pontus Ekberg State-Based Mode Switching 4

Revisiting an Old Friend

At a switch between modes (e.g., lo to hi), each task is either

1 suspended and has its active jobs discarded or 2 continues as before, but with new parameters (C, D, T).

Tie new values of C and D are immediately used for all active jobs. Tie common sporadic MC mode switch protocol

Pontus Ekberg State-Based Mode Switching 5

Revisiting an Old Friend

At a switch between modes (e.g., lo to hi), each task is either

1 suspended and has its active jobs discarded or 2 continues as before, but with new parameters (C, D, T).

Tie new values of C and D are immediately used for all active jobs. Tie common sporadic MC mode switch protocol

Pontus Ekberg State-Based Mode Switching 5

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Back to Mode Switches

v1

⟨5, 15⟩

v2

⟨2, 10⟩

v3

⟨7, 25⟩ 20 10 15 15 34

v4

⟨6, 10⟩

v5

⟨12, 30⟩ 14 20 50 33

?

⩾ 33

Mode switch

Time

Pontus Ekberg State-Based Mode Switching 6

Example: Sporadish Dual-Criticality Tasks

v1

⟨2, 15, lo⟩

v2

⟨4, 15, hi⟩ 28 28

Standard high-criticality sporadic task.

Pontus Ekberg State-Based Mode Switching 7

Example: Sporadish Dual-Criticality Tasks

v1

⟨2, 15, lo⟩

v2

⟨0, 0, hi⟩ 28

Standard low-criticality sporadic task.

Pontus Ekberg State-Based Mode Switching 8

Example: Sporadish Dual-Criticality Tasks

v1

⟨2, 15, lo⟩

v2

⟨2, 40, hi⟩ 28

Low-criticality sporadic task that fjnishes all jobs.

Pontus Ekberg State-Based Mode Switching 9

Example: Sporadish Dual-Criticality Tasks

v1

⟨3, 20, lo⟩

v2

⟨0, 0, hi⟩

v3

⟨0, 0, hi⟩

v4

⟨2, 50, hi⟩ 20 100 50

Task that drops active job at switch, then restarts afuer a grace period.

Pontus Ekberg State-Based Mode Switching 10

Example: Sporadish Dual-Criticality Tasks

v1

⟨0, 0, lo⟩

v2

⟨5, 5, hi⟩

One-ofg job at mode switch, modeling overhead.

Pontus Ekberg State-Based Mode Switching 11

Example: Sporadish Dual-Criticality Tasks

v1

⟨3, 16, lo⟩

v2

⟨1, 25, lo⟩

v3

⟨6, 16, hi⟩

v4

⟨3, 25, hi⟩ 20 30 25 20 30 25

Direct extension of non-sporadic task to dual-criticality semantics.

Pontus Ekberg State-Based Mode Switching 12

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Example: Period-Adaptive Tasks

τ1 v1

⟨1, 2, µ1⟩

v2

⟨4, 5, µ2⟩

v3

⟨1, 5, µ3⟩

v4

⟨4, 8, µ4⟩

v5

⟨0, 0, µ1⟩

v6

⟨4, 8, µ2⟩

v7

⟨0, 0, µ3⟩

v8

⟨1, 5, µ1⟩

v9

⟨0, 0, µ2⟩

v10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

τ2 u1

⟨1, 2, µ1⟩

u2

⟨4, 5, µ3⟩

u3

⟨1, 5, µ2⟩

u4

⟨4, 8, µ4⟩

u5

⟨0, 0, µ1⟩

u6

⟨4, 8, µ3⟩

u7

⟨0, 0, µ2⟩

u8

⟨1, 5, µ1⟩

u9

⟨0, 0, µ3⟩

u10

⟨0, 0, µ4⟩ 2 2 5 5 5 5 8 8 8 5

Pontus Ekberg State-Based Mode Switching 13

Outline of EDF Analysis

• Systematic approach: consider each mode switch separately.

µ1 µ2 µ3 µ4

• Combine techniques from

1 EDF analysis of regular DRT tasks (Stigge et al., 2011) and 2 EDF analysis of MC sporadic tasks (Ekberg & Yi, 2013).

• Both based on demand bound functions!

Pontus Ekberg State-Based Mode Switching 14

Outline of EDF Analysis

• Systematic approach: consider each mode switch separately.

µ1 µ2 µ3 µ4

• Combine techniques from

1 EDF analysis of regular DRT tasks (Stigge et al., 2011) and 2 EDF analysis of MC sporadic tasks (Ekberg & Yi, 2013).

• Both based on demand bound functions!

Pontus Ekberg State-Based Mode Switching 14

Outline of EDF Analysis

• Systematic approach: consider each mode switch separately.

µ1 µ2 µ3 µ4

• Combine techniques from

1 EDF analysis of regular DRT tasks (Stigge et al., 2011) and 2 EDF analysis of MC sporadic tasks (Ekberg & Yi, 2013).

• Both based on demand bound functions!

Pontus Ekberg State-Based Mode Switching 14

Outline of EDF Analysis

• Systematic approach: consider each mode switch separately.

µ1 µ2 µ3 µ4

• Combine techniques from

1 EDF analysis of regular DRT tasks (Stigge et al., 2011) and 2 EDF analysis of MC sporadic tasks (Ekberg & Yi, 2013).

• Both based on demand bound functions!

Pontus Ekberg State-Based Mode Switching 14

∀Tiank you! ⋄ ∃Qvestions?

Pontus Ekberg State-Based Mode Switching 15