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

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

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)118-122
Number of pages5
JournalAda User Journal
Issue number2
Publication statusPublished - Jun 2014

Cite this