By the same authors

Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

  • DSD

    500 KB, PDF document


Published copy (DOI)


  • Francisco J. Cazorla
  • Jaume Abella
  • Jan Andersson
  • Tullio Vardanega
  • Francis Vatrinet
  • Ian Broster
  • Mikel Azkarate-Askasua
  • Franck Wartel
  • Liliana Cucu
  • Fabrice Cros
  • Glenn Farrall
  • Adriana Gogonel
  • Andrea Gianarro
  • Benoit Triquet
  • Carles Hernández
  • Code Lo
  • Cristian Maxim
  • David Morales
  • Eduardo Quiñones
  • Enrico Mezzetti
  • Leonidas Kosmidis
  • Irune Agirre
  • Mikel Fernández
  • Mladen Slijepcevic
  • Walid Talaboulma


Publication details

Title of host publicationDigital System Design (DSD), 2016 Euromicro Conference on
DateE-pub ahead of print - 27 Oct 2016
DatePublished (current) - 2016
Number of pages10
Original languageEnglish
ISBN (Print)9781509028184


The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which form a time-and-effort-intensive step of system qualification or certification. In this paper we relate the current state of practice in measurement-based timing analysis, the predominant choice for industrial developers, to the proceedings of the PROXIMA project in that very field. We recall the difficulties that the shift towards more complex computing platforms causes in that regard. Then we discuss the probabilistic approach proposed by PROXIMA to overcome some of those limitations. We present the main principles behind the PROXIMA approach as well as the changes it requires at hardware or software level underneath the application. We also present the current status of the project against its overall goals, and highlight some of the principal confidence-building results achieved so far.

Bibliographical note

© IEEE, 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations