Research Article
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> |
|
|