Logotype Mälardalenn University

PROGRESS publications



Contract-Based Reusable Worst-Case Execution Time Estimate

Authors: Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external)
Source: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), p 39-46, IEEE Computer Society, Daegu, Korea
Notes: Best Paper Award
 

Abstract

We present a contract-based technique to achieve reuse of known worst-case execution times (WCET) in conjunction with reuse of software components. For resource constrained systems, or systems where high degree of predictability is needed, classical techniques for WCET-estimation will result in unacceptable overestimation of the execution-time of reusable software components with rich behavior. Our technique allows different WCETs to be associated with subsets of the component behavior. The appropriate WCET for any usage context of the component is selected be means of component contracts over the input domain. In a case-study we illustrate our technique and demonstrate its potential in achieving tight WCET-estimates for reusable components with rich behavior.
 

BibTeX entry

@inproceedings{Fredriksson_1299:2007,
   author = {Johan Fredriksson and Thomas Nolte and Mikael Nolin and Heinz Schmidt},
   title = {Contract-Based Reusable Worst-Case Execution Time Estimate},
   booktitle = {Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07)},
   month = {August},
   year = {2007},
   pages = {39-46},
   publisher = {IEEE Computer Society},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1299},
}

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