Fig. 8From: On the assessment of probabilistic WCET estimates reliability for arbitrary programsReVS applied to the instruction accesses of bitmnp and aifirf. The analysis is performed for combinations of addresses with increasing cardinality, |a C i |∈ [ W+1,U] and pWCET estimates obtained with R and R ′ runs. a pWCMC for bitmnp. b pWCET for bitmnp. c pWCMC for aifirf. d pWCET for aifirf Back to article page