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