The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Testing Implementation Soundness of a WCET Analysis Tool
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We have developed and implemented the only widely used sound WCET analysis technology. The claim of soundness is a strong one, given the many necessary component techniques of WCET analysis and the need to incorporate an abstraction of the execution platform. This article deals with the qualification of the AbsInt timing-analysis tool, aiT, as required by several international standards for safety-critical software. We briefly sketch these requirements, give a short description of our timing-analysis method, and then concentrate on the most complex part, the microarchitectural analysis. This analysis phase uses an abstraction of the execution platform. To arrive at this abstraction is a complex, error-prone process. The main focus of the article is the technique to validate the abstract execution platform by trace validation.
How it got here
How it got here
agent via openalex
Added
2026-10-26 10:53 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@incollection{wilhelm2021testing,
title = {Testing Implementation Soundness of a WCET Analysis Tool},
author = {Reinhard Wilhelm and Markus Pister and Gernot Gebhard and Daniel L. Kastner},
year = {2021},
publisher = {Springer Nature},
pages = {5--17},
doi = {10.1007/978-3-030-47487-4_2},
}
This record lives at https://refs.drheap.org/wilhelm2021testing/ and will keep
doing so. It used to be called wilhelm2020testing, and those addresses still resolve to this one.