aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_2094
1 files changed, 2094 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_
new file mode 100644
index 00000000..29208a9a
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/model/CD_Case_C.uml_
@@ -0,0 +1,2094 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="GUID+fadc4ae9-265b-4361-8233-286c5b98ea06" name="inputData" URI="http:///inputData.ecore">
3 <packageImport xmi:id="_Rvoi9FVUEeWRIqLs5_0Tzg">
4 <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
5 </packageImport>
6 <packagedElement xmi:type="uml:Class" xmi:id="_Rvoi9VVUEeWRIqLs5_0Tzg" name="XsveRtStps">
7 <ownedAttribute xmi:id="_Rvoi9lVUEeWRIqLs5_0Tzg" name="extendedCadu" visibility="private" isUnique="false">
8 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
9 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi-FVUEeWRIqLs5_0Tzg" value="1"/>
10 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi91VUEeWRIqLs5_0Tzg" value="1"/>
11 </ownedAttribute>
12 <ownedAttribute xmi:id="_Rvoi-VVUEeWRIqLs5_0Tzg" name="minimalBinaryOutput" visibility="private">
13 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
14 </ownedAttribute>
15 <ownedAttribute xmi:id="_Rvoi-lVUEeWRIqLs5_0Tzg" name="frameLength" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false">
16 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi_FVUEeWRIqLs5_0Tzg" value="1"/>
17 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi-1VUEeWRIqLs5_0Tzg" value="1"/>
18 </ownedAttribute>
19 <ownedAttribute xmi:id="_Rvoi_VVUEeWRIqLs5_0Tzg" name="site" visibility="private" isUnique="false">
20 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
21 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoi_1VUEeWRIqLs5_0Tzg" value="1"/>
22 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoi_lVUEeWRIqLs5_0Tzg" value="1"/>
23 </ownedAttribute>
24 <ownedAttribute xmi:id="_RvojAFVUEeWRIqLs5_0Tzg" name="fileClass" visibility="private" type="_RvojuFVUEeWRIqLs5_0Tzg" isUnique="false">
25 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojAlVUEeWRIqLs5_0Tzg" value="1"/>
26 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojAVVUEeWRIqLs5_0Tzg" value="1"/>
27 </ownedAttribute>
28 <ownedAttribute xmi:id="_RvojA1VUEeWRIqLs5_0Tzg" name="missionName" visibility="private" type="_RvomgFVUEeWRIqLs5_0Tzg" isUnique="false">
29 <ownedComment xmi:id="_RvojBFVUEeWRIqLs5_0Tzg" annotatedElement="_RvojA1VUEeWRIqLs5_0Tzg">
30 <body>&lt;p>Mission name; value: three characters matching the following regular expression [S][1-3][A-B]&lt;/p></body>
31 </ownedComment>
32 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojBlVUEeWRIqLs5_0Tzg" value="1"/>
33 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojBVVUEeWRIqLs5_0Tzg" value="1"/>
34 </ownedAttribute>
35 <ownedAttribute xmi:id="_RvojB1VUEeWRIqLs5_0Tzg" name="rsCorrectHeader" visibility="private" isUnique="false">
36 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
37 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojCVVUEeWRIqLs5_0Tzg" value="1"/>
38 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojCFVUEeWRIqLs5_0Tzg" value="1"/>
39 </ownedAttribute>
40 <ownedAttribute xmi:id="_RvojClVUEeWRIqLs5_0Tzg" name="checkCrc" visibility="private" isUnique="false">
41 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
42 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojDFVUEeWRIqLs5_0Tzg" value="1"/>
43 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojC1VUEeWRIqLs5_0Tzg" value="1"/>
44 </ownedAttribute>
45 <ownedAttribute xmi:id="_RvojDVVUEeWRIqLs5_0Tzg" name="rsCorrectFrame" visibility="private" isUnique="false">
46 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
47 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojD1VUEeWRIqLs5_0Tzg" value="1"/>
48 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojDlVUEeWRIqLs5_0Tzg" value="1"/>
49 </ownedAttribute>
50 <ownedAttribute xmi:id="_RvojEFVUEeWRIqLs5_0Tzg" name="rsCorrectSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false">
51 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojElVUEeWRIqLs5_0Tzg" value="1"/>
52 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojEVVUEeWRIqLs5_0Tzg" value="1"/>
53 </ownedAttribute>
54 <ownedAttribute xmi:id="_RvojE1VUEeWRIqLs5_0Tzg" name="spacecraftId" visibility="private" isUnique="false">
55 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
56 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojFVVUEeWRIqLs5_0Tzg" value="1"/>
57 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojFFVUEeWRIqLs5_0Tzg" value="1"/>
58 </ownedAttribute>
59 <ownedAttribute xmi:id="_RvojFlVUEeWRIqLs5_0Tzg" name="idleVcid" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/>
60 <ownedAttribute xmi:id="_RvojF1VUEeWRIqLs5_0Tzg" name="idleApid" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg"/>
61 <ownedAttribute xmi:id="_RvojGFVUEeWRIqLs5_0Tzg" name="discardIdle" visibility="private" isUnique="false">
62 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
63 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojGlVUEeWRIqLs5_0Tzg" value="1"/>
64 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojGVVUEeWRIqLs5_0Tzg" value="1"/>
65 </ownedAttribute>
66 <ownedAttribute xmi:id="_RvojG1VUEeWRIqLs5_0Tzg" name="vcdusConfig" visibility="private" type="_RvojIlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomelVUEeWRIqLs5_0Tzg">
67 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojHVVUEeWRIqLs5_0Tzg" value="1"/>
68 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojHFVUEeWRIqLs5_0Tzg" value="1"/>
69 </ownedAttribute>
70 <ownedAttribute xmi:id="_RvojHlVUEeWRIqLs5_0Tzg" name="ignoreIdlePattern" visibility="private">
71 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
72 </ownedAttribute>
73 <ownedAttribute xmi:id="_RvojH1VUEeWRIqLs5_0Tzg" name="rtStpsConfig" visibility="private" type="_RvojPlVUEeWRIqLs5_0Tzg" association="_Rvomd1VUEeWRIqLs5_0Tzg">
74 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojIVVUEeWRIqLs5_0Tzg" value="1"/>
75 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojIFVUEeWRIqLs5_0Tzg" value="1"/>
76 </ownedAttribute>
77 </packagedElement>
78 <packagedElement xmi:type="uml:Class" xmi:id="_RvojIlVUEeWRIqLs5_0Tzg" name="VcdusConfig">
79 <ownedAttribute xmi:id="_RvojI1VUEeWRIqLs5_0Tzg" name="xsveRtStps" visibility="private" type="_Rvoi9VVUEeWRIqLs5_0Tzg" association="_RvomelVUEeWRIqLs5_0Tzg">
80 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojJVVUEeWRIqLs5_0Tzg" value="1"/>
81 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojJFVUEeWRIqLs5_0Tzg" value="1"/>
82 </ownedAttribute>
83 <ownedAttribute xmi:id="_RvojJlVUEeWRIqLs5_0Tzg" name="vcduConfig" visibility="private" type="_RvojKVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomeVVUEeWRIqLs5_0Tzg">
84 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojKFVUEeWRIqLs5_0Tzg" value="1"/>
85 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojJ1VUEeWRIqLs5_0Tzg" value="*"/>
86 </ownedAttribute>
87 </packagedElement>
88 <packagedElement xmi:type="uml:Class" xmi:id="_RvojKVVUEeWRIqLs5_0Tzg" name="VcduConfig">
89 <ownedAttribute xmi:id="_RvojKlVUEeWRIqLs5_0Tzg" name="vcdusConfig" visibility="private" type="_RvojIlVUEeWRIqLs5_0Tzg" association="_RvomeVVUEeWRIqLs5_0Tzg">
90 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojLFVUEeWRIqLs5_0Tzg" value="1"/>
91 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojK1VUEeWRIqLs5_0Tzg" value="1"/>
92 </ownedAttribute>
93 <ownedAttribute xmi:id="_RvojLVVUEeWRIqLs5_0Tzg" name="vcid" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/>
94 <ownedAttribute xmi:id="_RvojLlVUEeWRIqLs5_0Tzg" name="minPacketSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false">
95 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojMFVUEeWRIqLs5_0Tzg" value="1"/>
96 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojL1VUEeWRIqLs5_0Tzg" value="1"/>
97 </ownedAttribute>
98 <ownedAttribute xmi:id="_RvojMVVUEeWRIqLs5_0Tzg" name="maxPacketSize" visibility="private" type="_Rvome1VUEeWRIqLs5_0Tzg" isUnique="false">
99 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojM1VUEeWRIqLs5_0Tzg" value="1"/>
100 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojMlVUEeWRIqLs5_0Tzg" value="1"/>
101 </ownedAttribute>
102 <ownedAttribute xmi:id="_RvojNFVUEeWRIqLs5_0Tzg" name="ispsConfig" visibility="private" type="_RvojTFVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdVVUEeWRIqLs5_0Tzg">
103 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojNlVUEeWRIqLs5_0Tzg" value="1"/>
104 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojNVVUEeWRIqLs5_0Tzg" value="1"/>
105 </ownedAttribute>
106 </packagedElement>
107 <packagedElement xmi:type="uml:Class" xmi:id="_RvojN1VUEeWRIqLs5_0Tzg" name="ValidApidsConfig">
108 <ownedAttribute xmi:id="_RvojOFVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomcVVUEeWRIqLs5_0Tzg">
109 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojOlVUEeWRIqLs5_0Tzg" value="1"/>
110 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojOVVUEeWRIqLs5_0Tzg" value="1"/>
111 </ownedAttribute>
112 <ownedAttribute xmi:id="_RvojO1VUEeWRIqLs5_0Tzg" name="ispInfo" visibility="private" type="_RvojU1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomeFVUEeWRIqLs5_0Tzg">
113 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojPVVUEeWRIqLs5_0Tzg" value="1"/>
114 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojPFVUEeWRIqLs5_0Tzg" value="*"/>
115 </ownedAttribute>
116 </packagedElement>
117 <packagedElement xmi:type="uml:Class" xmi:id="_RvojPlVUEeWRIqLs5_0Tzg" name="RtStpsConfig">
118 <ownedAttribute xmi:id="_RvojP1VUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_Rvomc1VUEeWRIqLs5_0Tzg">
119 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojQVVUEeWRIqLs5_0Tzg" value="1"/>
120 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojQFVUEeWRIqLs5_0Tzg" value="1"/>
121 </ownedAttribute>
122 <ownedAttribute xmi:id="_RvojQlVUEeWRIqLs5_0Tzg" name="xsveRtStps" visibility="private" type="_Rvoi9VVUEeWRIqLs5_0Tzg" aggregation="composite" association="_Rvomd1VUEeWRIqLs5_0Tzg">
123 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojRFVUEeWRIqLs5_0Tzg" value="1"/>
124 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojQ1VUEeWRIqLs5_0Tzg" value="1"/>
125 </ownedAttribute>
126 </packagedElement>
127 <packagedElement xmi:type="uml:Class" xmi:id="_RvojRVVUEeWRIqLs5_0Tzg" name="MaxCounterPerApidSuffixConfig">
128 <ownedAttribute xmi:id="_RvojRlVUEeWRIqLs5_0Tzg" name="apidSuffixAndMaxCounter" visibility="private" type="_Rvojf1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdlVUEeWRIqLs5_0Tzg">
129 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojSFVUEeWRIqLs5_0Tzg" value="1"/>
130 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojR1VUEeWRIqLs5_0Tzg" value="*"/>
131 </ownedAttribute>
132 <ownedAttribute xmi:id="_RvojSVVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomclVUEeWRIqLs5_0Tzg">
133 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojS1VUEeWRIqLs5_0Tzg" value="1"/>
134 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojSlVUEeWRIqLs5_0Tzg" value="1"/>
135 </ownedAttribute>
136 </packagedElement>
137 <packagedElement xmi:type="uml:Class" xmi:id="_RvojTFVUEeWRIqLs5_0Tzg" name="IspsConfig">
138 <ownedAttribute xmi:id="_RvojTVVUEeWRIqLs5_0Tzg" name="vcduConfig" visibility="private" type="_RvojKVVUEeWRIqLs5_0Tzg" association="_RvomdVVUEeWRIqLs5_0Tzg">
139 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojT1VUEeWRIqLs5_0Tzg" value="1"/>
140 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojTlVUEeWRIqLs5_0Tzg" value="1"/>
141 </ownedAttribute>
142 <ownedAttribute xmi:id="_RvojUFVUEeWRIqLs5_0Tzg" name="ispConfig" visibility="private" type="_RvojbVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomdFVUEeWRIqLs5_0Tzg">
143 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojUlVUEeWRIqLs5_0Tzg" value="1"/>
144 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojUVVUEeWRIqLs5_0Tzg" value="*"/>
145 </ownedAttribute>
146 </packagedElement>
147 <packagedElement xmi:type="uml:Class" xmi:id="_RvojU1VUEeWRIqLs5_0Tzg" name="IspInfo">
148 <ownedAttribute xmi:id="_RvojVFVUEeWRIqLs5_0Tzg" name="missionName" visibility="private" type="_RvomgFVUEeWRIqLs5_0Tzg"/>
149 <ownedAttribute xmi:id="_RvojVVVUEeWRIqLs5_0Tzg" name="offset" visibility="private">
150 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
151 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojV1VUEeWRIqLs5_0Tzg" value="1"/>
152 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojVlVUEeWRIqLs5_0Tzg" value="1"/>
153 </ownedAttribute>
154 <ownedAttribute xmi:id="_RvojWFVUEeWRIqLs5_0Tzg" name="packetType" visibility="private" type="_RvojnFVUEeWRIqLs5_0Tzg">
155 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojWlVUEeWRIqLs5_0Tzg" value="1"/>
156 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojWVVUEeWRIqLs5_0Tzg" value="1"/>
157 </ownedAttribute>
158 <ownedAttribute xmi:id="_RvojW1VUEeWRIqLs5_0Tzg" name="seconds" visibility="private">
159 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
160 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojXVVUEeWRIqLs5_0Tzg" value="1"/>
161 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojXFVUEeWRIqLs5_0Tzg" value="1"/>
162 </ownedAttribute>
163 <ownedAttribute xmi:id="_RvojXlVUEeWRIqLs5_0Tzg" name="subseconds" visibility="private">
164 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
165 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojYFVUEeWRIqLs5_0Tzg" value="1"/>
166 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojX1VUEeWRIqLs5_0Tzg" value="1"/>
167 </ownedAttribute>
168 <ownedAttribute xmi:id="_RvojYVVUEeWRIqLs5_0Tzg" name="apidValue" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg">
169 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojY1VUEeWRIqLs5_0Tzg"/>
170 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojYlVUEeWRIqLs5_0Tzg" value="*"/>
171 </ownedAttribute>
172 <ownedAttribute xmi:id="_RvojZFVUEeWRIqLs5_0Tzg" name="validApidsConfig" visibility="private" type="_RvojN1VUEeWRIqLs5_0Tzg" association="_RvomeFVUEeWRIqLs5_0Tzg">
173 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojZlVUEeWRIqLs5_0Tzg" value="1"/>
174 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojZVVUEeWRIqLs5_0Tzg" value="1"/>
175 </ownedAttribute>
176 <ownedAttribute xmi:id="_RvojZ1VUEeWRIqLs5_0Tzg" name="pidValue" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg">
177 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojaVVUEeWRIqLs5_0Tzg"/>
178 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojaFVUEeWRIqLs5_0Tzg" value="*"/>
179 </ownedAttribute>
180 <ownedAttribute xmi:id="_RvojalVUEeWRIqLs5_0Tzg" name="pcatValue" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg">
181 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojbFVUEeWRIqLs5_0Tzg"/>
182 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoja1VUEeWRIqLs5_0Tzg" value="*"/>
183 </ownedAttribute>
184 </packagedElement>
185 <packagedElement xmi:type="uml:Class" xmi:id="_RvojbVVUEeWRIqLs5_0Tzg" name="IspConfig">
186 <ownedAttribute xmi:id="_RvojblVUEeWRIqLs5_0Tzg" name="ispsConfig" visibility="private" type="_RvojTFVUEeWRIqLs5_0Tzg" association="_RvomdFVUEeWRIqLs5_0Tzg">
187 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojcFVUEeWRIqLs5_0Tzg" value="1"/>
188 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojb1VUEeWRIqLs5_0Tzg" value="1"/>
189 </ownedAttribute>
190 <ownedAttribute xmi:id="_RvojcVVUEeWRIqLs5_0Tzg" name="apid" visibility="private" type="_RvomjVVUEeWRIqLs5_0Tzg"/>
191 </packagedElement>
192 <packagedElement xmi:type="uml:Class" xmi:id="_RvojclVUEeWRIqLs5_0Tzg" name="Configuration">
193 <ownedAttribute xmi:id="_Rvojc1VUEeWRIqLs5_0Tzg" name="transmission" visibility="private" type="_RvolTVVUEeWRIqLs5_0Tzg" association="_RvomTFVUEeWRIqLs5_0Tzg">
194 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojdVVUEeWRIqLs5_0Tzg" value="1"/>
195 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojdFVUEeWRIqLs5_0Tzg" value="1"/>
196 </ownedAttribute>
197 <ownedAttribute xmi:id="_RvojdlVUEeWRIqLs5_0Tzg" name="maxCounterPerApidSuffixConfig" visibility="private" type="_RvojRVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomclVUEeWRIqLs5_0Tzg">
198 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojeFVUEeWRIqLs5_0Tzg" value="1"/>
199 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojd1VUEeWRIqLs5_0Tzg" value="1"/>
200 </ownedAttribute>
201 <ownedAttribute xmi:id="_RvojeVVUEeWRIqLs5_0Tzg" name="validApidsConfig" visibility="private" type="_RvojN1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomcVVUEeWRIqLs5_0Tzg">
202 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoje1VUEeWRIqLs5_0Tzg" value="1"/>
203 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojelVUEeWRIqLs5_0Tzg" value="1"/>
204 </ownedAttribute>
205 <ownedAttribute xmi:id="_RvojfFVUEeWRIqLs5_0Tzg" name="rtStpsConfig" visibility="private" type="_RvojPlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_Rvomc1VUEeWRIqLs5_0Tzg">
206 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojflVUEeWRIqLs5_0Tzg" value="1"/>
207 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvojfVVUEeWRIqLs5_0Tzg" value="1"/>
208 </ownedAttribute>
209 </packagedElement>
210 <packagedElement xmi:type="uml:Class" xmi:id="_Rvojf1VUEeWRIqLs5_0Tzg" name="ApidSuffixAndMaxCounter">
211 <ownedAttribute xmi:id="_RvojgFVUEeWRIqLs5_0Tzg" name="apidSuffix" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/>
212 <ownedAttribute xmi:id="_RvojgVVUEeWRIqLs5_0Tzg" name="maxSscCounterValue" visibility="private">
213 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
214 </ownedAttribute>
215 <ownedAttribute xmi:id="_RvojglVUEeWRIqLs5_0Tzg" name="maxCounterPerApidSuffixConfig" visibility="private" type="_RvojRVVUEeWRIqLs5_0Tzg" association="_RvomdlVUEeWRIqLs5_0Tzg">
216 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojhFVUEeWRIqLs5_0Tzg" value="1"/>
217 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojg1VUEeWRIqLs5_0Tzg" value="1"/>
218 </ownedAttribute>
219 </packagedElement>
220 <packagedElement xmi:type="uml:Class" xmi:id="_RvojhVVUEeWRIqLs5_0Tzg" name="ByteSequence">
221 <ownedAttribute xmi:id="_RvojhlVUEeWRIqLs5_0Tzg" name="byte" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg" isOrdered="true" isUnique="false">
222 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvojiFVUEeWRIqLs5_0Tzg" value="1"/>
223 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvojh1VUEeWRIqLs5_0Tzg" value="*"/>
224 </ownedAttribute>
225 </packagedElement>
226 <packagedElement xmi:type="uml:Class" xmi:id="_RvojiVVUEeWRIqLs5_0Tzg" name="BitSequence">
227 <ownedAttribute xmi:id="_RvojilVUEeWRIqLs5_0Tzg" name="numberOfBits" visibility="private">
228 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
229 </ownedAttribute>
230 <ownedAttribute xmi:id="_Rvoji1VUEeWRIqLs5_0Tzg" name="intValue" visibility="private">
231 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
232 </ownedAttribute>
233 </packagedElement>
234 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojjFVUEeWRIqLs5_0Tzg" name="VirtualChannelType">
235 <ownedLiteral xmi:id="_RvojjVVUEeWRIqLs5_0Tzg" name="ACTIVE">
236 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojjlVUEeWRIqLs5_0Tzg">
237 <body>ACTIVE</body>
238 </specification>
239 </ownedLiteral>
240 <ownedLiteral xmi:id="_Rvojj1VUEeWRIqLs5_0Tzg" name="IDLE">
241 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojkFVUEeWRIqLs5_0Tzg">
242 <body>IDLE</body>
243 </specification>
244 </ownedLiteral>
245 </packagedElement>
246 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojkVVUEeWRIqLs5_0Tzg" name="SubsystemTypes">
247 <ownedLiteral xmi:id="_RvojklVUEeWRIqLs5_0Tzg" name="Xsve_Nss"/>
248 <ownedLiteral xmi:id="_Rvojk1VUEeWRIqLs5_0Tzg" name="Xsve_Hdr"/>
249 <ownedLiteral xmi:id="_RvojlFVUEeWRIqLs5_0Tzg" name="Xsve_Ucdc"/>
250 </packagedElement>
251 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojlVVUEeWRIqLs5_0Tzg" name="PacketType">
252 <ownedLiteral xmi:id="_RvojllVUEeWRIqLs5_0Tzg" name="ACTIVE">
253 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojl1VUEeWRIqLs5_0Tzg">
254 <body>ACTIVE</body>
255 </specification>
256 </ownedLiteral>
257 <ownedLiteral xmi:id="_RvojmFVUEeWRIqLs5_0Tzg" name="IDLE">
258 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojmVVUEeWRIqLs5_0Tzg">
259 <body>IDLE</body>
260 </specification>
261 </ownedLiteral>
262 <ownedLiteral xmi:id="_RvojmlVUEeWRIqLs5_0Tzg" name="UNDEFINED">
263 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojm1VUEeWRIqLs5_0Tzg">
264 <body>UNDEFINED</body>
265 </specification>
266 </ownedLiteral>
267 </packagedElement>
268 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojnFVUEeWRIqLs5_0Tzg" name="IspPacketTypes">
269 <ownedLiteral xmi:id="_RvojnVVUEeWRIqLs5_0Tzg" name="S1_SAR">
270 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojnlVUEeWRIqLs5_0Tzg">
271 <language> </language>
272 <body>S1_SAR</body>
273 </specification>
274 </ownedLiteral>
275 <ownedLiteral xmi:id="_Rvojn1VUEeWRIqLs5_0Tzg" name="S1_GPSR">
276 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojoFVUEeWRIqLs5_0Tzg">
277 <language></language>
278 <body>S1_GPSR</body>
279 </specification>
280 </ownedLiteral>
281 <ownedLiteral xmi:id="_RvojoVVUEeWRIqLs5_0Tzg" name="S2_MSI">
282 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojolVUEeWRIqLs5_0Tzg">
283 <language> </language>
284 <body>S2_MSI</body>
285 </specification>
286 </ownedLiteral>
287 <ownedLiteral xmi:id="_Rvojo1VUEeWRIqLs5_0Tzg" name="S2_GPSR">
288 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojpFVUEeWRIqLs5_0Tzg">
289 <language></language>
290 <body>S2_GPSR</body>
291 </specification>
292 </ownedLiteral>
293 <ownedLiteral xmi:id="_RvojpVVUEeWRIqLs5_0Tzg" name="S2_STR">
294 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojplVUEeWRIqLs5_0Tzg">
295 <language></language>
296 <body>S2_STR</body>
297 </specification>
298 </ownedLiteral>
299 <ownedLiteral xmi:id="_Rvojp1VUEeWRIqLs5_0Tzg" name="S2_CSW">
300 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojqFVUEeWRIqLs5_0Tzg">
301 <language></language>
302 <body>S2_CSW</body>
303 </specification>
304 </ownedLiteral>
305 <ownedLiteral xmi:id="_RvojqVVUEeWRIqLs5_0Tzg" name="S3_OLCI">
306 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojqlVUEeWRIqLs5_0Tzg">
307 <language> </language>
308 <body>S3_OLCI</body>
309 </specification>
310 </ownedLiteral>
311 <ownedLiteral xmi:id="_Rvojq1VUEeWRIqLs5_0Tzg" name="S3_SLSTR">
312 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojrFVUEeWRIqLs5_0Tzg">
313 <language> </language>
314 <body>S3_SLSTR</body>
315 </specification>
316 </ownedLiteral>
317 <ownedLiteral xmi:id="_RvojrVVUEeWRIqLs5_0Tzg" name="S3_DORIS">
318 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojrlVUEeWRIqLs5_0Tzg">
319 <language> </language>
320 <body>S3_DORIS</body>
321 </specification>
322 </ownedLiteral>
323 <ownedLiteral xmi:id="_Rvojr1VUEeWRIqLs5_0Tzg" name="S3_NAVATT">
324 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojsFVUEeWRIqLs5_0Tzg">
325 <language></language>
326 <body>S3_NAVATT</body>
327 </specification>
328 </ownedLiteral>
329 <ownedLiteral xmi:id="_RvojsVVUEeWRIqLs5_0Tzg" name="S3_MWR">
330 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojslVUEeWRIqLs5_0Tzg">
331 <language> </language>
332 <body>S3_MWR</body>
333 </specification>
334 </ownedLiteral>
335 <ownedLiteral xmi:id="_Rvojs1VUEeWRIqLs5_0Tzg" name="S3_SRAL">
336 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojtFVUEeWRIqLs5_0Tzg">
337 <language> </language>
338 <body>S3_SRAL</body>
339 </specification>
340 </ownedLiteral>
341 <ownedLiteral xmi:id="_RvojtVVUEeWRIqLs5_0Tzg" name="S3_GPSR">
342 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojtlVUEeWRIqLs5_0Tzg">
343 <language></language>
344 <body>S3_GPSR</body>
345 </specification>
346 </ownedLiteral>
347 <ownedLiteral xmi:id="_Rvojt1VUEeWRIqLs5_0Tzg" name="UNDEFINED"/>
348 </packagedElement>
349 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojuFVUEeWRIqLs5_0Tzg" name="FileClassTypes">
350 <ownedLiteral xmi:id="_RvojuVVUEeWRIqLs5_0Tzg" name="TEST">
351 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojulVUEeWRIqLs5_0Tzg">
352 <body>TEST</body>
353 </specification>
354 </ownedLiteral>
355 <ownedLiteral xmi:id="_Rvoju1VUEeWRIqLs5_0Tzg" name="OPER">
356 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojvFVUEeWRIqLs5_0Tzg">
357 <body>OPER</body>
358 </specification>
359 </ownedLiteral>
360 </packagedElement>
361 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvojvVVUEeWRIqLs5_0Tzg" name="ApidProfile">
362 <ownedLiteral xmi:id="_RvojvlVUEeWRIqLs5_0Tzg" name="IDLE_TM_PACKET">
363 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojv1VUEeWRIqLs5_0Tzg">
364 <language> </language>
365 <body>IDLE_TM_PACKET</body>
366 </specification>
367 </ownedLiteral>
368 <ownedLiteral xmi:id="_RvojwFVUEeWRIqLs5_0Tzg" name="HOUSEKEEPING">
369 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojwVVUEeWRIqLs5_0Tzg">
370 <body>HOUSEKEEPING</body>
371 </specification>
372 </ownedLiteral>
373 <ownedLiteral xmi:id="_RvojwlVUEeWRIqLs5_0Tzg" name="NON-REAL_TIME_HKTM">
374 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojw1VUEeWRIqLs5_0Tzg">
375 <body>NON-REAL_TIME_HKTM</body>
376 </specification>
377 </ownedLiteral>
378 </packagedElement>
379 <packagedElement xmi:type="uml:Class" xmi:id="_RvojxFVUEeWRIqLs5_0Tzg" name="VcduHeader">
380 <ownedComment xmi:id="_RvojxVVUEeWRIqLs5_0Tzg">
381 <body>Transfer Frame Primary Header / Virtual Channel Data Unit Header</body>
382 </ownedComment>
383 <ownedRule xmi:id="_RvojxlVUEeWRIqLs5_0Tzg" name="input_masterChannelIdTransferFrameVersionNumber" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
384 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojx1VUEeWRIqLs5_0Tzg">
385 <language>OCL</language>
386 <body>self.mcidTfVersionNumber.intValue = 1</body>
387 </specification>
388 </ownedRule>
389 <ownedRule xmi:id="_RvojyFVUEeWRIqLs5_0Tzg" name="input_masterChannelIdSpacecraftId" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
390 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojyVVUEeWRIqLs5_0Tzg">
391 <language>OCL</language>
392 <body>self.mcidSpacecraftId.intValue = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.spacecraftId</body>
393 </specification>
394 </ownedRule>
395 <ownedRule xmi:id="_RvojylVUEeWRIqLs5_0Tzg" name="input_virtualChannelIdInConfiguration" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
396 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojy1VUEeWRIqLs5_0Tzg">
397 <language>OCL</language>
398 <body>let rtStpsConfig : XsveRtStps = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in &#xD;
399&#xD;
400rtStpsConfig.vcdusConfig.vcduConfig.vcid->exists(x | x = self.virtualChannelId) &#xD;
401or &#xD;
402self.virtualChannelId = rtStpsConfig.idleVcid&#xD;
403</body>
404 </specification>
405 </ownedRule>
406 <ownedRule xmi:id="_RvojzFVUEeWRIqLs5_0Tzg" name="input_signalingFieldReplayFlag" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
407 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvojzVVUEeWRIqLs5_0Tzg">
408 <language>OCL</language>
409 <body>self.signFieldReplayFlag.intValue = 0</body>
410 </specification>
411 </ownedRule>
412 <ownedRule xmi:id="_RvojzlVUEeWRIqLs5_0Tzg" name="input_signalingFieldReservedSpare" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
413 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvojz1VUEeWRIqLs5_0Tzg">
414 <language>OCL</language>
415 <body>self.signFieldRsvdSpare.intValue = 0</body>
416 </specification>
417 </ownedRule>
418 <ownedRule xmi:id="_Rvoj0FVUEeWRIqLs5_0Tzg" name="input_virtualChannelIdInRange" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
419 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj0VVUEeWRIqLs5_0Tzg">
420 <language>OCL</language>
421 <body>self.virtualChannelId.value.intValue >= 0 and self.virtualChannelId.value.intValue &lt;= 63</body>
422 </specification>
423 </ownedRule>
424 <ownedRule xmi:id="_Rvoj0lVUEeWRIqLs5_0Tzg" name="input_frameHeader" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
425 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj01VUEeWRIqLs5_0Tzg">
426 <language>OCL</language>
427 <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader &#xD;
428&#xD;
429implies &#xD;
430&#xD;
431self.rsCrcHasErrors = false</body>
432 </specification>
433 </ownedRule>
434 <ownedRule xmi:id="_Rvoj1FVUEeWRIqLs5_0Tzg" name="input_frameHeaderCorrectable" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
435 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj1VVUEeWRIqLs5_0Tzg">
436 <language>OCL</language>
437 <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader &#xD;
438&#xD;
439and &#xD;
440&#xD;
441self.rsCrcHasErrors = true &#xD;
442&#xD;
443implies &#xD;
444&#xD;
445self.rsCrcErrorsCorrectable = true</body>
446 </specification>
447 </ownedRule>
448 <ownedRule xmi:id="_Rvoj1lVUEeWRIqLs5_0Tzg" name="alloy_input_virtualChannelIdInConfiguration" constrainedElement="_RvojxFVUEeWRIqLs5_0Tzg">
449 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoj11VUEeWRIqLs5_0Tzg">
450 <language>OCL</language>
451 <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.vcdusConfig.vcduConfig.vcid->exists(x | x = self.virtualChannelId) &#xD;
452or &#xD;
453self.virtualChannelId = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid&#xD;
454</body>
455 </specification>
456 </ownedRule>
457 <ownedAttribute xmi:id="_Rvoj2FVUEeWRIqLs5_0Tzg" name="mcidTfVersionNumber" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
458 <eAnnotations xmi:id="_Rvoj2VVUEeWRIqLs5_0Tzg" source="http://www.eclipse.org/uml2/2.0.0/UML"/>
459 <ownedComment xmi:id="_Rvoj2lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj2FVUEeWRIqLs5_0Tzg">
460 <body>&lt;p>Master&amp;nbsp;Channel&amp;nbsp;ID&amp;nbsp;-&amp;nbsp;Transfer&amp;nbsp;Frame&amp;nbsp;Version&amp;nbsp;Number&lt;/p>&lt;p>2&amp;nbsp;bits&lt;/p></body>
461 </ownedComment>
462 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj3FVUEeWRIqLs5_0Tzg" value="1"/>
463 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj21VUEeWRIqLs5_0Tzg" value="1"/>
464 </ownedAttribute>
465 <ownedAttribute xmi:id="_Rvoj3VVUEeWRIqLs5_0Tzg" name="mcidSpacecraftId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
466 <ownedComment xmi:id="_Rvoj3lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj3VVUEeWRIqLs5_0Tzg">
467 <body>&lt;p>Master&amp;nbsp;Channel&amp;nbsp;ID&amp;nbsp;-&amp;nbsp;Spacecraft&amp;nbsp;ID&lt;/p>&lt;p>8&amp;nbsp;bits&lt;/p></body>
468 </ownedComment>
469 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj4FVUEeWRIqLs5_0Tzg" value="1"/>
470 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj31VUEeWRIqLs5_0Tzg" value="1"/>
471 </ownedAttribute>
472 <ownedAttribute xmi:id="_Rvoj4VVUEeWRIqLs5_0Tzg" name="virtualChannelId" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg">
473 <ownedComment xmi:id="_Rvoj4lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj4VVUEeWRIqLs5_0Tzg">
474 <body>&lt;p>6&amp;nbsp;bits&lt;/p></body>
475 </ownedComment>
476 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj5FVUEeWRIqLs5_0Tzg" value="1"/>
477 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj41VUEeWRIqLs5_0Tzg" value="1"/>
478 </ownedAttribute>
479 <ownedAttribute xmi:id="_Rvoj5VVUEeWRIqLs5_0Tzg" name="virtualChannelFrameCount" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
480 <ownedComment xmi:id="_Rvoj5lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj5VVUEeWRIqLs5_0Tzg">
481 <body>&lt;p>3&amp;nbsp;bytes&lt;/p></body>
482 </ownedComment>
483 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj6FVUEeWRIqLs5_0Tzg" value="1"/>
484 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj51VUEeWRIqLs5_0Tzg" value="1"/>
485 </ownedAttribute>
486 <ownedAttribute xmi:id="_Rvoj6VVUEeWRIqLs5_0Tzg" name="signFieldReplayFlag" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
487 <ownedComment xmi:id="_Rvoj6lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj6VVUEeWRIqLs5_0Tzg">
488 <body>&lt;p>Signaling&amp;nbsp;Field&amp;nbsp;-&amp;nbsp;Replay&amp;nbsp;Flag&lt;/p>&lt;p>1&amp;nbsp;bit&lt;/p></body>
489 </ownedComment>
490 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj7FVUEeWRIqLs5_0Tzg" value="1"/>
491 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj61VUEeWRIqLs5_0Tzg" value="1"/>
492 </ownedAttribute>
493 <ownedAttribute xmi:id="_Rvoj7VVUEeWRIqLs5_0Tzg" name="signFieldRsvdSpare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
494 <ownedComment xmi:id="_Rvoj7lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj7VVUEeWRIqLs5_0Tzg">
495 <body>&lt;p>Signaling&amp;nbsp;Field&amp;nbsp;-&amp;nbsp;Rsvd&amp;nbsp;Fd&lt;/p>&lt;p>7&amp;nbsp;bits&lt;/p></body>
496 </ownedComment>
497 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj8FVUEeWRIqLs5_0Tzg" value="1"/>
498 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj71VUEeWRIqLs5_0Tzg" value="1"/>
499 </ownedAttribute>
500 <ownedAttribute xmi:id="_Rvoj8VVUEeWRIqLs5_0Tzg" name="frameHeaderErrorControl" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
501 <ownedComment xmi:id="_Rvoj8lVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj8VVUEeWRIqLs5_0Tzg">
502 <body>&lt;p>2&amp;nbsp;bytes&lt;/p></body>
503 </ownedComment>
504 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj9FVUEeWRIqLs5_0Tzg" value="1"/>
505 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj81VUEeWRIqLs5_0Tzg" value="1"/>
506 </ownedAttribute>
507 <ownedAttribute xmi:id="_Rvoj9VVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomG1VUEeWRIqLs5_0Tzg">
508 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj91VUEeWRIqLs5_0Tzg" value="1"/>
509 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj9lVUEeWRIqLs5_0Tzg" value="1"/>
510 </ownedAttribute>
511 <ownedAttribute xmi:id="_Rvoj-FVUEeWRIqLs5_0Tzg" name="vcduHeaderAsString" visibility="private">
512 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
513 </ownedAttribute>
514 <ownedAttribute xmi:id="_Rvoj-VVUEeWRIqLs5_0Tzg" name="rsCrcHasErrors" visibility="private">
515 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
516 </ownedAttribute>
517 <ownedAttribute xmi:id="_Rvoj-lVUEeWRIqLs5_0Tzg" name="rsCrcErrorsCorrectable" visibility="private">
518 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
519 </ownedAttribute>
520 <ownedOperation xmi:id="_Rvoj-1VUEeWRIqLs5_0Tzg" name="calculateRsCrc" visibility="public">
521 <ownedComment xmi:id="_Rvoj_FVUEeWRIqLs5_0Tzg" annotatedElement="_Rvoj-1VUEeWRIqLs5_0Tzg">
522 <body>&lt;p>return&amp;nbsp;2&amp;nbsp;byte&amp;nbsp;array&lt;/p></body>
523 </ownedComment>
524 <ownedParameter xmi:id="_Rvoj_VVUEeWRIqLs5_0Tzg" name="Result" type="_RvojhVVUEeWRIqLs5_0Tzg" isUnique="false" direction="return" effect="update">
525 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoj_1VUEeWRIqLs5_0Tzg"/>
526 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoj_lVUEeWRIqLs5_0Tzg" value="1"/>
527 </ownedParameter>
528 <ownedParameter xmi:id="_RvokAFVUEeWRIqLs5_0Tzg" name="tfVersionNumber">
529 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/>
530 </ownedParameter>
531 <ownedParameter xmi:id="_RvokAVVUEeWRIqLs5_0Tzg" name="spaceCraftId">
532 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/>
533 </ownedParameter>
534 <ownedParameter xmi:id="_RvokAlVUEeWRIqLs5_0Tzg" name="virtualChannelId">
535 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/>
536 </ownedParameter>
537 <ownedParameter xmi:id="_RvokA1VUEeWRIqLs5_0Tzg" name="signFieldReplayFlag">
538 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/>
539 </ownedParameter>
540 <ownedParameter xmi:id="_RvokBFVUEeWRIqLs5_0Tzg" name="signFieldRsvdSpare">
541 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByte"/>
542 </ownedParameter>
543 </ownedOperation>
544 <ownedOperation xmi:id="_RvokBVVUEeWRIqLs5_0Tzg" name="isUsingHeaderCorrection" bodyCondition="_RvokBlVUEeWRIqLs5_0Tzg" isQuery="true">
545 <ownedRule xmi:id="_RvokBlVUEeWRIqLs5_0Tzg" name="isUsingHeaderCorrection" constrainedElement="_RvokBVVUEeWRIqLs5_0Tzg">
546 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokB1VUEeWRIqLs5_0Tzg">
547 <language>OCL</language>
548 <body>self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectHeader</body>
549 </specification>
550 </ownedRule>
551 <ownedParameter xmi:id="_RvokCFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
552 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
553 </ownedParameter>
554 </ownedOperation>
555 <ownedOperation xmi:id="_RvokCVVUEeWRIqLs5_0Tzg" name="getVirtualChannelId" bodyCondition="_RvokClVUEeWRIqLs5_0Tzg" isQuery="true">
556 <ownedRule xmi:id="_RvokClVUEeWRIqLs5_0Tzg" name="getVirtualChannelId" constrainedElement="_RvokCVVUEeWRIqLs5_0Tzg">
557 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokC1VUEeWRIqLs5_0Tzg">
558 <language>OCL</language>
559 <body>self.virtualChannelId.value.intValue</body>
560 </specification>
561 </ownedRule>
562 <ownedParameter xmi:id="_RvokDFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
563 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
564 </ownedParameter>
565 </ownedOperation>
566 </packagedElement>
567 <packagedElement xmi:type="uml:Class" xmi:id="_RvokDVVUEeWRIqLs5_0Tzg" name="Vcdu">
568 <ownedComment xmi:id="_RvokDlVUEeWRIqLs5_0Tzg">
569 <body>Frame / Virtual Channel Data Unit</body>
570 </ownedComment>
571 <ownedRule xmi:id="_RvokD1VUEeWRIqLs5_0Tzg" name="input_idleFrame" constrainedElement="_RvokDVVUEeWRIqLs5_0Tzg">
572 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokEFVUEeWRIqLs5_0Tzg">
573 <language>OCL</language>
574 <body>self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid&#xD;
575 &#xD;
576implies &#xD;
577&#xD;
578self.mpduHeader.oclIsTypeOf(MpduIdleHeader) &#xD;
579and &#xD;
580self.mpduHeader.oclAsType(MpduIdleHeader).value.byte->at(1).intValue = 7 &#xD;
581and &#xD;
582self.mpduHeader.oclAsType(MpduIdleHeader).value.byte->at(2).intValue = -2 &#xD;
583and &#xD;
584self.mpduPacketZone.oclIsTypeOf(MpduIdlePacketZone) &#xD;
585and &#xD;
586self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(1).intValue = -1 &#xD;
587and &#xD;
588self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(2).intValue = -3 &#xD;
589and &#xD;
590self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(3).intValue = 89 &#xD;
591and &#xD;
592self.mpduPacketZone.oclAsType(MpduIdlePacketZone).value.byte->at(4).intValue = 123 &#xD;
593</body>
594 </specification>
595 </ownedRule>
596 <ownedRule xmi:id="_RvokEVVUEeWRIqLs5_0Tzg" name="alloy_IsActiveCadu" constrainedElement="_RvokDVVUEeWRIqLs5_0Tzg">
597 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokElVUEeWRIqLs5_0Tzg">
598 <language>OCL</language>
599 <body>(self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid and self.mpduHeader.oclIsTypeOf(MpduIdleHeader) and self.mpduPacketZone.oclIsTypeOf(MpduIdlePacketZone)) &#xD;
600or&#xD;
601(self.vcduHeader.virtualChannelId &lt;> self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid and self.mpduHeader.oclIsTypeOf(MpduActiveHeader) and self.mpduPacketZone.oclIsTypeOf(MpduActivePacketZone))</body>
602 </specification>
603 </ownedRule>
604 <ownedAttribute xmi:id="_RvokE1VUEeWRIqLs5_0Tzg" name="mpduPacketZone" visibility="private" type="_Rvok4FVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHFVUEeWRIqLs5_0Tzg">
605 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokFVVUEeWRIqLs5_0Tzg" value="1"/>
606 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokFFVUEeWRIqLs5_0Tzg" value="1"/>
607 </ownedAttribute>
608 <ownedAttribute xmi:id="_RvokFlVUEeWRIqLs5_0Tzg" name="vcduHeader" visibility="private" type="_RvojxFVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomG1VUEeWRIqLs5_0Tzg">
609 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokGFVUEeWRIqLs5_0Tzg" value="1"/>
610 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokF1VUEeWRIqLs5_0Tzg" value="1"/>
611 </ownedAttribute>
612 <ownedAttribute xmi:id="_RvokGVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomKlVUEeWRIqLs5_0Tzg">
613 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokG1VUEeWRIqLs5_0Tzg" value="1"/>
614 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokGlVUEeWRIqLs5_0Tzg" value="1"/>
615 </ownedAttribute>
616 <ownedAttribute xmi:id="_RvokHFVUEeWRIqLs5_0Tzg" name="mpduHeader" visibility="private" type="_Rvolm1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomM1VUEeWRIqLs5_0Tzg">
617 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokHlVUEeWRIqLs5_0Tzg" value="1"/>
618 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokHVVUEeWRIqLs5_0Tzg" value="1"/>
619 </ownedAttribute>
620 <ownedOperation xmi:id="_RvokH1VUEeWRIqLs5_0Tzg" name="getVirtualChannelType" bodyCondition="_RvokIFVUEeWRIqLs5_0Tzg" isQuery="true">
621 <ownedRule xmi:id="_RvokIFVUEeWRIqLs5_0Tzg" name="getVirtualChannelType" constrainedElement="_RvokH1VUEeWRIqLs5_0Tzg">
622 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokIVVUEeWRIqLs5_0Tzg">
623 <language>OCL</language>
624 <body>if self.vcduHeader.virtualChannelId = self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleVcid&#xD;
625 then VirtualChannelType::IDLE &#xD;
626else VirtualChannelType::ACTIVE &#xD;
627endif &#xD;
628</body>
629 </specification>
630 </ownedRule>
631 <ownedParameter xmi:id="_RvokIlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojjFVUEeWRIqLs5_0Tzg" direction="return"/>
632 </ownedOperation>
633 <ownedOperation xmi:id="_RvokI1VUEeWRIqLs5_0Tzg" name="getHeaderAsString" bodyCondition="_RvokJFVUEeWRIqLs5_0Tzg" isQuery="true">
634 <ownedRule xmi:id="_RvokJFVUEeWRIqLs5_0Tzg" name="getHeaderAsString" constrainedElement="_RvokI1VUEeWRIqLs5_0Tzg">
635 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokJVVUEeWRIqLs5_0Tzg">
636 <language>OCL</language>
637 <body>if self.cadu.channelData.caduHeaderIncludesMpdu then&#xD;
638 if self.getVirtualChannelType() = VirtualChannelType::IDLE then&#xD;
639 self.vcduHeader.vcduHeaderAsString.concat(self.mpduHeader.oclAsType(MpduIdleHeader).mpduIdleHeaderAsString)&#xD;
640 else&#xD;
641 self.vcduHeader.vcduHeaderAsString.concat(self.mpduHeader.oclAsType(MpduActiveHeader).mpduActiveHeaderAsString)&#xD;
642 endif&#xD;
643else&#xD;
644 self.vcduHeader.vcduHeaderAsString&#xD;
645endif&#xD;
646</body>
647 </specification>
648 </ownedRule>
649 <ownedParameter xmi:id="_RvokJlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
650 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
651 </ownedParameter>
652 </ownedOperation>
653 </packagedElement>
654 <packagedElement xmi:type="uml:Class" xmi:id="_RvokJ1VUEeWRIqLs5_0Tzg" name="TmGpsrS1DataFieldHeader">
655 <ownedComment xmi:id="_RvokKFVUEeWRIqLs5_0Tzg">
656 <body>TM GPSR Data Field Header</body>
657 </ownedComment>
658 <generalization xmi:id="_RvokKVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
659 <ownedAttribute xmi:id="_RvokKlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
660 <ownedComment xmi:id="_RvokK1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokKlVUEeWRIqLs5_0Tzg">
661 <body>&lt;p>1&amp;nbsp;bit&lt;/p></body>
662 </ownedComment>
663 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokLVVUEeWRIqLs5_0Tzg" value="1"/>
664 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokLFVUEeWRIqLs5_0Tzg" value="1"/>
665 </ownedAttribute>
666 <ownedAttribute xmi:id="_RvokLlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
667 <ownedComment xmi:id="_RvokL1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokLlVUEeWRIqLs5_0Tzg">
668 <body>&lt;p>3&amp;nbsp;bits&lt;/p></body>
669 </ownedComment>
670 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokMVVUEeWRIqLs5_0Tzg" value="1"/>
671 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokMFVUEeWRIqLs5_0Tzg" value="1"/>
672 </ownedAttribute>
673 <ownedAttribute xmi:id="_RvokMlVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
674 <ownedComment xmi:id="_RvokM1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokMlVUEeWRIqLs5_0Tzg">
675 <body>&lt;p>4&amp;nbsp;bits&lt;/p></body>
676 </ownedComment>
677 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokNVVUEeWRIqLs5_0Tzg" value="1"/>
678 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokNFVUEeWRIqLs5_0Tzg" value="1"/>
679 </ownedAttribute>
680 <ownedAttribute xmi:id="_RvokNlVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
681 <ownedComment xmi:id="_RvokN1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokNlVUEeWRIqLs5_0Tzg">
682 <body>&lt;p>8&amp;nbsp;bits&lt;/p></body>
683 </ownedComment>
684 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokOVVUEeWRIqLs5_0Tzg" value="1"/>
685 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokOFVUEeWRIqLs5_0Tzg" value="1"/>
686 </ownedAttribute>
687 <ownedAttribute xmi:id="_RvokOlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
688 <ownedComment xmi:id="_RvokO1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokOlVUEeWRIqLs5_0Tzg">
689 <body>&lt;p>8&amp;nbsp;bits&lt;/p></body>
690 </ownedComment>
691 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokPVVUEeWRIqLs5_0Tzg" value="1"/>
692 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokPFVUEeWRIqLs5_0Tzg" value="1"/>
693 </ownedAttribute>
694 <ownedAttribute xmi:id="_RvokPlVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
695 <ownedComment xmi:id="_RvokP1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokPlVUEeWRIqLs5_0Tzg">
696 <body>&lt;p>Destination&amp;nbsp;ID&lt;/p>&lt;p>8&amp;nbsp;bits&lt;/p></body>
697 </ownedComment>
698 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokQVVUEeWRIqLs5_0Tzg" value="1"/>
699 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokQFVUEeWRIqLs5_0Tzg" value="1"/>
700 </ownedAttribute>
701 <ownedAttribute xmi:id="_RvokQlVUEeWRIqLs5_0Tzg" name="tfUndefinedA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
702 <ownedComment xmi:id="_RvokQ1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokQlVUEeWRIqLs5_0Tzg">
703 <body>&lt;p>8&amp;nbsp;bits&lt;/p></body>
704 </ownedComment>
705 </ownedAttribute>
706 <ownedAttribute xmi:id="_RvokRFVUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
707 <ownedComment xmi:id="_RvokRVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokRFVUEeWRIqLs5_0Tzg">
708 <body>&lt;p>4&amp;nbsp;bytes&lt;/p></body>
709 </ownedComment>
710 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokR1VUEeWRIqLs5_0Tzg" value="1"/>
711 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokRlVUEeWRIqLs5_0Tzg" value="1"/>
712 </ownedAttribute>
713 <ownedAttribute xmi:id="_RvokSFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
714 <ownedComment xmi:id="_RvokSVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokSFVUEeWRIqLs5_0Tzg">
715 <body>&lt;p>8&amp;nbsp;bits&lt;/p></body>
716 </ownedComment>
717 </ownedAttribute>
718 <ownedAttribute xmi:id="_RvokSlVUEeWRIqLs5_0Tzg" name="tfUndefinedB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
719 <ownedComment xmi:id="_RvokS1VUEeWRIqLs5_0Tzg" annotatedElement="_RvokSlVUEeWRIqLs5_0Tzg">
720 <body>&lt;p>2&amp;nbsp;bytes&lt;/p></body>
721 </ownedComment>
722 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokTVVUEeWRIqLs5_0Tzg" value="1"/>
723 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokTFVUEeWRIqLs5_0Tzg" value="1"/>
724 </ownedAttribute>
725 </packagedElement>
726 <packagedElement xmi:type="uml:Class" xmi:id="_RvokTlVUEeWRIqLs5_0Tzg" name="Sync">
727 <ownedComment xmi:id="_RvokT1VUEeWRIqLs5_0Tzg">
728 <body>Sync Marker</body>
729 </ownedComment>
730 <ownedRule xmi:id="_RvokUFVUEeWRIqLs5_0Tzg" name="input_syncMarker" constrainedElement="_RvokTlVUEeWRIqLs5_0Tzg">
731 <ownedComment xmi:id="_RvokUVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokUFVUEeWRIqLs5_0Tzg">
732 <body>&lt;p>We&amp;nbsp;expect&amp;nbsp;that&amp;nbsp;the&amp;nbsp;4&amp;nbsp;byte&amp;nbsp;Sync&amp;nbsp;field&amp;nbsp;should&amp;nbsp;be&amp;nbsp;equal&amp;nbsp;to&amp;nbsp;0x1ACFFC1D&lt;/p>&lt;p>0x1A&amp;nbsp;=&amp;nbsp;26&amp;nbsp;&lt;/p>&lt;p>0xCF&amp;nbsp;=&amp;nbsp;207&lt;/p>&lt;p>0xFC&amp;nbsp;=&amp;nbsp;252&lt;/p>&lt;p>0x1D&amp;nbsp;=&amp;nbsp;29&lt;/p></body>
733 </ownedComment>
734 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokUlVUEeWRIqLs5_0Tzg">
735 <language>OCL</language>
736 <body>self.value.byte->at(1).intValue = 26 and &#xD;
737self.value.byte->at(2).intValue = -49 and &#xD;
738self.value.byte->at(3).intValue = -4 and &#xD;
739self.value.byte->at(4).intValue = 29</body>
740 </specification>
741 </ownedRule>
742 <ownedAttribute xmi:id="_RvokU1VUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
743 <ownedComment xmi:id="_RvokVFVUEeWRIqLs5_0Tzg" annotatedElement="_RvokU1VUEeWRIqLs5_0Tzg">
744 <body>&lt;p>4&amp;nbsp;bytes&lt;/p></body>
745 </ownedComment>
746 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokVlVUEeWRIqLs5_0Tzg" value="1"/>
747 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokVVVUEeWRIqLs5_0Tzg" value="1"/>
748 </ownedAttribute>
749 <ownedAttribute xmi:id="_RvokV1VUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomHVVUEeWRIqLs5_0Tzg">
750 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokWVVUEeWRIqLs5_0Tzg" value="1"/>
751 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokWFVUEeWRIqLs5_0Tzg" value="1"/>
752 </ownedAttribute>
753 </packagedElement>
754 <packagedElement xmi:type="uml:Class" xmi:id="_RvokWlVUEeWRIqLs5_0Tzg" name="SarS1DataFieldHeader">
755 <ownedComment xmi:id="_RvokW1VUEeWRIqLs5_0Tzg">
756 <body>SAR Data Field Header</body>
757 </ownedComment>
758 <generalization xmi:id="_RvokXFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
759 <ownedAttribute xmi:id="_RvokXVVUEeWRIqLs5_0Tzg" name="tcCoarseTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
760 <ownedComment xmi:id="_RvokXlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokXVVUEeWRIqLs5_0Tzg">
761 <body>&lt;p>32&amp;nbsp;bits&lt;/p></body>
762 </ownedComment>
763 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokYFVUEeWRIqLs5_0Tzg" value="1"/>
764 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokX1VUEeWRIqLs5_0Tzg" value="1"/>
765 </ownedAttribute>
766 <ownedAttribute xmi:id="_RvokYVVUEeWRIqLs5_0Tzg" name="tcFineTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
767 <ownedComment xmi:id="_RvokYlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokYVVUEeWRIqLs5_0Tzg">
768 <body>&lt;p>16&amp;nbsp;bits&lt;/p></body>
769 </ownedComment>
770 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokZFVUEeWRIqLs5_0Tzg" value="1"/>
771 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokY1VUEeWRIqLs5_0Tzg" value="1"/>
772 </ownedAttribute>
773 <ownedAttribute xmi:id="_RvokZVVUEeWRIqLs5_0Tzg" name="ancillaryData" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
774 <ownedComment xmi:id="_RvokZlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokZVVUEeWRIqLs5_0Tzg">
775 <body>&lt;p>56  bytes&lt;/p></body>
776 </ownedComment>
777 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokaFVUEeWRIqLs5_0Tzg" value="1"/>
778 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokZ1VUEeWRIqLs5_0Tzg" value="1"/>
779 </ownedAttribute>
780 </packagedElement>
781 <packagedElement xmi:type="uml:Class" xmi:id="_RvokaVVUEeWRIqLs5_0Tzg" name="ReedSolomonCoding">
782 <ownedComment xmi:id="_RvokalVUEeWRIqLs5_0Tzg">
783 <body>Reed Solomon check symbols</body>
784 </ownedComment>
785 <ownedRule xmi:id="_Rvoka1VUEeWRIqLs5_0Tzg" name="input_reedSolomonCheckSymbols" constrainedElement="_RvolZVVUEeWRIqLs5_0Tzg">
786 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokbFVUEeWRIqLs5_0Tzg">
787 <language>OCL</language>
788 <body>self.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.rsCorrectFrame = true &#xD;
789 &#xD;
790implies &#xD;
791 &#xD;
792self.rsActualCheckSymbols.byte = self.rsCalculatedCheckSymbols.byte&#xD;
793</body>
794 </specification>
795 </ownedRule>
796 <ownedAttribute xmi:id="_RvokbVVUEeWRIqLs5_0Tzg" name="rsActualCheckSymbols" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
797 <ownedComment xmi:id="_RvokblVUEeWRIqLs5_0Tzg">
798 <body>128 bytes</body>
799 </ownedComment>
800 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokcFVUEeWRIqLs5_0Tzg" value="1"/>
801 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokb1VUEeWRIqLs5_0Tzg" value="1"/>
802 </ownedAttribute>
803 <ownedAttribute xmi:id="_RvokcVVUEeWRIqLs5_0Tzg" name="rsCalculatedCheckSymbols" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
804 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokc1VUEeWRIqLs5_0Tzg" value="1"/>
805 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokclVUEeWRIqLs5_0Tzg" value="1"/>
806 </ownedAttribute>
807 <ownedAttribute xmi:id="_RvokdFVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomKVVUEeWRIqLs5_0Tzg">
808 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokdlVUEeWRIqLs5_0Tzg" value="1"/>
809 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokdVVUEeWRIqLs5_0Tzg" value="1"/>
810 </ownedAttribute>
811 <ownedOperation xmi:id="_Rvokd1VUEeWRIqLs5_0Tzg" name="calculateRsCoding" visibility="public">
812 <ownedComment xmi:id="_RvokeFVUEeWRIqLs5_0Tzg">
813 <body>return a byte array of 128 bytes</body>
814 </ownedComment>
815 <ownedParameter xmi:id="_RvokeVVUEeWRIqLs5_0Tzg" name="Result" isUnique="false" direction="return" effect="update">
816 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
817 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoke1VUEeWRIqLs5_0Tzg"/>
818 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokelVUEeWRIqLs5_0Tzg" value="*"/>
819 </ownedParameter>
820 <ownedParameter xmi:id="_RvokfFVUEeWRIqLs5_0Tzg" name="vcduBytes" isUnique="false" effect="read">
821 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
822 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokflVUEeWRIqLs5_0Tzg"/>
823 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokfVVUEeWRIqLs5_0Tzg" value="*"/>
824 </ownedParameter>
825 </ownedOperation>
826 </packagedElement>
827 <packagedElement xmi:type="uml:Class" xmi:id="_Rvokf1VUEeWRIqLs5_0Tzg" name="PacketSecondaryHeader" isAbstract="true">
828 <ownedComment xmi:id="_RvokgFVUEeWRIqLs5_0Tzg">
829 <body>Packet Secondary Header / Data Field Header</body>
830 </ownedComment>
831 <ownedRule xmi:id="_RvokgVVUEeWRIqLs5_0Tzg" name="alloy_isUsingCorrectMissionIspInfo" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg">
832 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokglVUEeWRIqLs5_0Tzg">
833 <language>OCL</language>
834 <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | &#xD;
835 self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName->exists(y: MissionName |&#xD;
836 y = x.missionName&#xD;
837 )&#xD;
838)&#xD;
839</body>
840 </specification>
841 </ownedRule>
842 <ownedRule xmi:id="_Rvokg1VUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderMatchingIspInfo" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg">
843 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokhFVUEeWRIqLs5_0Tzg">
844 <language>OCL</language>
845 <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | &#xD;
846 (&#xD;
847 self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName->exists(y: MissionName | &#xD;
848 y = x.missionName) &#xD;
849 ) &#xD;
850 and &#xD;
851 ( &#xD;
852 ( &#xD;
853 (x.missionName = MissionName::Sentinel1 or x.missionName = MissionName::Sentinel2) &#xD;
854 and &#xD;
855 x.apidValue->exists(y : Apid | &#xD;
856 y.apidPid = self.activePacketDataField.isp.packetPrimaryHeader.apidPid &#xD;
857 and &#xD;
858 y.apidPcat = self.activePacketDataField.isp.packetPrimaryHeader.apidPcat&#xD;
859 ) &#xD;
860 )&#xD;
861 or &#xD;
862 ( &#xD;
863 x.missionName = MissionName::Sentinel3&#xD;
864 and &#xD;
865 x.pidValue->exists(pid : ApidPid | pid = self.activePacketDataField.isp.packetPrimaryHeader.apidPid) &#xD;
866 and &#xD;
867 x.pcatValue->exists(pcat : ApidPcat | pcat = self.activePacketDataField.isp.packetPrimaryHeader.apidPcat)&#xD;
868 )&#xD;
869 ) &#xD;
870 and&#xD;
871 (&#xD;
872 ( (x.packetType = IspPacketTypes::S1_SAR) and self.oclIsTypeOf(SarS1DataFieldHeader) ) or &#xD;
873 ( (x.packetType = IspPacketTypes::S1_GPSR) and self.oclIsTypeOf(TmGpsrS1DataFieldHeader) ) or &#xD;
874 ( (x.packetType = IspPacketTypes::S2_CSW) and self.oclIsTypeOf(TmCswS2DataFieldHeader) ) or &#xD;
875 ( (x.packetType = IspPacketTypes::S2_GPSR) and self.oclIsTypeOf(TmGpsrS2DataFieldHeader) ) or &#xD;
876 ( (x.packetType = IspPacketTypes::S2_MSI) and self.oclIsTypeOf(MsiS2DataFieldHeader) ) or &#xD;
877 ( (x.packetType = IspPacketTypes::S2_STR) and self.oclIsTypeOf(TmStrS2DataFieldHeader) ) or &#xD;
878 ( (x.packetType = IspPacketTypes::S3_OLCI) and self.oclIsTypeOf(OlciS3DataFieldHeader) ) or &#xD;
879 ( (x.packetType = IspPacketTypes::S3_DORIS) and self.oclIsTypeOf(DorisS3DateFieldHeader) ) or &#xD;
880 ( (x.packetType = IspPacketTypes::S3_MWR) and self.oclIsTypeOf(MwrS3DataFieldHeader) ) or &#xD;
881 ( (x.packetType = IspPacketTypes::S3_GPSR) and self.oclIsTypeOf(TmGpsrS3DataFieldHeader) ) or &#xD;
882 ( (x.packetType = IspPacketTypes::S3_SLSTR) and self.oclIsTypeOf(SlstrS3DataFieldHeader) ) or &#xD;
883 ( (x.packetType = IspPacketTypes::S3_NAVATT) and self.oclIsTypeOf(TmNavattS3DataFieldHeader) ) or &#xD;
884 ( (x.packetType = IspPacketTypes::S3_SRAL) and self.oclIsTypeOf(SralS3DataFieldHeader) ) &#xD;
885 ) &#xD;
886) </body>
887 </specification>
888 </ownedRule>
889 <ownedRule xmi:id="_RvokhVVUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderMatchingPacketType" constrainedElement="_Rvokf1VUEeWRIqLs5_0Tzg">
890 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokhlVUEeWRIqLs5_0Tzg">
891 <language>OCL</language>
892 <body>self.activePacketDataField.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | &#xD;
893 ((x.packetType = IspPacketTypes::S1_SAR) and self.oclIsTypeOf(SarS1DataFieldHeader)) or &#xD;
894 ((x.packetType = IspPacketTypes::S1_GPSR) and self.oclIsTypeOf(TmGpsrS1DataFieldHeader)) or&#xD;
895&#xD;
896 ((x.packetType = IspPacketTypes::S2_CSW) and self.oclIsTypeOf(TmCswS2DataFieldHeader)) or&#xD;
897 ((x.packetType = IspPacketTypes::S2_GPSR) and self.oclIsTypeOf(TmGpsrS2DataFieldHeader)) or&#xD;
898 ((x.packetType = IspPacketTypes::S2_MSI) and self.oclIsTypeOf(MsiS2DataFieldHeader)) or &#xD;
899 ((x.packetType = IspPacketTypes::S2_STR) and self.oclIsTypeOf(TmStrS2DataFieldHeader)) or&#xD;
900&#xD;
901 ((x.packetType = IspPacketTypes::S3_OLCI) and self.oclIsTypeOf(OlciS3DataFieldHeader)) or&#xD;
902 ((x.packetType = IspPacketTypes::S3_DORIS) and self.oclIsTypeOf(DorisS3DateFieldHeader)) or&#xD;
903 ((x.packetType = IspPacketTypes::S3_MWR) and self.oclIsTypeOf(MwrS3DataFieldHeader)) or &#xD;
904 ((x.packetType = IspPacketTypes::S3_GPSR) and self.oclIsTypeOf(TmGpsrS3DataFieldHeader)) or&#xD;
905 ((x.packetType = IspPacketTypes::S3_SLSTR) and self.oclIsTypeOf(SlstrS3DataFieldHeader)) or&#xD;
906 ((x.packetType = IspPacketTypes::S3_NAVATT) and self.oclIsTypeOf(TmNavattS3DataFieldHeader)) or&#xD;
907 ((x.packetType = IspPacketTypes::S3_SRAL) and self.oclIsTypeOf(SralS3DataFieldHeader))&#xD;
908)&#xD;
909</body>
910 </specification>
911 </ownedRule>
912 <ownedAttribute xmi:id="_Rvokh1VUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomSVVUEeWRIqLs5_0Tzg">
913 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokiVVUEeWRIqLs5_0Tzg" value="1"/>
914 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokiFVUEeWRIqLs5_0Tzg" value="1"/>
915 </ownedAttribute>
916 </packagedElement>
917 <packagedElement xmi:type="uml:Class" xmi:id="_RvokilVUEeWRIqLs5_0Tzg" name="PacketPrimaryHeader">
918 <ownedComment xmi:id="_Rvoki1VUEeWRIqLs5_0Tzg">
919 <body>Packet Primary Header</body>
920 </ownedComment>
921 <ownedRule xmi:id="_RvokjFVUEeWRIqLs5_0Tzg" name="input_packetIdentificationApid" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg">
922 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokjVVUEeWRIqLs5_0Tzg">
923 <language>OCL</language>
924 <body>let rtstpsConfig : XsveRtStps = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in &#xD;
925&#xD;
926rtstpsConfig.vcdusConfig.vcduConfig->select(y | y.vcid = self.isp.mpduActivePacketZone->first().vcdu.vcduHeader.virtualChannelId).ispsConfig.ispConfig.apid->exists(x | &#xD;
927 x.apidPid = self.apidPid and x.apidPcat = self.apidPcat) &#xD;
928or &#xD;
929self.apidPid = rtstpsConfig.idleApid.apidPid and self.apidPcat = rtstpsConfig.idleApid.apidPcat&#xD;
930</body>
931 </specification>
932 </ownedRule>
933 <ownedRule xmi:id="_RvokjlVUEeWRIqLs5_0Tzg" name="input_packetVersionNumber" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
934 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokj1VUEeWRIqLs5_0Tzg">
935 <language>OCL</language>
936 <body>self.versionNumber.intValue = 0</body>
937 </specification>
938 </ownedRule>
939 <ownedRule xmi:id="_RvokkFVUEeWRIqLs5_0Tzg" name="input_packetIdentificationType" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
940 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokkVVUEeWRIqLs5_0Tzg">
941 <language>OCL</language>
942 <body>self.type.intValue = 0</body>
943 </specification>
944 </ownedRule>
945 <ownedRule xmi:id="_RvokklVUEeWRIqLs5_0Tzg" name="input_packetActiveIdentificationShf" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
946 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokk1VUEeWRIqLs5_0Tzg">
947 <language>OCL</language>
948 <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData in &#xD;
949&#xD;
950self.apidPid &lt;> transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid&#xD;
951or&#xD;
952self.apidPcat &lt;> transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat&#xD;
953&#xD;
954implies &#xD;
955&#xD;
956self.shf.intValue = 1&#xD;
957</body>
958 </specification>
959 </ownedRule>
960 <ownedRule xmi:id="_RvoklFVUEeWRIqLs5_0Tzg" name="input_packetSequenceControlGroupingFlags" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
961 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvoklVVUEeWRIqLs5_0Tzg">
962 <language>OCL</language>
963 <body>self.sequenceFlags.intValue = 3</body>
964 </specification>
965 </ownedRule>
966 <ownedRule xmi:id="_RvokllVUEeWRIqLs5_0Tzg" name="input_packetDataLength" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
967 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokl1VUEeWRIqLs5_0Tzg">
968 <language>OCL</language>
969 <body>self.isp.isTypeOfPacket(IspPacketTypes::S1_SAR)&#xD;
970&#xD;
971implies&#xD;
972&#xD;
973(self.dataLength.intValue + 6 +1).mod(4) = 0 &#xD;
974</body>
975 </specification>
976 </ownedRule>
977 <ownedRule xmi:id="_RvokmFVUEeWRIqLs5_0Tzg" name="input_packetIdleIdentificationShf" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
978 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokmVVUEeWRIqLs5_0Tzg">
979 <language>OCL</language>
980 <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData in &#xD;
981&#xD;
982self.apidPid = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid&#xD;
983and&#xD;
984self.apidPcat = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat&#xD;
985 &#xD;
986implies &#xD;
987&#xD;
988self.shf.intValue = 0&#xD;
989</body>
990 </specification>
991 </ownedRule>
992 <ownedRule xmi:id="_RvokmlVUEeWRIqLs5_0Tzg" name="input_validPacketType" constrainedElement="_RvokilVUEeWRIqLs5_0Tzg">
993 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvokm1VUEeWRIqLs5_0Tzg">
994 <language>OCL</language>
995 <body>let transmissionData : TransmissionData = self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, &#xD;
996 ispInfoSet : Set(IspInfo) = transmissionData.configuration.validApidsConfig.ispInfo &#xD;
997in &#xD;
998&#xD;
999self.apidPid = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid&#xD;
1000and&#xD;
1001self.apidPcat = transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat&#xD;
1002&#xD;
1003or &#xD;
1004&#xD;
1005if transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName = 'S3A' then&#xD;
1006 (ispInfoSet.apidValue.apidPid->exists(x : ApidPid | x = self.apidPid) and &#xD;
1007 ispInfoSet.apidValue.apidPcat->exists(x : ApidPcat | x = self.apidPcat))&#xD;
1008else&#xD;
1009 ispInfoSet.apidValue->exists(x : Apid | x.apidPid = self.apidPid and x.apidPcat = self.apidPcat) &#xD;
1010endif &#xD;
1011</body>
1012 </specification>
1013 </ownedRule>
1014 <ownedAttribute xmi:id="_RvoknFVUEeWRIqLs5_0Tzg" name="versionNumber" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1015 <ownedComment xmi:id="_RvoknVVUEeWRIqLs5_0Tzg" annotatedElement="_RvoknFVUEeWRIqLs5_0Tzg">
1016 <body>&lt;p>3&amp;nbsp;bits&lt;/p></body>
1017 </ownedComment>
1018 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokn1VUEeWRIqLs5_0Tzg" value="1"/>
1019 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoknlVUEeWRIqLs5_0Tzg" value="1"/>
1020 </ownedAttribute>
1021 <ownedAttribute xmi:id="_RvokoFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1022 <ownedComment xmi:id="_RvokoVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokoFVUEeWRIqLs5_0Tzg">
1023 <body>&lt;p>1&amp;nbsp;bit&lt;/p></body>
1024 </ownedComment>
1025 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoko1VUEeWRIqLs5_0Tzg" value="1"/>
1026 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokolVUEeWRIqLs5_0Tzg" value="1"/>
1027 </ownedAttribute>
1028 <ownedAttribute xmi:id="_RvokpFVUEeWRIqLs5_0Tzg" name="shf" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1029 <ownedComment xmi:id="_RvokpVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokpFVUEeWRIqLs5_0Tzg">
1030 <body>&lt;p>Secondary&amp;nbsp;Header&amp;nbsp;Flag&lt;/p>&lt;p>1&amp;nbsp;bit&lt;/p></body>
1031 </ownedComment>
1032 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokp1VUEeWRIqLs5_0Tzg" value="1"/>
1033 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokplVUEeWRIqLs5_0Tzg" value="1"/>
1034 </ownedAttribute>
1035 <ownedAttribute xmi:id="_RvokqFVUEeWRIqLs5_0Tzg" name="apidPid" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg">
1036 <ownedComment xmi:id="_RvokqVVUEeWRIqLs5_0Tzg" annotatedElement="_RvokqFVUEeWRIqLs5_0Tzg">
1037 <body>&lt;p>7&amp;nbsp;bits&lt;/p></body>
1038 </ownedComment>
1039 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokq1VUEeWRIqLs5_0Tzg" value="1"/>
1040 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokqlVUEeWRIqLs5_0Tzg" value="1"/>
1041 </ownedAttribute>
1042 <ownedAttribute xmi:id="_RvokrFVUEeWRIqLs5_0Tzg" name="apidPcat" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/>
1043 <ownedAttribute xmi:id="_RvokrVVUEeWRIqLs5_0Tzg" name="sequenceFlags" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1044 <ownedComment xmi:id="_RvokrlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokrVVUEeWRIqLs5_0Tzg">
1045 <body>&lt;p>2&amp;nbsp;bits&lt;/p></body>
1046 </ownedComment>
1047 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoksFVUEeWRIqLs5_0Tzg" value="1"/>
1048 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokr1VUEeWRIqLs5_0Tzg" value="1"/>
1049 </ownedAttribute>
1050 <ownedAttribute xmi:id="_RvoksVVUEeWRIqLs5_0Tzg" name="sequenceCount" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1051 <ownedComment xmi:id="_RvokslVUEeWRIqLs5_0Tzg" annotatedElement="_RvoksVVUEeWRIqLs5_0Tzg">
1052 <body>&lt;p>14&amp;nbsp;bits&lt;/p></body>
1053 </ownedComment>
1054 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoktFVUEeWRIqLs5_0Tzg" value="1"/>
1055 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvoks1VUEeWRIqLs5_0Tzg" value="1"/>
1056 </ownedAttribute>
1057 <ownedAttribute xmi:id="_RvoktVVUEeWRIqLs5_0Tzg" name="dataLength" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1058 <ownedComment xmi:id="_RvoktlVUEeWRIqLs5_0Tzg" annotatedElement="_RvoktVVUEeWRIqLs5_0Tzg">
1059 <body>&lt;p>2&amp;nbsp;bytes&lt;/p></body>
1060 </ownedComment>
1061 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokuFVUEeWRIqLs5_0Tzg" value="1"/>
1062 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokt1VUEeWRIqLs5_0Tzg" value="1"/>
1063 </ownedAttribute>
1064 <ownedAttribute xmi:id="_RvokuVVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomH1VUEeWRIqLs5_0Tzg">
1065 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvoku1VUEeWRIqLs5_0Tzg" value="1"/>
1066 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokulVUEeWRIqLs5_0Tzg" value="1"/>
1067 </ownedAttribute>
1068 <ownedAttribute xmi:id="_RvokvFVUEeWRIqLs5_0Tzg" name="headerAsString" visibility="private">
1069 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
1070 </ownedAttribute>
1071 </packagedElement>
1072 <packagedElement xmi:type="uml:Class" xmi:id="_RvokvVVUEeWRIqLs5_0Tzg" name="PacketErrorControl">
1073 <ownedComment xmi:id="_RvokvlVUEeWRIqLs5_0Tzg">
1074 <body>Packet Error Control (CRC)</body>
1075 </ownedComment>
1076 <ownedRule xmi:id="_Rvokv1VUEeWRIqLs5_0Tzg" name="input_packetErrorControl" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg">
1077 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvokwFVUEeWRIqLs5_0Tzg">
1078 <language>OCL</language>
1079 <body>let rtstpsConfig : XsveRtStps = self.activePacketDataField.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps in &#xD;
1080&#xD;
1081rtstpsConfig.checkCrc &#xD;
1082and (rtstpsConfig.missionName &lt;> 'S1A' &#xD;
1083 or (self.activePacketDataField.isp.packetPrimaryHeader.apidPid.value.intValue*16 &#xD;
1084 + self.activePacketDataField.isp.packetPrimaryHeader.apidPcat.value.intValue) &lt;> 1052) &#xD;
1085&#xD;
1086implies &#xD;
1087&#xD;
1088self.actualValue.byte = self.calculatedValue.byte&#xD;
1089</body>
1090 </specification>
1091 </ownedRule>
1092 <ownedAttribute xmi:id="_RvokwVVUEeWRIqLs5_0Tzg" name="actualValue" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1093 <ownedComment xmi:id="_RvokwlVUEeWRIqLs5_0Tzg" annotatedElement="_RvokwVVUEeWRIqLs5_0Tzg">
1094 <body>&lt;p>2  bytes&lt;/p></body>
1095 </ownedComment>
1096 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokxFVUEeWRIqLs5_0Tzg" value="1"/>
1097 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvokw1VUEeWRIqLs5_0Tzg" value="1"/>
1098 </ownedAttribute>
1099 <ownedAttribute xmi:id="_RvokxVVUEeWRIqLs5_0Tzg" name="calculatedValue" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1100 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvokx1VUEeWRIqLs5_0Tzg" value="1"/>
1101 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokxlVUEeWRIqLs5_0Tzg" value="1"/>
1102 </ownedAttribute>
1103 <ownedAttribute xmi:id="_RvokyFVUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomS1VUEeWRIqLs5_0Tzg">
1104 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokylVUEeWRIqLs5_0Tzg" value="1"/>
1105 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokyVVUEeWRIqLs5_0Tzg" value="1"/>
1106 </ownedAttribute>
1107 <ownedOperation xmi:id="_Rvoky1VUEeWRIqLs5_0Tzg" name="calculateCrc" visibility="public">
1108 <ownedParameter xmi:id="_RvokzFVUEeWRIqLs5_0Tzg" name="Result" isUnique="false" direction="return" effect="update">
1109 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
1110 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvokzlVUEeWRIqLs5_0Tzg"/>
1111 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvokzVVUEeWRIqLs5_0Tzg" value="1"/>
1112 </ownedParameter>
1113 <ownedParameter xmi:id="_Rvokz1VUEeWRIqLs5_0Tzg" name="dataFieldHeader" isUnique="false" effect="read">
1114 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
1115 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok0VVUEeWRIqLs5_0Tzg"/>
1116 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok0FVUEeWRIqLs5_0Tzg" value="*"/>
1117 </ownedParameter>
1118 <ownedParameter xmi:id="_Rvok0lVUEeWRIqLs5_0Tzg" name="dataFieldHeaderLength" isUnique="false" effect="read">
1119 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1120 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok1FVUEeWRIqLs5_0Tzg"/>
1121 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok01VUEeWRIqLs5_0Tzg" value="1"/>
1122 </ownedParameter>
1123 <ownedParameter xmi:id="_Rvok1VVUEeWRIqLs5_0Tzg" name="data" isUnique="false" effect="read">
1124 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EByteArray"/>
1125 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok11VUEeWRIqLs5_0Tzg"/>
1126 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok1lVUEeWRIqLs5_0Tzg" value="*"/>
1127 </ownedParameter>
1128 <ownedParameter xmi:id="_Rvok2FVUEeWRIqLs5_0Tzg" name="dataLength" isUnique="false" effect="read">
1129 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1130 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok2lVUEeWRIqLs5_0Tzg"/>
1131 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok2VVUEeWRIqLs5_0Tzg" value="1"/>
1132 </ownedParameter>
1133 </ownedOperation>
1134 </packagedElement>
1135 <packagedElement xmi:type="uml:Class" xmi:id="_Rvok21VUEeWRIqLs5_0Tzg" name="PacketDataField" isAbstract="true">
1136 <ownedComment xmi:id="_Rvok3FVUEeWRIqLs5_0Tzg">
1137 <body>Packet Data Field</body>
1138 </ownedComment>
1139 <ownedAttribute xmi:id="_Rvok3VVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomHlVUEeWRIqLs5_0Tzg">
1140 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok31VUEeWRIqLs5_0Tzg" value="1"/>
1141 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok3lVUEeWRIqLs5_0Tzg" value="1"/>
1142 </ownedAttribute>
1143 </packagedElement>
1144 <packagedElement xmi:type="uml:Class" xmi:id="_Rvok4FVUEeWRIqLs5_0Tzg" name="MpduPacketZone" isAbstract="true">
1145 <ownedComment xmi:id="_Rvok4VVUEeWRIqLs5_0Tzg">
1146 <body>Multiplexing Protocol Data Unit (M_PDU) Packet Zone</body>
1147 </ownedComment>
1148 <ownedAttribute xmi:id="_Rvok4lVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomHFVUEeWRIqLs5_0Tzg">
1149 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok5FVUEeWRIqLs5_0Tzg" value="1"/>
1150 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok41VUEeWRIqLs5_0Tzg" value="1"/>
1151 </ownedAttribute>
1152 </packagedElement>
1153 <packagedElement xmi:type="uml:Class" xmi:id="_Rvok5VVUEeWRIqLs5_0Tzg" name="MpduIdleHeader">
1154 <ownedComment xmi:id="_Rvok5lVUEeWRIqLs5_0Tzg">
1155 <body>MPDU Idle Header</body>
1156 </ownedComment>
1157 <generalization xmi:id="_Rvok51VUEeWRIqLs5_0Tzg" general="_Rvolm1VUEeWRIqLs5_0Tzg"/>
1158 <ownedAttribute xmi:id="_Rvok6FVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1159 <ownedComment xmi:id="_Rvok6VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok6FVUEeWRIqLs5_0Tzg">
1160 <body>&lt;p>2&amp;nbsp;bytes&lt;/p></body>
1161 </ownedComment>
1162 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok61VUEeWRIqLs5_0Tzg" value="1"/>
1163 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok6lVUEeWRIqLs5_0Tzg" value="1"/>
1164 </ownedAttribute>
1165 <ownedAttribute xmi:id="_Rvok7FVUEeWRIqLs5_0Tzg" name="mpduIdleHeaderAsString" visibility="private">
1166 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
1167 </ownedAttribute>
1168 </packagedElement>
1169 <packagedElement xmi:type="uml:Class" xmi:id="_Rvok7VVUEeWRIqLs5_0Tzg" name="MpduActiveHeader">
1170 <ownedComment xmi:id="_Rvok7lVUEeWRIqLs5_0Tzg">
1171 <body>Multiplexing Protocol Data Unit (M_PDU) Header</body>
1172 </ownedComment>
1173 <ownedRule xmi:id="_Rvok71VUEeWRIqLs5_0Tzg" name="input_reservedSpare" constrainedElement="_Rvok7VVUEeWRIqLs5_0Tzg">
1174 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvok8FVUEeWRIqLs5_0Tzg">
1175 <language>OCL</language>
1176 <body>self.rsvdSpare.intValue = 0</body>
1177 </specification>
1178 </ownedRule>
1179 <ownedRule xmi:id="_Rvok8VVUEeWRIqLs5_0Tzg" name="input_firstHeaderPointer" constrainedElement="_Rvok7VVUEeWRIqLs5_0Tzg">
1180 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvok8lVUEeWRIqLs5_0Tzg">
1181 <language>OCL</language>
1182 <body>self.firstHeaderPointer.intValue = 2047 &#xD;
1183or &#xD;
1184self.firstHeaderPointer.intValue &lt; 1902</body>
1185 </specification>
1186 </ownedRule>
1187 <generalization xmi:id="_Rvok81VUEeWRIqLs5_0Tzg" general="_Rvolm1VUEeWRIqLs5_0Tzg"/>
1188 <ownedAttribute xmi:id="_Rvok9FVUEeWRIqLs5_0Tzg" name="rsvdSpare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1189 <ownedComment xmi:id="_Rvok9VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok9FVUEeWRIqLs5_0Tzg">
1190 <body>&lt;p>5&amp;nbsp;bits&lt;/p></body>
1191 </ownedComment>
1192 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok91VUEeWRIqLs5_0Tzg" value="1"/>
1193 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok9lVUEeWRIqLs5_0Tzg" value="1"/>
1194 </ownedAttribute>
1195 <ownedAttribute xmi:id="_Rvok-FVUEeWRIqLs5_0Tzg" name="firstHeaderPointer" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg">
1196 <ownedComment xmi:id="_Rvok-VVUEeWRIqLs5_0Tzg" annotatedElement="_Rvok-FVUEeWRIqLs5_0Tzg">
1197 <body>&lt;p>11&amp;nbsp;bits&lt;/p></body>
1198 </ownedComment>
1199 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvok-1VUEeWRIqLs5_0Tzg" value="1"/>
1200 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvok-lVUEeWRIqLs5_0Tzg" value="1"/>
1201 </ownedAttribute>
1202 <ownedAttribute xmi:id="_Rvok_FVUEeWRIqLs5_0Tzg" name="mpduActiveHeaderAsString" visibility="private">
1203 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
1204 </ownedAttribute>
1205 </packagedElement>
1206 <packagedElement xmi:type="uml:Class" xmi:id="_Rvok_VVUEeWRIqLs5_0Tzg" name="Isp">
1207 <ownedComment xmi:id="_Rvok_lVUEeWRIqLs5_0Tzg">
1208 <body>Instrument Source Packet</body>
1209 </ownedComment>
1210 <ownedRule xmi:id="_Rvok_1VUEeWRIqLs5_0Tzg" name="input_packetSequenceControlSourceSequenceCountMax" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg">
1211 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolAFVUEeWRIqLs5_0Tzg">
1212 <language>OCL</language>
1213 <body>let &#xD;
1214 config : Configuration = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration, &#xD;
1215 counterWrapValue : Set(ApidSuffixAndMaxCounter) = config.maxCounterPerApidSuffixConfig.apidSuffixAndMaxCounter->select(x : ApidSuffixAndMaxCounter | x.apidSuffix = self.packetPrimaryHeader.apidPcat) &#xD;
1216in &#xD;
1217&#xD;
1218config.rtStpsConfig.xsveRtStps.missionName = 'S2A' &#xD;
1219and &#xD;
1220self.packetDataField.oclIsTypeOf(IdlePacketDataField) = false &#xD;
1221 &#xD;
1222implies &#xD;
1223&#xD;
1224counterWrapValue->size() = 1 &#xD;
1225&#xD;
1226and &#xD;
1227&#xD;
1228self.packetPrimaryHeader.sequenceCount.intValue &lt;= counterWrapValue->asOrderedSet()->first().maxSscCounterValue&#xD;
1229</body>
1230 </specification>
1231 </ownedRule>
1232 <ownedRule xmi:id="_RvolAVVUEeWRIqLs5_0Tzg" name="input_idleIspMarker" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg">
1233 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolAlVUEeWRIqLs5_0Tzg">
1234 <language>OCL</language>
1235 <body>let transmissionData : TransmissionData = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, &#xD;
1236rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps &#xD;
1237in &#xD;
1238&#xD;
1239self.packetPrimaryHeader->notEmpty() &#xD;
1240and &#xD;
1241self.packetPrimaryHeader.apidPid = rtStpsConfig.idleApid.apidPid and self.packetPrimaryHeader.apidPcat = rtStpsConfig.idleApid.apidPcat &#xD;
1242&#xD;
1243and&#xD;
1244&#xD;
1245self.packetDataField.oclIsTypeOf(IdlePacketDataField) &#xD;
1246&#xD;
1247and &#xD;
1248&#xD;
1249self.packetPrimaryHeader.versionNumber.intValue = 0 &#xD;
1250and self.packetPrimaryHeader.type.intValue = 0 &#xD;
1251and self.packetPrimaryHeader.shf.intValue = 0 &#xD;
1252and self.packetPrimaryHeader.sequenceFlags.intValue = 3 &#xD;
1253and self.packetPrimaryHeader.sequenceCount.intValue = 0 &#xD;
1254and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(1).intValue = 85&#xD;
1255and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(2).intValue = 85&#xD;
1256and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(3).intValue = 85&#xD;
1257and self.packetDataField.oclAsType(IdlePacketDataField).idleDataArray.byte->at(4).intValue = 85&#xD;
1258</body>
1259 </specification>
1260 </ownedRule>
1261 <ownedRule xmi:id="_RvolA1VUEeWRIqLs5_0Tzg" name="input_packetSequenceControlSourceSequenceCount" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg">
1262 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolBFVUEeWRIqLs5_0Tzg">
1263 <language>OCL</language>
1264 <body>let &#xD;
1265 ispSequenceCount : Integer = self.packetPrimaryHeader.sequenceCount.intValue, &#xD;
1266 prevIsp : Isp = self.prevOnChannelOfSameApid, &#xD;
1267 prevSequenceCount : Integer = prevIsp.packetPrimaryHeader.sequenceCount.intValue, &#xD;
1268 config : Configuration = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration, &#xD;
1269 apidCountWrapList : Set(ApidSuffixAndMaxCounter) = config.maxCounterPerApidSuffixConfig.apidSuffixAndMaxCounter, &#xD;
1270 maxSscCounterValue : Integer = apidCountWrapList->select(i : ApidSuffixAndMaxCounter | i.apidSuffix = prevIsp.packetPrimaryHeader.apidPcat)->asOrderedSet()->first().maxSscCounterValue &#xD;
1271in &#xD;
1272&#xD;
1273not self.prevOnChannelOfSameApid->isEmpty() &#xD;
1274and &#xD;
1275(self.packetPrimaryHeader.apidPid &lt;> config.rtStpsConfig.xsveRtStps.idleApid.apidPid or self.packetPrimaryHeader.apidPcat &lt;>config.rtStpsConfig.xsveRtStps.idleApid.apidPcat)&#xD;
1276&#xD;
1277implies &#xD;
1278&#xD;
1279if config.rtStpsConfig.xsveRtStps.missionName = 'S2A' &#xD;
1280 then &#xD;
1281 if prevSequenceCount &lt; maxSscCounterValue &#xD;
1282 then ispSequenceCount = prevSequenceCount + 1 &#xD;
1283 else prevSequenceCount = maxSscCounterValue and ispSequenceCount = 0 &#xD;
1284 endif &#xD;
1285else &#xD;
1286 if prevSequenceCount &lt; 16383 &#xD;
1287 then ispSequenceCount = prevSequenceCount + 1 &#xD;
1288 else prevSequenceCount = 16383 and ispSequenceCount = 0 &#xD;
1289 endif &#xD;
1290endif &#xD;
1291</body>
1292 </specification>
1293 </ownedRule>
1294 <ownedRule xmi:id="_RvolBVVUEeWRIqLs5_0Tzg" name="input_timeCodeCoarseTimeAndFineTime" constrainedElement="_RvokWlVUEeWRIqLs5_0Tzg">
1295 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolBlVUEeWRIqLs5_0Tzg">
1296 <language>OCL</language>
1297 <body>let &#xD;
1298 prevIsp : Isp = self.prevOnChannelOfSameApid &#xD;
1299in &#xD;
1300&#xD;
1301prevIsp.packetDataField.oclIsTypeOf(ActivePacketDataField) = true and &#xD;
1302self.packetDataField.oclIsTypeOf(ActivePacketDataField) = true and &#xD;
1303prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) = true and &#xD;
1304self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) = true &#xD;
1305&#xD;
1306implies &#xD;
1307&#xD;
1308prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue &lt; &#xD;
1309 self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue &#xD;
1310or &#xD;
1311( &#xD;
1312 prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue = &#xD;
1313 self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcCoarseTime.intValue &#xD;
1314 and &#xD;
1315 prevIsp.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcFineTime.intValue &lt;= &#xD;
1316 self.packetDataField.oclAsType(ActivePacketDataField).packetSecondaryHeader.oclAsType(SarS1DataFieldHeader).tcFineTime.intValue &#xD;
1317) &#xD;
1318</body>
1319 </specification>
1320 </ownedRule>
1321 <ownedRule xmi:id="_RvolB1VUEeWRIqLs5_0Tzg" name="input_packetAssembly" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg">
1322 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolCFVUEeWRIqLs5_0Tzg">
1323 <language>OCL</language>
1324 <body>if self.lastPacket = false then&#xD;
1325 self.isPacketComplete() = true&#xD;
1326else&#xD;
1327 true&#xD;
1328endif</body>
1329 </specification>
1330 </ownedRule>
1331 <ownedRule xmi:id="_RvolCVVUEeWRIqLs5_0Tzg" name="alloy_IsActivePacket" constrainedElement="_Rvok_VVUEeWRIqLs5_0Tzg">
1332 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolClVUEeWRIqLs5_0Tzg">
1333 <language>OCL</language>
1334 <body>(self.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid->exists(x : Apid | x.apidPid = self.packetPrimaryHeader.apidPid and x.apidPcat = self.packetPrimaryHeader.apidPcat) and self.packetDataField.oclIsTypeOf(IdlePacketDataField))&#xD;
1335or&#xD;
1336(self.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid->exists(x : Apid | x.apidPid &lt;> self.packetPrimaryHeader.apidPid or x.apidPcat &lt;> self.packetPrimaryHeader.apidPcat) and self.packetDataField.oclIsTypeOf(ActivePacketDataField))&#xD;
1337</body>
1338 </specification>
1339 </ownedRule>
1340 <ownedAttribute xmi:id="_RvolC1VUEeWRIqLs5_0Tzg" name="packetPrimaryHeader" visibility="private" type="_RvokilVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomH1VUEeWRIqLs5_0Tzg">
1341 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolDVVUEeWRIqLs5_0Tzg"/>
1342 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolDFVUEeWRIqLs5_0Tzg" value="1"/>
1343 </ownedAttribute>
1344 <ownedAttribute xmi:id="_RvolDlVUEeWRIqLs5_0Tzg" name="packetDataField" visibility="private" type="_Rvok21VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHlVUEeWRIqLs5_0Tzg">
1345 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolEFVUEeWRIqLs5_0Tzg" value="1"/>
1346 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolD1VUEeWRIqLs5_0Tzg" value="1"/>
1347 </ownedAttribute>
1348 <ownedAttribute xmi:id="_RvolEVVUEeWRIqLs5_0Tzg" name="mpduActivePacketZone" visibility="private" type="_Rvolh1VUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomIFVUEeWRIqLs5_0Tzg">
1349 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolE1VUEeWRIqLs5_0Tzg" value="1"/>
1350 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolElVUEeWRIqLs5_0Tzg" value="*"/>
1351 </ownedAttribute>
1352 <ownedAttribute xmi:id="_RvolFFVUEeWRIqLs5_0Tzg" name="prevOnChannel" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomIVVUEeWRIqLs5_0Tzg">
1353 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolFlVUEeWRIqLs5_0Tzg"/>
1354 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolFVVUEeWRIqLs5_0Tzg" value="1"/>
1355 </ownedAttribute>
1356 <ownedAttribute xmi:id="_RvolF1VUEeWRIqLs5_0Tzg" name="prevOnChannelOfSameApid" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomJVVUEeWRIqLs5_0Tzg">
1357 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolGVVUEeWRIqLs5_0Tzg"/>
1358 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolGFVUEeWRIqLs5_0Tzg" value="1"/>
1359 </ownedAttribute>
1360 <ownedAttribute xmi:id="_RvolGlVUEeWRIqLs5_0Tzg" name="completedLoading" visibility="private">
1361 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1362 </ownedAttribute>
1363 <ownedAttribute xmi:id="_RvolG1VUEeWRIqLs5_0Tzg" name="firstSpanStartIndex" visibility="private">
1364 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1365 </ownedAttribute>
1366 <ownedAttribute xmi:id="_RvolHFVUEeWRIqLs5_0Tzg" name="firstSpanLength" visibility="private">
1367 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1368 </ownedAttribute>
1369 <ownedAttribute xmi:id="_RvolHVVUEeWRIqLs5_0Tzg" name="lastPacket" visibility="private">
1370 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1371 </ownedAttribute>
1372 <ownedAttribute xmi:id="_RvolHlVUEeWRIqLs5_0Tzg" name="loadedFromStart" visibility="private">
1373 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1374 </ownedAttribute>
1375 <ownedAttribute xmi:id="_RvolH1VUEeWRIqLs5_0Tzg" name="channelDataPerVcid" visibility="private" type="_RvomYVVUEeWRIqLs5_0Tzg" association="_RvomalVUEeWRIqLs5_0Tzg">
1376 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolIVVUEeWRIqLs5_0Tzg" value="1"/>
1377 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolIFVUEeWRIqLs5_0Tzg" value="1"/>
1378 </ownedAttribute>
1379 <ownedAttribute xmi:id="_RvolIlVUEeWRIqLs5_0Tzg" name="packetTime" visibility="private">
1380 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
1381 </ownedAttribute>
1382 <ownedOperation xmi:id="_RvolI1VUEeWRIqLs5_0Tzg" name="getPacketType" bodyCondition="_RvolJFVUEeWRIqLs5_0Tzg" isQuery="true">
1383 <ownedRule xmi:id="_RvolJFVUEeWRIqLs5_0Tzg" name="getPacketType" constrainedElement="_RvolI1VUEeWRIqLs5_0Tzg">
1384 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolJVVUEeWRIqLs5_0Tzg">
1385 <language>OCL</language>
1386 <body>let transmissionData : TransmissionData = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData, &#xD;
1387 rtStpsConfig : XsveRtStps = transmissionData.configuration.rtStpsConfig.xsveRtStps&#xD;
1388in &#xD;
1389&#xD;
1390if self.packetPrimaryHeader->notEmpty() and (self.completedLoading = true)&#xD;
1391 then&#xD;
1392 if (self.packetPrimaryHeader.apidPid = rtStpsConfig.idleApid.apidPid) and (self.packetPrimaryHeader.apidPcat = rtStpsConfig.idleApid.apidPcat)&#xD;
1393 then PacketType::IDLE&#xD;
1394 else PacketType::ACTIVE&#xD;
1395 endif&#xD;
1396else PacketType::UNDEFINED&#xD;
1397endif&#xD;
1398</body>
1399 </specification>
1400 </ownedRule>
1401 <ownedParameter xmi:id="_RvolJlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojlVVUEeWRIqLs5_0Tzg" direction="return"/>
1402 </ownedOperation>
1403 <ownedOperation xmi:id="_RvolJ1VUEeWRIqLs5_0Tzg" name="getSpanNumber" bodyCondition="_RvolKFVUEeWRIqLs5_0Tzg" isQuery="true">
1404 <ownedRule xmi:id="_RvolKFVUEeWRIqLs5_0Tzg" name="getSpanNumber" constrainedElement="_RvolJ1VUEeWRIqLs5_0Tzg">
1405 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolKVVUEeWRIqLs5_0Tzg">
1406 <language>OCL</language>
1407 <body>self.mpduActivePacketZone->indexOf(packetZone)</body>
1408 </specification>
1409 </ownedRule>
1410 <ownedParameter xmi:id="_RvolKlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1411 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1412 </ownedParameter>
1413 <ownedParameter xmi:id="_RvolK1VUEeWRIqLs5_0Tzg" name="packetZone" type="_Rvolh1VUEeWRIqLs5_0Tzg"/>
1414 </ownedOperation>
1415 <ownedOperation xmi:id="_RvolLFVUEeWRIqLs5_0Tzg" name="hasPrimaryHeader" bodyCondition="_RvolLVVUEeWRIqLs5_0Tzg" isQuery="true">
1416 <ownedRule xmi:id="_RvolLVVUEeWRIqLs5_0Tzg" name="hasPrimaryHeader" constrainedElement="_RvolLFVUEeWRIqLs5_0Tzg">
1417 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolLlVUEeWRIqLs5_0Tzg">
1418 <language>OCL</language>
1419 <body>self.loadedFromStart and ((self.firstSpanLength >= 6) or self.completedLoading)</body>
1420 </specification>
1421 </ownedRule>
1422 <ownedParameter xmi:id="_RvolL1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1423 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1424 </ownedParameter>
1425 </ownedOperation>
1426 <ownedOperation xmi:id="_RvolMFVUEeWRIqLs5_0Tzg" name="isPacketComplete" bodyCondition="_RvolMVVUEeWRIqLs5_0Tzg" isQuery="true">
1427 <ownedRule xmi:id="_RvolMVVUEeWRIqLs5_0Tzg" name="isPacketComplete" constrainedElement="_RvolMFVUEeWRIqLs5_0Tzg">
1428 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolMlVUEeWRIqLs5_0Tzg">
1429 <language>OCL</language>
1430 <body>self.packetPrimaryHeader->size() > 0 and (self.packetDataField.oclIsTypeOf(IdlePacketDataField) or self.packetDataField.oclIsTypeOf(ActivePacketDataField))&#xD;
1431</body>
1432 </specification>
1433 </ownedRule>
1434 <ownedParameter xmi:id="_RvolM1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1435 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1436 </ownedParameter>
1437 </ownedOperation>
1438 <ownedOperation xmi:id="_RvolNFVUEeWRIqLs5_0Tzg" name="isTypeOfPacket" bodyCondition="_RvolNVVUEeWRIqLs5_0Tzg" isQuery="true">
1439 <ownedRule xmi:id="_RvolNVVUEeWRIqLs5_0Tzg" name="isTypeOfPacket" constrainedElement="_RvolNFVUEeWRIqLs5_0Tzg">
1440 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolNlVUEeWRIqLs5_0Tzg">
1441 <language>OCL</language>
1442 <body>self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.validApidsConfig.ispInfo->exists(x : IspInfo | &#xD;
1443 x.packetType = packetType and &#xD;
1444 x.missionName = self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.missionName and &#xD;
1445 x.apidValue->exists(y : Apid | y.apidPid = self.packetPrimaryHeader.apidPid and y.apidPcat = self.packetPrimaryHeader.apidPcat) &#xD;
1446)&#xD;
1447</body>
1448 </specification>
1449 </ownedRule>
1450 <ownedParameter xmi:id="_RvolN1VUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1451 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1452 </ownedParameter>
1453 <ownedParameter xmi:id="_RvolOFVUEeWRIqLs5_0Tzg" name="packetType" type="_RvojnFVUEeWRIqLs5_0Tzg"/>
1454 </ownedOperation>
1455 <ownedOperation xmi:id="_RvolOVVUEeWRIqLs5_0Tzg" name="getFirstSpanStartIndex" bodyCondition="_RvolOlVUEeWRIqLs5_0Tzg" isQuery="true">
1456 <ownedRule xmi:id="_RvolOlVUEeWRIqLs5_0Tzg" name="getFirstSpanStartIndex" constrainedElement="_RvolOVVUEeWRIqLs5_0Tzg">
1457 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolO1VUEeWRIqLs5_0Tzg">
1458 <language>OCL</language>
1459 <body>self.firstSpanStartIndex</body>
1460 </specification>
1461 </ownedRule>
1462 <ownedParameter xmi:id="_RvolPFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1463 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1464 </ownedParameter>
1465 </ownedOperation>
1466 <ownedOperation xmi:id="_RvolPVVUEeWRIqLs5_0Tzg" name="getPacketLength" bodyCondition="_RvolPlVUEeWRIqLs5_0Tzg" isQuery="true">
1467 <ownedRule xmi:id="_RvolPlVUEeWRIqLs5_0Tzg" name="getPacketLength" constrainedElement="_RvolPVVUEeWRIqLs5_0Tzg">
1468 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolP1VUEeWRIqLs5_0Tzg">
1469 <language>OCL</language>
1470 <body>if self.packetPrimaryHeader->size() > 0 then&#xD;
1471 self.packetPrimaryHeader.dataLength.intValue&#xD;
1472else -1&#xD;
1473endif&#xD;
1474</body>
1475 </specification>
1476 </ownedRule>
1477 <ownedParameter xmi:id="_RvolQFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1478 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1479 </ownedParameter>
1480 </ownedOperation>
1481 <ownedOperation xmi:id="_RvolQVVUEeWRIqLs5_0Tzg" name="getApidValue" bodyCondition="_RvolQlVUEeWRIqLs5_0Tzg" isQuery="true">
1482 <ownedRule xmi:id="_RvolQlVUEeWRIqLs5_0Tzg" name="getApidValue" constrainedElement="_RvolQVVUEeWRIqLs5_0Tzg">
1483 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolQ1VUEeWRIqLs5_0Tzg">
1484 <language>OCL</language>
1485 <body>if self.packetPrimaryHeader->size() >0 then&#xD;
1486 self.packetPrimaryHeader.apidPid.value.intValue * 16 + self.packetPrimaryHeader.apidPcat.value.intValue&#xD;
1487else&#xD;
1488 -1&#xD;
1489endif&#xD;
1490</body>
1491 </specification>
1492 </ownedRule>
1493 <ownedParameter xmi:id="_RvolRFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1494 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1495 </ownedParameter>
1496 </ownedOperation>
1497 <ownedOperation xmi:id="_RvolRVVUEeWRIqLs5_0Tzg" name="getIdleApidValue" bodyCondition="_RvolRlVUEeWRIqLs5_0Tzg" isQuery="true">
1498 <ownedRule xmi:id="_RvolRlVUEeWRIqLs5_0Tzg" name="getIdleApidValue" constrainedElement="_RvolRVVUEeWRIqLs5_0Tzg">
1499 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolR1VUEeWRIqLs5_0Tzg">
1500 <language>OCL</language>
1501 <body>self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid.value.intValue*16 &#xD;
1502+ self.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat.value.intValue</body>
1503 </specification>
1504 </ownedRule>
1505 <ownedParameter xmi:id="_RvolSFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1506 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1507 </ownedParameter>
1508 </ownedOperation>
1509 <ownedOperation xmi:id="_RvolSVVUEeWRIqLs5_0Tzg" name="getStartCaduIndex" bodyCondition="_RvolSlVUEeWRIqLs5_0Tzg" isQuery="true">
1510 <ownedRule xmi:id="_RvolSlVUEeWRIqLs5_0Tzg" name="getStartCaduIndex" constrainedElement="_RvolSVVUEeWRIqLs5_0Tzg">
1511 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolS1VUEeWRIqLs5_0Tzg">
1512 <language>OCL</language>
1513 <body>self.mpduActivePacketZone->first().vcdu.cadu.index</body>
1514 </specification>
1515 </ownedRule>
1516 <ownedParameter xmi:id="_RvolTFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1517 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1518 </ownedParameter>
1519 </ownedOperation>
1520 </packagedElement>
1521 <packagedElement xmi:type="uml:Class" xmi:id="_RvolTVVUEeWRIqLs5_0Tzg" name="TransmissionData">
1522 <ownedComment xmi:id="_RvolTlVUEeWRIqLs5_0Tzg">
1523 <body>X-Band System Validation Equipment (XSVE) System Input File</body>
1524 </ownedComment>
1525 <ownedRule xmi:id="_RvolT1VUEeWRIqLs5_0Tzg" name="input_channelDataExists" constrainedElement="_RvolTVVUEeWRIqLs5_0Tzg">
1526 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolUFVUEeWRIqLs5_0Tzg">
1527 <language>OCL</language>
1528 <body>self.channelData->size() > 0</body>
1529 </specification>
1530 </ownedRule>
1531 <ownedAttribute xmi:id="_RvolUVVUEeWRIqLs5_0Tzg" name="configuration" visibility="private" type="_RvojclVUEeWRIqLs5_0Tzg" association="_RvomTFVUEeWRIqLs5_0Tzg">
1532 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolU1VUEeWRIqLs5_0Tzg" value="1"/>
1533 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolUlVUEeWRIqLs5_0Tzg" value="1"/>
1534 </ownedAttribute>
1535 <ownedAttribute xmi:id="_RvolVFVUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" isOrdered="true" aggregation="composite" association="_RvomXVVUEeWRIqLs5_0Tzg">
1536 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolVlVUEeWRIqLs5_0Tzg"/>
1537 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolVVVUEeWRIqLs5_0Tzg" value="*"/>
1538 </ownedAttribute>
1539 </packagedElement>
1540 <packagedElement xmi:type="uml:Class" xmi:id="_RvolV1VUEeWRIqLs5_0Tzg" name="MpduIdlePacketZone">
1541 <generalization xmi:id="_RvolWFVUEeWRIqLs5_0Tzg" general="_Rvok4FVUEeWRIqLs5_0Tzg"/>
1542 <ownedAttribute xmi:id="_RvolWVVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1543 <ownedComment xmi:id="_RvolWlVUEeWRIqLs5_0Tzg" annotatedElement="_RvolWVVUEeWRIqLs5_0Tzg">
1544 <body>&lt;p>1902&amp;nbsp;&amp;nbsp;bytes&lt;/p></body>
1545 </ownedComment>
1546 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolXFVUEeWRIqLs5_0Tzg" value="1"/>
1547 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolW1VUEeWRIqLs5_0Tzg" value="1"/>
1548 </ownedAttribute>
1549 </packagedElement>
1550 <packagedElement xmi:type="uml:Class" xmi:id="_RvolXVVUEeWRIqLs5_0Tzg" name="PacketData">
1551 <ownedAttribute xmi:id="_RvolXlVUEeWRIqLs5_0Tzg" name="dataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1552 <ownedComment xmi:id="_RvolX1VUEeWRIqLs5_0Tzg" annotatedElement="_RvolXlVUEeWRIqLs5_0Tzg">
1553 <body>&lt;p>variable&amp;nbsp;length&amp;nbsp;byte&amp;nbsp;array&lt;/p></body>
1554 </ownedComment>
1555 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolYVVUEeWRIqLs5_0Tzg" value="1"/>
1556 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolYFVUEeWRIqLs5_0Tzg" value="1"/>
1557 </ownedAttribute>
1558 <ownedAttribute xmi:id="_RvolYlVUEeWRIqLs5_0Tzg" name="activePacketDataField" visibility="private" type="_RvomNFVUEeWRIqLs5_0Tzg" association="_RvomSlVUEeWRIqLs5_0Tzg">
1559 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolZFVUEeWRIqLs5_0Tzg" value="1"/>
1560 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolY1VUEeWRIqLs5_0Tzg" value="1"/>
1561 </ownedAttribute>
1562 </packagedElement>
1563 <packagedElement xmi:type="uml:Class" xmi:id="_RvolZVVUEeWRIqLs5_0Tzg" name="Cadu">
1564 <ownedComment xmi:id="_RvolZlVUEeWRIqLs5_0Tzg" annotatedElement="_RvolZVVUEeWRIqLs5_0Tzg">
1565 <body>&lt;p>Channel&amp;nbsp;Access&amp;nbsp;Data&amp;nbsp;Unit&lt;/p>&lt;p>2044&amp;nbsp;bytes&lt;/p></body>
1566 </ownedComment>
1567 <ownedRule xmi:id="_RvolZ1VUEeWRIqLs5_0Tzg" name="input_virtualChannelFrameCount" constrainedElement="_RvolZVVUEeWRIqLs5_0Tzg">
1568 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolaFVUEeWRIqLs5_0Tzg">
1569 <language>OCL</language>
1570 <body>let &#xD;
1571 caduFrameCount : Integer = self.vcdu.vcduHeader.virtualChannelFrameCount.intValue, &#xD;
1572 prevCaduFrameCount : Integer = self.prevOnChannel.vcdu.vcduHeader.virtualChannelFrameCount.intValue &#xD;
1573in &#xD;
1574&#xD;
1575not self.prevOnChannel->isEmpty() &#xD;
1576&#xD;
1577implies &#xD;
1578&#xD;
1579if prevCaduFrameCount &lt; 16777215 &#xD;
1580 then caduFrameCount = prevCaduFrameCount + 1 &#xD;
1581else prevCaduFrameCount = 16777215 and caduFrameCount = 0 &#xD;
1582endif&#xD;
1583</body>
1584 </specification>
1585 </ownedRule>
1586 <ownedAttribute xmi:id="_RvolaVVUEeWRIqLs5_0Tzg" name="sync" visibility="private" type="_RvokTlVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomHVVUEeWRIqLs5_0Tzg">
1587 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvola1VUEeWRIqLs5_0Tzg" value="1"/>
1588 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolalVUEeWRIqLs5_0Tzg" value="1"/>
1589 </ownedAttribute>
1590 <ownedAttribute xmi:id="_RvolbFVUEeWRIqLs5_0Tzg" name="reedSolomonCoding" visibility="private" type="_RvokaVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomKVVUEeWRIqLs5_0Tzg">
1591 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolblVUEeWRIqLs5_0Tzg" value="1"/>
1592 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolbVVUEeWRIqLs5_0Tzg" value="1"/>
1593 </ownedAttribute>
1594 <ownedAttribute xmi:id="_Rvolb1VUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomKlVUEeWRIqLs5_0Tzg">
1595 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolcVVUEeWRIqLs5_0Tzg" value="1"/>
1596 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolcFVUEeWRIqLs5_0Tzg" value="1"/>
1597 </ownedAttribute>
1598 <ownedAttribute xmi:id="_RvolclVUEeWRIqLs5_0Tzg" name="prev" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomK1VUEeWRIqLs5_0Tzg">
1599 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoldFVUEeWRIqLs5_0Tzg"/>
1600 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvolc1VUEeWRIqLs5_0Tzg" value="1"/>
1601 </ownedAttribute>
1602 <ownedAttribute xmi:id="_RvoldVVUEeWRIqLs5_0Tzg" name="prevOnChannel" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomL1VUEeWRIqLs5_0Tzg">
1603 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvold1VUEeWRIqLs5_0Tzg"/>
1604 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoldlVUEeWRIqLs5_0Tzg" value="1"/>
1605 </ownedAttribute>
1606 <ownedAttribute xmi:id="_RvoleFVUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" association="_RvomXFVUEeWRIqLs5_0Tzg">
1607 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolelVUEeWRIqLs5_0Tzg" value="1"/>
1608 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoleVVUEeWRIqLs5_0Tzg" value="1"/>
1609 </ownedAttribute>
1610 <ownedAttribute xmi:id="_Rvole1VUEeWRIqLs5_0Tzg" name="extendedCaduInfo" visibility="private" type="_Rvoma1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomcFVUEeWRIqLs5_0Tzg">
1611 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolfVVUEeWRIqLs5_0Tzg"/>
1612 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolfFVUEeWRIqLs5_0Tzg" value="1"/>
1613 </ownedAttribute>
1614 <ownedAttribute xmi:id="_RvolflVUEeWRIqLs5_0Tzg" name="index" visibility="private">
1615 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1616 </ownedAttribute>
1617 <ownedOperation xmi:id="_Rvolf1VUEeWRIqLs5_0Tzg" name="hasExtendedCadu" bodyCondition="_RvolgFVUEeWRIqLs5_0Tzg" isQuery="true">
1618 <ownedRule xmi:id="_RvolgFVUEeWRIqLs5_0Tzg" name="hasExtendedCadu" constrainedElement="_Rvolf1VUEeWRIqLs5_0Tzg">
1619 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolgVVUEeWRIqLs5_0Tzg">
1620 <language>OCL</language>
1621 <body>self.channelData.hasExtendedCadu&#xD;
1622</body>
1623 </specification>
1624 </ownedRule>
1625 <ownedParameter xmi:id="_RvolglVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1626 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1627 </ownedParameter>
1628 </ownedOperation>
1629 <ownedOperation xmi:id="_Rvolg1VUEeWRIqLs5_0Tzg" name="getCaduIndex" bodyCondition="_RvolhFVUEeWRIqLs5_0Tzg" isQuery="true">
1630 <ownedRule xmi:id="_RvolhFVUEeWRIqLs5_0Tzg" name="getCaduIndex" constrainedElement="_Rvolg1VUEeWRIqLs5_0Tzg">
1631 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolhVVUEeWRIqLs5_0Tzg">
1632 <language>OCL</language>
1633 <body>self.index</body>
1634 </specification>
1635 </ownedRule>
1636 <ownedParameter xmi:id="_RvolhlVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
1637 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
1638 </ownedParameter>
1639 </ownedOperation>
1640 </packagedElement>
1641 <packagedElement xmi:type="uml:Class" xmi:id="_Rvolh1VUEeWRIqLs5_0Tzg" name="MpduActivePacketZone">
1642 <ownedRule xmi:id="_RvoliFVUEeWRIqLs5_0Tzg" name="alloy_checkVcidAndApid" constrainedElement="_Rvolh1VUEeWRIqLs5_0Tzg">
1643 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvoliVVUEeWRIqLs5_0Tzg">
1644 <language>OCL</language>
1645 <body>self.isp->forAll(x : Isp | &#xD;
1646 self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.vcdusConfig.vcduConfig->select(y | &#xD;
1647 y.vcid = self.vcdu.vcduHeader.virtualChannelId).ispsConfig.ispConfig.apid->exists(z | &#xD;
1648 z.apidPid = x.packetPrimaryHeader.apidPid and z.apidPcat = x.packetPrimaryHeader.apidPcat)&#xD;
1649 or &#xD;
1650 (x.packetPrimaryHeader.apidPid = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPid and &#xD;
1651 x.packetPrimaryHeader.apidPcat = self.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.idleApid.apidPcat)&#xD;
1652)&#xD;
1653</body>
1654 </specification>
1655 </ownedRule>
1656 <generalization xmi:id="_RvolilVUEeWRIqLs5_0Tzg" general="_Rvok4FVUEeWRIqLs5_0Tzg"/>
1657 <ownedAttribute xmi:id="_Rvoli1VUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomIFVUEeWRIqLs5_0Tzg">
1658 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvoljVVUEeWRIqLs5_0Tzg" value="1"/>
1659 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvoljFVUEeWRIqLs5_0Tzg" value="*"/>
1660 </ownedAttribute>
1661 <ownedAttribute xmi:id="_RvoljlVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/>
1662 <ownedOperation xmi:id="_Rvolj1VUEeWRIqLs5_0Tzg" name="getStartingIsps" bodyCondition="_RvolkFVUEeWRIqLs5_0Tzg" isQuery="true">
1663 <ownedRule xmi:id="_RvolkFVUEeWRIqLs5_0Tzg" name="getStartingIsps" constrainedElement="_Rvolj1VUEeWRIqLs5_0Tzg">
1664 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvolkVVUEeWRIqLs5_0Tzg">
1665 <language>OCL</language>
1666 <body>self.isp->select(i : Isp | i.mpduActivePacketZone->at(1) = self)</body>
1667 </specification>
1668 </ownedRule>
1669 <ownedParameter xmi:id="_RvolklVUEeWRIqLs5_0Tzg" name="Parameter1" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" direction="return">
1670 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvollFVUEeWRIqLs5_0Tzg"/>
1671 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Rvolk1VUEeWRIqLs5_0Tzg" value="*"/>
1672 </ownedParameter>
1673 </ownedOperation>
1674 <ownedOperation xmi:id="_RvollVVUEeWRIqLs5_0Tzg" name="getAssociatedIsps" bodyCondition="_RvolllVUEeWRIqLs5_0Tzg" isQuery="true">
1675 <ownedRule xmi:id="_RvolllVUEeWRIqLs5_0Tzg" name="getAssociatedIsps" constrainedElement="_RvollVVUEeWRIqLs5_0Tzg">
1676 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoll1VUEeWRIqLs5_0Tzg">
1677 <language>OCL</language>
1678 <body>self.isp</body>
1679 </specification>
1680 </ownedRule>
1681 <ownedParameter xmi:id="_RvolmFVUEeWRIqLs5_0Tzg" name="Parameter1" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" direction="return">
1682 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolmlVUEeWRIqLs5_0Tzg"/>
1683 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolmVVUEeWRIqLs5_0Tzg" value="*"/>
1684 </ownedParameter>
1685 </ownedOperation>
1686 </packagedElement>
1687 <packagedElement xmi:type="uml:Class" xmi:id="_Rvolm1VUEeWRIqLs5_0Tzg" name="MpduHeader" isAbstract="true">
1688 <ownedAttribute xmi:id="_RvolnFVUEeWRIqLs5_0Tzg" name="vcdu" visibility="private" type="_RvokDVVUEeWRIqLs5_0Tzg" association="_RvomM1VUEeWRIqLs5_0Tzg">
1689 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvolnlVUEeWRIqLs5_0Tzg" value="1"/>
1690 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvolnVVUEeWRIqLs5_0Tzg" value="1"/>
1691 </ownedAttribute>
1692 </packagedElement>
1693 <packagedElement xmi:type="uml:Class" xmi:id="_Rvoln1VUEeWRIqLs5_0Tzg" name="MsiS2DataFieldHeader">
1694 <generalization xmi:id="_RvoloFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1695 <ownedAttribute xmi:id="_RvoloVVUEeWRIqLs5_0Tzg" name="startTimeCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1696 <ownedAttribute xmi:id="_RvololVUEeWRIqLs5_0Tzg" name="startTimeFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1697 <ownedAttribute xmi:id="_Rvolo1VUEeWRIqLs5_0Tzg" name="timeCorrectionValue" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1698 <ownedAttribute xmi:id="_RvolpFVUEeWRIqLs5_0Tzg" name="syncStatusValidity" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1699 <ownedAttribute xmi:id="_RvolpVVUEeWRIqLs5_0Tzg" name="syncStatusFlag" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1700 <ownedAttribute xmi:id="_RvolplVUEeWRIqLs5_0Tzg" name="systemOperationMode" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1701 <ownedAttribute xmi:id="_Rvolp1VUEeWRIqLs5_0Tzg" name="compressionStatus" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1702 </packagedElement>
1703 <packagedElement xmi:type="uml:Class" xmi:id="_RvolqFVUEeWRIqLs5_0Tzg" name="TmGpsrS2DataFieldHeader">
1704 <generalization xmi:id="_RvolqVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1705 <ownedAttribute xmi:id="_RvolqlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1706 <ownedAttribute xmi:id="_Rvolq1VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1707 <ownedAttribute xmi:id="_RvolrFVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1708 <ownedAttribute xmi:id="_RvolrVVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1709 <ownedAttribute xmi:id="_RvolrlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1710 <ownedAttribute xmi:id="_Rvolr1VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1711 <ownedAttribute xmi:id="_RvolsFVUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1712 <ownedAttribute xmi:id="_RvolsVVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1713 <ownedAttribute xmi:id="_RvolslVUEeWRIqLs5_0Tzg" name="tfUndefinedA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1714 </packagedElement>
1715 <packagedElement xmi:type="uml:Class" xmi:id="_Rvols1VUEeWRIqLs5_0Tzg" name="TmStrS2DataFieldHeader">
1716 <generalization xmi:id="_RvoltFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1717 <ownedAttribute xmi:id="_RvoltVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1718 <ownedAttribute xmi:id="_RvoltlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1719 <ownedAttribute xmi:id="_Rvolt1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1720 <ownedAttribute xmi:id="_RvoluFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1721 <ownedAttribute xmi:id="_RvoluVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1722 <ownedAttribute xmi:id="_RvolulVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1723 <ownedAttribute xmi:id="_Rvolu1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1724 <ownedAttribute xmi:id="_RvolvFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1725 <ownedAttribute xmi:id="_RvolvVVUEeWRIqLs5_0Tzg" name="syncA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1726 <ownedAttribute xmi:id="_RvolvlVUEeWRIqLs5_0Tzg" name="syncB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1727 </packagedElement>
1728 <packagedElement xmi:type="uml:Class" xmi:id="_Rvolv1VUEeWRIqLs5_0Tzg" name="TmCswS2DataFieldHeader">
1729 <generalization xmi:id="_RvolwFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1730 <ownedAttribute xmi:id="_RvolwVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1731 <ownedAttribute xmi:id="_RvolwlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1732 <ownedAttribute xmi:id="_Rvolw1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1733 <ownedAttribute xmi:id="_RvolxFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1734 <ownedAttribute xmi:id="_RvolxVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1735 <ownedAttribute xmi:id="_RvolxlVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1736 <ownedAttribute xmi:id="_Rvolx1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1737 <ownedAttribute xmi:id="_RvolyFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1738 <ownedAttribute xmi:id="_RvolyVVUEeWRIqLs5_0Tzg" name="syncA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1739 <ownedAttribute xmi:id="_RvolylVUEeWRIqLs5_0Tzg" name="syncB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1740 </packagedElement>
1741 <packagedElement xmi:type="uml:Class" xmi:id="_Rvoly1VUEeWRIqLs5_0Tzg" name="OlciS3DataFieldHeader">
1742 <generalization xmi:id="_RvolzFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1743 <ownedAttribute xmi:id="_RvolzVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1744 <ownedAttribute xmi:id="_RvolzlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1745 <ownedAttribute xmi:id="_Rvolz1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1746 <ownedAttribute xmi:id="_Rvol0FVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1747 <ownedAttribute xmi:id="_Rvol0VVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1748 <ownedAttribute xmi:id="_Rvol0lVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1749 <ownedAttribute xmi:id="_Rvol01VUEeWRIqLs5_0Tzg" name="tfScienceTimeMsp" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1750 <ownedAttribute xmi:id="_Rvol1FVUEeWRIqLs5_0Tzg" name="tfScienceTimeLsp" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1751 <ownedAttribute xmi:id="_Rvol1VVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1752 </packagedElement>
1753 <packagedElement xmi:type="uml:Class" xmi:id="_Rvol1lVUEeWRIqLs5_0Tzg" name="SlstrS3DataFieldHeader">
1754 <generalization xmi:id="_Rvol11VUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1755 <ownedAttribute xmi:id="_Rvol2FVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1756 <ownedAttribute xmi:id="_Rvol2VVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1757 <ownedAttribute xmi:id="_Rvol2lVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1758 <ownedAttribute xmi:id="_Rvol21VUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1759 <ownedAttribute xmi:id="_Rvol3FVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1760 <ownedAttribute xmi:id="_Rvol3VVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1761 <ownedAttribute xmi:id="_Rvol3lVUEeWRIqLs5_0Tzg" name="tfTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1762 <ownedAttribute xmi:id="_Rvol31VUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1763 </packagedElement>
1764 <packagedElement xmi:type="uml:Class" xmi:id="_Rvol4FVUEeWRIqLs5_0Tzg" name="DorisS3DateFieldHeader">
1765 <generalization xmi:id="_Rvol4VVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1766 <ownedAttribute xmi:id="_Rvol4lVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1767 <ownedAttribute xmi:id="_Rvol41VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1768 <ownedAttribute xmi:id="_Rvol5FVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1769 <ownedAttribute xmi:id="_Rvol5VVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1770 <ownedAttribute xmi:id="_Rvol5lVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1771 <ownedAttribute xmi:id="_Rvol51VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1772 <ownedAttribute xmi:id="_Rvol6FVUEeWRIqLs5_0Tzg" name="tfTime" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1773 <ownedAttribute xmi:id="_Rvol6VVUEeWRIqLs5_0Tzg" name="spare" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1774 </packagedElement>
1775 <packagedElement xmi:type="uml:Class" xmi:id="_Rvol6lVUEeWRIqLs5_0Tzg" name="TmNavattS3DataFieldHeader">
1776 <generalization xmi:id="_Rvol61VUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1777 <ownedAttribute xmi:id="_Rvol7FVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1778 <ownedAttribute xmi:id="_Rvol7VVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1779 <ownedAttribute xmi:id="_Rvol7lVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1780 <ownedAttribute xmi:id="_Rvol71VUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1781 <ownedAttribute xmi:id="_Rvol8FVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1782 <ownedAttribute xmi:id="_Rvol8VVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1783 <ownedAttribute xmi:id="_Rvol8lVUEeWRIqLs5_0Tzg" name="tfCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1784 <ownedAttribute xmi:id="_Rvol81VUEeWRIqLs5_0Tzg" name="tfFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1785 <ownedAttribute xmi:id="_Rvol9FVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1786 </packagedElement>
1787 <packagedElement xmi:type="uml:Class" xmi:id="_Rvol9VVUEeWRIqLs5_0Tzg" name="MwrS3DataFieldHeader">
1788 <generalization xmi:id="_Rvol9lVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1789 <ownedAttribute xmi:id="_Rvol91VUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1790 <ownedAttribute xmi:id="_Rvol-FVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1791 <ownedAttribute xmi:id="_Rvol-VVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1792 <ownedAttribute xmi:id="_Rvol-lVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1793 <ownedAttribute xmi:id="_Rvol-1VUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1794 <ownedAttribute xmi:id="_Rvol_FVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1795 <ownedAttribute xmi:id="_Rvol_VVUEeWRIqLs5_0Tzg" name="tfOverSecond" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1796 <ownedAttribute xmi:id="_Rvol_lVUEeWRIqLs5_0Tzg" name="tfSubSecond" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1797 <ownedAttribute xmi:id="_Rvol_1VUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1798 </packagedElement>
1799 <packagedElement xmi:type="uml:Class" xmi:id="_RvomAFVUEeWRIqLs5_0Tzg" name="SralS3DataFieldHeader">
1800 <generalization xmi:id="_RvomAVVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1801 <ownedAttribute xmi:id="_RvomAlVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1802 <ownedAttribute xmi:id="_RvomA1VUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1803 <ownedAttribute xmi:id="_RvomBFVUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1804 <ownedAttribute xmi:id="_RvomBVVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1805 <ownedAttribute xmi:id="_RvomBlVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1806 <ownedAttribute xmi:id="_RvomB1VUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1807 <ownedAttribute xmi:id="_RvomCFVUEeWRIqLs5_0Tzg" name="tfCoarse" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1808 <ownedAttribute xmi:id="_RvomCVVUEeWRIqLs5_0Tzg" name="tfFine" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1809 <ownedAttribute xmi:id="_RvomClVUEeWRIqLs5_0Tzg" name="tfStat" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1810 </packagedElement>
1811 <packagedElement xmi:type="uml:Class" xmi:id="_RvomC1VUEeWRIqLs5_0Tzg" name="TmGpsrS3DataFieldHeader">
1812 <generalization xmi:id="_RvomDFVUEeWRIqLs5_0Tzg" general="_Rvokf1VUEeWRIqLs5_0Tzg"/>
1813 <ownedAttribute xmi:id="_RvomDVVUEeWRIqLs5_0Tzg" name="fillerA" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1814 <ownedAttribute xmi:id="_RvomDlVUEeWRIqLs5_0Tzg" name="version" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1815 <ownedAttribute xmi:id="_RvomD1VUEeWRIqLs5_0Tzg" name="fillerB" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1816 <ownedAttribute xmi:id="_RvomEFVUEeWRIqLs5_0Tzg" name="type" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1817 <ownedAttribute xmi:id="_RvomEVVUEeWRIqLs5_0Tzg" name="subtype" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1818 <ownedAttribute xmi:id="_RvomElVUEeWRIqLs5_0Tzg" name="destinationId" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1819 <ownedAttribute xmi:id="_RvomE1VUEeWRIqLs5_0Tzg" name="tfSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1820 <ownedAttribute xmi:id="_RvomFFVUEeWRIqLs5_0Tzg" name="tfSubSeconds" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1821 <ownedAttribute xmi:id="_RvomFVVUEeWRIqLs5_0Tzg" name="tfBlank" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
1822 </packagedElement>
1823 <packagedElement xmi:type="uml:Class" xmi:id="_RvomFlVUEeWRIqLs5_0Tzg" name="IdlePacketDataField">
1824 <generalization xmi:id="_RvomF1VUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/>
1825 <ownedAttribute xmi:id="_RvomGFVUEeWRIqLs5_0Tzg" name="idleDataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg">
1826 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomGlVUEeWRIqLs5_0Tzg" value="1"/>
1827 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomGVVUEeWRIqLs5_0Tzg" value="1"/>
1828 </ownedAttribute>
1829 </packagedElement>
1830 <packagedElement xmi:type="uml:Association" xmi:id="_RvomG1VUEeWRIqLs5_0Tzg" memberEnd="_Rvoj9VVUEeWRIqLs5_0Tzg _RvokFlVUEeWRIqLs5_0Tzg"/>
1831 <packagedElement xmi:type="uml:Association" xmi:id="_RvomHFVUEeWRIqLs5_0Tzg" memberEnd="_Rvok4lVUEeWRIqLs5_0Tzg _RvokE1VUEeWRIqLs5_0Tzg"/>
1832 <packagedElement xmi:type="uml:Association" xmi:id="_RvomHVVUEeWRIqLs5_0Tzg" memberEnd="_RvokV1VUEeWRIqLs5_0Tzg _RvolaVVUEeWRIqLs5_0Tzg"/>
1833 <packagedElement xmi:type="uml:Association" xmi:id="_RvomHlVUEeWRIqLs5_0Tzg" memberEnd="_Rvok3VVUEeWRIqLs5_0Tzg _RvolDlVUEeWRIqLs5_0Tzg"/>
1834 <packagedElement xmi:type="uml:Association" xmi:id="_RvomH1VUEeWRIqLs5_0Tzg" memberEnd="_RvokuVVUEeWRIqLs5_0Tzg _RvolC1VUEeWRIqLs5_0Tzg"/>
1835 <packagedElement xmi:type="uml:Association" xmi:id="_RvomIFVUEeWRIqLs5_0Tzg" memberEnd="_RvolEVVUEeWRIqLs5_0Tzg _Rvoli1VUEeWRIqLs5_0Tzg"/>
1836 <packagedElement xmi:type="uml:Association" xmi:id="_RvomIVVUEeWRIqLs5_0Tzg" memberEnd="_RvolFFVUEeWRIqLs5_0Tzg _RvomIlVUEeWRIqLs5_0Tzg">
1837 <ownedEnd xmi:id="_RvomIlVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomIVVUEeWRIqLs5_0Tzg">
1838 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomJFVUEeWRIqLs5_0Tzg" value="1"/>
1839 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomI1VUEeWRIqLs5_0Tzg" value="1"/>
1840 </ownedEnd>
1841 </packagedElement>
1842 <packagedElement xmi:type="uml:Association" xmi:id="_RvomJVVUEeWRIqLs5_0Tzg" memberEnd="_RvolF1VUEeWRIqLs5_0Tzg _RvomJlVUEeWRIqLs5_0Tzg">
1843 <ownedEnd xmi:id="_RvomJlVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" association="_RvomJVVUEeWRIqLs5_0Tzg">
1844 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomKFVUEeWRIqLs5_0Tzg" value="1"/>
1845 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomJ1VUEeWRIqLs5_0Tzg" value="1"/>
1846 </ownedEnd>
1847 </packagedElement>
1848 <packagedElement xmi:type="uml:Association" xmi:id="_RvomKVVUEeWRIqLs5_0Tzg" memberEnd="_RvokdFVUEeWRIqLs5_0Tzg _RvolbFVUEeWRIqLs5_0Tzg"/>
1849 <packagedElement xmi:type="uml:Association" xmi:id="_RvomKlVUEeWRIqLs5_0Tzg" memberEnd="_RvokGVVUEeWRIqLs5_0Tzg _Rvolb1VUEeWRIqLs5_0Tzg"/>
1850 <packagedElement xmi:type="uml:Association" xmi:id="_RvomK1VUEeWRIqLs5_0Tzg" memberEnd="_RvolclVUEeWRIqLs5_0Tzg _RvomLFVUEeWRIqLs5_0Tzg">
1851 <ownedEnd xmi:id="_RvomLFVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomK1VUEeWRIqLs5_0Tzg">
1852 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomLlVUEeWRIqLs5_0Tzg" value="1"/>
1853 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomLVVUEeWRIqLs5_0Tzg" value="1"/>
1854 </ownedEnd>
1855 </packagedElement>
1856 <packagedElement xmi:type="uml:Association" xmi:id="_RvomL1VUEeWRIqLs5_0Tzg" memberEnd="_RvoldVVUEeWRIqLs5_0Tzg _RvomMFVUEeWRIqLs5_0Tzg">
1857 <ownedEnd xmi:id="_RvomMFVUEeWRIqLs5_0Tzg" name="" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomL1VUEeWRIqLs5_0Tzg">
1858 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomMlVUEeWRIqLs5_0Tzg" value="1"/>
1859 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomMVVUEeWRIqLs5_0Tzg" value="1"/>
1860 </ownedEnd>
1861 </packagedElement>
1862 <packagedElement xmi:type="uml:Association" xmi:id="_RvomM1VUEeWRIqLs5_0Tzg" memberEnd="_RvolnFVUEeWRIqLs5_0Tzg _RvokHFVUEeWRIqLs5_0Tzg"/>
1863 <packagedElement xmi:type="uml:Class" xmi:id="_RvomNFVUEeWRIqLs5_0Tzg" name="ActivePacketDataField">
1864 <ownedRule xmi:id="_RvomNVVUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderConsistent" constrainedElement="_RvomNFVUEeWRIqLs5_0Tzg">
1865 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomNlVUEeWRIqLs5_0Tzg">
1866 <language>OCL</language>
1867 <body>self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel1)&#xD;
1868 and (self.packetSecondaryHeader.oclIsTypeOf(SarS1DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS1DataFieldHeader))&#xD;
1869or&#xD;
1870self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel2)&#xD;
1871 and (self.packetSecondaryHeader.oclIsTypeOf(MsiS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmStrS2DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmCswS2DataFieldHeader))&#xD;
1872or&#xD;
1873self.isp.mpduActivePacketZone.vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps->exists(x: XsveRtStps | x.missionName = MissionName::Sentinel3)&#xD;
1874 and (self.packetSecondaryHeader.oclIsTypeOf(OlciS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(DorisS3DateFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(MwrS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmGpsrS3DataFieldHeader) or&#xD;
1875 self.packetSecondaryHeader.oclIsTypeOf(SlstrS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(TmNavattS3DataFieldHeader) or self.packetSecondaryHeader.oclIsTypeOf(SralS3DataFieldHeader) )&#xD;
1876</body>
1877 </specification>
1878 </ownedRule>
1879 <ownedRule xmi:id="_RvomN1VUEeWRIqLs5_0Tzg" name="alloy_isSecondaryHeaderConsistent2" constrainedElement="_RvomNFVUEeWRIqLs5_0Tzg">
1880 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomOFVUEeWRIqLs5_0Tzg">
1881 <language>OCL</language>
1882 <body>if self.isp.mpduActivePacketZone->first().vcdu.cadu.channelData.transmissionData.configuration.rtStpsConfig.xsveRtStps.extendedCadu&#xD;
1883 then true&#xD;
1884else false&#xD;
1885endif&#xD;
1886&#xD;
1887&#xD;
1888--SarS1DataFieldHeader&#xD;
1889--TmGpsrS1DataFieldHeader&#xD;
1890-- MsiS2DataFieldHeader&#xD;
1891--TmGpsrS2DataFiefldHeader&#xD;
1892--TmStrS2DataFieldHeader&#xD;
1893--TmCswS2DataFieldHeader&#xD;
1894</body>
1895 </specification>
1896 </ownedRule>
1897 <generalization xmi:id="_RvomOVVUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/>
1898 <ownedAttribute xmi:id="_RvomOlVUEeWRIqLs5_0Tzg" name="packetSecondaryHeader" visibility="private" type="_Rvokf1VUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomSVVUEeWRIqLs5_0Tzg">
1899 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomPFVUEeWRIqLs5_0Tzg"/>
1900 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomO1VUEeWRIqLs5_0Tzg" value="1"/>
1901 </ownedAttribute>
1902 <ownedAttribute xmi:id="_RvomPVVUEeWRIqLs5_0Tzg" name="packetData" visibility="private" type="_RvolXVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomSlVUEeWRIqLs5_0Tzg">
1903 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomP1VUEeWRIqLs5_0Tzg" value="1"/>
1904 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomPlVUEeWRIqLs5_0Tzg" value="1"/>
1905 </ownedAttribute>
1906 <ownedAttribute xmi:id="_RvomQFVUEeWRIqLs5_0Tzg" name="packetErrorControl" visibility="private" type="_RvokvVVUEeWRIqLs5_0Tzg" aggregation="composite" association="_RvomS1VUEeWRIqLs5_0Tzg">
1907 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomQlVUEeWRIqLs5_0Tzg" value="1"/>
1908 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomQVVUEeWRIqLs5_0Tzg" value="1"/>
1909 </ownedAttribute>
1910 <ownedOperation xmi:id="_RvomQ1VUEeWRIqLs5_0Tzg" name="getActivePacketType" bodyCondition="_RvomRFVUEeWRIqLs5_0Tzg" isQuery="true">
1911 <ownedRule xmi:id="_RvomRFVUEeWRIqLs5_0Tzg" name="getActivePacketType" constrainedElement="_RvomQ1VUEeWRIqLs5_0Tzg">
1912 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomRVVUEeWRIqLs5_0Tzg">
1913 <language>OCL</language>
1914 <body>let &#xD;
1915 setOfEnums : Set(IspPacketTypes) = IspPacketTypes.allInstances() &#xD;
1916in &#xD;
1917&#xD;
1918if self.isp.packetPrimaryHeader->notEmpty() then &#xD;
1919 if setOfEnums->select(i : IspPacketTypes | self.isp.isTypeOfPacket(i))->asOrderedSet()->notEmpty() then &#xD;
1920 setOfEnums->select(i : IspPacketTypes | self.isp.isTypeOfPacket(i))->asOrderedSet()->first() &#xD;
1921 else IspPacketTypes::UNDEFINED &#xD;
1922 endif &#xD;
1923else IspPacketTypes::UNDEFINED &#xD;
1924endif&#xD;
1925</body>
1926 </specification>
1927 </ownedRule>
1928 <ownedParameter xmi:id="_RvomRlVUEeWRIqLs5_0Tzg" name="Parameter1" type="_RvojnFVUEeWRIqLs5_0Tzg" direction="return">
1929 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomSFVUEeWRIqLs5_0Tzg" value="1"/>
1930 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomR1VUEeWRIqLs5_0Tzg" value="1"/>
1931 </ownedParameter>
1932 </ownedOperation>
1933 </packagedElement>
1934 <packagedElement xmi:type="uml:Association" xmi:id="_RvomSVVUEeWRIqLs5_0Tzg" memberEnd="_RvomOlVUEeWRIqLs5_0Tzg _Rvokh1VUEeWRIqLs5_0Tzg"/>
1935 <packagedElement xmi:type="uml:Association" xmi:id="_RvomSlVUEeWRIqLs5_0Tzg" memberEnd="_RvomPVVUEeWRIqLs5_0Tzg _RvolYlVUEeWRIqLs5_0Tzg"/>
1936 <packagedElement xmi:type="uml:Association" xmi:id="_RvomS1VUEeWRIqLs5_0Tzg" memberEnd="_RvomQFVUEeWRIqLs5_0Tzg _RvokyFVUEeWRIqLs5_0Tzg"/>
1937 <packagedElement xmi:type="uml:Association" xmi:id="_RvomTFVUEeWRIqLs5_0Tzg" memberEnd="_RvolUVVUEeWRIqLs5_0Tzg _Rvojc1VUEeWRIqLs5_0Tzg"/>
1938 <packagedElement xmi:type="uml:Class" xmi:id="_RvomTVVUEeWRIqLs5_0Tzg" name="ChannelData">
1939 <ownedComment xmi:id="_RvomTlVUEeWRIqLs5_0Tzg" annotatedElement="_RvomTVVUEeWRIqLs5_0Tzg">
1940 <body>&lt;p>For&amp;nbsp;each&amp;nbsp;physical&amp;nbsp;channel&amp;nbsp;of&amp;nbsp;the&amp;nbsp;satellite.&lt;/p></body>
1941 </ownedComment>
1942 <ownedRule xmi:id="_RvomT1VUEeWRIqLs5_0Tzg" name="input_caduDataExists" constrainedElement="_RvomTVVUEeWRIqLs5_0Tzg">
1943 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomUFVUEeWRIqLs5_0Tzg">
1944 <language>OCL</language>
1945 <body>self.cadu->size() > 0</body>
1946 </specification>
1947 </ownedRule>
1948 <ownedAttribute xmi:id="_RvomUVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" isOrdered="true" aggregation="composite" association="_RvomXFVUEeWRIqLs5_0Tzg">
1949 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomU1VUEeWRIqLs5_0Tzg"/>
1950 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomUlVUEeWRIqLs5_0Tzg" value="*"/>
1951 </ownedAttribute>
1952 <ownedAttribute xmi:id="_RvomVFVUEeWRIqLs5_0Tzg" name="transmissionData" visibility="private" type="_RvolTVVUEeWRIqLs5_0Tzg" association="_RvomXVVUEeWRIqLs5_0Tzg">
1953 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomVlVUEeWRIqLs5_0Tzg" value="1"/>
1954 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomVVVUEeWRIqLs5_0Tzg" value="1"/>
1955 </ownedAttribute>
1956 <ownedAttribute xmi:id="_RvomV1VUEeWRIqLs5_0Tzg" name="channelDataPerVcid" visibility="private" type="_RvomYVVUEeWRIqLs5_0Tzg" association="_RvomaVVUEeWRIqLs5_0Tzg">
1957 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomWVVUEeWRIqLs5_0Tzg" value="1"/>
1958 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomWFVUEeWRIqLs5_0Tzg" value="1"/>
1959 </ownedAttribute>
1960 <ownedAttribute xmi:id="_RvomWlVUEeWRIqLs5_0Tzg" name="hasExtendedCadu" visibility="private">
1961 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1962 </ownedAttribute>
1963 <ownedAttribute xmi:id="_RvomW1VUEeWRIqLs5_0Tzg" name="caduHeaderIncludesMpdu" visibility="private">
1964 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
1965 </ownedAttribute>
1966 </packagedElement>
1967 <packagedElement xmi:type="uml:Association" xmi:id="_RvomXFVUEeWRIqLs5_0Tzg" memberEnd="_RvomUVVUEeWRIqLs5_0Tzg _RvoleFVUEeWRIqLs5_0Tzg"/>
1968 <packagedElement xmi:type="uml:Association" xmi:id="_RvomXVVUEeWRIqLs5_0Tzg" memberEnd="_RvolVFVUEeWRIqLs5_0Tzg _RvomVFVUEeWRIqLs5_0Tzg"/>
1969 <packagedElement xmi:type="uml:Class" xmi:id="_RvomXlVUEeWRIqLs5_0Tzg" name="FragmentPacketDataField">
1970 <generalization xmi:id="_RvomX1VUEeWRIqLs5_0Tzg" general="_Rvok21VUEeWRIqLs5_0Tzg"/>
1971 <ownedAttribute xmi:id="_RvomYFVUEeWRIqLs5_0Tzg" name="dataArray" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/>
1972 </packagedElement>
1973 <packagedElement xmi:type="uml:Class" xmi:id="_RvomYVVUEeWRIqLs5_0Tzg" name="ChannelDataPerVcid">
1974 <ownedAttribute xmi:id="_RvomYlVUEeWRIqLs5_0Tzg" name="virtualChannelId" visibility="private" type="_RvomoVVUEeWRIqLs5_0Tzg"/>
1975 <ownedAttribute xmi:id="_RvomY1VUEeWRIqLs5_0Tzg" name="channelData" visibility="private" type="_RvomTVVUEeWRIqLs5_0Tzg" association="_RvomaVVUEeWRIqLs5_0Tzg">
1976 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomZVVUEeWRIqLs5_0Tzg" value="1"/>
1977 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomZFVUEeWRIqLs5_0Tzg" value="*"/>
1978 </ownedAttribute>
1979 <ownedAttribute xmi:id="_RvomZlVUEeWRIqLs5_0Tzg" name="isp" visibility="private" type="_Rvok_VVUEeWRIqLs5_0Tzg" isOrdered="true" association="_RvomalVUEeWRIqLs5_0Tzg">
1980 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_RvomaFVUEeWRIqLs5_0Tzg" value="1"/>
1981 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomZ1VUEeWRIqLs5_0Tzg" value="*"/>
1982 </ownedAttribute>
1983 </packagedElement>
1984 <packagedElement xmi:type="uml:Association" xmi:id="_RvomaVVUEeWRIqLs5_0Tzg" memberEnd="_RvomV1VUEeWRIqLs5_0Tzg _RvomY1VUEeWRIqLs5_0Tzg"/>
1985 <packagedElement xmi:type="uml:Association" xmi:id="_RvomalVUEeWRIqLs5_0Tzg" memberEnd="_RvolH1VUEeWRIqLs5_0Tzg _RvomZlVUEeWRIqLs5_0Tzg"/>
1986 <packagedElement xmi:type="uml:Class" xmi:id="_Rvoma1VUEeWRIqLs5_0Tzg" name="ExtendedCaduInfo">
1987 <ownedAttribute xmi:id="_RvombFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojhVVUEeWRIqLs5_0Tzg"/>
1988 <ownedAttribute xmi:id="_RvombVVUEeWRIqLs5_0Tzg" name="cadu" visibility="private" type="_RvolZVVUEeWRIqLs5_0Tzg" association="_RvomcFVUEeWRIqLs5_0Tzg">
1989 <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Rvomb1VUEeWRIqLs5_0Tzg" value="1"/>
1990 <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_RvomblVUEeWRIqLs5_0Tzg" value="1"/>
1991 </ownedAttribute>
1992 </packagedElement>
1993 <packagedElement xmi:type="uml:Association" xmi:id="_RvomcFVUEeWRIqLs5_0Tzg" memberEnd="_RvombVVUEeWRIqLs5_0Tzg _Rvole1VUEeWRIqLs5_0Tzg"/>
1994 <packagedElement xmi:type="uml:Association" xmi:id="_RvomcVVUEeWRIqLs5_0Tzg" memberEnd="_RvojeVVUEeWRIqLs5_0Tzg _RvojOFVUEeWRIqLs5_0Tzg"/>
1995 <packagedElement xmi:type="uml:Association" xmi:id="_RvomclVUEeWRIqLs5_0Tzg" memberEnd="_RvojdlVUEeWRIqLs5_0Tzg _RvojSVVUEeWRIqLs5_0Tzg"/>
1996 <packagedElement xmi:type="uml:Association" xmi:id="_Rvomc1VUEeWRIqLs5_0Tzg" memberEnd="_RvojfFVUEeWRIqLs5_0Tzg _RvojP1VUEeWRIqLs5_0Tzg"/>
1997 <packagedElement xmi:type="uml:Association" xmi:id="_RvomdFVUEeWRIqLs5_0Tzg" memberEnd="_RvojblVUEeWRIqLs5_0Tzg _RvojUFVUEeWRIqLs5_0Tzg"/>
1998 <packagedElement xmi:type="uml:Association" xmi:id="_RvomdVVUEeWRIqLs5_0Tzg" memberEnd="_RvojTVVUEeWRIqLs5_0Tzg _RvojNFVUEeWRIqLs5_0Tzg"/>
1999 <packagedElement xmi:type="uml:Association" xmi:id="_RvomdlVUEeWRIqLs5_0Tzg" memberEnd="_RvojRlVUEeWRIqLs5_0Tzg _RvojglVUEeWRIqLs5_0Tzg"/>
2000 <packagedElement xmi:type="uml:Association" xmi:id="_Rvomd1VUEeWRIqLs5_0Tzg" memberEnd="_RvojQlVUEeWRIqLs5_0Tzg _RvojH1VUEeWRIqLs5_0Tzg"/>
2001 <packagedElement xmi:type="uml:Association" xmi:id="_RvomeFVUEeWRIqLs5_0Tzg" memberEnd="_RvojO1VUEeWRIqLs5_0Tzg _RvojZFVUEeWRIqLs5_0Tzg"/>
2002 <packagedElement xmi:type="uml:Association" xmi:id="_RvomeVVUEeWRIqLs5_0Tzg" memberEnd="_RvojKlVUEeWRIqLs5_0Tzg _RvojJlVUEeWRIqLs5_0Tzg"/>
2003 <packagedElement xmi:type="uml:Association" xmi:id="_RvomelVUEeWRIqLs5_0Tzg" memberEnd="_RvojG1VUEeWRIqLs5_0Tzg _RvojI1VUEeWRIqLs5_0Tzg"/>
2004 <packagedElement xmi:type="uml:Class" xmi:id="_Rvome1VUEeWRIqLs5_0Tzg" name="XmlNumber">
2005 <ownedAttribute xmi:id="_RvomfFVUEeWRIqLs5_0Tzg" name="value" visibility="private">
2006 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
2007 </ownedAttribute>
2008 <ownedAttribute xmi:id="_RvomfVVUEeWRIqLs5_0Tzg" name="unit" visibility="private" type="_RvomflVUEeWRIqLs5_0Tzg"/>
2009 </packagedElement>
2010 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvomflVUEeWRIqLs5_0Tzg" name="UnitType">
2011 <ownedLiteral xmi:id="_Rvomf1VUEeWRIqLs5_0Tzg" name="byte"/>
2012 </packagedElement>
2013 <packagedElement xmi:type="uml:Enumeration" xmi:id="_RvomgFVUEeWRIqLs5_0Tzg" name="MissionName">
2014 <ownedLiteral xmi:id="_RvomgVVUEeWRIqLs5_0Tzg" name="Sentinel1">
2015 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomglVUEeWRIqLs5_0Tzg">
2016 <body>S1</body>
2017 </specification>
2018 </ownedLiteral>
2019 <ownedLiteral xmi:id="_Rvomg1VUEeWRIqLs5_0Tzg" name="Sentinel2">
2020 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomhFVUEeWRIqLs5_0Tzg">
2021 <body>S2</body>
2022 </specification>
2023 </ownedLiteral>
2024 <ownedLiteral xmi:id="_RvomhVVUEeWRIqLs5_0Tzg" name="Sentinel3">
2025 <specification xmi:type="uml:OpaqueExpression" xmi:id="_RvomhlVUEeWRIqLs5_0Tzg">
2026 <body>S3</body>
2027 </specification>
2028 </ownedLiteral>
2029 </packagedElement>
2030 <packagedElement xmi:type="uml:Class" xmi:id="_Rvomh1VUEeWRIqLs5_0Tzg" name="ApidPcat">
2031 <ownedComment xmi:id="_RvomiFVUEeWRIqLs5_0Tzg" annotatedElement="_Rvomh1VUEeWRIqLs5_0Tzg">
2032 <body>&lt;p>Last&amp;nbsp;4&amp;nbsp;bits&amp;nbsp;of&amp;nbsp;apid.&lt;/p></body>
2033 </ownedComment>
2034 <ownedAttribute xmi:id="_RvomiVVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
2035 </packagedElement>
2036 <packagedElement xmi:type="uml:Class" xmi:id="_RvomilVUEeWRIqLs5_0Tzg" name="ApidPid">
2037 <ownedComment xmi:id="_Rvomi1VUEeWRIqLs5_0Tzg" annotatedElement="_RvomilVUEeWRIqLs5_0Tzg">
2038 <body>&lt;p>First&amp;nbsp;7&amp;nbsp;bits&amp;nbsp;of&amp;nbsp;apid.&lt;/p></body>
2039 </ownedComment>
2040 <ownedAttribute xmi:id="_RvomjFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
2041 </packagedElement>
2042 <packagedElement xmi:type="uml:Class" xmi:id="_RvomjVVUEeWRIqLs5_0Tzg" name="Apid">
2043 <ownedAttribute xmi:id="_RvomjlVUEeWRIqLs5_0Tzg" name="apidPid" visibility="private" type="_RvomilVUEeWRIqLs5_0Tzg"/>
2044 <ownedAttribute xmi:id="_Rvomj1VUEeWRIqLs5_0Tzg" name="apidPcat" visibility="private" type="_Rvomh1VUEeWRIqLs5_0Tzg"/>
2045 <ownedAttribute xmi:id="_RvomkFVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
2046 <ownedOperation xmi:id="_RvomkVVUEeWRIqLs5_0Tzg" name="getApidPidValue" bodyCondition="_RvomklVUEeWRIqLs5_0Tzg" isQuery="true">
2047 <ownedRule xmi:id="_RvomklVUEeWRIqLs5_0Tzg" name="getApidPidValue" constrainedElement="_RvomkVVUEeWRIqLs5_0Tzg">
2048 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomk1VUEeWRIqLs5_0Tzg">
2049 <language>OCL</language>
2050 <body>self.value.intValue.div(16)</body>
2051 </specification>
2052 </ownedRule>
2053 <ownedParameter xmi:id="_RvomlFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
2054 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
2055 </ownedParameter>
2056 </ownedOperation>
2057 <ownedOperation xmi:id="_RvomlVVUEeWRIqLs5_0Tzg" name="getApidPcatValue" bodyCondition="_RvomllVUEeWRIqLs5_0Tzg" isQuery="true">
2058 <ownedRule xmi:id="_RvomllVUEeWRIqLs5_0Tzg" name="getApidPcatValue" constrainedElement="_RvomlVVUEeWRIqLs5_0Tzg">
2059 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvoml1VUEeWRIqLs5_0Tzg">
2060 <language>OCL</language>
2061 <body>self.value.intValue.mod(16)</body>
2062 </specification>
2063 </ownedRule>
2064 <ownedParameter xmi:id="_RvommFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
2065 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
2066 </ownedParameter>
2067 </ownedOperation>
2068 <ownedOperation xmi:id="_RvommVVUEeWRIqLs5_0Tzg" name="getApidPidBitSize" bodyCondition="_RvommlVUEeWRIqLs5_0Tzg" isQuery="true">
2069 <ownedRule xmi:id="_RvommlVUEeWRIqLs5_0Tzg" name="getApidPidBitSize" constrainedElement="_RvommVVUEeWRIqLs5_0Tzg">
2070 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomm1VUEeWRIqLs5_0Tzg">
2071 <language>OCL</language>
2072 <body>7</body>
2073 </specification>
2074 </ownedRule>
2075 <ownedParameter xmi:id="_RvomnFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
2076 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
2077 </ownedParameter>
2078 </ownedOperation>
2079 <ownedOperation xmi:id="_RvomnVVUEeWRIqLs5_0Tzg" name="getApidPcatBitSize" bodyCondition="_RvomnlVUEeWRIqLs5_0Tzg" isQuery="true">
2080 <ownedRule xmi:id="_RvomnlVUEeWRIqLs5_0Tzg" name="getApidPcatBitSize" constrainedElement="_RvomnVVUEeWRIqLs5_0Tzg">
2081 <specification xmi:type="uml:OpaqueExpression" xmi:id="_Rvomn1VUEeWRIqLs5_0Tzg">
2082 <language>OCL</language>
2083 <body>4</body>
2084 </specification>
2085 </ownedRule>
2086 <ownedParameter xmi:id="_RvomoFVUEeWRIqLs5_0Tzg" name="Parameter1" direction="return">
2087 <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
2088 </ownedParameter>
2089 </ownedOperation>
2090 </packagedElement>
2091 <packagedElement xmi:type="uml:Class" xmi:id="_RvomoVVUEeWRIqLs5_0Tzg" name="Vcid">
2092 <ownedAttribute xmi:id="_RvomolVUEeWRIqLs5_0Tzg" name="value" visibility="private" type="_RvojiVVUEeWRIqLs5_0Tzg"/>
2093 </packagedElement>
2094</uml:Package>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-29 08:01:51 +0000