aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi')
-rw-r--r--Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi137
1 files changed, 137 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi
new file mode 100644
index 00000000..969d3315
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/4_1.xmi
@@ -0,0 +1,137 @@
1<?xml version="1.0" encoding="ASCII"?>
2<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite ../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
5 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:CubeSat3U">
8 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
9 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
10 <payload xsi:type="satellite:InterferometryPayload"/>
11 </spacecraft>
12 <spacecraft xsi:type="satellite:CubeSat3U">
13 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
14 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.1"/>
15 <payload xsi:type="satellite:InterferometryPayload"/>
16 </spacecraft>
17 <spacecraft xsi:type="satellite:SmallSat">
18 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
19 <payload xsi:type="satellite:InterferometryPayload"/>
20 </spacecraft>
21 <spacecraft xsi:type="satellite:SmallSat">
22 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.19/@commSubsystem.0"/>
23 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
24 <payload xsi:type="satellite:InterferometryPayload"/>
25 </spacecraft>
26 <spacecraft xsi:type="satellite:CubeSat3U">
27 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/>
28 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
29 <payload xsi:type="satellite:InterferometryPayload"/>
30 </spacecraft>
31 <spacecraft xsi:type="satellite:CubeSat3U">
32 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
33 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.0"/>
34 <payload xsi:type="satellite:InterferometryPayload"/>
35 </spacecraft>
36 <spacecraft xsi:type="satellite:CubeSat3U">
37 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
38 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
39 <payload xsi:type="satellite:InterferometryPayload"/>
40 </spacecraft>
41 <spacecraft xsi:type="satellite:SmallSat">
42 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
43 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.0"/>
44 <payload xsi:type="satellite:InterferometryPayload"/>
45 </spacecraft>
46 <spacecraft xsi:type="satellite:CubeSat6U">
47 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
48 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.20/@commSubsystem.1"/>
49 <payload xsi:type="satellite:InterferometryPayload"/>
50 </spacecraft>
51 <spacecraft xsi:type="satellite:CubeSat6U">
52 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.7/@commSubsystem.1"/>
53 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
54 </spacecraft>
55 <spacecraft xsi:type="satellite:CubeSat3U">
56 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
57 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
58 <payload xsi:type="satellite:InterferometryPayload"/>
59 </spacecraft>
60 <spacecraft xsi:type="satellite:CubeSat3U">
61 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
62 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
63 </spacecraft>
64 <spacecraft xsi:type="satellite:CubeSat3U">
65 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/>
66 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
67 <payload xsi:type="satellite:InterferometryPayload"/>
68 </spacecraft>
69 <spacecraft xsi:type="satellite:CubeSat3U">
70 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
71 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.12/@commSubsystem.1"/>
72 <payload xsi:type="satellite:InterferometryPayload"/>
73 </spacecraft>
74 <spacecraft xsi:type="satellite:SmallSat">
75 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.1"/>
76 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
77 <payload xsi:type="satellite:InterferometryPayload"/>
78 </spacecraft>
79 <spacecraft xsi:type="satellite:CubeSat3U">
80 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.8/@commSubsystem.1"/>
81 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
82 <payload xsi:type="satellite:InterferometryPayload"/>
83 </spacecraft>
84 <spacecraft xsi:type="satellite:SmallSat">
85 <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
86 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.23/@commSubsystem.1"/>
87 <payload xsi:type="satellite:InterferometryPayload"/>
88 </spacecraft>
89 <spacecraft xsi:type="satellite:SmallSat">
90 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
91 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
92 <payload xsi:type="satellite:InterferometryPayload"/>
93 </spacecraft>
94 <spacecraft xsi:type="satellite:CubeSat6U">
95 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
96 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
97 <payload xsi:type="satellite:InterferometryPayload"/>
98 </spacecraft>
99 <spacecraft xsi:type="satellite:SmallSat">
100 <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
101 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
102 <payload xsi:type="satellite:InterferometryPayload"/>
103 </spacecraft>
104 <spacecraft xsi:type="satellite:CubeSat3U">
105 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
106 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/>
107 <payload xsi:type="satellite:InterferometryPayload"/>
108 </spacecraft>
109 <spacecraft xsi:type="satellite:CubeSat6U">
110 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
111 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.1"/>
112 <payload xsi:type="satellite:InterferometryPayload"/>
113 </spacecraft>
114 <spacecraft xsi:type="satellite:SmallSat">
115 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.12/@commSubsystem.1"/>
116 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
117 <payload xsi:type="satellite:InterferometryPayload"/>
118 </spacecraft>
119 <spacecraft xsi:type="satellite:CubeSat6U">
120 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.4/@commSubsystem.1"/>
121 <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
122 <payload xsi:type="satellite:InterferometryPayload"/>
123 </spacecraft>
124 <spacecraft xsi:type="satellite:CubeSat6U">
125 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.5/@commSubsystem.1"/>
126 </spacecraft>
127 <spacecraft xsi:type="satellite:CubeSat6U">
128 <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
129 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
130 <payload xsi:type="satellite:InterferometryPayload"/>
131 </spacecraft>
132 <spacecraft xsi:type="satellite:CubeSat3U">
133 <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.1"/>
134 <commSubsystem xsi:type="satellite:XCommSubsystem"/>
135 <payload xsi:type="satellite:InterferometryPayload"/>
136 </spacecraft>
137</satellite:InterferometryMission>