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

Table 13

Partition schedule configuration in XML format.

---

<Module_Schedule MajorFrameSeconds=”0.200”>
 <Partition_Schedule PartitionIdentifier=”1”
     Partition_Name=”system management”
     PeriodSeconds=”0.100”
     PeriodDuriationSeconds=”0.020”>
  <Window_Schedule WindowIdentifier=”101”
     WindowStartSeconds=”0.0”>
     WindowDuriationSeconds=”0.020”
     PartitionPeriodStart=”true”/>
  <Window_Schedule WindowIdentifier=”102”
     WindowStartSeconds=”0.1”>
     WindowDuriationSeconds=”0.020”
     PartitionPeriodStart=”true”/>
 </Partition_Schedule>
 …
 <Partition_Schedule PartitionIdentifier=”5”
     Partition_Name=”IHVM”
     PeriodSeconds=”0.200”
     PeriodDuriationSeconds=”0.020”>
  <Window_Schedule WindowIdentifier=”501”
     WindowStartSeconds=”0.180”>
     WindowDuriationSeconds=”0.020”
     PartitionPeriodStart=”true”/>
 </Partition_Schedule>
</Module_Schedule>

---