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

Figure 1

“Single-core” approach—disable all cores except one.