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.2007.1186
URN: urn:nbn:de:0030-drops-11868
URL: https://drops.dagstuhl.de/opus/volltexte/2007/1186/
Herrmann, Christoph A. ; Bonenfant, Armelle ; Hammond, Kevin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Pointon, Robert
Automatic Amortised Worst-Case Execution Time Analysis
| pdf-format: |
|
Abstract
Our research focuses on formally boundedWCET analysis, where we aim to provide absolute
guarantees on execution time bounds. In
this paper, we describe how amortisation can be
used to improve the quality of the results that
are obtained from a fully-automatic and formally
guaranteed WCET analysis, by delivering analysis
results that are parameterised on specific input
patterns and which take account of relations
between these patterns. We have implemented
our approach to give a tool that is capable of
predicting execution costs for a typical embedded
system development platform, a Renesas board
with a Renesas M32C/85U processor. We show
that not only is the amortised approach applicable
in theory, but that it can be applied automatically
to yield good WCET results.
BibTeX - Entry
@InProceedings{herrmann_et_al:OASIcs:2007:1186,
author = {Christoph A. Herrmann and Armelle Bonenfant and Kevin Hammond and Steffen Jost and Hans-Wolfgang Loidl and Robert Pointon},
title = {{Automatic Amortised Worst-Case Execution Time Analysis}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Christine Rochange},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/1186},
URN = {urn:nbn:de:0030-drops-11868},
doi = {10.4230/OASIcs.WCET.2007.1186},
annote = {Keywords: Amortisation, functional programming, performance measurement, static analysis, type and effect systems, worst-case execution time}
}
| Keywords: | Amortisation, functional programming, performance measurement, static analysis, type and effect systems, worst-case execution time | |
| Seminar: | 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) | |
| Issue date: | 2007 | |
| Date of publication: | 13.11.2007 |
