Automatic scenario detection for improved WCET estimation

Modern embedded applications usually have real-time constraints and they are implemented using heterogeneous multiprocessor systems-on-chip. Dimensioning a system requires accurate estimations of the worst-case execution time (WCET). Overestimation leads to over-dimensioning. This paper introduces a method for automatic discovery of scenarios that incorporate correlations between different parts of applications. It is based on the application parameters with a large impact on the execution time. The authors showed on a benchmark that, using scenarios, the estimated WCET might be reduced with 16%.

[1]  Sharad Malik,et al.  Performance analysis of real-time embedded software , 1997 .

[2]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[3]  Guillem Bernat,et al.  WCET analysis of probabilistic hard real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[4]  Chang Yun Park,et al.  Predicting deterministic execution times of real-time programs , 1992 .

[5]  David B. Whalley,et al.  Parametric Timing Analysis , 2001, OM '01.

[6]  Rudy Lauwereins,et al.  Cost-efficient mapping of dynamic concurrent tasks in embedded real-time multimedia systems , 2005 .

[7]  Sander Stuijk,et al.  Sharper WCET upper bounds using automatically detected scenarios , 2005 .

[8]  Erik Brockmeyer,et al.  Augmenting the Exploration Space for Global Loop Transformations by Systematic Preprocessing of Data Dependent Constructs. , 2004 .

[9]  Björn Lisper,et al.  Fully Automatic, Parametric Worst-Case Execution Time Analysis , 2003, WCET.

[10]  Guillem Bernat,et al.  An Approach to Symbolic Worst-Case Execution Time Analysis , 2000 .

[11]  Johann Blieberger.  Discrete Loops and Worst Case Performance , 1994, Comput. Lang..

[12]  Guillem Bernat,et al.  Scope-tree: a program representation for symbolic worst-case execution time analysis , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[13]  Chau-Wen Tseng,et al.  An Overview of the SUIF Compiler for Scalable Parallel Machines , 1995, PPSC.

[14]  Aloysius K. Mok,et al.  Evaluating tight execution time bounds of programs by annotations , 1989 .

[15]  Peter P. Puschner,et al.  Calculating the maximum execution time of real-time programs , 1989, Real-Time Systems.