International Journal of Aerospace Engineering

Research Article

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

Table 3

Partition transformation rule.
ARINC653 conceptsMARTE model elements

and satisfy corresponding memory allocation
owendHWhwProcessor
The type of ownedHW is hwMemory

The type of ownedHW is hwMemory