License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2005.808
URN: urn:nbn:de:0030-drops-8089
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/808/
Deverge, Jean-François ;
Puaut, Isabelle
Safe measurement-based WCET estimation
Abstract
This paper explores the issues to be addressed to provide
safe worst-case execution time (WCET) estimation methods
based on measurements. We suggest to use structural testing
for the exhaustive exploration of paths in a program.
Since test data generation is in general too complex to be
used in practice for most real-size programs, we propose
to generate test data for program segments only, using program
clustering. Moreover, to be able to combine execution
time of program segments and to obtain the WCET of the
whole program, we advocate the use of compiler techniques
to reduce (ideally eliminate) the timing variability of program
segments and to make the time of program segments
independent from one another.
BibTeX - Entry
@InProceedings{deverge_et_al:OASIcs:2007:808,
author = {Jean-Fran{\c{c}}ois Deverge and Isabelle Puaut},
title = {{Safe measurement-based WCET estimation}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Reinhard Wilhelm},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/808},
URN = {urn:nbn:de:0030-drops-8089},
doi = {10.4230/OASIcs.WCET.2005.808},
annote = {Keywords: Real-Time, Timing Analysis, Test-Case generation, Processor Architecture}
}
Keywords: |
|
Real-Time, Timing Analysis, Test-Case generation, Processor Architecture |
Collection: |
|
5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) |
Issue Date: |
|
2007 |
Date of publication: |
|
29.03.2007 |