TEMPO: Integrating Scheduling Analysis in Industrial Design - - PowerPoint PPT Presentation

www.thalesgroup.com

TEMPO: Integrating Scheduling Analysis in Industrial Design Practices

Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology

2 / 2 /

RTAS’16 Conference – Vienna - 12 April 2016

Modeling tools SymTA/S

How to Benefit from Existing Timing Analysis Techniques and Tools ?

MASTPro Timing verification tools Cheddar TOSA/CAPELLA TAS TCS

3 / 3 /

RTAS’16 Conference – Vienna - 12 April 2016

?

Available in modeling tool

• Application model & behavior
• Mapping
• Timing characteristics
• Scheduling characteristics

Modeling tool SymTA/S

Performance Viewpoint

Required by analysis tool

• Application model & behavior
• Mapping
• Timing characteristics
• Scheduling characteristics

Connecting Design to Timing Performance Verification

Different task communication semantic

Different priorities order semantic

Different scheduling semantic

4 / 4 /

RTAS’16 Conference – Vienna - 12 April 2016

Solving the Semantic Gaps

Task 1 Task 2 Task 2 Task 1,a Task 1,b Modeling tool SymTA/S

Timing behavior Timing behavior

5 / 5 /

RTAS’16 Conference – Vienna - 12 April 2016

Task 1 Task 2 Task 2 Task 1,a Task 1,b Modeling tool SymTA/S

Timing behavior Timing behavior

Solving the Semantic Gaps

6 / 6 /

RTAS’16 Conference – Vienna - 12 April 2016

Results Modeling tool Model adaptation Analysis tool Results adaptation

Tempo

Model abstraction Performance Model

From Timing Verification Back to Design Model via Tempo

Transformation rules required to

inject the analysis results in the design model

7 / 7 /

RTAS’16 Conference – Vienna - 12 April 2016

Results Modeling tool Model adaptation Analysis tool Results adaptation

Tempo

Model abstraction Performance Model

Conclusion: Full integration of Scheduling analysis

Run the timing analysis

8 / 8 /

RTAS’16 Conference – Vienna - 12 April 2016

Thank you for your attention!