21
Chess Review May 11, 2005 Berkeley, CA Extensible and Scalable Time Triggered Scheduling for Automotive Applications Wei Zheng Advisor: Professor Alberto Sangiovanni-Vincentelli Chess Review, May 11, 2005 2 Agenda Motivation Problem Statement Previous Work Investigative Approach Metric Definition Mathematical Formulation Multi-Objective Cost Function Case Study System Description Cost Function Evaluation Metrics Evaluation Conclusion Future Work Problem Problem Model Model Mathematical Model Mathematical Model Implementation Implementation Algorithm Algorithm Evaluation Evaluation

Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

1

Chess ReviewMay 11, 2005Berkeley, CA

Extensible and Scalable Time Triggered Scheduling for Automotive Applications

Wei Zheng

Advisor: Professor Alberto Sangiovanni-Vincentelli

Chess Review, May 11, 2005 2

Agenda

• Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

ProblemProblem

ModelModel

MathematicalModel

MathematicalModel

ImplementationImplementation

AlgorithmAlgorithm

EvaluationEvaluation

Page 2: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

2

Chess Review, May 11, 2005 3

Project Motivation

• Hard Real-time Embedded Systems are ubiquitously used today in safety critical commercial applications

• Verification of complex systems is time and resource intensive

• For fast time-to-market Extensible and Scalable systems

Power Transmission Unit- 6-lines per day- 3000 ppm residential defects- 5 months validation timeFABIO ROMEO, Magneti- MarelliDAC, Las Vegas, June 20th, 2001

X-by-wire

Chess Review, May 11, 2005 4

Design Flow

FunctionalModel

SoftwareModel

PhysicalArchitecture

Model

Mapping

Control algorithm designPlant Model designFault ModelFunctional Simulation

Allocate Functionto Tasks

Task and their WCETSignalsMiddlewareOS

Allocating tasks to ECUAllocating signals to BUS

ECU architectureNetwork architecture

Simulation capturing computational constraintsTT behavioral simulation

Functionality Architecture

SchedulingVirtual Prototype

Refinement

Page 3: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

3

Chess Review, May 11, 2005 5

INPUTPROCESSING

SYSTEMCOORDINATION

INPUT FAULTMANAGEMENT

DISTRIBUTEDCONTROL

AGREEMENT

BY-WIRECONTROL

NODE STATE OF

HEALTH

OUTPUTPROCESSING

OUTPUT FAULTMANAGEMENT

TASK A

TASK C

TASK A

TASK B TASK D

SOURCE: GM

Functionality: Allocate Function to Task

Chess Review, May 11, 2005 6

System Architecture

...

ECU

APP. TTTASKS

Comm. controller

BUS DRIVER

OSEK SCHEDULER

BUS DRIVER

OSEK TIME DISPATCHER

FT. TTTASKS

APP. OSEKTASKS

...

... 140 1 2 3 4 5 6 8 107 9 11 12 13

STATIC SEG DYNAMIC SEGSYMBOL WIN

NIT

COMMUNICATION CYCLE

140 1 2 3 4 5 6 8 107 9 11 12 13 ...

Page 4: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

4

Chess Review, May 11, 2005 7

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 8

• Identify a set of metrics to capture extensibility and scalability

• Apply the set of metrics in a design

• Evaluate the effectiveness of the set of metrics

• Specifically, we want to:– Study a hard real time embedded systems in the

automotive domain– Focus on the scheduling aspect of system design– Characterize extensibility and scalability in

scheduling– Apply the set of metrics in a scheduling

algorithm– Evaluate the effectiveness of the approach with

industrial case study

Identify a Set of Metrics

Formally Describe Metric

Apply Metrics To Design

Evaluate Result w.r.t. Metrics

ProblemProblem

Problem Statement

Page 5: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

5

Chess Review, May 11, 2005 9

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 10

Previous Work

• Static cyclic scheduling has been extensively researched

• Classical scheduling theory use metrics such as– Minimizing sum of completion time– Minimizing schedule length– Minimizing resource

• For real time systems, deadline is added as a constraint– Emphasis shifted to finding feasible solutions while

• Minimizing end-to-end delay• Minimizing communication cost

• Closest problem concept comes from Paul Pop, et al

• Closest problem formulation comes from Armin Bender, et al

Page 6: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

6

Chess Review, May 11, 2005 11

Previous Work

• Paul Pop, et al, wrote about incremental design– Use list scheduling approach to obtain a valid schedule– Use a heuristic to distribute slack in the system– Missing several important components

• Preemption is not considered• Resulting schedule is not suitable for future task with urgent deadline• Message slack is not distributed• Extensibility is not considered

• Armin Bender, et al, used mathematical programming for mapping and scheduling– Work is motivated by software-hardware co-design– Objective is to obtain schedule feasibility while

• Maximizing Performance• Minimizing resource

Chess Review, May 11, 2005 12

Research Direction

• Focus on optimally utilize redundancies in schedules for extensibility and scalability– Idle time and slacks are traditionally incorporated in hard real

time embedded systems schedules to increase system robustness

• We should utilize these redundancies to:– Tolerate incremental design changes– Accommodate new tasks to be added in future product updates

D 12_2D 34D 12_1

T2_1 T2_2T4

T1_2T3T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1T5_1 T5_2

Idle[ ECU1, T5_2]Idle Time

Data Slacks Slack[ D12_2, T2_2]

Page 7: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

7

Chess Review, May 11, 2005 13

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 14

ExtensibilityExtensibility

Motivation• Tolerate changes of Task WCET • Tolerate changes of Data WCTT

Implementation

• Maintain Bus Schedule• Maintain non-involved ECU

schedules• Maintain involved ECU

schedules without reconfiguration

Approach

• Message left & Right slack• Max Sum of all slacks• Min Variance of all slacks

ScalabilityScalability

• Accommodate NEW tasks by statically scheduling them on a legacy system

• Provide blocks of computation time for future computation intensive tasks

• Provide porosity in schedules toallow for future tasks with tightdeadlines

• ECU idle time distribution• Bus idle time distribution

• Evenly distribute all idle time

ModelModel

Capture the Metrics

Page 8: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

8

Chess Review, May 11, 2005 15

Applying the Metrics

• Develop a formal representation of the problem using mathematical programming and solve it using existing solver– Modeling Language: AMPL– Advantage: obtain optimal solution

w.r.t. cost function– Disadvantage: computationally intensive

suitable only for moderately sized problems

• Assumptions:– Hard real time deadlines– Statically scheduled tasks with data dependency– Distributed and heterogeneous multi-processor architecture– Time triggered bus with TDMA protocol– Preemption allowed on ECUs with no level limits– Multi-rate task support with adaptive task graph expansion– Fixed task allocation with no task migration

MathematicalModel

MathematicalModel

Chess Review, May 11, 2005 16

Mathematical Formulation 1

Notations• The set of Tasks

• The set of ECU

• The set of task pair with data dependency running on the same ECU

• The set of task pair with data dependency running on different ECU

• The set of task non-reachable task pair running on the same ECU

• The set of task pair running on the same ECU

• The set of task allocation for ECU

},,,|),{( ,, EkaaTtTttt kjkijiji ∈=∈∈=π

},...,1|{ mitT i ==},...,1|{ nieE i ==

},,,|),{( ,, kjkijijiji aattTtTttt =<∈∈=σ

}1,,,|),{( ,, ≤+<∈∈= kjkijijiji aattTtTtttϖ

},,,|),{( ,, jikjkijiji ttaaTtTttt <>=∈∈=θ

}1|{},|{ , ==∈= jiijj atEj κκλ

MathematicalModel

MathematicalModel

Page 9: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

9

Chess Review, May 11, 2005 17

Mathematical Formulation 2

WCET

Release Time

Period

Idle time

Starting time

Finishing timeTifTisTicTipTirTie

i

i

i

i

i

i

∈∈∈∈∈∈

,,,,,,

Task: 6-tuple parameter variable Vector

Task: 6-tuple parameter variable Vector

fscpre ,,,,,:τ

WCTT

Left Slack

Right Slack

Starting time

Finishing timeϖ

ϖ

ϖ

ϖ

ϖ

),(,

),(,),(,

),(,),(,

,

,

,

,

,

jimf

jimsjirl

jisljimt

ji

ji

ji

ji

ji

Message: 5-tuple parameter variable Vector

Message: 5-tuple parameter variable Vector

mfmssrslmt ,,,,:ς

Parameters and Variables• Mapping from Tasks to ECUs

• Task and Message

},...,1;,...,1|{ , njmiaETM ji ===×=

=01

, jiaif task i is mapped to ECU j

otherwise

MathematicalModel

MathematicalModel

Chess Review, May 11, 2005 18

Mathematical Formulation 3

=10

, jiyif the starting time of task i precede the starting time of task j

otherwise θ∈),( ji

=10

, jipif task i is not preempted by task j

otherwiseθ∈),( ji

Parameters and Variables (continue)• Idle time and Integer Variables

=10

,,, lkjizif data transmitted from task i to task j precedesdata transmitted from task k to l

otherwise ϖϖ

∈∈),(),(lkji

idleic Idle time for task i, if i is not the first task in of its running ECUfirstkc First idle time for each ECU k

lastafterkc

−Idle time for ECU k before the super period

MathematicalModel

MathematicalModel

Page 10: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

10

Chess Review, May 11, 2005 19

Mathematical Formulation 4

• Subject to the following constraints:– Release and Deadline Constraints– Execution Time/Transmission

Constraints

– Precedence Constraints

– Non-negative and Integer Constraints

Tidf ii ∈≤ ,Tisr ii ∈≤ ,

TjTiepesfji

jjiiii ∈∈×++= ∑∈

,,),(

σ∈≤ ),(, jisf ji

ϖ∈<= ),(,, jimsf jii

ϖ∈≤+ ),(,,, jismtms jjiji

ϖ∈=+ ),(,,,, jimfmtms jijiji

θθ

θ

θ

∈∈=+

∈Λ×−+≤

∈Λ×+≤

),(,),(,1

),(,)1(

),(,

,,

,

,

ijjiyy

jiyss

jiyss

ijji

jiij

jiji

ljorkilkjibinaryz

jibinarypyjimfms

Tifs

lkji

jiji

jiji

ii

≠≠∈∈

=

∈=

∈≥≥∈≥≥

,,,),(,),(

),(,,),(,0,0

,0,0

,,,

,,

,,

ϖϖ

θ

ϖ

MathematicalModel

MathematicalModel

Chess Review, May 11, 2005 20

Mathematical Formulation 5

• Constraints (continued):– Mutual exclusion

constraints

– Idle time constraints

njorminmji

zmsmtmsnjorminmji

zmsmtms

nmjijinmnm

nmjinmjiji

≠≠∈∈

Λ×−+≤+≠≠∈∈

Λ×+≤+

,,,),(,),(

)1(,,,),(,),(

,,,,,,

,,,,,,

ϖϖ

ϖϖ

θ

θθ

θ

θ

∈−≤

∈∈≤+

∈Λ×−+Λ×+≤

∈Λ×+Λ×+≤

),(,1

),(,),(,1),(,)1(

),(,

,,

,,

,,

,,

jiyp

ijjippjipyff

jipysf

jiji

ijji

jijiij

jijiji

EkePcc

iEkfPc

jipyc

jiysc

jipyfsc

kk jj

lastafterk

j

idlej

kilastafter

k

jijiidlej

jiiidlei

jijiijidlej

∈∀−=+

∈∈−≤

∈Λ×−+Λ×+≤

∈Λ×+≤

∈Λ×+Λ×+−≤

∑∑∈∈

,

,,

),(,)1(0

),(,

),(,)(

_

_

,,

,

,,

κκ

κ

π

π

π

MathematicalModel

MathematicalModel

Page 11: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

11

Chess Review, May 11, 2005 21

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 22

Multiple Objective Cost Function

• Extensibility

• Scalability

• Jointly Extensibility & Scalability

∑∈

−+−=ϖ),(

,, ))()((maxji

jijiji mfsfmsR

2_2, )()(min j

Ej

lastafterj

Ej Tij

idleiji averagecaveragecaS −+−×= ∑∑∑

∈∈ ∈

SKRKRS ×+−×= 21 )(min

AlgorithmAlgorithm

Page 12: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

12

Chess Review, May 11, 2005 23

D 34

T5_2

D 12_2

T2_2

T1_2

T4

T5_1T3

T2_1

T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1

D 12_1

Extensible Schedule---WCET Changes WCET Increase

T6

D 34 D 12_2

T2_2

T1_2

T4

T3

T2_1

T1_1 T5_1

D 12_1

Time 0 1 2 3 4

Bus

ECU2

ECU1

Scalable Schedule: Add New Task

T5_2

T2_2

D 12_2

T1_2 T5_2

T4

T3

D 12_1

T2_1

T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1T5_1

D 34

Minimize End to End Latency

Task graph expansion (in a SUPERperiod)

T1

T4T3

functionality

ECU2ECU1

FlexRay

architecture

Mapping

T5T1

T3

T2 T1 T2

T4T5 T5

T2_2

D 12_2

T5_2

D 34

T4

T3

D 12_1

T2_1

T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1T5_1 T1_2

Checking Schedulability

D 34 D 12_2

T2_2

T1_2

T4

T3

T2_1

T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1T5_1 T5_2

D 12_1

Scalable Schedule

T6

T2

D 34

T5_2

D 12_2

T2_2

T1_2

T4

T5_1T3

T2_1

T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1

D 12_1

Extensible Schedule

D 34 D 12_2

T2_2T4

T1_2

T2_1

D 12_1

T3T1_1

Time 0 1 2 3 4

Bus

ECU2

ECU1T5_1 T5_2

Jointly Considering Extensible and Scalable

AlgorithmAlgorithm

Extensibility and Scalability of Time Triggered Scheduling

Chess Review, May 11, 2005 24

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Summary• Conclusion• Future Work

Page 13: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

13

Chess Review, May 11, 2005 25

Advanced Automotive Control Application

Desired Speed

Current SpeedObject Distance and Speed

Current throttleposition

Desired braking force

Desired Throttle position

Actuate brakesActuate Throttle

Left-RearWheel speed

Actuate Throttle

Actuate Brake

Desired Braking Force

Lateral acceleration

Hand-wheelposition Yaw Rate

Right-FrontWheel Speed

Right-RearWheel Speed

Left-FrontWheel Speed

Road-wheelforce

Hand-wheelposition

Desired hand-Wheel effort

Desired road-Wheel angle

Force feedbackTo driver

Actuate steeringRack motor

T10

T14

T12

T13

T11

T8T7T9

T24T23

T22

T21T19 T20

T18T17T16T15

T2

T6T5

T4T3

T1

Applications and corresponding task graph representations

Adaptive Cruise Control

Traction Control

Electric Power Steering

Chess Review, May 11, 2005 26

Architecture and Task Allocation

P1T4,T11

P3T10,T20

P2T3,T12,

T22

FlexRay

Throttleposition

SteeringRackForce

ObjectDistance

Brake

ThrottleValue

Hand-Wheelmotor

SteeringRack Motor

Accel-arator

Hand-Wheelangle

CarSpeed

RFWheelSpeed

RRWheelSpeed

LFWheelSpeed

LRWheelspeed

Processorswith tasks allocated

cSensors are directly connected

to the bus

Actuators are directly connected

to the bus

Page 14: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

14

Chess Review, May 11, 2005 27

ImplementationImplementation

Describe the Metrics

Formalize the Metrics

Get Scheduling Result

Evaluate Result w.r.t. Metrics

Case study

Automatic AMPL data file

generation

AMPL model with cost function

and constraints

CPLEX solver

Automatic Gant graph generation

T2_2

D 12_2

T1_2T5_2

T4

T3

D 12_1

T2_1

T1_1

Time0 1 2 3 4Bus

ECU2

ECU1T5_1

D 34

.Self-developed project infrastructure .

Off-the-shelfproject infrastructure

Implementation Infrastructure

Chess Review, May 11, 2005 28

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Summary• Conclusion• Future Work

Page 15: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

15

Chess Review, May 11, 2005 29

Cost Function Evaluation

• Multi-objective cost function is an abstraction– Mathematical programming formulation has limited semantics– Extensibility and scalability metrics are too complex– Described in full, the cost function would be too

computationally expensive

• Must determine if the cost function abstraction effectively represents the metrics– Use the results of CPLEX solver– Extract real slack and idle time distributions based on

precise definition of the metrics– Compare results with the schedule without extensibility and

scalability optimization

EvaluationEvaluation

Chess Review, May 11, 2005 30

Traditional Scheduling Result

Optimizing for End to End Latency

EvaluationEvaluation

Page 16: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

16

Chess Review, May 11, 2005 31

Optimized Scheduling Result

Optimizing for Extensibility and Scalability

EvaluationEvaluation

Chess Review, May 11, 2005 32

Metrics Evaluation

• Our set of metrics is one abstraction of the extensibility and scalability concept

• Must determine if our metrics effectively handles incremental design changes

• Incremental Design Scenario: Basic ACC Stop-N-Go ACC– Addition of a new Adaptive Cruise Control feature – Predict desired speed based on:

• Digital map information• Forward looking vision sensor

– Requires addition of tasks and messages– Some existing tasks will need more computation time

EvaluationEvaluation

Page 17: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

17

Chess Review, May 11, 2005 33

Adaptive Cruise Control

• Incremental Design Changes:– Add new Digital Map Computation task on P1– More complex algorithm in T10 (Desired Speed Control) – Desired Speed Control requires new input from Hand Wheel

Sensor– Desired Throttle Control requires new input from Forward Vision

Sensor

EvaluationEvaluation

T10

T14

T12

T13

T11

T8T7T9T_add

T19

Desired Speed

Current SpeedObject Distance and Speed

Current throttleposition

Desired braking force

Desired Throttle position

Actuate brakesActuate Throttle

Digital MapComputation

Hand WheelPosition

Chess Review, May 11, 2005 34

Traditional Schedule

In Tradition Schedule:

Incremental changesimpossible withoutfull rescheduling

EvaluationEvaluation

Page 18: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

18

Chess Review, May 11, 2005 35

Optimized Schedule

In Tradition Schedule:Incremental changesimpossible withoutfull rescheduling

In Optimized Schedule:

A lot more porosity toaccommodate newtasks and messages

EvaluationEvaluation

Chess Review, May 11, 2005 36

Optimized Schedule

In Tradition Schedule:Incremental changesimpossible withoutfull rescheduling

In Optimized Schedule:A lot more porosity toaccommodate newtasks and messages

New functions added:Without disturbing legacy schedules

EvaluationEvaluation

Page 19: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

19

Chess Review, May 11, 2005 37

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 38

Conclusion

• Successfully captured extensibility and scalability metrics

• Recognized implications in accelerating time-to-market of embedded system development– Reduce re-verification burden in incremental design flow– No increase in resource requirements

• Formulated the scheduling problem as a mathematical programming problem

• Constructed multi-object cost functions abstracted from the metrics

• The cost function is shown to be effective for the metrics

• The metrics is shown to be effective in industry case study

Page 20: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

20

Chess Review, May 11, 2005 39

Agenda

• Project Motivation• Problem Statement• Previous Work• Investigative Approach

– Metric Definition– Mathematical Formulation– Multi-Objective Cost Function

• Case Study– System Description– Cost Function Evaluation– Metrics Evaluation

• Conclusion• Future Work

Chess Review, May 11, 2005 40

Future Work

• Protocol Comparison– FlexRay Vs. TTP

• Slot Size Optimization

... 140 1 2 3 4 5 6 8 107 9 11 12 13 ...

... 60 1 2 43 5 ...

COMMUNICATION CYCLE

COMMUNICATION CYCLE

Slot Size Exploration

• Read/Write

• Message Frame Packing

• Buffer Requirement

• Fragmentation

Page 21: Extensible and Scalable Time Triggered Scheduling for ......FABIO ROMEO, Magneti- Marelli DAC, Las Vegas, June 20th, 2001 X-by-wire Chess Review, May 11, 2005 4 Design Flow Functional

21

Chess Review, May 11, 2005 41

Future Work

FunctionalModel

SoftwareModel

PhysicalArchitecture

Model

Mapping

Control algorithm designPlant Model designFault ModelFunctional Simulation

Allocate Functionto Tasks

Task and their WCETSignalsMiddlewareOS

Allocating tasks to ECUAllocating signals to BUS

ECU architectureNetwork architecture

Simulation capturing computational constraintsTT behavioral simulation

Functionality Architecture

SchedulingVirtual Prototype

Refinement

Time TriggeredScheduling

TasksScheduling

MessageScheduling

Slot SizeOptimization

Chess Review, May 11, 2005 42

Reference

• Paul Pop: Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems. Ph. D. Thesis No. 833, Dept. of Computer and Information Science, Linköping University, June 2003

• H. Kopetz et al., Real-Time Systems-Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997

• N. Kandasamy, J. P. Hayes, B. T. Murray. Dependable Communication Synthesis for Distributed Embedded Systems.

• Liu, Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, J. ACM 20, p. 46-61, 1973

• Devillers, Goossens, Liu and Layland’s schedulability test revisited, Information Processing Letters, p 157-161, 2000

• Bini, Gio. Buttazzo, Giu. Buttazzo, Rate Monotonic Analysis : The Hyperbolic Bound, p 933-943, 2003

• Pradyumna K. Mishra and Sanjeev M. Naik. Distributed Control System Development for FlexRay-Based Systems

• A. Bender, “Design of an Optimal Loosely Coupled Heterogeneous Multiprocessor System,” in Proceedings of Electronic Design and Test Conference, pages 275-281, 1996