Out of the box Solution for Multicore Analysis Read more about Out of the box Solution for Multicore Analysis
OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover Read more about OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover
Automating schedulability analysis of on-board software on the Solar Orbiter Read more about Automating schedulability analysis of on-board software on the Solar Orbiter
PROXIMA: Probabilistic real-time control of mixed-criticality multicore and manycore systems Read more about PROXIMA: Probabilistic real-time control of mixed-criticality multicore and manycore systems
AMASS: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems Read more about AMASS: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
PRESTO: Improvements of industrial real-time embedded systems development process Read more about PRESTO: Improvements of industrial real-time embedded systems development process