Measurement-based probabilistic timing analysis for multi-path programs

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2012, Pages 91-101

  Cucu Grosjean, Liliana ^a   Santinelli, Luca ^a   Houston, Michael ^b   Lo, Code ^a   Vardanega, Tullio ^c   Kosmidis, Leonidas ^d   Abella, Jaume ^d   Mezzetti, Enrico ^c   Quiñones, Eduardo ^d   Cazorla, Francisco J ^d,e  

^a INRIA   (France)

^b RAPITA SYSTEMS LTD   (United Kingdom)

^c UNIVERSITY OF PADOVA   (Italy)

^d BARCELONA SUPERCOMPUTING CENTER   (Spain)

^e ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

probabilistic real time systems; timing analysis

Indexed keywords

EXTREME VALUE THEORY; HARDWARE AND SOFTWARE COMPONENTS; INDUSTRIAL USERS; MEASUREMENT-BASED; POINT OF INTEREST; STATIC TIMING ANALYSIS; TIMING ANALYSIS;

ARCHITECTURAL ACOUSTICS;

REAL TIME SYSTEMS;

EID: 84866440712     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2012.31     Document Type: Conference Paper

References (29)

1. SoCLib. http://www.soclib.fr/trac/dev.
2. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761, 2001.
3. L. Abeni and G. Buttazzo. Integrating multimedia applications in hard real-time systems. In the 19th IEEE Real-Time Systems Symposium (RTSS98), pages 4-13, 1998.
4. Guillem Bernat, Antoine Colin, and Stefan Petters. pwcet: A tool for probabilistic worst-case execution time analysis of real-time systems. Technical Report YCS-353-2003, Department of Computer Science, The University of York, 2003.
5. Bradley. Distribution-Free Statistical Tests. Prentice-Hall, 1968.
6. Alan Burns and David Griffin. Predictability as an emergent behaviour. In the 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2011.
7. Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, and Dorin Maxim. PROARTIS: Probabilistically analysable real-time systems. ACM TECS Special Issue on Probabilistic Embedded Computing, Spring/Summer 2012.
8. J.L Díaz, D.F. Garcia, K. Kim, C.G. Lee, L.L. Bello, López J.M., and O. Mirabella. Stochastic analysis of periodic real-time systems. In the 23rd IEEE Real-Time Systems Symposium (RTSS02), pages 289-300, 2002.
9. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling. In the 22nd IEEE Real-Time Systems Symposium (RTSS01), pages 215-225, 2001.
10. Gumbel EJ. Statistics of Extremes. Columbia University Press, 1958.
11. D. Faranda, V. Lucarini, G. Turchetti, and S. Vaienti. Numerical convergence of the block-maxima approach to the generalized extreme value distribution. Technical Report arXiv:1103.0889, Cornell University Library, March 2011.
12. Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, and Paul Zimmermann. MPFR: A multiple-precision binary floatingpoint library with correct rounding. ACM Transactions on Mathematical Software, 33(2):13:1-13:15, June 2007.
13. M.K. Gardner and J.W. Lui. Analyzing stochastic fixed-priority realtime systems. In the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS99), pages 44-58, 1999.
14. M. Garrido and J. Diebolt. The ET test, a goodness-of-fit test for the distribution tail. In Methodology, Practice and Inference, second international conference on mathematical methods in reliability, pages 427-430, 2000.
15. B.V. Gnedenko. Sur la distribution limite du terme maximum d'une seris aleatoire. Annals of Mathematics, 44:423-453, 1943.
16. David Griffin and Alan Burns. Realism in Statistical Analysis of Worst Case Execution Times. In the 10th International Workshop on Worst- Case Execution Time Analysis (WCET 2010), pages 44-53, 2010.
17. Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Björn Lisper. The Mälardalen WCET benchmarks - past, present and future. In Björn Lisper, editor, the International Workshop on Worst-case Executiontime Analysis, pages 137-147, Brussels, Belgium, July 2010. OCG.
18. J. Hansen, S. Hissam, and G. A. Moreno. Statistical-based wcet estimation and validation. In the 9th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2009.
19. Samuel Kotz and Saralees Nadarajah. Extreme value distributions: theory and applications. World Scientific, 2000.
20. J.P. Lehoczky. Real-time queueing theory. In the 10th IEEE Real-Time Systems Symposium (RTSS96), pages 186-195, 1996.
21. D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean, and R. Davis. Optimal priority assignments for probabilistic real-time systems. In the 19th International Conference on Real-Time and Network Systems, 2011.
22. E. Özer, A.P. Nisbet, and D. Gregg. A stochastic bitwidth estimation technique for compact and low-power custom processors. ACM Trans. Embed. Comput. Syst., 7(3):34:1-34:30, May 2008.
23. M. Paolieri, E. Quiñones, F. Cazorla, G. Bernat, and M. Valero. Hardware support for WCET analysis of hard real-time multicore systems. In ISCA, Austin, TX, USA, 2009.
24. Jason Poovey. Characterization of the EEMBC Benchmark Suite. North Carolina State University, 2007.
25. Petar Radojković, Vladimir Čakarević, Miquel Moretó, Javier Verdú, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, and Mateo Valero. Optimal task assignment in multithreaded processors: a statistical approach. In the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '12. ACM, 2012.
26. RapiTime. www.rapitasystems.com, 2008.
27. T.S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.C. Wu, and J.S Liu. Probabilistic performance guarantee for real-time tasks with varying computation times. In the 2nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS95), pages 164-174, 1995.
28. Feller W. An introduction to Probability Theory and Its Applications. Wiley, 1996.
29. S. Zhou. An efficient simulation algorithm for cache of random replacement policy. In the 7th IFIP international conference on Network and parallel computing (NPC2010), pages 144-154, 2010.