PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016

Volumn , Issue , 2016, Pages 276-285

  Cazorla, Francisco J ^a,l   Abella, Jaume ^a   Andersson, Jan ^b   Vardanega, Tullio ^c   Vatrinet, Francis ^d   Bate, Iain ^e   Broster, Ian ^f   Azkarate Askasua, Mikel ^g   Wartel, Franck ^l   Cucu, Liliana ⁱ   Cros, Fabrice ^j   Farrall, Glenn ^k   Gogonel, Adriana ⁱ   Gianarro, Andrea ^b   Triquet, Benoit ^h   Hernandez, Carles ^a   Lo, Code ⁱ   Maxim, Cristian ⁱ   Morales, David ^a   Quinones, Eduardo ^a   Mezzetti, Enrico ^c   Kosmidis, Leonidas ^a   Aguirre, Irune ^g   Fernandez, Mikel ^a   Slijepcevic, Mladen ^a   Conmy, Philippa ^f   Talaboulma, Walid ⁱ   more..

^a BARCELONA SUPERCOMPUTING CENTER   (Spain)

^b Cobham Gaisler ^*  (Sweden)

^c UNIVERSITY OF PADOVA   (Italy)

^d SYSGO   (France)

^e UNIVERSITY OF YORK   (United Kingdom)

^f RAPITA SYSTEMS LTD   (United Kingdom)

^g IK4 IKERLAN   (Spain)

^h AIRBUS   (France)

ⁱ INRIA   (France)

^j AIRBUS DEFENCE AND SPACE   (Germany)

^k Infineon   (United Kingdom)

^l ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

more..

Author keywords

Measurement Based Timing Analysis; Probabilistic Analysis; Randomization

Indexed keywords

APPLICATION PROGRAMS; HARDWARE; INTERACTIVE COMPUTER SYSTEMS; REAL TIME CONTROL; SYSTEMS ANALYSIS; TIMING CIRCUITS; VERIFICATION;

CONFIDENCE BUILDING; MIXED CRITICALITIES; MULTI-CORE SYSTEMS; PROBABILISTIC ANALYSIS; PROBABILISTIC APPROACHES; RANDOMIZATION; TIMING ANALYSIS; VERIFICATION-AND-VALIDATION;

REAL TIME SYSTEMS;

EID: 84998579326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2016.22     Document Type: Conference Paper

References (29)

1. PROARTIS EU-FP7 project. http://www.proartis-project.eu, 2010.
2. Pikeos website. http://www.sysgo.com/products/pikeos-rtosand-virtualization-concept/, 2014.
3. J. Abella et al. Heart of Gold: Making the improbable happen to extend coverage in probabilistic timing analysis. In ECRTS, 2014.
4. J. Abella et al. WCET analysis methods: Pitfalls and challenges on their trustworthiness. In SIES, 2015.
5. I. Agirre et al. A safety concept for a railway mixed-criticality embedded system based on multicore partitioning. In DASC, 2015.
6. I. Agirre et al. IEC-61508 SIL 3-compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis. In DSD, 2015.
7. I. Bate and A. Burns. An integrated approach to scheduling in safety-critical embedded control systems. Real-Time Systems Journal, 25(1):5-37, Jul 2003.
8. J.V. Bradley. Distribution-Free Statistical Tests. Prentice-Hall, 1968.
9. F.J. Cazorla et al. Upper-bounding program execution time with extreme value theory. In WCET Workshop, 2013.
10. S. Coles. An Introduction to Statistical Modeling of Extreme Values. Springer, 2001.
11. L. Cucu-Grosjean et al. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS, 2012.
12. Enrico Mezzetti et al. Randomized caches can be pretty useful to hard real-time systems. LITES, 2(1), 2015.
13. Leonidas Kosmidis et al. Applying measurement-based probabilistic timing analysis to buffer resources. In WCET Workshop, 2013.
14. W. Feller. An introduction to Probability Theory and Its Applications. 1996.
15. Mikel Fernández, Roberto Gioiosa, Eduardo Quinones, Luca Fossati, Marco Zulianello, and Francisco J. Cazorla. Assessing the suitability of the NGMP multi-core processor in the space domain. In EMSOFT, 2012.
16. S. Hutchesson and N. Hayes. Technology transfer and certification issues in safety critical real-time systems. In Digest of the IEE Colloquium on Real-Time Systems, number 98/306, April 1998.
17. J. Jalle et al. Bus designs for time-probabilistic multicore processors. In DATE, 2014.
18. L. Kosmidis et al. A cache design for probabilistically analysable real-time systems. In DATE, 2013.
19. L. Kosmidis et al. Probabilistic timing analysis on conventional cache designs. In DATE, 2013.
20. L. Kosmidis et al. Containing timing-related certification cost in automotive systems deploying complex hardware. In DAC, 2014.
21. L. Kosmidis et al. Probabilistic timing analysis and its impact on processor architecture. In DSD, 2014.
22. S. Kotz et al. Extreme value distributions: theory and applications. World Scientific, 2000.
23. RTCA. DO-178C, software considerations in airborne systems and equipment certification, 2011.
24. L. Santinelli et al. On the sustainability of the extreme value theory for WCET estimation. In WCET Workshop, 2014.
25. https://www.faa.gov/aircraft/air cert/design approvals/air software/cast/cast papers/media/cast-20.pdf. Position Paper CAST-20: ADDRESSING CACHE IN AIRBORNE SYSTEMS AND EQUIPMENT. Certification Authorities Software Team (CAST), 2003.
26. https://www.faa.gov/aircraft/air cert/design approvals/air software/cast/cast papers/media/cast-32.pdf. Position Paper CAST-32: Multi-core Processors. Certification Authorities Software Team (CAST), 2014.
27. http://www.gaisler.com/cms/index.phpoption=com content&task=view&id=13&Itemid=53. Leon3 Processor. Areroflex Gaisler.
28. 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.
29. M. Ziccardi et al. EPC: Extended Path Coverage for Measurement-based Probabilistic Timing Analysis. In RTSS, 2015.