EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

Proceedings - Real-Time Systems Symposium

Volumn 2016-January, Issue , 2016, Pages 338-349

  Ziccardi, Marco ^a   Mezzetti, Enrico ^a   Vardanega, Tullio ^a   Abella, Jaume ^b   Cazorla, Francisco Javier ^c  

^a UNIVERSITY OF PADOVA   (Italy)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

Measurement Based Probabilistic Timing Analysis; Path Coverage; Timing Analysis

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; PROBABILITY DISTRIBUTIONS; TIMING CIRCUITS;

BASIC BLOCKS; MEASUREMENT-BASED; NOVEL TECHNIQUES; OBSERVATION DATA; PATH COVERAGE; SOFTWARE PROGRAM; STATE OF THE ART; TIMING ANALYSIS;

REAL TIME SYSTEMS;

EID: 84964615054     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2015.39     Document Type: Conference Paper

References (34)

1. R. Wilhelm et al., "The worst-case execution time problem: overview of methods and survey of tools," Trans. on Embedded Computing Systems, vol. 7, no. 3, pp. 1-53, 2008.
2. J. Abella et al., "WCET analysis methods: Pitfalls and challenges on their trustworthiness," in SIES, 2015.
3. Special Committee of RTCA, "DO-178C, Software Considerations in Airborne Systems and Equipment Certification," 2011.
4. L. Cucu-Grosjean et al., "Measurement-based probabilistic timing analysis for multi-path programs," in ECRTS, 2012.
5. L. Kosmidis et al., "PUB: Path upper-bounding for measurement-based probabilistic timing analysis," in ECRTS, 2014.
6. F. Wartel et al., "Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study," in SIES, 2013.
7. S. Kotz and S. Nadarajah, Extreme Value Distributions: Theory and Applications. Imperial College Press, 2000.
8. L. David and I. Puaut, "Static determination of probabilistic execution times," in ECRTS, 2004.
9. F. Cazorla et al., "PROARTIS: Probabilistically analysable real-time systems," Transactions on Embedded Computing Systems, 2013.
10. L. Kosmidis et al., "Probabilistic timing analysis and its impact on processor architecture," in Euromicro DSD, 2014.
11. M. Paolieri et al., "Hardware support for wcet analysis of hard real-time multicore systems," in ISCA, 2009.
12. "Probabilistic real-time control of mixed-criticality multicore and manycore systems (PROXIMA)." [Online]. Available: http://www. proxima-project.eu/
13. L. Kosmidis et al., "A cache design for probabilistically analysable real-time systems," in DATE, 2013.
14. Aeroflex Gaisler, Quad Core LEON4 SPARC V8 Processor-LEON4-NGMP-DRAFT-Data Sheet and User's Manual, 2011. [Online]. Available: http://microelectronics.esa.int/ngmp/ LEON4-NGMP-DRAFT-1-6.pdf
15. F. Cazorla et al., "Upper-bounding program execution time with extreme value theory," in WCET Analysis Workshop, 2013.
16. J. Reineke, "Randomized caches considered harmful in hard real-time systems," LITES, vol. 1, no. 1, pp. 03:1-03:13, 2014. [Online]. Available: http://dx.doi.org/10.4230/LITES-v001-i001-a003
17. J. Abella et al., "Heart of Gold: Making the improbable happen to extend coverage in probabilistic timing analysis," in ECRTS, 2014.
18. E. Mezzetti et al., "Randomized caches can be pretty useful to hard real-time systems," LITES, vol. 2, no. 1, pp. 01:1-01:10, 2015. [Online]. Available: http://dx.doi.org/10.4230/LITES-v002-i001-a001
19. "Nexus 5001 forum." [Online]. Available: http://www.nexus5001.org
20. "Rapita Systems Ltd., Rapita Verification Suite (RVS)." [Online]. Available: http://www.rapitasystems.com/products/rvs
21. S. Altmeyer and R. I. Davis, "On the correctness, optimality and precision of static probabilistic timing analysis," in DATE, 2014.
22. T. Lundqvist and P. Stentröm, "Timing anomalies in dynamically scheduled microprocessors," in RTSS, 1999.
23. J. Abella et al., "On the comparison of deterministic and probabilistic wcet estimation techniques," in ECRTS, 2014.
24. J. Gustafsson et al., "The Mälardalen WCET benchmarks-past, present and future," in WCET Workshop, 2010.
25. J. A. Poovey et al., "A benchmark characterization of the eembc benchmark suite," IEEE Micro, vol. 29, no. 5, pp. 18-29, 2009.
26. "SoCLib simulation environment." [Online]. Available: http://www. soclib.fr/trac/dev
27. P. Puschner, "The single-path approach towards WCET-analysable software," in International Conference on Industrial Technology, 2003.
28. S. Bünte et al., "Improving the confidence in measurement-based timing analysis," in ISORC, 2011.
29. I. Wenzel et al., "Automatic timing model generation by cfg partitioning and model checking," in DATE, 2005.
30. M. Zolda, S. Bünte, and R. Kirner, "Towards adaptable control flow segmentation for measurement-based execution time analysis," in RTNS, 2009.
31. M. Zolda, S. Bünte, and R. Kirner, "Context-sensitive measurementbased worst-case execution time estimation," in RTCSA, 2011.
32. T.-S. Tia et al., "Probabilistic performance guarantee for real-time tasks with varying computation times," in RTAS, 1995.
33. L. Palopoli et al., "An analytical bound for probabilistic deadlines," in ECRTS, 2012.
34. J. Diaz et al., "Stochastic analysis of periodic real-time systems," in RTSS, 2002.