Valid application of EVT in timing analysis by randomising execution time measurements

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2017, Pages 187-197

  Lima, George ^a   Bate, Iain ^b  

^a FEDERAL UNIVERSITY OF BAHIA   (Brazil)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; TIME MEASUREMENT; TIMING CIRCUITS;

ANALYSIS PROBLEMS; EMBEDDED PLATFORMS; ENGINE CONTROLLER; EXTREME VALUE THEORY; HARDWARE PLATFORM; INNOVATIVE APPROACHES; SOFTWARE INSTRUCTION; STATISTICAL TIMING ANALYSIS;

UNCERTAINTY ANALYSIS;

EID: 85021838741     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2017.17     Document Type: Conference Paper

References (32)

1. 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, J. Staschulat, and P. Stenström, "The worst-case execution-time problem-overview of methods and survey of tools," ACM Trans. Embed. Comput. Syst., vol. 7, no. 3, pp. 36:1-36:53, May 2008.
2. D. Griffin and A. Burns, "Realism in statistical analysis of worst case execution times," in Proc. of 10th Workshop on Worst-Case Execution Time Analysis, 2010, pp. 44-53.
3. G. Lima, D. Dias, and E. Barros, "Extreme value theory for estimating task execution time bounds: A careful look," in Proc. of the 28th Euromicro Conference on Real-Time Systems, 2016, pp. 200-211.
4. E. Mezzetti, M. Ziccardi, T. Vardanega, J. Abella, E. Quiñones, and F. Cazorla, "Randomized caches can be pretty useful to hard real-time systems," Leibniz Transactions on Embedded Systems, vol. 2, no. 1, pp. 01-1-01:10, 2015.
5. S. Coles, An Introduction to Statistical Modeling of Extreme Values, 3rd ed. Springer-Verlag, 2001.
6. D. Dietrich, L. de Haan, and J. Hüsler, "Testing extreme value conditions," Extremes, vol. 9, pp. 75-85, 2002.
7. J. Reineke, "Randomized caches considered harmful in hard real-time systems," Leibniz Transactions on Embedded Systems, vol. 1, no. 1, pp. 03-1-03:13, 2014.
8. H. Al-Zoubi, A. Milenkovic, and M. Milenkovic, "Performance evaluation of cache replacement policies for the spec cpu2000 benchmark suite," in Proc. of the 42nd Annual Southeast Regional Conference, ser. ACM-SE 42. ACM, 2004, pp. 267-272.
9. S. Altmeyer, L. Cucu-Grosjean, and R. I. Davis, "Static probabilistic timing analysis for real-time systems using random replacement caches," Real-Time Systems, vol. 51, no. 1, pp. 77-123, 2015. [Online]. Available: http://dx.doi.org/10.1007/s11241-014-9218-4
10. A. Jaleel, K. B. Theobald, S. C. Steely, Jr., and J. Emer, "High performance cache replacement using re-reference interval prediction (rrip)," in Proc. of the 37th Annual International Symposium on Computer Architecture, 2010, pp. 60-71.
11. I. Bate and A. Burns, "An integrated approach to scheduling in safetycritical embedded control systems," Real-Time Systems Journal, vol. 25, no. 1, pp. 5-37, Jul 2003.
12. B. Lincoln and A. Cervin, "Jitterbug: A tool for analysis of real-time control performance," in Proceedings of the 41st IEEE Conference on Decision and Control, 2002.
13. R. Williams, Real-Time-Systems-Development. Butterworth-Heinemann, 2005.
14. H. Kopetz, Real-Time Systems Design for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
15. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, "The Mälardalen WCET benchmarks-past, present and future," in Proc. of Workshop on Worst-Case Execution Time Analysis (WCET), 2010, pp. 137-147.
16. S. Law and I. Bate, "Achieving appropriate test coverage for reliable measurement-based timing analysis," in Proc. of 28th Euromicro Conference on Real-Time Systems, 2016, pp. 189-199.
17. A. Burns and S. Edgar, "Predicting computation time for advanced processor architectures," in Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000, pp. 89-96.
18. S. Edgar and A. Burns, "Statistical analysis of WCET for scheduling," in Proc. IEEE Real-Time Systems Symposium, 2001, pp. 215-224.
19. G. Bernat, A. Colin, and S. M. Petters, "WCET analysis of probabilistic hard real-time systems," in Proc. of the 23rd IEEE Real-Time Systems Symposium, 2002, pp. 279-288.
20. G. Bernat, A. Colin, and S. Petters, "pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems," University of York., Tech. Rep. YCS-2003-353, 2003.
21. "Rapita Systems LTD," http://www.rapitasystems.com.
22. K. Berezovskyi, F. Guet, L. Santinelli, K. Bletsas, and E. Tovar, "Measurement-based probabilistic timing analysis for graphics processor units," in Proc. of the 29th International Conference on Architecture of Computing Systems, F. Hannig, M. J. Cardoso, T. Pionteck, D. Fey, W. Schröder-Preikschat, and J. Teich, Eds. Springer International Publishing, 2016, pp. 223-236.
23. L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart, "On the sustainability of the extreme value theory for wcet estimation," in 14th International Workshop on Worst-Case Execution Time Analysis, H. Falk, Ed., vol. 39, 2014, pp. 21-30.
24. E. Gilleland and R. W. Katz, "New software to analyze how extremes change over time," Eos, vol. 92, no. 2, pp. 13-14, 2011.
25. R Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, Vienna, Austria, 2015. [Online]. Available: http://www.R-project.org/
26. A. Zempléni, "Goodness-of-fit test in extreme value applications," Sonderforschungsbereich 386 der Ludwig-Maximilians-Universität München, München, Discussion paper 383, 2004.
27. M. Ziccardi, E. Mezzetti, T. Vardanega, J. Abella, and F. J. Cazorla, "EPC: extended path coverage for measurement-based probabilistic timing analysis," in Proceedings of the IEEE Real-Time Systems Symposium, 2015, pp. 338-349.
28. Y. Lu, T. Nolte, I. Bate, and L. Cucu-Grosjean, "A new way about using statistical analysis of worst-case execution times," SIGBED Rev., vol. 8, no. 3, pp. 11-14, 2011.
29. -, "A statistical response-time analysis of real-time embedded systems," in Proceedings of the 33rd Real-Time Systems Symposium, 2012, pp. 351-362.
30. P. Graydon and I. Bate, "Realistic safety cases for the timing of systems," The Computer Journal, vol. 57, no. 5, pp. 759-774, 2014.
31. J. Hüsler and D. Li, "On testing extreme value conditions," Extremes, vol. 9, pp. 69-86, 2006.
32. -, "Testevc1d-r package," 2006. [Online]. Available: http://my.gl.fudan.edu.cn/teacherhome/lideyuan/pdf/TestEVC1d.txt