Contract-based reusable worst-case execution time estimate

Fredriksson, J, Nolte, T, Nolin, M and Schmidt, H 2007, 'Contract-based reusable worst-case execution time estimate', in Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA07), Daegu, Korea, 21-24 August 2007, pp. 39-46.


Document type: Conference Paper
Collection: Conference Papers

Title Contract-based reusable worst-case execution time estimate
Author(s) Fredriksson, J
Nolte, T
Nolin, M
Schmidt, H
Year 2007
Conference name 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA07)
Conference location Daegu, Korea
Conference dates 21-24 August 2007
Proceedings title Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA07)
Publisher IEEE
Place of publication USA
Start page 39
End page 46
Total pages 8
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 WCETestimation 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.
Subjects Technology not elsewhere classified
Keyword(s) Computer science
Contracts
Costs
Embedded computing
Embedded system
Software engineering
Software quality
Software reusability
Time to market
Vehicle dynamics
Copyright notice © 2007 IEEE
ISBN 9780769529752
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 20 times in Scopus Article | Citations
Access Statistics: 107 Abstract Views  -  Detailed Statistics
Created: Thu, 15 Jan 2015, 08:26:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us