Research Article

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

Figure 5

Process configuration transformation from ARINC653 to MARTE.
(a) Process configuration information of ARINC653
(b) Process configuration information of MARTE