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

<table>The AUTOSAR ECU software architecture.</table>

Advances in Software Engineering

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