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
AUTOSAC: Automated generation of tests from Spark Ada Contracts Read more about AUTOSAC: Automated generation of tests from Spark Ada Contracts
PROARTIS: PRObabilistic Analyzable Real Time Systems Read more about PROARTIS: PRObabilistic Analyzable Real Time Systems
ParMERASA: Multi-Core Execution of Parallelised Hard Real-Time Applications Read more about ParMERASA: Multi-Core Execution of Parallelised Hard Real-Time Applications