ARAMiS II Automotive Railway Avionics Multicore Systems II


OFFIS will mainly contribute to the structured development process by improving hardware architecture characterisations – including supported safety mechanisms – with respect to timing and concurrency aspects. Based on these improvements it will be possible to carry out the verification and validation steps necessary for demonstrating functional safety of systems based on these architectures. Also the necessary extensions of analysis methods and technologies will be carried out by OFFIS in this context.


In the ARAMiS project, leading industry companies and research institutions demonstrated the usability of multicore technology in safety-critical applications based on prototypical implementations. As the follow-up project, the focus of ARAMiS II is on optimization and advancement of the development processes in the domains automobile, avionic, and industrial automation, especially development tools and platforms for the efficient usage of multicore technology. This will be achieved by the provision of a systematic and structured multicore development process for multicore software and platforms. The formulation of the required methods and tools to realize the structured multicore development process, as well as the development and advancement of industrial platforms considering the multicore specific requirements, complete the main activities to be carried out in ARAMiS II.


OFFIS will use and enhance safety oriented design and analysis methods in the project. Particularly the – widely accepted and industrial relevant – approach of Safety Architecture Patterns will be extended and applied to architectures of multi-core applications and hence will be made available for this class of platforms.

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262

Benedikt Bauer and Jan Steffen Becker and Thomas Peikenkamp and Christof Schlaak and Ingo Stierand; Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018); 03 / 2018

Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker

Becker, Jan Steffen; Formal Methods for Industrial Critical Systems; 2018

Karlsruher Institut für Technologie
AbsInt Angewandte Informatik GmbH
Accemic Technologies GmbH
Airbus Defence & Space GmbH
Continental Automotive GmbH
DENSO Automotive
Deutsches Zentrum für Luft- und Raumfahrt e.V.
Diehl Aerospace GmbH
Elektrobit Automotive GmbH
fortiss GmbH
Fraunhofer Gesellschaft zur Förderung der Angewandten Forschung e.V.
GE Global Research
Hirschmann Automation and Control GmbH
Liebherr Aerospace Lindenberg GmbH
LuK GmbH & Co. KG (Schaeffler Gruppe)
OpenSynergy GmbH
Robert Bosch GmbH
Symtavision GmbH
Timing-Architects (TA)
TU München - Lehrstuhl für Integrierte Systeme
TU München - Lehrstuhl für Sicherheit in der Informationstechnik
TU Braunschweig
TU Kaiserslautern
Universität Augsburg


Start: 30.09.2016
End: 29.09.2019

Source of funding


Related projects


Enabling of Results from AMALTHEA and others for Transfer into Application and building a Community around


Affordable Safe And Secure Mobility Evolution (sorry - only availble in german)