Research Projects


A significant portion of the resources spent in the development of secure software is invested in the design, maintenance, and execution of tests based on low-level requirements. The AUTOSAC research project, funded by the National Aerospace Technology Exploitation Programme (NATEP), intends to address this problem by using contracts, a feature of the SPARK language.

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

PROXIMA is an Integrated Project (IP) of the Seventh framework programme for research and technological development (FP7). The PROXIMA project provides industry ready software timing analysis using probabilistic analysis for many-core and multi-core critical real-time embedded systems and will enable cost-effective verification of software timing analysis including worst case execution time.

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

The CRAFTERS project (ARTEMIS-2011-1-295371) is dedicated to the development of improved multi-core real-time applications and associated reliable timing analysis methodologies. The project is co-funded by the European Commission under the ARTEMIS Joint Undertaking Programme.

VeTeSS: Verification and Testing to Support Functional Safety Standards

VeTeSS will develop standardized tools and methods for verification of the robustness of safety-relevant systems, particularly against transient common-cause faults. The project is co-funded by the EU through the ARTEMIS Joint Undertaking, a pan-European research programme to strengthen Europe's position in embedded intelligence and systems.

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

A Seventh Framework Programme (FP7) project of the European Union, parMERASA focuses on the potential for increased performance and safety benefits when hard real-time applications are run in parallel on an embedded multi-core processor.

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

P-SOCRATES is a small or medium scale focused research project funded in part by the European Union’s Seventh Framework Programme (FP7). The project will address the time-criticality and parallelisation challenges common to High-Performance Computing (HPC) and Embedded Computing (EC) domains and propose an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures.

PROARTIS: PRObabilistic Analyzable Real Time Systems

PROARTIS is a small or medium scale focused research project funded in part by the European Union’s Seventh Framework Programme (FP7). Its aim is to define new hardware and software architecture paradigms whose timing behavior can be analyzed with probabilistic techniques.

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

The PRESTO project (ARTEMIS-2010-1-269362) dedicated to improving test-based embedded systems development and validation is co-funded by the European Commission under the ARTEMIS Joint Undertaking Programme.

FRESCOR: Framework for Real-time Embedded Systems based on COntRacts

Frescor is a consortium research project funded in part by the European Union’s Sixth Framework Programme.

ALL-TIMES: Integrating European Timing Analysis Technology

ALL-TIMES is a medium-scale focused-research project within the European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration.

MERASA: Multi-Core Execution of Hard Real-Time Applications

MERASA is a European Union Framework 7 research project, investigating the design of systems for worst case execution time analysis.

The MERASA project will develop multi-core processor designs (from 2 to 16 cores) for hard real-time embedded systems hand in hand with timing analysis techniques and tools to guarantee the analysability and predictability regarding timing of every single feature provided by the processor.

COLA: Cache Optimizations for LEON Analyses

COLA (Cache Optimizations for LEON Analyses) is a research project funded by the European Space Agency (ESA) to investigate how software running on a processor with cache can achieve maximum performance while remaining testable, predictable and analyzable.