A confidence assessment of WCET estimates for software time randomized caches

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 0, Issue , 2016, Pages 90-97

  Benedicte, Pedro ^a,b   Kosmidis, Leonidas ^a,b   Quinones, Eduardo ^b   Abella, Jaume ^b   Cazorla, Francisco J ^b,c  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMMERCIAL OFF-THE-SHELF; EMBEDDED SYSTEMS; INDUSTRIAL INFORMATICS; REAL TIME SYSTEMS; VERIFICATION;

AVIONICS APPLICATIONS; CONFIDENCE ASSESSMENT; FUNCTIONAL BEHAVIORS; INDUSTRIAL-SIZE SOFTWARE; REAL-TIME EMBEDDED SYSTEMS; SOFTWARE VERIFICATION; SYNTHETIC BENCHMARK; WORST-CASE EXECUTION TIME;

APPLICATION PROGRAMS;

EID: 85012906550     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2016.7819140     Document Type: Conference Paper

References (25)

1. J. Abella et al. Heart of Gold: Making the improbable happen to extend coverage in probabilistic timing analysis. In ECRTS, 2014.
2. J. Abella et al. On the comparison of deterministic and probabilistic WCET estimation techniques. In ECRTS, 2014.
3. J. Abella et al. WCET analysis methods: Pitfalls and challenges on their trustworthiness. In SIES, 2015.
4. Aeroflex Gaisler. Quad Core LEON4 SPARC V8 Processor-LEON4-NGMP-DRAFT-Data Sheet and Users Manual, 2011.
5. ARINC. Specification 651: Design Guide for Integrated Modular Avionics. Aeronautical Radio, Inc, 1997.
6. ARM. ARM Cortex-A7 Processor Specification. http://www. arm. com/ products/processors/cortex-a/cortex-a7. php.
7. P. Benedicte et al. Modelling the Confidence of Timing Analysis for Time Randomised Caches. In 11th IEEE International Symposium on Industrial Embedded Systems. IEEE, 2016.
8. F. J. Cazorla et al. Upper-bounding program execution time with extreme value theory. In WCET Workshop, 2013.
9. L. Cucu-Grosjean et al. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS, 2012.
10. Enrico Mezzetti et al. Randomized caches can be pretty useful to hard real-time systems. LITES, 2 (1), 2015.
11. W. Feller. An introduction to Probability Theory and Its Applications. 1996.
12. International Organization for Standardization. ISO/DIS 26262. Road Vehicles-Functional Safety, 2009.
13. L. Kosmidis et al. A cache design for probabilistically analysable realtime systems. In DATE, 2013.
14. L. Kosmidis et al. Probabilistic timing analysis on conventional cache designs. In DATE, 2013.
15. L. Kosmidis et al. Containing timing-related certification cost in automotive systems deploying complex hardware. In DAC, 2014.
16. L. Kosmidis et al. Probabilistic timing analysis and its impact on processor architecture. In DSD, 2014.
17. L. Kosmidis et al. PUB: Path upper-bounding for measurement-based probabilistic timing analysis. In ECRTS, 2014.
18. S. Kotz et al. Extreme value distributions: theory and applications. World Scientific, 2000.
19. J. Reineke. Randomized caches considered harmful in hard real-time systems. LITES, 1 (1), 2014.
20. RTCA and EUROCAE. DO-178B/ ED-12B, Software Considerations in Airborne Systems and Equipment Certification, 1992.
21. http://www. gaisler. com/cms/index. php?option=com content&task= view&id=13&Itemid=53. Leon3 Processor. Areroflex Gaisler.
22. F. Wartel et al. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In SIES, 2013.
23. F. Wartel et al. Timing analysis of an avionics case study on complex hardware/software platforms. In DATE, 2015.
24. R. Wilhelm et al. The worst-case execution time problem: overview of methods and survey of tools. ACM TECS, 7 (3): 1-53, 2008.
25. M. Ziccardi, E. Mezzetti, T. Vardanega, J. Abella, and F. J. Cazorla. EPC: Extended Path Coverage for measurement-based probabilistic timing analysis. In RTSS, 2015.