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
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems Read more about CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
MERASA: Multi-Core Execution of Hard Real-Time Applications Read more about MERASA: Multi-Core Execution of Hard Real-Time Applications
ALL-TIMES: Integrating European Timing Analysis Technology Read more about ALL-TIMES: Integrating European Timing Analysis Technology
COLA: Cache Optimizations for LEON Analyses Read more about COLA: Cache Optimizations for LEON Analyses