ARAMiS ARAMiS – Automotive, Railway and Avionic Multicore System
Goal
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.
Reinkemeier, Philipp and Hille, Heinz and Henkler, Stefan; Software Engineering (Workshops); 2014
Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.; 10 / 2012
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
Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 006 / 2013
Reinkemeier, Philipp and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 006 / 2013
Reinkemeier, Philipp and Ittershagen, Philipp and Stierand, Ingo and Hartmann, Philipp A. and Henkler, Stefan and Grüttner, Kim; 09 / 2013
Malipatlolla, Sunil; International Symposium on Security in Computing and Communications (SSCC 2013); 2013
Malipatlolla, Sunil and Stierand, Ingo; International Embedded Systems Symposium (IESS 2013); 2013
Stierand, Ingo and Malipatlolla, Sunil; International Symposium on Security in Computing and Communications (SSCC 2013); 2013
Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim; International Conference on Industrial Informatics (INDIN2014); 2014
Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg; The 4th Embedded Operating Systems Workshop (EWiLi'14); 11 / 2014
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
Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Formal Modeling and Analysis of Timed Systems; 2014
Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Formal Modeling and Analysis of Timed Systems; 2015
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
Stierand, Ingo and Reinkemeier, Philipp and Bhaduri, Purandar; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2014
Philipp Reinkemeier and Ingo Stierand; 0July / 2014
Malipatlolla, S. and Stierand, I.; International Embedded Systems Symposium (IESS); 0June / 2013
Stierand, Ingo and Malipatlolla, Sunil; Security in Computing and Communications; 2013
Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo; Proc. Formal Modelling and Analysis of Timed Systems (FORMATS); 2015
www.infineon.com
www.fraunhofer.de
www.windriver.com
www.vector.com/vi_index_de.html
www.tum.de
www.uni-kl.de
www.tu-braunschweig.de
www.sysgo.com
www.bosch.de
www.opensynergy.com
www.kit.edu
www.intel.com
www.absint.de
www.freescale.com
www.elektrobit.com
www.eads.com
www.eads.com
www.diehl-aerospace.de
www.daimler.com
www.conti-online.com
www.cassidian.com
www.bmwgroup.com
www.bmw.de
www.airbus.com
www.audi.de
