Yue Lu
Abstract
In this paper, we revisit the problem of using Extreme Value Theory (EVT) in the Worst-Case Execution Time (WCET) analysis of the programs running on a single processor. Our proposed statistical WCET analysis method consists of a novel sampling mechanism tackling with some problems that hindered the application of using EVT in the context, and a statistical inference about computation of a WCET estimate of the target program. To be specific, the presented sampling mechanism takes analysis samples from the target program based around end-to-end measurements. Next, the statistical inference using EVT together with other statistical techniques, analyzes such timing traces which contain the execution time data of the program, to compute a WCET estimate with a certain predictable probability of being exceeded.
- Handbook of Real-Time and Embedded Systems. Chapman and Hall/CRC (July 23, 2007), 2007. Google Scholar
Digital Library
- R. Wilhelm et al., "The worst-case execution-time problem---overview of methods and survey of tools," Trans. on Embedded Computing Sys., vol. 7, no. 3, pp. 1--53, 2008. Google ScholarDigital Library
- Y. Lu, "Approximation Techniques for Timing Analysis of Complex Real-Time Embedded Systems," Lic. dissertation, School of Innovation, Design and Engineering, October 2010.Google Scholar
- G. Bernat, C. A., and S. Petters, "pWCET: A Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems," in Proc. of LCTES' 03, 2003.Google Scholar
- U. Khan and I. Bate, "WCET Analysis of Modern Processors Using Multi-Criteria Optimisation," in Proc. of SSBSE' 09. IEEE Computer Society, 2009, pp. 103--112. Google ScholarDigital Library
- J. Wegener and M. Grochtmann, "Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing," Real-Time Syst., vol. 15, no. 3, pp. 275--298, 1998. Google ScholarDigital Library
- J. Wegener and F. Mueller, "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints," Real-Time Syst., vol. 21, no. 3, pp. 241--268, 2001. Google ScholarDigital Library
- D. E. Goldberg, Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley Professional, January 1989. Google ScholarDigital Library
- S. Bygde, "Static WCET Analysis Based on Abstract Interpretation and Counting of Elements," Lic. dissertation, School of Innovation, Design and Engineering, March 2010.Google Scholar
- J. Beirlant, Y. Goegebeur, J. Segers, and J. Teugels, Statistics of Extremes: Theory and Applications. Wiley Press, 2004.Google ScholarCross Ref
- S. Edgar and B. A., "Statistical Analysis of WCET for Scheduling," in Proc. of RTSS' 01, 2001, pp. 215--224. Google ScholarDigital Library
- J. Hansen, S. Hissam, and G. Moreno, "Statistical-Based WCET Estimation and Validation," in Proc. of WCET' 09, 2009, pp. 123--133.Google Scholar
- D. Griffin and A. Burns, "Realism in Statistical Analysis of Worst Case Execution Times," in Proc. of WCET' 10, 2010.Google Scholar
- D. S. Moore, G. P. Mccabe, and B. A. Craig, Introduction to the practice of statistics, 6th ed. New York, NY 10010: W. H. Freeman and Company, 2009.Google Scholar
- E. Gumbel, Statistics of Extremes. Columbia University Press, 1958.Google Scholar
Index Terms
- A new way about using statistical analysis of worst-case execution times
Recommendations
Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems
ICCSA '08: Proceeding sof the international conference on Computational Science and Its Applications, Part IReal-time support of embedded Operating Systems is essential for contemporary embedded systems. In order to achieve supporting real-time property, it is crucial that schedulability analysis for real-time task is finished before implementing the embedded ...
Clustered calculation of worst-case execution times
CASES '03: Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systemsKnowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the possible program flow, such as loop iterations and function calls, as well ...
Clustered Worst-Case Execution-Time Calculation
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the possible program flow, such as loop iterations and function calls, as well ...
Comments