Gustafsson, Jan ;
Ermedahl, Andreas
Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution
Abstract
Static 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. A key component in static WCET analysis is to derive flow information, such as loop bounds and infeasible paths. We have previously introduced abstract execution (AE), a method capable of deriving very precise flow information. This paper present different merging techniques that can be used by AE for trading analysis time for flow information precision. It also presents a new technique, ordered merging, which may radically shorten AE analysis times, especially when analyzing large programs with many possible input variable values.
BibTeX - Entry
@InProceedings{gustafsson_et_al:OASIcs:2008:1658,
author = {Jan Gustafsson and Andreas Ermedahl},
title = {{Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution}},
booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-10-1},
ISSN = {2190-6807},
year = {2008},
volume = {8},
editor = {Raimund Kirner},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1658},
URN = {urn:nbn:de:0030-drops-16585},
doi = {10.4230/OASIcs.WCET.2008.1658},
note = {also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-237-3},
annote = {Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis}
}
|
Keywords: |
|
Worst-Case Execution Time (WCET) analysis, flow analysis |
|
Seminar: |
|
8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08)
|
|
Issue date: |
|
2008 |
|
Date of publication: |
|
2008 |
2008
