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

Figure 7

Construction of mappings from applications onto processors and cores.