AbsInt: Projects

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

This project investigates the challenges arising from the interdependence of safety, security and performance of safety-critical systems in the domains of transportation, space, medicine, and industrial control. AQUAS aims at efficient solutions for the entire product life-cycle, and puts forth a coordinated engineering approach to address the continuously growing requirements on security and performance, while maintaining safety.

EMPHASE

The goal of this project is developing an energy-efficient computer system for processing sensor data in automated vehicles. The project is funded by the German Federal Ministry of Education and Research.

EMPHYSIS

Consortium members from six countries around the world will develop a new standard (eFMI: FMI for embedded systems) to exchange physics-based models between modeling and simulation environments with software development environments for electronic control units, micro controllers, and other embedded systems. Enabling advanced control and diagnosis functions based on physical models will enhance the production code in vehicles and lower the cost and time for its development.

PROFORMA

This project investigates the effects of hardware errors on the software. These include single-event upsets that manifest themselves via bit flips in memory cells and registers. PROFORMA develops models, techniques, and automatic tool chains that enable developers to formally prove whether or not hardware errors will affect particular tasks or certain functionality. The project is funded by the German Federal Ministry of Education and Research.

TeamPlay

This project aims to develop new, formally-motivated techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, as first-class citizens. The project brings together leading industrial and academic experts in parallelism, energy modeling, worst-case execution time analysis, non-functional property analysis, compilation, security, and task coordination. Results will be evaluated using industrial use cases taken from the domains of computer vision, satellites, flying drones, medicine and cybersecurity. The three-year research project is funded by the EU Horizon 2020 research and innovation programme.

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.

Research projects