[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

S. Bünte, M. Zolda, R. Kirner:
"Let's Get Less Optimistic In Measurement-Based Timing Analysis";
Vortrag: 6th International Symposium on Industrial Embedded Systems (SIES'11), Västeras, Sweden; 15.06.2011 - 17.06.2011; in: "Proc. 6th International Symposium on Industrial Embedded Systems (SIES'11)", (2011), ISBN: 978-1-61284-818-1; S. 204 - 212.



Kurzfassung englisch:
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.

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.