PROXIMA is a Integrated Project (IP) of the Seventh framework programme for research and technological development (FP7). The PROXIMA project provides industry ready software timing analysis using probabilistic analysis for many-core and multi-core critical real-time embedded systems and will enable cost-effective verification of software timing analysis including worst case execution time.


Status Finished
UoY Lead Iain Bate, Rob Davis (former)
UoY People on Project David Griffin, Frank Soboczenski, Benjamin Lesage
Partners Barcelona Supercomputing Center, Ikerlan S.Coop, INRIA, University of York, Airbus Operations SAS, SYSGO S.A.S., Astrium SAS, Universita Degli Studi Di Padova, Aeroflex Gaisler AB, Infineon Technologies UK Ltd, Rapita Systems Limited
Funded By EU
Start Date 01-10-2013
End Date 30-09-2016
Return to Projects