Triumph Integrated Systems: DO-178C Verification and Validation Read more about Triumph Integrated Systems: DO-178C Verification and Validation
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