Skip to Main content Skip to Navigation
Conference papers

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

Abstract : Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular have been shown to facilitate the estimation of the worst-case execution time (WCET). MBPTA relies on specific hardware and software support to randomise and/or upper bound a number of sources of execution time variation to drastically reduce the need for user-provided information, thus replacing uncertainty by probabilities. MBPTA has been proven effective for specific single-core processor designs. However, particular hardware features and multicores in general challenge MBPTA application in industrial-quality developments. While solutions to those challenges have been proven on benchmarks, they have not been proven yet on real-world applications, whose timing analysis is far more challenging than that of simple benchmarks. This paper discusses the application of MBPTA to a real avionics system in the context of (1) software-only single-core solutions and (2) hardware-only multicore solutions with an ARINC 653 operating system.
Document type :
Conference papers
Complete list of metadata
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Tuesday, December 15, 2015 - 4:26:37 PM
Last modification on : Monday, November 16, 2020 - 3:56:17 PM


  • HAL Id : hal-01244373, version 1



Franck Wartel, Leonidas Kosmidis, Adriana Geanina Gogonel, Andrea Baldovin, Zoe Stephenson, et al.. Timing analysis of an avionics case study on complex hardware/software platforms. DATE 2015 - Design, Automation and Test in Europe, Mar 2015, Grenoble, France. pp.397-402. ⟨hal-01244373⟩



Record views