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