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 |