EMC² Embedded Multi-Core systems for Mixed criticality applications in dynamic and changeable real-time environments (nur in Englisch verfügbar)

Ziele

EMC² – ‘Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments’ is an ARTEMIS Joint Undertaking project in the Innovation Pilot Programme ‘Computing platforms for embedded systems’ (AIPP5).

Embedded systems are the key innovation driver to improve almost all mechatronic products with cheaper and even new functionalities. They support today’s information society as inter-system communication enabler. A major industrial challenge arises from the need to face cost efficient integration of different applications with different levels of safety and security on a single computing platform in an open context.

EMC² finds solutions for dynamic adaptability in open systems, provides handling of mixed criticality applications under real-time conditions, scalability and utmost flexibility, full scale deployment and management of integrated tool chains, through the entire lifecycle.

The objective of EMC² is to establish Multi-Core technology in all relevant Embedded Systems domains.

EMC² is a project of 99 partners of embedded industry and research from 19 European countries with an effort of about 800 person years and a total budget of about 100 million Euro.

OFFIS is leading Work Package 2 - Application Models and Design Tools for Mixed-Critical, Multi-Core Embedded Systems. In this work package the application developer entry level for mixed critical applications will be defined. The result will be a design flow starting with application level models including functional and extra-functional specifications down to a fully deployed system model to be executed on an embedded multi-core platform.

Safety-critical design methodologies start from an executable model, typically expressed in a block-diagram language and annotated with non-functional properties for verification and test purposes. This source model is then translated into simulation code, refined or abstracted models for formal verification and design-space exploration, and executable code to be embedded on the electronic controller. Code generators for the safety-critical applications will be certified, traceable, statically analyzable using formal methods, and allow for complete code reviews. EMC² will build on the well-established, rigorous system design and automated flows from the avionics industry, extending it towards dynamic, heterogeneous, compute-intensive, and mixed-critical systems. Putting safety and modularity at the core, the tools will strive to preserve the ideal of a single-source executable model, amenable to formal verification, testing, static analysis of functional and non-functional properties, efficient code generation and platform integration with runtime monitoring.

The complexity of system architectures targeted by this project demands for automated methods allowing finding optimized solutions of resource usage while accounting for the above design aspects (safety and performance). Particularly, the safety aspect requires that interferences between different functions allocated to the same computing resources are provable bounded, which is inevitable for example with respect to certification.

EMC2 aims at novel automated exploration methods that shall provide solutions to the following problems:
Supporting an optimized allocation of a system's functionality to the target hardware architecture with respect to performance.
Ensuring bounded interferences between different components in mixed-critical settings, including functional and non-functional properties of these components.
Support for both single and multi-core processing units.

For further information click www.artemis-emc2.eu

Personen

Wissenschaftliche Leitung

Publikationen
An Integration Flow for Mixed-Critical Embedded Systems on a Flexible Time-Triggered Platform

Philipp Ittershagen and Kim Grüttner and Wolfgang Nebel; ACM Transactions on Design Automation of Electronic Systems (TODAES); 05 / 2018

A functional Test Framework to observe MPSoC Power Management Techniques in Virtual Platforms

Sören Schreiner and Maher Fakih and Kim Grüttner and Wolfgang Nebel and Duncan Graham and Salvador Peiro Frasquet; 20th Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - September 1, 2017; 2017

A Task-Level Monitoring Framework for Multi-Processor Platforms

Philipp Ittershagen and Kim Grüttner and Wolfgang Nebel; Workshop on Software and Compilers for Embedded Systems (SCOPES'16); 05 / 2016

A Workload Extraction Framework for Software Performance Model Generation

Philipp Ittershagen and Philipp A. Hartmann and Kim Grüttner and Wolfgang Nebel; 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO); 01 / 2015

EMC2 a Platform Project on Embedded Microcontrollers in Applications of Mobility Industry and the Internet of Things

Werner Weber; Alfred Hoess; Frank Oppenheimer; Bernd Koppenhöfer; Bastijn Vissers and Bjorn Nordmoen; Proceedings of the Euromicro Conference on Digital System Design (DSD); 08 / 2015

Mixed-Criticality System Modelling with Dynamic Execution Mode Switching

Philipp Ittershagen and Kim Grüttner and Wolfgang Nebel; Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015; 09 / 2015

Partner
LTU Lulea University of Technology
www.ltu.se
Kungliga Tekniska Högskolan (Royal Institute of Technology)
www.kth.se
Ericsson
www.ericsson.com
Chalmers University of Technology
www.chalmers.se
Instituto Tecnológico de Informática - ITI
www.iti.es
Seven Solutions
www.sevensols.com
Visure Solutions
www.visuresolutions.com
IXION Industry & Aerospace
www.ixion.es
HI iberia
www.hi-iberia.es
Tecnalia
www.tecnalia.com
Acorde Technologies
www.acorde.com
INESC Instituto de Engenharia de Sistemas e Computadores
www.inescporto.pt
CRITICAL Software S.A.
www.criticalsoftware.com
isep Instituto Superior de Engenharia do Porto
www.isep.ipp.pt
Simula Research Laboratory
www.simula.no
University of Oslo
www.uio.no
Fornebu Consulting
www.fornebuconsulting.com
MBDA France
www.mbda-systems.com
TU Delft
RTU - Riga Technical University
www.rtu.lv/de
EnSilica
www.ensilica.com
Systonomy
systonomy.com
University of Bristol
www.bristol.ac.uk
The University of Manchester
www.manchester.ac.uk
Suncance Multiprocessor Technology Ltd.
www.sundance.com
Technolution
www.technolution.eu
Vector Fabrics
www.vectorfabrics.com
Università degli Studi dell'Aquila - Dipartimento di Informatica
www.di.univaq.it
TNO Netherlands Organisation for Applied Scientific Research
www.tno.nl
Technische Universiteit Eindhoven
www.tue.nl
NXP Semiconductors Hamburg
www.nxp.com
ALTEN Sverige Huvudkontor
www.alten.com
ARCCORE
www.arccore.com
ABB AG
www.abb.de
Volvo Group
www.volvo.com
TU Dortmund
www.tu-dortmund.de
BlueIce
www.blueice.be
Thales Group (Thomson-CSF International S.A.)
www.thales-transportservices.com
Frequentis AG
www.frequentis.com
AIT Austrian Institute of Technology
www.ait.ac.at
Virtual Vehicle - Kompetenzzentrum - Das virtuelle Fahrzeug, Forschungsgesellschaft mbH
vif.tugraz.at
TTTech Computertechnik AG
www.tttech.com
AVL LIST GmbH
www.avl.com
SYSGO AG
www.sysgo.com
TU Kaiserslautern
www.uni-kl.de
Brno University of Technology
www.vutbr.cz
TU Braunschweig, IDA - Institut für Datentechnik und Kommunikationsnetze
www.ida.ing.tu-bs.de
Fraunhofer-Institut für Experimentelles Software Engineering IESE
www.iese.fraunhofer.de
eVision Systems GmbH
evision-systems.de
Elektrobit Automotive GmbH
www.elektrobit.com
EADS Innovation Works
www.eads.com
DENSO Automotive
denso-europe.com
BMW AG
www.bmw.de
aicas GmbH
www.aicas.com
United Technologies Research Center
www.utrc.utc.com
Politecnico di Torino
www.polito.it
Università degli Studi di Genova
www.unige.it
CINI - Consorzio Interuniversitario Nazionale per l'Informatica
www.consorzio-cini.it
CEA Commissariat à l'Énergie Atomique et aux Énergies Alternatives
www.cea.fr
DTU - Danmarks Tekniske Universitet
www.dtu.dk
CRF - Centro Ricerche Fiat S.C.p.A.
www.crf.it
Alenia Aermachhi
www.aleniaaermacchi.it
LERO - The Irish Software Engineering Research Centre
www.lero.ie
Infineon Technologies AG
www.infineon.com
Harokopio University
www.hua.gr
Systematic -Paris Region Systems & ICT Cluster
www.systematic-paris-region.org/en
Magillem Design Services
www.magillem.com
Danfoss
www.danfoss.com
Institute of Information Theory and Automation (UTIA)
www.utia.cas.cz
Institut mikroelektronických aplikací s.r.o.
www.ima.cz
Freescale
www.freescale.com

Laufzeit

Start: 01.04.2014
Ende: 30.06.2017

Website des Projekts

Fördermittelgeber

EU BMBF

FKZ: 01IS14002R

Verwandte Projekte

ARAMiS

ARAMiS – Automotive, Railway and Avionic Multicore System