How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle

<table>Use all cores run a single, parallelized application.</table>

Advances in Software Engineering

Figure 2: How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle 