2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium Model Identification for WCET Analysis San Francisco, CA April 13-April 16 ISBN: 978-0-7695-3636-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2009.16
Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. Static WCET analysis derives safe upper bounds. For complex hardware architectures the hardware modelling is still a challenge, leading to long analysis times and a risk of large WCET overestimation. Therefore, hybrid WCET analysis methods have appeared, where measurements are used to augment or replace the detailed low-level static WCET analysis. These methods do not in general yield a safe WCET estimate, but can still be appropriate in soft real-time systems where such WCET estimates are not crucial.In this paper we make two contributions. First, we develop a hybrid WCET analysis method, which uses regression to identify parameters in the common linear Implicit Path Enumeration Technique (IPET) model for WCET calculation.
Index Terms:
real-time, WCET analysis, model identification, test coverage
Citation:
Björn Lisper, Marcelo Santos, "Model Identification for WCET Analysis," rtas, pp.55-64, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||