aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/Satellite/7_1.xmi
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/Satellite/7_1.xmi')
-rw-r--r--Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/Satellite/7_1.xmi129
1 files changed, 129 insertions, 0 deletions
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>