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

Table 10

Operation model element description.

---

-- computing task task1

Operation(
  Type => Code_Operation,
  Name => task1,
  Worst_Case_Execution_Time => 50.00,
  Avg_Case_Execution_Time => 50.00,
  Best_Case_Execution_Time => 50.00);

-- message transfer

Operation(
  Type => Message_Operation,
  Name => nettask1,
  Max_Message_Size => 1,
  Avg_Message_Size => 1,
  Min_Message_Size => 1);

---