Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches

The increased number of systems consisting of multiple interacting components imposes the evolution of timing analyses towards methods able to estimate the timing behavior of an entire system by aggregating timings bounds of its components. In this paper we propose the first discussion on the properties required by measurement-based timing analyses to ensure such compositionality. We identify the properties of reproducibility and representativity as necessary conditions to ensure the convergence of any measurement protocol allowing a compositional measurement-based timing analysis.

[1]  Per Stenström,et al.  Timing anomalies in dynamically scheduled microprocessors , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[2]  Jean Goubault-Larrecq,et al.  Static Analysis of Programs with Imprecise Probabilistic Inputs , 2013, VSTTE.

[3]  Patrick Cousot,et al.  Probabilistic Abstract Interpretation , 2012, ESOP.

[4]  Marc Geilen,et al.  The earlier the better: a theory of timed actor interfaces , 2011, HSCC '11.

[5]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[6]  Raimund Kirner,et al.  Principles of timing anomalies in superscalar processors , 2005, Fifth International Conference on Quality Software (QSIC'05).

[7]  Jan Reineke,et al.  Towards compositionality in execution time analysis: definition and challenges , 2015, SIGBED.

[8]  Jun Sun,et al.  Probabilistic performance guarantee for real-time tasks with varying computation times , 1995, Proceedings Real-Time Technology and Applications Symposium.

[9]  Liliana Cucu-Grosjean,et al.  Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[10]  B. Gnedenko.  Sur La Distribution Limite Du Terme Maximum D'Une Serie Aleatoire , 1943 .

[11]  George Lima,et al.  Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[12]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[13]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[14]  Liliana Cucu-Grosjean,et al.  A new way about using statistical analysis of worst-case execution times , 2011, SIGBED.

[15]  Eduardo Tovar,et al.  WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels , 2014, RTNS.

[16]  Liliana Cucu-Grosjean,et al.  Independence - a misunderstood property of and for probabilistic real-­‐time systems , 2013 .

[17]  Leandro Soares Indrusiak,et al.  A generic and compositional framework for multicore response time analysis , 2015, RTNS.

[18]  Jan Reineke,et al.  Caches in WCET Analysis: Predictability - Competitiveness - Sensitivity , 2008 .

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

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

[21]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[22]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[23]  Jan Reineke,et al.  Sound and Efficient WCET Analysis in the Presence of Timing Anomalies , 2009, WCET.

[24]  Thomas A. Henzinger,et al.  Timed Interfaces , 2002, EMSOFT.

[25]  Liliana Cucu-Grosjean,et al.  Timing analysis of an avionics case study on complex hardware/software platforms , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[26]  Björn Lisper,et al.  Sequential Composition of Execution Time Distributions by Convolution , 2011 .

[27]  Jérôme Morio,et al.  On the Sustainability of the Extreme Value Theory for WCET Estimation , 2014, WCET.

[28]  Isabelle Puaut,et al.  Static determination of probabilistic execution times , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[29]  Patrick Cousot,et al.  Modular Static Program Analysis , 2002, CC.

[30]  Jérôme Morio,et al.  On the Reliability of the Probabilistic Worst-Case Execution Time Estimates , 2016 .

[31]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[32]  Jane W.-S. Liu,et al.  Analyzing Stochastic Fixed-Priority Real-Time Systems , 1999, TACAS.