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