TIMMO's Challenges for AUTOSAR Timing Modeling - LIFL

More documents

Recommendations

Info

Background & MotivationTIMMO Focus: End-to-end Timing Calculation of response times (function exec./message transmission):End-to-end timing chains (e.g., from sensor to actuator over a network) Taking into account timing dependencies...preemptions, blocking, buffering, data-dependent execution times,… In order to study timing problems…Overload, miss deadlines, buffer overload, stability of distributed controlEvaluating MARTE in Industry: TIMMO's Challenges for AUTOSAR Timing Modeling Munich, March 14th, 2008 4
TIMMO Expectations on MARTE TIMMO can benefit from MARTE:Semantically, because of the MARTE timing analysis basisSyntactically, because MARTE has defined many common timing aspects Preliminary TIMMO expectations on MARTEstructure? (abstraction levels, components, flexibility)experience of using UML-like approach for timing modelingpractical experience (proof of concept, effort, tool-support)compatibility with: AUTOSAR / OSEK-VDX / FlexRay, etc.which MARTE parts must be considered? TIMMO asks "reasonable" effort to specify models that are supportedby existing analysis/simulation tools“There is no point in modeling something thatcannot be analyzed” (during an AUTOSAR timing team meeting)Evaluating MARTE in Industry: TIMMO's Challenges for AUTOSAR Timing Modeling Munich, March 14th, 2008 5
Page 2 and 3: Presentation GoalsIdentify TIMMO ex
Page 6 and 7: How to evaluate MARTE? The “impor
Page 8 and 9: MARTE Structure for Timing Analysis
Page 10 and 11: Basic Mapping MARTE Analysis vs. AU
Page 12 and 13: Over/under Sampling•single-buffer
Page 14 and 15: Analysis Context conceptsEvaluating
Page 16 and 17: Conclusions We suggest to look at t

TIMMO's Challenges for AUTOSAR Timing Modeling - LIFL

Create successful ePaper yourself

Delete template?

Save as template?