ARAMiS II Automotive Railway Avionics Multicore Systems II

Motivation

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.

Goal

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.

Technologies

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.

Persons
Publications
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

Partners
Karlsruher Institut für Technologie
www.kit.edu
AbsInt Angewandte Informatik GmbH
www.absint.de
Accemic Technologies GmbH
www.accemic.com
Airbus Defence & Space GmbH
www.airbusdefenceandspace.com
AUDI AG
www.audi.de
Continental Automotive GmbH
www.conti-online.com
DENSO Automotive
denso-europe.com
Deutsches Zentrum für Luft- und Raumfahrt e.V.
www.dlr.de
Diehl Aerospace GmbH
www.diehl-aerospace.de
Elektrobit Automotive GmbH
www.elektrobit.com
fortiss GmbH
www.fortiss.org
Fraunhofer Gesellschaft zur Förderung der Angewandten Forschung e.V.
www.fraunhofer.de
GE Global Research
www.geglobalresearch.com
Hirschmann Automation and Control GmbH
www.hirschmann.de
Liebherr Aerospace Lindenberg GmbH
LuK GmbH & Co. KG (Schaeffler Gruppe)
www.luk.de
OpenSynergy GmbH
www.opensynergy.com
Robert Bosch GmbH
www.bosch.de
SILEXICA SOFTWARE SOLUTIONS GMBH
www.silexica.com
Symtavision GmbH
www.symtavision.com
SYSGO AG
www.sysgo.com
Timing-Architects (TA)
www.timing-architects.com
TU München - Lehrstuhl für Integrierte Systeme
www.lis.ei.tum.de/startseite
TU München - Lehrstuhl für Sicherheit in der Informationstechnik
www.sec.ei.tum.de/startseite
TU Braunschweig
www.tu-braunschweig.de
TU Kaiserslautern
www.uni-kl.de
Universität Augsburg
www.uni-augsburg.de
ARAMiS II

Duration

Start: 30.09.2016
End: 29.09.2019

Source of funding

BMBF

Related projects

AMALTHEA4public

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

ASSUME

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