Automatic timing model generation by CFG partitioning and model checking

Wenzel, I, Rieder, B, Kirner, Raimund and Puschner, P. (2005) Automatic timing model generation by CFG partitioning and model checking. In: Proceedings of Design, Automation and Test in Europe :. Institute of Electrical and Electronics Engineers (IEEE), Munich, pp. 606-611. ISBN 0-7695-2288-2
Copy

We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.


picture_as_pdf
rr_2004_064_date05_automatic_gen_tmodel.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