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.
|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|