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.004a" src="https://static.hindawi.com/articles/ase/volume-2012/354274/figures/354274.fig.004a.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(a) </b>Software architecture (logical view)</td></tr></table></td></tr><tr class="fig-image" id="b"><td><img alt="354274.fig.004b" src="https://static.hindawi.com/articles/ase/volume-2012/354274/figures/354274.fig.004b.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(b) </b>Software and hardware mapping (mapping view)</td></tr></table></td></tr></table>

<table>ARINC 653 terminology: an <i>application</i> is composed of one or more <i>partitions</i>. Each partition contains one or more <i>tasks,</i> which may execute concurrently. A partition is statically mapped onto a <i>processor</i>.</table>

Advances in Software Engineering

fig4

Figure 4

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