Research Projects

We are actively involved in many research projects, creating bleeding-edge technology to solve challenges in the embedded software industry.

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

P-SOCRATES: Parallel SOftware framework for time-CRitical mAny-core sysTEmS

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

Industry leading verification tools & services