PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore systems) brings leading European aerospace and automotive companies, hardware designers, compiler and software experts, and tool developers together with academic knowledge to investigate how probabilistic analysis techniques and supporting mechanisms can be integrated with manycore processors. PROXIMA will also determine how the results can be exploited by successful integration with commercial verification tools and operating systems. (more details...)