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