Research Projects

COLA: Cache Optimizations for LEON Analyses

ALL-TIMES: Integrating European Timing Analysis Technology

VeTeSS: Verification and Testing to Support Functional Safety Standards

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

ParMERASA: Multi-Core Execution of Parallelised Hard Real-Time Applications

PROARTIS: PRObabilistic Analyzable Real Time Systems

AUTOSAC: Automated generation of tests from Spark Ada Contracts

PRESTO: Improvements of industrial real-time embedded systems development process

AMASS: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

PROXIMA: Probabilistic real-time control of mixed-criticality multicore and manycore systems