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