ASSUME
This project will provide an affordable and safe engineering methodology that allows the industry to develop mobility solutions with trustworthy new functions at competitive prices.
ARAMiS II
A follow-up to the ARAMiS project, which demonstrated the usability of multicore technology in safety-critical applications. This time the focus is on optimization and advancement of the development processes, especially tools and platforms for the efficient usage of multicore technology. The applicability of all concepts and approaches will be put to the test in industrial use cases from the automotive, avionics and industry automation domains. The three-year project is sponsored by the German Federal Ministry of Education and Research.
ARGO
This project will develop a holistic approach for programming heterogeneous multicore and many-core architectures using automatic parallelization of model-based real-time applications. ARGO will enhance WCET-aware automatic parallelization by a cross-layer programming approach combining automatic tool-based and user-guided parallelization, reducing the need for expertise in programming parallel heterogeneous architectures.
AQUAS
Coming up.
EMPHASE
Coming up.
Completed projects
FORTISSIMO
A mid-term project funded by the German Federal Ministry of Education and Research. A follow-up to the FORTE project, this time focusing on verification of concurrent systems.
Coniras
With the aid of an all-new debugging system, this project collected and analyzed trace data in real time. To that end, an FPGA platform and several specialized synthesis applications were developed.
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.
T-CREST
A project partially funded by the European Commission under the 7th Framework Programme for Information and Communications Technologies. T-CREST developed and built a system that prevents delays in the execution of safety-critical software. The system will result in lower costs and reduced complexity of safety relevant applications.
FORTE
A mid-term project funded by the German Federal Ministry of Education and Research. It improved and integrated the project partners’ formal verification techniques for C and VHDL programs, thus increasing the overall benefit of formal verification, especially for the automotive industry.
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, within European Commission’s 7th Framework Programme on Research, Technological Development and Demonstration. This time the project partners created an open interoperable embedded systems toolchain that fulfills the needs of the industry for designing and prototyping embedded systems.
TIMMO-2-USE
This project addressed the specification, transition and exchange of relevant timing information throughout different steps of the AUTOSAR-based development process and tool chain. TIMMO-2-USE significantly increased automation for more predictable development cycles, substantially reducing development risks and time-to-market, while increasing reliability, safety, robustness, and fault tolerance.
ARAMiS
Funded by the German Federal Ministry of Education and Research, this three-year research project improved the technological basis for increased safety, efficiency, and comfort in the automotive, avionics, and rail transportation domains.
CERTAINTY
A three-year project funded by the European Commission under the 7th Framework Programme for Information and Communications Technologies. CERTAINTY worked out a methodology for the development of complex critical applications, notably for many-core and multicore processors.
MBAT
A three-year research project funded by the European ARTEMIS Joint Undertaking. MBAT combined advanced model-based testing technologies with static analysis and verification techniques, to enable effective and efficient validation and verification of 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.
CESAR
Another European-funded project from ARTEMIS Joint Undertaking whose goal was to boost the cost efficiency of embedded-system development, and safety and certification processes. CESAR pursuited a multi-domain approach, integrating large enterprises, suppliers, SMEs, vendors of cross sectoral domains, and leading research organizations.
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
This project identified, quantified and certified 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.
