
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.