Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

  • Wartel F
  • Kosmidis L
  • Lo C
 et al. 
  • 18


    Mendeley users who have this article in their library.
  • 45


    Citations of this article.


Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA computes tight WCET bounds expressed as probabilistic exceedance functions, without needing much information on the hardware and software internals of the system. Classic WCET analysis has information needs that may be costly and difficult to satisfy, and their omission increases pessimism. Previous work has shown that MBPTA does well with benchmark programs. Real-world applications however place more demanding requirements on timing analysis than simple benchmarks. It is interesting to see how PTA responds to them. This paper discusses the application of MBPTA to a real avionics system and presents lessons learned in that process.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Leonidas KosmidisCentro Nacional de Supercomputacion

  • Franck Wartel

  • Code Lo

  • Benoit Triquet

  • Eduardo Quiñones

  • Jaume Abella

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free