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

<table class="table-group" width="800px"><tr class="fig-image" id="a"><td><img alt="354274.fig.006a" src="https://static.hindawi.com/articles/ase/volume-2012/354274/figures/354274.fig.006a.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(a) </b>Generated schedule for an example scenario with two processors (P.1 and P.2)</td></tr></table></td></tr><tr class="fig-image" id="b"><td><img alt="354274.fig.006b" src="https://static.hindawi.com/articles/ase/volume-2012/354274/figures/354274.fig.006b.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(b) </b>Resource usage</td></tr></table></td></tr></table>

<table>PRECISION PRO Output—Figure <a href="../fig6/#a">6(a)</a> contains the schedules as it was generated for all processes and their mapping onto processors and cores. Figure <a href="../fig6/#b">6(b)</a> depicts the resource usage of a fictional off-chip resource.</table>

Advances in Software Engineering

fig6

Figure 6

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