The research project Multi-Core Safe and Software-intensive Systems Improvement Community (FORMUS³IC) pursued the aim to achieve an holistic approach to solve the challenges of heterogeneous multi- and manycore systems in automotive industry and avionics. The core aspect was the creation of concepts for the effective use of heterogeneous multi- and manycore computing systems. Solutions were also designed for concrete, current problems. The various levels of hardware-software co-design were taken into account in an integrated approach.


The project was divided into five main subprojects addressing: „architecture description and time simulation“, „functional safety and verification“, „model refinement / hardware close simulation and reconstruction“, „parallelization techniques and patterns“ and „communication“.


Our focus was on the subproject „model refinement / hardware close simulation and reconstruction“. Its aim was the creation of a software framework for the execution of real or abstracted application software by hardware-near simulation of heterogeneous embedded multi/many-core processors. In addition, methods for creating a model of the application software, but also of the hardware, by means of hardware trace measurements were investigated. This allows the effort required for processing, synchronization and communication of an embedded heterogeneous multi/many-core system to be quantified already from the simulation with respect to non-functional properties such as timing behavior. In order to achieve a holistic approach, we contributed to the subprojects „architecture description and time simulation“, „model refinement / hardware close simulation and reconstruction“, „parallelization techniques and patterns“ and „communication“.


FORMUS³IC is a joint project between universities of applied sciences and the chair of computer architecture. It is funded by the Bavarian Research Foundation (

Academic partners:

HM Hochschule München University of Applied Sciences

Technische Hochschule Ingolstadt

Laboratory for Safe and Secure Systems

Ostbayerische Technische Hochschule Regensburg

Nuremberg Institute of Technology

Ostbayerische Technische Hochschule Amberg-Weiden


Industrial partners:


Infineon Technologies AG


intive automotive GmbH

Timing Architects

Airbus Space and Defence

Audi AG

Continental AG


More information can be found on the project’s homepage.