Contract-Based ReusableWorst-Case Execution Time Estimate

Authors:
Johan Fredriksson;Thomas Nolte;Mikael Nolin;Heinz Schmidt
Affiliations:
Malardalen University, Vasteras, Sweden;Malardalen University, Vasteras, Sweden;Malardalen University, Vasteras, Sweden;Malardalen University, Vasteras, Sweden
Venue:
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Year:
2007

Citing 0
Cited 8

Towards Guidelines for a Development Process for Component-Based Embedded Systems

ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Verification of real-time systems: application to the transportation domain

NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Reliability-driven deployment optimization for embedded systems

Journal of Systems and Software
Component deployment optimisation with bayesian learning

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Systematic simplicity-accuracy tradeoffs in parameterised contract models

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Architecture-Driven reliability and energy optimization for complex embedded systems

QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Architecture-driven reliability optimization with uncertain model parameters

Journal of Systems and Software
Model level worst-case execution time analysis for IEC 61499

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Quantified Score

Hi-index	0.00

Visualization

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.