A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Formal Executable Models for Automatic Detection of Timing Anomalies
2018
Worst-Case Execution Time Analysis
A timing anomaly is a counterintuitive timing behavior in the sense that a local fast execution slows down an overall global execution. The presence of such behaviors is inconvenient for the WCET analysis which requires, via abstractions, a certain monotony property to compute safe bounds. In this paper we explore how to systematically execute a previously proposed formal definition of timing anomalies. We ground our work on formal designs of architecture models upon which we employ guided
doi:10.4230/oasics.wcet.2018.2
dblp:conf/wcet/AsavoaeHJ18
fatcat:yatz64kqnfawfhvuzzhyvdflue