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

<table>Integrate multiple, possibly parallelized applications.</table>

Advances in Software Engineering

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