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.
Type de document :
Communication dans un congrès
DATE 2015 - Design, Automation and Test in Europe, Mar 2015, Grenoble, France. pp.397-402, 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01244373
Contributeur : Liliana Cucu <>
Soumis le : mardi 15 décembre 2015 - 16:26:37
Dernière modification le : lundi 4 décembre 2017 - 15:14:09

Identifiants

  • HAL Id : hal-01244373, version 1

Collections

Citation

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, 2015. 〈hal-01244373〉

Partager

Métriques

Consultations de la notice

228