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