Ongoing
Verisoft
A long-term research project funded by the German Federal Ministry of Education and Research (bmb+f). It focuses on creation of methods and tools which would allow persistent formal verification of the design of intergrated 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.
ES_PASS
A two-year project supported by the ITEA2 program (Information Technology for European Advancement). It focuses on the improvement, integration, and dissemination of product-based software verification techniques.
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.
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.
