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.
- El BSC concluye con éxito un proyecto para mejorar la seguridad de coches, aviones, trenes y vehículos espaciales [22/10/2013]
- PROXIMA: técnicas probabilísticas y aleatorización para analizar el tiempo de respuesta de sistemas críticos [24/04/2014]
- Best Paper Award for PROXIMA at 51st DAC [10/06/2014]
- BSC at DATE 2016 [15/03/2016]
- BSC researchers win Best Paper Award at ISORC 2016 [01/06/2016]
- PROXIMA presents research to leading European technology companies [01/07/2017]
- BSC hosts a Mixed-Criticality Cluster Workshop [21/11/2016]
- BSC gathers top European institutions specialised in mixed-criticality systems [25/11/2016]
- PROXIMA processors for space applications win HiPEAC Technology Transfer Award [23/12/2016]
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.