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