Coherent multicore methodology and tooling

In the mobility domains functions are often realized by software running on Electronic Control Units (ECU)s, which are interconnected in a network of ECU. Nowadays there is a trend to move to ECUs with multicore processors which imposes a major challenge: An increasing degree of parallelism. This additional parallelism when migrating existing software that has been developed for singlecore systems, to a multicore system, has to be used in an efficient way. Furthermore, an increase in parallelism can cause concurrent executions of software functions, which are not possible when being executed on a singlecore ECU. This makes reasoning about the software behaviour much more difficult and also poses problems during certification activities, when sufficient independence between functions needs to be ensured. Therefore tool support is absolutely necessary to address the challenges. In this article we describe methods and tools that have been developed and/or extended during the ARAMiS project to address particular challenges arising during the development of multicore systems. In general these challenges result from the increase in parallelism available in multicore architectures