Talks and Poster Presentations (with Proceedings-Entry):
S. Bünte, M. Zolda, R. Kirner:
"Let's Get Less Optimistic In Measurement-Based Timing Analysis";
Talk: 6th International Symposium on Industrial Embedded Systems (SIES'11),
- 2011-06-17; in: "Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11)",
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.
Created from the Publication Database of the Vienna University of Technology.