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

Table 8

Scheduler model element description.

---

--Inter-partition scheduling

Scheduler(
  Type => Primary_Scheduler,
  Name => partition1,
  Host => processor1,
  Policy =>
    (Type => Fixed_Priority,
    Max_Priority => 32,767,
    Min_Priority => 1));

-- Intra-partition scheduling

Scheduler(
  Type => Secondary_Scheduler,
  Name => task1,
  Host => partition1,
  Policy =>
    (Type => EDF,
    Is_Global => No));

---