ARAMiS ARAMiS – Automotive, Railway and Avionic Multicore System

Ziele

ARAMIS hat zum Ziel, durch den Einsatz von Multicore-Technologie in den Mobilitätsdomänen Automobil, Avionik und Bahn die technologische Basis zur weiteren Erhöhung von Sicherheit, Verkehrseffizienz und Komfort zu schaffen. Die nach der Durchführung dieses Projekts gewonnenen Erkenntnisse bilden zudem das unabdingbare Fundament für die erfolgreiche Vernetzung von Embedded Systems zu Cyber Physical Systems (CPS). Vor diesem Hintergrund wird das Projekt einen wichtigen Beitrag zum Erhalt und zur Stärkung der weltweiten Wettbewerbsfähigkeit deutscher Unternehmen der Domänen Automobil, Avionik und Bahn leisten.

Kompositionale Analysen auf abstrakten Modellen sind ein wesentlicher Schlüssel, um eine (effiziente) Analyse dieser Systeme zu ermöglichen. OFFIS wird virtuelle Architekturen für Multi-Cores erforschen und Nachweisverfahren zur Verfügung stellen, die dies erlauben. Darüber hinaus leitet OFFIS zusammen mit Daimler das Teilprojekt „Durchgängige Entwicklungsmethodik und Anbindung an die RTP“ und unterstützt bei der Koordination und in der Konsolidierung erforschter/entwickelter Methoden/Werkzeuge.

Personen
Publikationen
Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems

Reinkemeier, Philipp and Hille, Heinz and Henkler, Stefan; Software Engineering (Workshops); 2014

Abstraction Techniques for Compositional State-based Scheduling Analysis

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.; 10 / 2012

Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Nebel, Wolfgang; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2013); 03 / 2013

Hierarchical Real-Time Scheduling in the Multi-Core Era - An Overview

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 006 / 2013

Compositional Timing Analysis of Real-Time Systems based on Resource Segregation Abstraction

Reinkemeier, Philipp and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 006 / 2013

Seamless Segregation for Multi-Core Systems

Reinkemeier, Philipp and Ittershagen, Philipp and Stierand, Ingo and Hartmann, Philipp A. and Henkler, Stefan and Grüttner, Kim; 09 / 2013

A Novel Approach for a Hardware-based Secure Process Isolation in an Embedded System

Malipatlolla, Sunil; International Symposium on Security in Computing and Communications (SSCC 2013); 2013

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

Malipatlolla, Sunil and Stierand, Ingo; International Embedded Systems Symposium (IESS 2013); 2013

Exploiting Functional Models to Assess the Security Aspect in Embedded System Design

Stierand, Ingo and Malipatlolla, Sunil; International Symposium on Security in Computing and Communications (SSCC 2013); 2013

Evaluation of a State-based Real-Time Scheduling Analysis Technique

Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim; International Conference on Industrial Informatics (INDIN2014); 2014

A Program State Machine Based Virtual Processing Model in SystemC

Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg; The 4th Embedded Operating Systems Workshop (EWiLi'14); 11 / 2014

Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Stierand, Ingo and Malipatlolla, Sunil and Fröschle, Sibylle and Stühring, Alexander and Henkler, Stefan; The 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014); 11 / 2014

Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction

Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Formal Modeling and Analysis of Timed Systems; 2014

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Formal Modeling and Analysis of Timed Systems; 2015

Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Stierand, Ingo and Malipatlolla, Sunil and Fröschle, Sibylle and Stühring, Alexander and Henkler, Stefan; The 2nd IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2014); 0November / 2014

Virtual Integration of Real-Time Systems based on Resource Segregation Abstraction

Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2014

Real-Time Contracts - A Contract Theory Considering Resource Supplies and Demands

Philipp Reinkemeier and Ingo Stierand; 0July / 2014

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

Malipatlolla, S. and Stierand, I.; International Embedded Systems Symposium (IESS); 0June / 2013

Exploiting Functional Models to Assess the Security Aspect in Embedded System Design

Stierand, Ingo and Malipatlolla, Sunil; Security in Computing and Communications; 2013

Contracts for Schedulability Analysis

Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015

Partner
Infineon Technologies AG
www.infineon.com
Fraunhofer Gesellschaft zur Förderung der Angewandten Forschung e.V.
www.fraunhofer.de
Wind River GmbH
www.windriver.com
Vector Informatik GmbH
www.vector.com/vi_index_de.html
Universität Stuttgart
TU München
www.tum.de
TU Kaiserslautern
www.uni-kl.de
TU Braunschweig
www.tu-braunschweig.de
SYSGO AG
www.sysgo.com
Robert Bosch GmbH
www.bosch.de
OpenSynergy GmbH
www.opensynergy.com
Liebherr Aerospace Lindenberg GmbH
Karlsruher Institut für Technologie
www.kit.edu
Intel GmbH
www.intel.com
AbsInt Angewandte Informatik GmbH
www.absint.de
Freescale
www.freescale.com
Elektrobit Automotive GmbH
www.elektrobit.com
EADS Innovation Works
www.eads.com
EADS Deutschland GmbH (bis 31.05.2014 - danach Airbus Defence and Space GmbH)
www.eads.com
Diehl Aerospace GmbH
www.diehl-aerospace.de
Daimler AG
www.daimler.com
Continental Automotive GmbH
www.conti-online.com
CASSIDIAN SAS (bis 30.07.2014 - danach Airbus Defence and Space Ltd.)
www.cassidian.com
BMW Forschung und Technik GmbH
www.bmwgroup.com
BMW AG
www.bmw.de
Airbus Germany
www.airbus.com
AUDI AG
www.audi.de

Laufzeit

Start: 01.12.2011
Ende: 30.11.2014

Verwandte Projekte

SPEEDS

Speculative and Exploratory Design in Systems Engineering

SPES 2020

Software Plattform Embedded Systems 2020