Measurement-based probabilistic timing analysis for multi-path programs
Document typeConference report
Rights accessRestricted access - publisher's policy
European Commisision's projectPROARTIS - Probabilistically Analysable Real-Time Systems (EC-FP7-249100)
The rigorous application of static timing analysis requires a large and costly amount of detail knowledge on the hardware and software components of the system. Probabilistic Timing Analysis has potential for reducing the weight of that demand. In this paper, we present a sound measurement-based probabilistic timing analysis technique based on Extreme Value Theory. In all the experiments made as part of this work, the timing bounds determined by our technique were less than 15% pessimistic in comparison with the tightest possible bounds obtainable with any probabilistic timing analysis technique. As a point of interest to industrial users, our technique also requires a comparatively low number of measurement runs of the program under analysis, less than 650 runs were needed for the benchmarks presented in this paper.
CitationCucu, L. [et al.]. Measurement-based probabilistic timing analysis for multi-path programs. A: Euromicro Conference on Real-Time Systems. "Euromicro Conference on Real-Time Systems: Pisa, Itàlia, July 11 - 13, 2012". Pisa: 2012, p. 91-101.
|Measurement-bas ... or multi-path programs.pdf||Measurement-based probabilistic timing analysis for multi-path programs||625,3Kb||Restricted access|