License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2019.6
URN: urn:nbn:de:0030-drops-107713
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10771/
Sun, Wei-Tsun ;
Jenn, Eric ;
Cassé, Hugues
Validating Static WCET Analysis: A Method and Its Application
Abstract
WCET analysis is a key activity in the development of safety critical real-time systems. Whether upper bounds on WCETs are obtained using static analysis or measurements, the confidence on the compliance of a system with its temporal requirements directly depends on the confidence on these estimations. Static WCET analysis based on abstract interpretation takes benefits from its formal foundations. However, it also strongly depends on the correctness of the underlying models. We hereby show how we have validated the version of the data flow static analyser of OTAWA applied to the AURIX TC275 target processor.
BibTeX - Entry
@InProceedings{sun_et_al:OASIcs:2019:10771,
author = {Wei-Tsun Sun and Eric Jenn and Hugues Cass{\'e}},
title = {{Validating Static WCET Analysis: A Method and Its Application}},
booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)},
pages = {6:1--6:10},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-118-4},
ISSN = {2190-6807},
year = {2019},
volume = {72},
editor = {Sebastian Altmeyer},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10771},
URN = {urn:nbn:de:0030-drops-107713},
doi = {10.4230/OASIcs.WCET.2019.6},
annote = {Keywords: validation of WCET tools, ISS, nML}
}
|
Keywords: |
|
validation of WCET tools, ISS, nML |
|
Collection: |
|
19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019) |
|
Issue Date: |
|
2019 |
|
Date of publication: |
|
03.07.2019 |
