Logotype Mälardalenn University

MRTC publications



Contract-Based Reusable Worst-Case Execution Time Estimate

Full text:  
Authors: Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external)
Source: Technical Report, Mälardalen Real-Time Centre
 

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 WCETestimates for reusable components with rich behavior.
 

BibTeX entry

@techreport{Fredriksson_1266:2007,
   author = {Johan Fredriksson and Thomas Nolte and Mikael Nolin and Heinz Schmidt},
   title = {Contract-Based Reusable Worst-Case Execution Time Estimate},
   month = {April},
   year = {2007},
   publisher = {M{\"a}lardalen Real-Time Centre},
   institution = {M{\aa}lardalen University},
   number = {},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1266},
}

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