Realism in Statistical Analysis of Worst Case Execution Times

This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the realism of their models in order to provide generality and precision, and if the sacrifice of realism can impact the safety of the model. The Gumbel distribution is assessed in terms of its assumption of continuous behaviour and its need for independent and identically distributed data. To ensure that predictions made by EVT estimations are safe, additional restrictions on their use are proposed and justified.

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

[2]  Seth Bullock,et al.  Levins and the legitimacy of artificial worlds , 2008 .

[3]  Jay Odenbaugh,et al.  The strategy of “The strategy of model building in population biology” , 2007 .

[4]  R. Levins.  The strategy of model building in population biology , 1966 .

[5]  S. Nadarajah,et al.  Extreme Value Distributions: Theory and Applications , 2000 .

[6]  Y. N. Srikant,et al.  WCET estimation for executables in the presence of data caches , 2007, EMSOFT '07.

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

[8]  Stefan M. Petters.  Worst case execution time estimation for advanced processor architectures , 2002 .

[9]  S. Reid.  The Art of Software Testing, Second edition. Glenford J. Myers. Revised and updated by Tom Badgett and Todd M. Thomas, with Corey Sandler. John Wiley and Sons, New Jersey, U.S.A., 2004. ISBN: 0-471-46912-2, pp 234: Book Reviews , 2005 .

[10]  Stewart Frederick Edgar,et al.  Estimation of worst-case execution time using statistical analysis , 2002 .

[11]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[12]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[13]  Henrik Theiling,et al.  Reliable and Precise WCET Determination for a Real-Life Processor , 2001, EMSOFT.

[14]  Alan Burns,et al.  Statistical analysis of WCET for scheduling , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[15]  Gabriel A. Moreno,et al.  Statistical-Based WCET Estimation and Validation , 2009, WCET.

[16]  D. Jackson.  Burns , 1828, The London medical and physical journal.