Measurement-based worst-case execution time estimation using the Coefficient of Variation

ACM Transactions on Design Automation of Electronic Systems

Volumn 22, Issue 4, 2017, Pages

  Abella, Jaume ^a   Padilla, Maria ^b   Del Castillo, Joan ^b   Cazorla, Francisco J ^a  

^a BARCELONA SUPERCOMPUTING CENTER   (Spain)

^b UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

Extreme value theory; Probabilistic analysis; Randomisation; Worst case execution time

Indexed keywords

CACHE MEMORY; ELECTRIC POWER TRANSMISSION; INTERACTIVE COMPUTER SYSTEMS; MIXTURES; PARAMETER ESTIMATION; PARETO PRINCIPLE; PROBABILITY DISTRIBUTIONS;

COEFFICIENT OF VARIATION; DISTRIBUTION PARAMETERS; EXTREME VALUE THEORY; GENERALISED PARETO DISTRIBUTIONS; PROBABILISTIC ANALYSIS; RANDOMISATION; SIMULATION ENVIRONMENT; WORST-CASE EXECUTION TIME;

REAL TIME SYSTEMS;

EID: 85027055676     PISSN: 10844309     EISSN: 15577309     Source Type: Journal    
DOI: 10.1145/3065924     Document Type: Article

References (57)

1. J. Abella, J. del Castillo, F. J. Cazorla, and M. Padilla. 2015. Extreme value theory in computer sciences: The case of embedded safety-critical systems. In Proceedings of the International Conference on Risk Analysis (ICRA'15).
2. J. Abella, D. Hardy, I. Puaut, E. Quinones, and F. J. Cazorla. 2014a. On the comparison of deterministic and probabilistic WCET estimation techniques. In ECRTS.
3. J. Abella, E. Quinones, F. Wartel, T. Vardanega, and F. J. Cazorla. 2014b. Heart of Gold: Making the improbable happen to extend coverage in probabilistic timing analysis. In ECRTS.
4. S. Altmeyer and R. I. Davis. 2014. On the correctness, optimality and precision of static probabilistic timing analysis. In DATE.
5. H. Anwar, C. Chen, and G. Beltrame. 2015. A probabilistically analysable cache implementation on FPGA. In NEWCAS.
6. P. Benedicte, L. Kosmidis, E. Quinones, J. Abella, and F. J. Cazorla. 2016. A confidence assessment of WCET estimates for software time randomized caches. In INDIN.
7. G. Bernat, A. Colin, and S. M. Petters. 2002. WCET analysis of probabilistic hard real-time systems. In RTSS.
8. G. Bernat and M. Newby. 2005. Probabilistic WCET analysis, an approach using copulas. J. Embed. Comput. 1, 2 (April 2005), 179-194.
9. A. Betts, N. Merriam, and G. Bernat. 2010. Hybrid measurement-based WCET analysis at the source level using object-level traces. In Proceedings of the Worst-Case Execution Time Analysis Workshop.
10. G. E. P. Box and D. A. Pierce. 1970. Distribution of residual autocorrelations in autoregressive-integrated moving average time series models. J. Am. Statist. Assoc. 65, 332 (Dec. 1970), 1509-1526.
11. BSC. 2017. Technical Report UPC-DAC-RR-CAP-2017-3. Retrieved from http://www.ac.upc.edu/RR/2017/3.pdf.
12. D. Buttle. 2012. ETAS gmbh, germany, real-time in the prime-time. keynote talk. In ECRTS.
13. Y. Cai and D. Hames. 2011. Minimum sample size determination for generalized extreme value distribution. Commun. Stat. Simul. Comput. 40 (2011), 99-110.
14. F. J. Cazorla, E. Quinones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim. 2013a. PROARTIS: Probabilistically analysable real-time systems. ACM Trans. Embed. Comput. Syst. 12, 2s (Dec. 2013), Article No. 94.
15. F. J. Cazorla, T. Vardanega, E. Quinones, and J. Abella. 2013b. Upper-bounding program execution time with extreme value theory. In Proceedings of the Worst-Case Execution Time Analysis Workshop.
16. R. T. Clarke. 2002. Fitting and testing the significance of linear trends in Gumbel-distributed data. Hydrol. Earth Syst. Sci. 6, 1 (2002), 17-24. DOI:http://dx.doi.org/10.5194/hess-6-17-2002 Cobham Gaisler. NGMP Preliminary Datasheet Version 2.1, May 2013.
17. S. Coles. 2001. An Introduction to Statistical Modeling of Extreme Values. Springer.
18. L. Cucu, A. Gogonel, and C. Lo. 2013. PROARTIS. D3.6 Probabilistic and Statistical Techniques for Timing Analysis in Multicore. (2013).
19. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quinones, and F. J. Cazorla. 2012. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS.
20. J. Del Castillo, J. Daoudi, and R. Lockhart. 2014. Methods to distinguish between polynomial and exponential tails. Scand. J. Stat. 41, 2 (2014), 382-393. DOI:http://dx.doi.org/10.1111/sjos.12037
21. G. Edelin. 2009. Embedded systems at THALES: The artemis challenges for an industrial group. In ARTIST.
22. S. Edgar and A. Burns. 2001. Statistical analysis of WCET for scheduling. In RTSS.
23. W. Feller. 1996. An Introduction to Probability Theory and Its Applications.
24. M. Garrido and J. Diebolt. 2000. The ET test, a goodness-of-fit test for the distribution tail. In Proceedings of the Conference on Mathematical Methods in Reliability: Methodology, Practice and Inference.
25. M. Gilli and E. Këllezi. 2006. An application of extreme value theory for measuring financial risk. Comput. Econ. 27, 2 (2006).
26. J. Hansen, S. Hissam, and G. A. Moreno. 2009. Statistical-based WCET estimation and validation. In Proceedings of the Worst-Case Execution Time Analysis Workshop.
27. International Organization for Standardization. 2009. ISO/DIS 26262. Road Vehicles-Functional Safety.
28. J. Jalle, L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. 2014. Bus designs for time-probabilistic multicore processors. In DATE.
29. JEDEC. 2008. DDR2 SDRAM Specification JEDEC Standard No. JESD79-2E.
30. R. Kirner, P. Puschner, and I. Wenzel. 2004. Measurement-based worst-case execution time analysis using automatic test-data generation. In Proceedings of the Software Technologies for Future Embedded and Ubiquitous Systems Workshop.
31. L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. 2013. A cache design for probabilistically analysable real-time systems. In DATE.
32. L. Kosmidis, J. Abella, F. Wartel, E. Quinones, A. Colin, and F. J. Cazorla. 2014. PUB: Path upper-bounding for measurement-based probabilistic timing analysis. In ECRTS.
33. L. Kosmidis, C. Curtsinger, E. Quinones, J. Abella, E. Berger, and F. J. Cazorla. 2013. Probabilistic timing analysis on conventional cache designs. In DATE.
34. L. Kosmidis, E. Quinones, J. Abella, T. Vardanega, I. Broster, and F. J. Cazorla. 2014. Measurement-based probabilistic timing analysis and its impact on processor architecture. In Proceedings of Euromicro Digital Systems Design.
35. S. Kotz and S. Nadarajah. 2000. Extreme Value Distributions: Theory and Applications. World Scientific.
36. G. Lima, D. Dias, and E. Barros. 2016. Extreme value theory for estimating task execution time bounds: A careful look. In ECRTS.
37. Y. Lu, I. Bate, T. Nolte, and L. Cucu-Grosjean. 2011. A new way about using statistical analysis of worst-case execution times. ACM SIGBED Rev. 8, 3 (September 2011), 11-14.
38. Y. Lu, T. Nolte, I. Bate, and L. Cucu-Grosjean. 2012. A statistical response-time analysis of real-time embedded systems. In RTSS. 351-362.
39. E. Mezzetti and T. Vardanega. 2011. On the industrial fitness of WCET analysis. In Proceedings of the Worst-Case Execution Time Workshop.
40. E. Mezzetti and T. Vardanega. 2013. A rapid cache-aware procedure positioning optimization to favor incremental development. In RTAS.
41. S. Milutinovic, J. Abella, and F. J. Cazorla. 2016. Modelling probabilistic cache representativeness in the presence of arbitrary access patterns. In ISORC.
42. J. Nowotsch, M. Paulitsch, D. B. Uhler, H. Theiling, S. Wegener, and M. Schmidt. 2014. Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement. In ECRTS.
43. J. Owens. 2015. Delphi automotive, the design of innovation that drives tomorrow. keynote talk. In DAC.
44. M. Paolieri, E. Quinones, F. J. Cazorla, G. Bernat, and M. Valero. 2009b. Hardware support for WCET analysis of hard real-time multicore systems. In ISCA.
45. M. Paolieri, E. Quinones, F. J. Cazorla, and M. Valero. 2009a. An analyzable memory controller for hard real-time CMPs. IEEE Embed. Syst. Lett. 1, 4 (Dec. 2009), 86-90.
46. M. Patte and V. Lefftz. 2011. System Impact of Distributed Multi Core Systems. Technical Report Contract 4200023100. European Space Agency.
47. M. Paulitsch, O. Medina, H. Karray, K. Mueller, D. Muench, and J. Nowotsch. 2015. Mixed-criticality embedded systems-A balance ensuring partitioning and performance. In Proceedings of Euromicro Digital Systems Design.
48. S. M. Petters. 2003. Comparison of trace generation methods for measurement based WCET analysis. In Proceedings of the Worst-Case Execution Time Analysis Workshop.
49. J. Poovey. 2007. Characterization of the EEMBC Benchmark Suite. North Carolina State University.
50. J. Reineke. 2014. Randomized caches considered harmful in hard real-time systems. Leibniz Trans. Embed. Syst. 1, 1 (2014), 03:1-03:13.
51. Society of Automotive Engineers (SAE) International. 2001. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761 standard.
52. L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart. 2014. On the sustainability of the extreme value theory for WCET estimation. In Proceedings of the Worst-Case Execution Time Analysis Workshop. SoCLib. 2003-2012. Retrieved from http://www.soclib.fr/trac/dev.
53. F. Wartel et al. 2015. Timing analysis of an avionics case study on complex hardware/software platforms. In DATE.
54. I. Wenzel, R. Kirner, B. Rieder, and P. Puschner. 2008. Measurement-based timing analysis. In ISOLA.
55. I. Wenzel, B. Rieder, R. Kirner, and P. Puschner. 2005. Automatic timing model generation by CFG partitioning and model checking. In DATE.
56. R. Wilhelm et al. 2008. The worst-case execution time problem: Overview of methods and survey of tools. Trans. Embed. Comput. Syst. 7, 3 (2008), 1-53.
57. M. Ziccardi, E. Mezzetti, T. Vardanega, J. Abella, and F. J. Cazorla. 2015. EPC: Extended path coverage for measurement-based probabilistic timing analysis. In RTSS.