Speeding up Static Probabilistic Timing Analysis

Abstract : Probabilistic Timing Analysis (PTA) has emerged recently to derive trustworthy and tight WCET estimates. Computational costs due to the use of the mathematical operator called convolution used by SPTA – the static variant of PTA – and also deployed in many domains including signal and image processing, jeopardize the scalability of SPTA to real-size programs. We evaluate, qualitatively and quantitatively, optimizations to reduce convlution’s computational costs when it is applied to SPTA. We showthat SPTA specific optimizations provide the largest execution time reductions, at the cost of a small loss of precision.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01235544
Contributor : Damien Hardy <>
Submitted on : Monday, November 30, 2015 - 11:53:49 AM
Last modification on : Friday, January 11, 2019 - 1:52:59 PM

Identifiers

Citation

Milutinovic Suzana, Jaume Abella, Damien Hardy, Eduardo Quinones, Isabelle Puaut, et al.. Speeding up Static Probabilistic Timing Analysis. ARCS 2015 - International Conference on Architecture of Computing Systems, Mar 2015, Porto, Portugal. pp.236-247, ⟨10.1007/978-3-319-16086-3_19⟩. ⟨hal-01235544⟩

Share

Metrics

Record views

469