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

Table 7

Processing_Resource model elements of MARTE.

---

--IPM Module

Processing_Resource (
  Type => Regular_Processor,
Name => processor1,
Max_Interrupt_Priority => 32,767,
Min_Interrupt_Priority => 1,
Speed_Factor => 1.00);

--AFDX Networks Module

Processing_Resource (
  Type => AFDX_Link,
  Name => AFDXNETWORK,
  Transmission => FULL_DUPLEX,
  Max_Packet_Size => 1,
  Min_Packet_Size => 0.00,
  Speed_Factor => 1.00);

---