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


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.

Research 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.


Project duration

01.10.2016 - 01.09.2019

 Simon Barner

Your contact

Simon Barner

+49 89 3603522 22

More information

Project partner


  • 2019 Combined Data Transfer Response Time and Mapping Exploration in MPSoCs Alexander Diewald, Simon Barner and Selma Saidi In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, Details URL BIB
  • 2019 Model-based methodology for space vehicles Sergey Zverlov, Sebastian Voss, Thomas Böhm, Hans-Jürgen Herpel and Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), Details BIB
  • 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald, Simon Barner and Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), Details BIB