By the same authors

From the same journal

From the same journal

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Research output: Contribution to journalArticlepeer-review


  • Robert Ian Davis
  • Tullio Vardanega
  • Jan Andersson
  • Francis Vatrinet
  • Mark Pearce
  • Ian Broster
  • Mikel Azkarate-Askasua
  • Franck Wartel
  • Liliana Cucu-Grosjean
  • Mathieu Patte
  • Glenn Farrall
  • Francisco J Cazorla


Publication details

JournalAda User Journal
DatePublished - Jun 2014
Issue number2
Number of pages5
Pages (from-to)118-122
Original languageEnglish


This position paper outlines the innovative probabilistic approach being taken by the EU Integrated Project PROXIMA to the analysis of the timing behaviour of mixed criticality real-time systems. PROXIMA supports multi-core and mixed criticality systems timing analysis by use probabilistic techniques and hardware/software architectures that reduce dependencies which affect timing. The approach is being applied to DO-178B/C and ISO26262.

Discover related content

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

View graph of relations