Ongoing
FORTE
A mid-term project funded by the German Federal Ministry of Education and Research. It aims at improving and integrating the project partners’ formal verification techniques for C and VHDL programs, thus increasing the overall benefit of formal verification, especially for the automotive industry.
MBAT
A three-year research project funded by the European ARTEMIS Joint Undertaking. MBAT aims at an effective and efficient validation and verification of embedded systems by combining advanced model-based testing technologies with static analysis and verification techniques.
CESAR
Another European-funded project from ARTEMIS Joint Undertaking whose goal is to boost the cost efficiency of embedded-system development, and safety and certification processes. CESAR pursuits a multi-domain approach, integrating large enterprises, suppliers, SMEs, vendors of cross sectoral domains, and leading research organizations.
TIMMO-2-USE
This project aims at significantly increasing automation for more predictable development cycles in order to substantially reduce development risks and time-to-market, and to increase reliability, safety, robustness, and fault tolerance. TIMMO-2-USE will address the specification, transition and exchange of relevant timing information throughout different steps of the AUTOSAR-based development process and tool chain.
Completed
DAEDALUS
A shared-cost research and technology development project of the European IST Programme, focused on validation of critical avionics software by static analysis and abstract testing.
PREDATOR
A three-year focused-research project within the European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. Steered by Airbus and Bosch, the project improved the design and development methods for safety-critical embedded systems, by developing architectural concepts that support the derivation of timing guarantees for hard real-time systems, and providing the corresponding architectural platforms.
Interest
This project significantly improved integration and interoperability of tools for embedded-software development, in addition to developing novel techniques for system-level and node-level analysis of nonfunctional properties such as worst-case execution timing, stack usage and schedulability.
Interested
A follow-up to Interest, and another project within European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. The project partners created an open interoperable embedded systems toolchain that fulfills the needs of the industry for designing and prototyping embedded systems.
ARTIST2
This project established a unique European virtual center of excellence on Embedded Systems Design, combining competencies from electrical engineering, computer science, applied mathematics and control theory, and covering all aspects from theory through to applications.
Verisoft and Verisoft XT
A long-term research project focused on creation of methods and tools which allow persistent formal verification of the design of integrated computer systems.
SuReal
A middle-term research project focused on creation of a continuous development process for embedded systems which allows formal verification of safety-critical real-time aspects.
ES_PASS
A two-year project supported by the ITEA2 program (Information Technology for European Advancement). It focused on the improvement, integration, and dissemination of product-based software verification techniques.
ASTEC
The purpose of this project was to develop and support industrially applicable techniques for software specification, design, and development. Particular emphasis was put on methods supporting the development of software for communication and control applications.
EmBounded
The aims of this project were to identify, to quantify and to certify resource-bounded code in a domain-specific high-level programming language for real-time embedded systems. Using formal models of resource consumption as a basis, the project developed static analyses for time and space consumption and assessed these against realistic applications for embedded systems.
COLA
A research project funded by the European Space Agency (ESA) under the basic Technology Research Programme (TRP). COLA was a follow-on project to PEAL2 (Prototype Execution-time Analyser for LEON). The purpose of COLA was to investigate how software running on a processor with cache can achieve maximum performance while remaining testable, predictable and analyzable. This work was done with particular reference to the LEON, which is widely used in space applications.
ALL-TIMES
A research project within the European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. The project aimed at combining available timing tools, thus strengthening the European lead in the timing analysis area. ALL-TIMES has enabled interoperability of various tools from SMEs and universities, and developed integrated tool chains using open tool frameworks and interfaces.