Ongoing
Verisoft and Verisoft XT
A long-term research project focused on creation of methods and tools which would allow persistent formal verification of the design of integrated computer systems.
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 aims at improving the design and development methods for safety-critical embedded systems, developing architectural concepts that support the derivation of timing guarantees for hard real-time systems, and providing the corresponding architectural platforms.
EmBounded
The aims of this project are 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 will develop static analyses for time and space consumption and assess these against realistic applications for embedded systems.
Interested
Another project within European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. Its goal is to create a reference and open interoperable embedded systems tool-chain, fulfilling the needs of the industry for designing and prototyping embedded systems.
CESAR
A European funded project from ARTEMIS Joint Undertaking whose goal is to boost cost efficiency of embedded systems development and safety and certification processes. CESAR pursuits a multi-domain approach, integrating large enterprises, suppliers, SME’s, vendors of cross sectoral domains, and leading research organizations.
COLA
A research project funded by the European Space Agency (ESA) under the basic Technology Research Programme (TRP). COLA is a follow-on project to PEAL2 (Prototype Execution-time Analyser for LEON). The purpose of COLA is to investigate how software running on a processor with cache can achieve maximum performance while remaining testable, predictable and analyzable. This work is being 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 aims at combining currently available timing tools and thus to strengthen the European lead in the timing analysis area. ALL-TIMES will enable interoperability of tools from SMEs and universities, and develop integrated tool chains using open tool frameworks and interfaces.
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.
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.
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.
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.
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.