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
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
http://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

Founding Source

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)