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: https://drops.dagstuhl.de/opus/volltexte/2007/808/
Deverge, Jean-François ; Puaut, Isabelle
Safe measurement-based WCET estimation
| pdf-format: |
|
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 | |
| Seminar: | 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) | |
| Issue date: | 2007 | |
| Date of publication: | 29.03.2007 |
