A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Static Probabilistic Timing Analysis for Multi-path Programs
2015
2015 IEEE Real-Time Systems Symposium
This paper introduces an effective Static Probabilistic Timing Analysis (SPTA) for multi-path programs. The analysis estimates the temporal contribution of an evict-on-miss, random replacement cache to the probabilistic Worst-Case Execution Time (pWCET) distribution of multi-path programs. The analysis uses a conservative join function that provides a proper overapproximation of the possible cache contents and the pWCET distribution on path convergence, irrespective of the actual path followed
doi:10.1109/rtss.2015.41
dblp:conf/rtss/LesageGAD15
fatcat:pmphpt5fvngp7mik7l6cs7jubm