Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation

The goal of measurement-based WCET estimation (MBWE) is to derive an estimate of the worst-case execution time (WCET) of a given piece of software on a particular target platform by executing the software on the target hardware and analyzing the obtained time-stamped execution traces. In this paper we introduce context-sensitive MBWE, an approach that can reduce pessimism by making use of state information that is exposed through individual control-flow decisions. We show how to extend the popular IPET method, to obtain tighter WCET estimates. We provide confirmative empirical results that demonstrate the effectiveness of our approach.

[1]  Sharad Malik,et al.  Efficient microarchitecture modeling and path analysis for real-time software , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[2]  Guillem Bernat,et al.  Hybrid measurement-based WCET analysis at the source level using object-level traces , 2010, WCET.

[3]  Helmut Veith,et al.  An Introduction to Test Specification in FQL , 2010, Haifa Verification Conference.

[4]  Albrecht Kadlec,et al.  Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[5]  Raimund Kirner,et al.  Automatic calculation of coverage profiles for coverage-based testings , 2009 .

[6]  Jan Gustafsson,et al.  The Mälardalen WCET Benchmarks: Past, Present And Future , 2010, WCET.

[7]  Daniel Kroening,et al.  A Tool for Checking ANSI-C Programs , 2004, TACAS.

[8]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[9]  Raimund Kirner,et al.  Improving the Confidence in Measurement-Based Timing Analysis , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[10]  Sharad Malik,et al.  Performance estimation of embedded software with instruction cache modeling , 1999, TODE.

[11]  Sharad Malik,et al.  Performance analysis of embedded software using implicit path enumeration , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Stefan Hauck-Stattelmann,et al.  On the Use of Context Information for Precise Measurement-Based Execution Time Estimation , 2010, WCET.

[13]  Raimund Kirner,et al.  Measurement-Based Timing Analysis , 2008, ISoLA.

[14]  Henrik Theiling,et al.  Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[15]  Raimund Kirner.  Towards Preserving Model Coverage and Structural Code Coverage , 2009, EURASIP J. Embed. Syst..

[16]  Raimund Kirner,et al.  Transforming flow information during code optimization for timing analysis , 2010, Real-Time Systems.

[17]  Helmut Veith,et al.  How did you specify your test suite , 2010, ASE.

[18]  Raimund Kirner,et al.  Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis , 2009 .

[19]  Peter P. Puschner,et al.  Computing Maximum Task Execution Times — A Graph-Based Approach , 1997, Real-Time Systems.

[20]  Sharad Malik,et al.  Cache modeling for real-time software: beyond direct mapped instruction caches , 1996, 17th IEEE Real-Time Systems Symposium.

[21]  Jan Gustafsson,et al.  WCET TOOL CHALLENGE 2011: REPORT , 2011, WCET 2011.

[22]  Guillem Bernat,et al.  Tree-based WCET analysis on instrumentation point graphs , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[23]  Gerard J. M. Smit,et al.  A mathematical approach towards hardware design , 2010, Dynamically Reconfigurable Architectures.

[24]  Pascal Sainrat,et al.  PapaBench: a Free Real-Time Benchmark , 2006, WCET.

[25]  Raimund Kirner,et al.  Let's get less optimistic in measurement-based timing analysis , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[26]  Reinhard Wilhelm,et al.  4th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS , 2004 .