On the correctness, optimality and precision of Static Probabilistic Timing Analysis

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2014, Pages

  Altmeyer, Sebastian ^a   Davis, Robert I ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING;

BENCHMARK PROGRAMS; EXPONENTIAL COMPLEXITY; LIMITED INFORMATION; MEMORY BLOCKS; RANDOM REPLACEMENTS; SINGLE PROCESSOR SYSTEMS; TIMING ANALYSIS; WORST-CASE EXECUTION TIME;

PROBABILITY DISTRIBUTIONS;

EID: 84903829118     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/DATE2014.039     Document Type: Conference Paper

References (10)

1. S. Altmeyer and R. I. Davis. On the correctness, optimality and precision of static probabilistic timing analysis. Technical Report YCS-2013-487, University of York, 2013. Available from http://www.cs.york.ac.uk/ftpdir/ reports/2013/YCS/487/YCS-2013-487.pdf.
2. F. J. Cazorla, E. Quinones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. D. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim. Proartis: Probabilistically analyzable real-time systems. ACM Trans. Embedded Comput. Syst., 12(2s):94, 2013.
3. L. Cucu-Grosjean. Independence-A misunderstood property of and for probabilistic real-time systems. In N. Audsley and S. Baruah, editors, In Real-Time Systems: the past, the present and the future, pages 29-37, 2013.
4. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quiones, and F. J. Cazorla. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS 2012, pages 91-101.
5. R. Davis. Improvements to static probabilistic timing analysis for systems with random cache replacement policies. In RTSOPS 2013, pages 22-24.
6. R. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean. Analysis of probabilistic cache related pre-emption delays. In ECRTS 2013, pages 129-138.
7. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The M̈alardalen WCET benchmarks-past, present and future. In WCET 2010, pages 137-147.
8. L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. A cache design for probabilistically analysable real-time systems. In DATE 2013, pages 513-518.
9. E. Quinones, E. D. Berger, G. Bernat, and F. J. Cazorla. Using randomized caches in probabilistic real-time systems. In ECRTS 2009, pages 129-138.
10. S. Zhou. An efficient simulation algorithm for cache of random replacement policy. In NPC 2010, pages 144-154.