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

Table 9

Scheduling_Resource model element description.

---

-- Computing task: task1

Schedulable_Resource(
  Type => Thread,
  Name => task1,
  Schedulable_Parameters =>
    (Type => EDF,
    Worst_Context_Switch => 0.00,
    Avg_Context_Switch => 0.00,
    Best_Context_Switch => 0.00
    Is_Global => No),
    Scheduler => partition1));

---