Let's get less optimistic in measurement-based timing analysis

Bünte, S., Zolda, Michael and Kirner, Raimund (2011) Let's get less optimistic in measurement-based timing analysis. In: SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings :. Institute of Electrical and Electronics Engineers (IEEE), SWE, pp. 204-212. ISBN 978-161284820-4
Copy

Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. In order to minimize the chance that the WCET estimate is below the real WCET, the set of representative execution-time measurements has to be selected advisedly. We present an input data generation technique that uses a combination of model checking and genetic algorithms in order to heuristically optimize the set of measurements in terms of safety.


picture_as_pdf
905594.pdf
subject
Submitted 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