International Journal of Aerospace Engineering

Research Article

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

Table 2

Module transformation rules.
ARINC653 conceptsMARTE model elements