Over the next decade, the embedded software industry will face a massive transition to multicore and manycore processors. This architectural revolution intensifies an already existing severe challenge to the development of Critical Real-Time Embedded Systems (CRTES), namely the need to show that software timing behaviour is always correct during operation. Previous research carried out in the EU-funded PROARTIS project has demonstrated how this threat can be mitigated through the application of randomization. PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore systems), a 36-month project funded under the EU FP7 research programme, builds on the results of PROARTIS, and will result in a comprehensive suite of hardware and software platforms and probabilistic analysis methods integrated into commercial design, development and verification tools. (more details...)