Document Open Access Logo

Invited Paper: Statistical, Stochastic or Probabilistic (Worst-Case Execution) Execution Time? - What Impact on the Multicore Composability

Author Liliana Cucu-Grosjean

PDF
Thumbnail PDF

File

OASIcs.WCET.2024.6.pdf
  • Filesize: 1.05 MB
  • 10 pages

Document Identifiers

Author Details

Liliana Cucu-Grosjean
  • Kopernic team, Inria, Paris, France
  • StatInf, Paris, France

Acknowledgements

The author would like to thank Marwan Wehaiba, Kevin Zagalo, Ismail Hawila, Slim Ben Amor, Benjamin Rouxel and Yves Sorel for discussions on the appropriate definition of execution times for probabilistic real-time systems. The author thanks, also, Ismail Hawila and StatInf, for providing outputs of the statistical WCET estimator tool, RocqStat, for KDBench programs. This paper puts in writing the keynote presented by the author at the Capital workshop 2024 in Toulouse and the author would like, also, to thank participants of this workshop for their feedback that has, clearly, influenced this paper.

Cite As Get BibTex

Liliana Cucu-Grosjean. Invited Paper: Statistical, Stochastic or Probabilistic (Worst-Case Execution) Execution Time? - What Impact on the Multicore Composability. In 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024). Open Access Series in Informatics (OASIcs), Volume 121, pp. 6:1-6:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/OASIcs.WCET.2024.6

Abstract

The problem of estimating worst-case execution times of programs on processors has appeared within the context of critical industries like avionics or space. Rapidly adopted by the real-time scheduling community, worst-case execution time estimates of programs or tasks are mandatory to understand the time behaviour of a real-time system. Analyzing such time behaviour is done, often, with an important pessimism due to the consideration of worst-case scenarios. A decreased pessimism has been obtained by understanding that large execution times of a program have low probability of appearance. Probabilistic (worst-case) execution time notion has been proposed. Nevertheless, independence hypotheses makes difficult today to calculate the probabilistic worst-case execution time of a program and current approaches are built, often, on statistical estimators based on the use of Extreme Value Theory or concentration inequalities. Thus, future probabilistic time analyses are expected to consider worst-case execution times estimates obtained by using statistical estimators on measured execution times instead of probabilistic (worst-case) execution times estimations. Within this paper, we discuss the opportunity of differentiating probabilistic (worst-case) execution times from statistical (worst-case) execution times and how dependence between execution times are better or easier captured by each of the definition, while stochastic execution times could be, also, an appropriate alternative.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Embedded systems
Keywords
  • Worst-case execution time
  • probabilistic analyses
  • statistical estimator

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Guillem Bernat, Antoine Colin, and Stefan M. Petters. pWCET, a tool for probabilistic WCET analysis of real-time systems. In Jan Gustafsson, editor, Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003, volume MDH-MRTC-116/2003-1-SE, pages 21-38, 2003. Google Scholar
  2. S. Bozhko, F. Markovic, G. von der Bruggen, and B. Brandenburg. What really is pWCET? In 2023 IEEE Real-Time Systems Symposium (RTSS), pages 13-26, 2023. Google Scholar
  3. L Cucu-Grosjean. Independence-a misunderstood property of and for probabilistic real-time systems. Real-Time Systems: the past, the present and the future, the Alan Burns 60th anniversary, pages 29-37, 2013. Google Scholar
  4. R. I. Davis and L. Cucu-Grosjean. A survey of probabilistic timing analysis techniques for real-time systems. LITES, 6(1):03:1-03:60, 2019. Google Scholar
  5. José Luis Díaz, Daniel F. García, Kanghee Kim, Chang-Gun Lee, Lucia Lo Bello, José María López, Sang Lyul Min, and Orazio Mirabella. Stochastic analysis of periodic real-time systems. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02),, pages 289-300. IEEE Computer Society, 2002. Google Scholar
  6. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling. In the 22nd IEEE Real-Time Systems Symposium, 2001. Google Scholar
  7. Marwan Wehaiba el Khazen, Slim Ben-Amor, Kossivi Kougblenou, Adriana Gogonel, and Liliana Cucu-Grosjean. Work in progress: Towards a statistical worst-case energy consumption model. In 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, pages 333-336. IEEE, 2023. Google Scholar
  8. Marwan Wehaiba el Khazen and et al. Work in progress: Kdbench - towards open source benchmarks for measurement-based multicore WCET estimators. In 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pages 309-312. IEEE, 2022. Google Scholar
  9. Marwan Wehaiba el Khazen, Kevin Zagalo, Hadrien Clarke, Mehdi Mezouak, Yasmina Abdeddaïm, Avner Bar-Hen, Slim Ben-Amor, Rihab Bennour, Adriana Gogonel, Kossivi Kougblenou, Yves Sorel, and Liliana Cucu-Grosjean. Work in progress: Kdbench - towards open source benchmarks for measurement-based multicore WCET estimators. In 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pages 309-312. IEEE, 2022. Google Scholar
  10. Anna Friebe, Filip Markovic, Alessandro Vittorio Papadopoulos, and Thomas Nolte. Continuous-emission markov models for real-time applications: Bounding deadline miss probabilities. In 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pages 14-26. IEEE, 2023. Google Scholar
  11. Mark K. Gardner and Jane W.-S. Liu. Analyzing stochastic fixed-priority real-time systems. In Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, volume 1579 of Lecture Notes in Computer Science, pages 44-58. Springer, 1999. Google Scholar
  12. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G.Bernat, C. Ferdinand, R.Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, G. Staschulat, and P. Stenströem. The worst-case execution time problem: overview of methods and survey of tools. Trans. on Embedded Computing Systems, 7(3):1-53, 2008. Google Scholar
  13. Kevin Zagalo, Yasmina Abdeddaïm, Avner Bar-Hen, and Liliana Cucu-Grosjean. Response time stochastic analysis for fixed-priority stable real-time systems. IEEE Trans. Computers, 72(1):3-14, 2023. Google Scholar
  14. Kevin Zagalo, Liliana Cucu-Grosjean, and Avner Bar-Hen. Identification of execution modes for real-time systems using cluster analysis. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, pages 1173-1176. IEEE, 2020. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact