ARAMIS II

ARAMIS II

Development processes, methods, tools and platforms for safety-critical multicore systems

ARAMIS II

The ARAMiS II project is developing a systematic and largely automated modular top-down development process for safety-critical multicore systems. By taking multicore-specific properties into account in the early design stages and at higher abstraction levels, safety-by-design properties are made possible.

Project description

Future safety-critical applications in the automotive industry, such as highly automated driving, will result in a drastic increase in the required computing power. The same applies to aerospace and industrial automation, where large amounts of data must be efficiently processed, often in compliance with real-time guarantees.

Multicore processors provide the necessary power to not only speed up computation-intensive tasks, but also have the potential to integrate multiple applications that are currently deployed on individual control units. In contrast to consumer electronics or telecommunications, where multicore processors are already ubiquitous, safety-critical applications, such as in the above-mentioned application domains, bring additional complex requirements, which currently cannot be met or only with disproportionate effort.

ARAMiS II builds on the ARAMIS project and aims to develop a systematic and structured approach to multicore software and platform development. Building on this, appropriate methods and development tools will be provided and established industrial platforms will be further developed or extended, taking multicore-specific requirements into account.

Project contribution

Based on industrial requirements for multicore-based software and system development for safety-critical systems, which are gathered in the application domains involved in the project, a structured multicore development process is being defined, which takes into account specific properties such as true parallelism and interference right from the earliest design stages. To enable safety-by-design properties, methodologies, development tools and multicore platforms are being developed accordingly. A special focus is on the definition of manufacturer-independent standards and interfaces with which tool chains tailored to the respective application domain can be achieved.

In the project, fortiss is working on methods for modelling and characterising multicore platform architectures, and researching how these models can be applied in the early stages of the development process. In doing so, fortiss is researching state space exploration methods that can be used to compute valid configurations of safety-critical multicore systems and optimise them based on criteria such as cost, weight or energy consumption. The methods are implemented in an open-source model-based development tool and validated in a use case from the field of industrial automation.

Funding

Project duration

01.10.2016 - 01.09.2019

 Simon Barner

Your contact

Simon Barner

+49 89 3603522 22
barner@fortiss.org

More information

Project partner

KIT - Karlsruher Institut für TechnologieAbsIntAIRBUSAUDIContinental AGDIEHLElektrobitFraunhofer IESELiebherrOFFIS - Institut für InformatikOpenSynergy GmbHBOSCHSIEMENSSYSGO AGTechnische Universität BraunschweigTechnische Universität KaiserslauternTechnische Universität München TUMUniversität AugsburgDLR - Deutsches Zentrum für Luft- und RaumfahrtAccemic GmbH & Co. KGDENSO AUTOMOTIVE Deutschland GmbHGeneral Electric (GE)Hensoldt Sensors GmbHKSB AGLuxoftSchaeffler Technologies AG & Co. KGChristian-Albrechts-Universität zu KielUniversität zu LübeckVector Informatik GmbHWIKA Mobile Control GmbH & Co. KG

Publications