New video released to introduce non-experts and experts to PROXIMA’s probabilistic approach to the timing behaviour of mixed-criticality systems

15 February 2017

The PROXIMA project, coordinated by the Barcelona Supercomputing Center (BSC), has released a new video explaining the novel solutions for the next generation of real-time critical embedded systems based on probabilistic analysis methods. The video targets the general public while also provides technical details for experts in the area.
The project, which successfully ended in 2016, provided industry-ready software timing analysis using probabilistic analysis for many-core and multi-core critical real-time embedded systems and enables cost-effective verification of software timing analysis including worst case execution time.
PROXIMA brought together leading European technology companies, such as Airbus Operations, Airbus Defence and Space, Infineon, SYSGO, Cobham Gaisler and Rapita Systems; some of the most important research centres in Europe (INRIA, Ikerlan and BSC); and leading academic partners including the University of York and the University of Padua.

Related information:

PROXIMA was partially funded by the European Commission’s Seventh Framework Programme (FP7/2007-2013 under grant agreement no. 611085) and had a budget of over €6 million for three years.

Nota en castellano (pdf) Nota en català (pdf)