Research Article

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

Figure 2

The basic modeling elements and structure of MARTE.