International Journal of Aerospace Engineering

Research Article

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

Figure 14

REAL theorems of health monitoring.
(a)
(b)