Logotype Mälardalen University

MRTC publications



Hierarchical Composition of Parametric WCET in a Component Based Approach

Authors: Thomas Leveque (former), Etienne Borde (former), Amine Marref (former), Jan Carlson
Source: 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC'11), IEEE , Newport Beach, USA
 

Abstract

Worst Case Execution Time (WCET) computation is crucial to the overall timing analysis of real-time embedded systems. Facing the ever increasing complexity of such systems, techniques dedicated to WCET analysis can take advantage of Component Based Software Engineering (CBSE) by decomposing a difficult problem into smaller pieces, easier to analyse. To achieve this objective, the corresponding analysis results have to be composed to provide timing guarantees on the whole system. In this paper, we express the WCET of a component as a formula, allowing to represent its different computational modes. We then propose a Model Driven Engineering (MDE) approach that derives parametric WCET for composite components from parametric WCET of their subcomponents. This approach gives more accurate WCET estimates than naive additive compositional analysis by taking into account usage context of components. However, analysis scalability concerns lead us to consider a trade-off between precision and scalability. This trade-off can be specified in the model. The composition of WCET estimations is automated and produces the parametric WCET expression of the composite component under analysis. This approach has been integrated in PRIDE.
 

BibTeX entry

@inproceedings{Leveque_2391:2011,
   author = {Thomas Leveque and Etienne Borde and Amine Marref and Jan Carlson},
   title = {Hierarchical Composition of Parametric WCET in a Component Based Approach},
   booktitle = {14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC'11)},
   month = {March},
   year = {2011},
   publisher = {IEEE },
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2391},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23