Measurement-Based Timing Analysis

Wenzel, Ingomar, Kirner, Raimund, Rieder, Bernhard and Puschner, Peter (2009) Measurement-Based Timing Analysis. In: Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008. Communications in Computer and Information Science . Springer Nature, Porto Sani, pp. 430-444. ISBN 978-3-540-88478-1
Copy

In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound. This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements. The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.


picture_as_pdf
ent_final_ISOLA08.pdf
subject
Draft Version

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads