Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Figure 4
Partition configuration transformation from ARINC653 to MARTE.
(a) Partition configuration information of ARINC653 |
(b) Partition configuration information of MARTE |