Heart of Gold: Making the improbable happen to increase confidence in MBPTA

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2014, Pages 255-265

  Abella, Jaume ^a   Quinones, Eduardo ^a   Wartel, Franck ^d   Vardanega, Tullio ^c   Cazorla, Francisco J ^a,b  

^a BARCELONA SUPERCOMPUTING CENTER   (Spain)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^c UNIVERSITY OF PADOVA   (Italy)

^d Airbus SAS France   (France)

Author keywords

confidence; probabilistic timing analysis; real time; WCET

Indexed keywords

GOLD; INTERACTIVE COMPUTER SYSTEMS; RISK PERCEPTION;

CONFIDENCE; EXECUTION PLATFORMS; INDUSTRIAL QUALITY; PROBABILITY OF OCCURRENCE; REAL TIME; TIMING ANALYSIS; WCET; WORST-CASE EXECUTION TIME;

REAL TIME SYSTEMS;

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

References (30)

1. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761, 2001.
2. J. Abella, F. J. Cazorla, E. Quinones, and T. Vardanega. Measurementbased probabilistic timing analysis and i. i. d property. White Paper. 2013. http://www. proartis-project. eu/publications/MBPTA-white-paper.
3. S. Altmeyer and R. I. Davis. On the correctness, optimality and precision of static probabilistic timing analysis. In DATE, 2014.
4. G. Bernat, A. Colin, and S. M. Petters. WCET analysis of probabilistic hard real-time systems. In RTSS, 2002.
5. Bradley. Distribution-Free Statistical Tests. Prentice-Hall, 1968.
6. 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. PROARTIS: Probabilistically analysable real-time systems. ACM TECS, may 2013.
7. F. J. Cazorla, T. Vardanega, E. Quinones, and J. Abella. Upper-bounding program execution time with extreme value theory. In WCET workshop, 2013.
8. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quinones, and F. J. Cazorla. Measurement-based probabilistic timing analysis for multi-path programs. In the 23rd ECRTS, 2012.
9. R. I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, and L. Cucu-Grosjean. Analysis of probabilistic cache related pre-emption delays. In ECRTS, 2013.
10. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling. In the 22nd IEEE Real-Time Systems Symposium (RTSS01), pages 215-225, 2001.
11. W. Feller. An introduction to Probability Theory and Its Applications. 1996.
12. P. Flajolet and R. Sedgewick. Analytic Combinatorics. Cambridge University Press, 2009.
13. 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.
14. B. V. Gnedenko. Sur la distribution limite du terme maximum d'une seris aleatoire. Annals of Mathematics, 44:423-453, 1943.
15. 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.
16. J. Jalle, L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. Bus designs for probabilistic multicore processors. In DATE, 2014.
17. L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. A cache design for probabilistically analysable real-time systems. In DATE, 2013.
18. L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. Multi-level unified caches for probabilistically time analysable real-time systems. In RTSS, 2013.
19. L. Kosmidis, C. Curtsinger, E. Quinones, J. Abella, E. Berger, and F. J. Cazorla. Probabilistic timing analysis on conventional cache designs. In DATE, 2013.
20. L. Kosmidis, E. Quinones, J. Abella, T. Vardanega, and F. J. Cazorla. Achieving timing composability with measurement-based probabilistic timing analysis. In ISORC, 2013.
21. S. Kotz and S. Nadarajah. Extreme value distributions: theory and applications. World Scientific, 2000.
22. D. Maxim, M. Houston, L. Santinelli, G. Bernat, R. I. Davis, and L. Cucu-Grosjean. Re-sampling for statistical timing analysis of realtime systems. In RTNS, 2012.
23. M. McCabe. Introduction to the Practice of Statistics. Freeman & Co., 1989.
24. Jason Poovey. Characterization of the EEMBC Benchmark Suite. North Carolina State University, 2007.
25. P. Radojković, V. Cakarević, M. Moretó, J. Verdú, A. Pajuelo, F. J. Cazorla, M. Nemirovsky, and M. Valero. Optimal task assignment in multithreaded processors: A statistical approach. In ASPLOS, 2012.
26. M. Slijepcevic, L. Kosmidis, J. Abella, E. Quinones, and F. J. Cazorla. DTM: Degraded test mode for fault-aware probabilistic timing analysis. In ECRTS, 2013.
27. SoCLib. http://www. soclib. fr/trac/dev.
28. F. Wartel, L. Kosmidis, C. Lo, B. Triquet, E. Quinones, J. Abella, A. Gogonel, A. Baldovin, E. Mezzetti, L. Cucu, T. Vardanega, and F. J. Cazorla. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In SIES, 2013.
29. J. Wetzel, E. Silha, C. May, B. Frey, J. Furukawa, and G. Frazier. PowerPC User Instruction Set Architecture. IBM Corporation, 2005.
30. Wilhelm R. et al. The worst-case execution-time problem overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems, 7:1-53, May 2008.