Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

<table class="figure-group"><tr class="fig-image" id="a"><td><object data="https://static-preview.hindawi.com/articles/ijae/volume-2018/7019838/figures/7019838.fig.005a.svgz" name="7019838.fig.005a" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(a) </b>Process configuration information of ARINC653</td></tr><tr class="fig-image" id="b"><td><object data="https://static-preview.hindawi.com/articles/ijae/volume-2018/7019838/figures/7019838.fig.005b.svgz" name="7019838.fig.005b" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(b) </b>Process configuration information of MARTE</td></tr></table>

<div>Process configuration transformation from ARINC653 to MARTE.</div>

International Journal of Aerospace Engineering

fig5

Figure 5

Figure 5: Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE 