Probabilistic real-time control of mixed-criticality multicore and manycore systems (PROXIMA)

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.

Industrial Benefits

  • More performance using multi/many-core hardware in critical systems
  • Lower integration costs with time-composable software
  • Integrate mixed criticality systems together
  • Cost-effective software timing analysis/worst case execution time (WCET)
  • Certification arguments for DO-178B and safety standards