R&D Projects


PROXIMA Project

R&D Projects


PROXIMA Project

PROXIMA stand for Probabilistic real-time control of mixed-criticality multicore and manycore systems

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

SYSGO's role within the project is to contribute to perform the certification process of critical applications in a mixed criticality context at reasonable cost when standard approach will exponentially increase cost or may fail due to higher level of complexity with incoming multi-core and many core solutions.

SYSGO’s PikeOS already supplies some Time Composability for single-core architecture but multi-core needs new methods and techniques to address increasing cost and complexity. That means reducing variability of elementary services introduced at integration time to get a valid WCET.    

Learn more