forked from hatrx/ESS7_project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
main_schema.xml
61 lines (61 loc) · 4.46 KB
/
main_schema.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<?xml version="1.0" encoding="UTF-8"?>
<ARINC_653_Module>
<Partition PartitionIdentifier="1" PartitionName="yellow_toggler" Criticality="LEVEL_A" SystemPartition="false" EntryPoint="yellow_toggler_main">
<Queuing_Port PortName="yellow_print" MaxMessageSize="32" Direction="SOURCE" MaxNbMessages="32" />
</Partition>
<Partition PartitionIdentifier="2" PartitionName="red_toggler" Criticality="LEVEL_A" SystemPartition="false" EntryPoint="red_toggler_main">
<Queuing_Port PortName="red_print" MaxMessageSize="32" Direction="SOURCE" MaxNbMessages="32" />
</Partition>
<Partition PartitionIdentifier="3" PartitionName="stio_sys" Criticality="LEVEL_A" SystemPartition="true" EntryPoint="stdio_sys_main">
<Queuing_Port PortName="sys_stio" MaxMessageSize="32" Direction="DESTINATION" MaxNbMessages="32" />
</Partition>
<Partition PartitionIdentifier="4" PartitionName="evil" Criticality="LEVEL_A" SystemPartition="false" EntryPoint="evil_main">
<Queuing_Port PortName="temp" MaxMessageSize="1" Direction="DESTINATION" MaxNbMessages="1" />
</Partition>
<Partition_Memory PartitionIdentifier="1" PartitionName="dummy_1">
<Memory_Requirements Type="CODE" SizeBytes="8000" Access="READ_ONLY" PhysicalAddress="0x8010000" />
<Memory_Requirements Type="DATA" SizeBytes="8000" Access="READ_WRITE" PhysicalAddress="0x20010000" />
</Partition_Memory>
<Partition_Memory PartitionIdentifier="2" PartitionName="dummy_2">
<Memory_Requirements Type="CODE" SizeBytes="8000" Access="READ_ONLY" PhysicalAddress="0x8012000" />
<Memory_Requirements Type="DATA" SizeBytes="8000" Access="READ_WRITE" PhysicalAddress="0x20012000" />
</Partition_Memory>
<Partition_Memory PartitionIdentifier="3" PartitionName="stio_sys">
<Memory_Requirements Type="CODE" SizeBytes="8000" Access="READ_ONLY" PhysicalAddress="0x8014000" />
<Memory_Requirements Type="DATA" SizeBytes="8000" Access="READ_WRITE" PhysicalAddress="0x20014000" />
</Partition_Memory>
<Partition_Memory PartitionIdentifier="4" PartitionName="evil">
<Memory_Requirements Type="CODE" SizeBytes="8000" Access="READ_ONLY" PhysicalAddress="0x8016000" />
<Memory_Requirements Type="DATA" SizeBytes="8000" Access="READ_WRITE" PhysicalAddress="0x20016000" />
</Partition_Memory>
<Module_Schedule MajorFrameSeconds="20.000">
<Partition_Schedule PartitionIdentifier="1" PartitionName="yellow_toggler" PeriodSeconds="0.100" PeriodDurationSeconds="0.020">
<Window_Schedule WindowIdentifier="1" WindowStartSeconds="0.0" WindowDurationSeconds="2.000" PartitionPeriodStart="true" />
<Window_Schedule WindowIdentifier="2" WindowStartSeconds="10.0" WindowDurationSeconds="2.000" PartitionPeriodStart="true" />
</Partition_Schedule>
<Partition_Schedule PartitionIdentifier="2" PartitionName="red_toggler" PeriodSeconds="0.100" PeriodDurationSeconds="0.010">
<Window_Schedule WindowIdentifier="1" WindowStartSeconds="3.000" WindowDurationSeconds="1.000" PartitionPeriodStart="true" />
<Window_Schedule WindowIdentifier="2" WindowStartSeconds="13.00" WindowDurationSeconds="1.000" PartitionPeriodStart="true" />
</Partition_Schedule>
<Partition_Schedule PartitionIdentifier="3" PartitionName="stio_sys" PeriodSeconds="0.100" PeriodDurationSeconds="0.030">
<Window_Schedule WindowIdentifier="1" WindowStartSeconds="4.000" WindowDurationSeconds="3.000" PartitionPeriodStart="true" />
<Window_Schedule WindowIdentifier="2" WindowStartSeconds="14.00" WindowDurationSeconds="3.000" PartitionPeriodStart="true" />
</Partition_Schedule>
<Partition_Schedule PartitionIdentifier="4" PartitionName="evil" PeriodSeconds="0.200" PeriodDurationSeconds="0.020">
<Window_Schedule WindowIdentifier="1" WindowStartSeconds="18.00" WindowDurationSeconds="2.000" PartitionPeriodStart="true" />
</Partition_Schedule>
</Module_Schedule>
<Connection_Table>
<Channel ChannelIdentifier="1" ChannelName="stio_channel">
<Source>
<Standard_Partition PartitionIdentifier="2" PartitionName="red_toggler" PortName="red_print" PhysicalAddress="0x80000000" />
</Source>
<Source>
<Standard_Partition PartitionIdentifier="1" PartitionName="yellow_toggler" PortName="yellow_print" PhysicalAddress="0x80000000" />
</Source>
<Destination>
<Standard_Partition PartitionIdentifier="3" PartitionName="stio_sys" PortName="sys_stio" PhysicalAddress="0x80000000" />
</Destination>
</Channel>
</Connection_Table>
</ARINC_653_Module>