Timing analysis of an avionics case study on complex hardware/software platforms

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 2015-April, Issue , 2015, Pages 397-402

  Wartel, Franck ^a   Kosmidis, Leonidas ^b,c   Gogonel, Adriana ^d   Baldovin, Andrea ^e   Stephenson, Zoe ^f   Triquet, Benoit ^a   Quinones, Eduardo ^b   Lo, Code ^d   Mezzetta, Enrico ^e   Broster, Ian ^f   Abella, Jaume ^b   Cucu Grosjean, Liliana ^d   Vardanega, Tullio ^e   Cazorla, Francisco J ^b,g  

^a AIRBUS   (France)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^d INRIA   (France)

^e UNIVERSITY OF PADOVA   (Italy)

^f RAPITA SYSTEMS LTD   (United Kingdom)

^g CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AVIONICS; SYSTEMS ANALYSIS; TIMING CIRCUITS;

AVIONICS SYSTEMS; HARDWARE FEATURES; INDUSTRIAL QUALITY; MEASUREMENT-BASED; NUMBER OF SOURCES; SINGLE-CORE PROCESSORS; SPECIFIC HARDWARE; WORST-CASE EXECUTION TIME;

BENCHMARKING;

EID: 84945912120     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/date.2015.0189     Document Type: Conference Paper

References (37)

1. LLVM. http://dragonegg.llvm.org
2. S. Altmeyer and R.I. Davis. On the correctness, optimality and precision of static probabilistic timing analysis. In DATE, 2014
3. ARINC. Avionics Application Software Standard Interface: ARINC Specification 653P1-3. Aeronautical Radio. www.arinc.com
4. AUTOSAR. AUTomotive Open System ARchitecture, 2012. http:// www.autosar.org
5. A. Baldovin, E. Mezzetti, and T. Vardanega. A time-composable operating system. In WCET workshop, 2012
6. M. Buhlmann. Keynote: High integration ECU in automotive environment. In ECRTS, 2014
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. F.J. Cazorla et al. Proartis: Probabilistically analyzable real-time system. ACM Transactions on Embedded Computing Systems, 2012
9. 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 ECRTS, 2012
10. C. Curtsinger and E.D. Berger. Stabilizer: Enforcing predictable and analyzable performance. Technical report, UMass, CS TR 2011-43, 2011
11. F. Dewan and N. Fisher. Efficient admission control for enforcing arbitrary real-time demand-curve interfaces. In RTSS, 2012
12. G. Edelin. Embedded systems at thales: the artemis challenges for an industrial group. In ARTIST Summer School in Europe, 2009
13. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling. In RTSS, 2001
14. W. Feller. An introduction to Probability Theory and Its Applications. John Willer and Sons, 1996
15. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The Mälardalen WCET benchmarks-past, present and future. In WCET Workshop, 2010
16. J. Hansen, S Hissam, and G. A. Moreno. Statistical-based WCET estimation and validation. In WCET Workshop, 2009
17. J. Jalle, L. Kosmidis, J. Abella, E. Quiñones, and F.J. Cazorla. Bus designs for time-probabilistic multicore processors. In DATE, 2014
18. R. Kirner and P. Puschner. Obstacles in Worst-Case execution time analysis. In ISORC, 2008
19. L. Kosmidis, J. Abella, E. Quinones, and F.J. Cazorla. A cache design for probabilistic real-time systems. In DATE, 2013
20. L. Kosmidis, J. Abella, E. Quinones, and F.J. Cazorla. Multi-level unified caches for probabilistically time analysable real-time systems. In RTSS, 2013
21. L. Kosmidis, C. Curtsinger, E. Quinones, J. Abella, E. Berger, and F.J. Cazorla. Probabilistic timing analysis on conventional cache designs. In DATE, 2013
22. L. Kosmidis, E. Quinones, J. Abella, T. Vardanega, I. Broster, and F.J. Cazorla. Probabilistic timing analysis and its impact on processor architecture. In DSD, 2014
23. Samuel Kotz and Saralees Nadarajah. Extreme value distributions: theory and applications. World Scientific, 2000
24. LiP6. SoCLib. www.soclib.fr/trac/dev
25. E. Mezzetti and T. Vardanega. On the Industrial Fitness of WCET Analysis. In WCET Workshop, 2011
26. M. Neukirchner, T. Michaels, P. Axer, S. Quinton, and R. Ernst. Monitoring arbitrary activation patterns in real-time systems. In RTSS, 2012
27. M. Paolieri, E. Quinones, F.J. Cazorla, G. Bernat, and M. Valero. Hardware support for WCET analysis of hard real-time multicore systems. In ISCA, 2009
28. R. Perrone, R. Macedo, G. Lima, and V. Lima. An approach for estimating execution time probability distributions of component-based real-time systems. J. UCS, 15(11):2142-2165, 2009
29. Jason Poovey. Characterization of the EEMBC Benchmark Suite. North Carolina State University, 2007
30. PROARTIS. D2.3 certification arguments guidelines. http://www.proartis-project.eu/system/files/D2.3%20Certification% 20Arguments%20Guidelines%20(Initial%20Draft).pdf
31. PROXIMA. EU-FP7 Project: www.proxima-project.eu
32. RTCA and EUROCAE. DO-178B / ED-12B, Software Considerations in Airborne Systems and Equipment Certification, 1992
33. SAE International. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761, 2001
34. L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart. On the sustainability of the extreme value theory for WCET estimation. In WCET Workshop, 2014
35. F. Wartel et al. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In SIES, 2013
36. I. Wenzel, R. Kirner, P. Puschner, and B. Rieder. Principles of timing anomalies in superscalar processors. In ICQS, 2005
37. 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