File: /home/oboss/Users/gec/sources/PUS_Services/TC_Verification/mission_verification_values.ads
1 --% Compilation Unit: Mission_Verification_Values
2 --
3 --% Category: Package Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 2.4 $
8 --
9 --% Author: $Author: gec $
10 --
11 --% Revision Log:
12 -- $Log: mission_verification_values.ads,v $
13 -- Revision 2.4 2004/02/13 16:17:25 gec
14 -- Merged results of Demonstrator development on to main OBOSS trunk.
15 --
16 -- Revision 2.3.2.1 2003/12/04 15:09:48 gec
17 -- Updated according to Demonstrator Test Case Specification
18 --
19 -- Revision 2.3 2003/11/13 14:57:55 gec
20 -- Merged ECSS Migration branch to main trunk.
21 --
22 -- Revision 2.2.4.1 2003/10/30 12:26:30 gec
23 -- Introduced collection of ECSS standard error codes for telecommand
24 --+ verification service.
25 --
26 -- Revision 2.2 2003/10/21 08:44:52 gec
27 -- Merged STADY_Recommendations branch onto trunk.
28 -- Contains numerous updates resulting from STADY fault descriptions.
29 --
30 -- Revision 2.0.2.1 2003/10/09 13:56:59 gec
31 -- Added verification statuses for reports exceeding maximum available
32 --+ source data size and invalid telemetry reports due to internal
33 --+ inconsistencies in the OBOSS instance.
34 --
35 -- Response to STADY fault description Fault 11.
36 --
37 -- Revision 2.1 2003/10/09 11:05:37 jhl
38 -- Added Service 13 And 19
39 --
40 -- Revision 2.0.4.1 2003/10/01 11:54:54 jhl
41 -- Initial version of service 13 Event Action, and 19 Large Data Transfer.
42 --
43 -- Revision 2.0 2003/04/04 08:51:23 gec
44 -- Initial release of source files serving as baseline for OBOSS-III
45 --+ project.
46 --
47 -- Revision 1.1.1.1 2003/04/04 08:13:15 gec
48 -- Imported using TkCVS
49 --
50 --
51 --
52 --% Project: OBOSS
53 --
54 --% Copyright (C) 2003 by Terma A/S
55 -- Proprietary and intellectual rights of Terma A/S, Denmark,
56 -- are involved in the subject-matter of this material and
57 -- all manufacturing, reproduction, use, disclosure, and
58 -- sales rights pertaining to such subject-matter are
59 -- expressly reserved. This material is submitted for a
60 -- specific purpose as agreed, and the recipient by
61 -- accepting this material agrees that this material will
62 -- not be used, copied, or reproduced in whole or in part
63 -- nor its contents revealed in any manner or to any person,
64 -- except to meet the purpose for which it was submitted and
65 -- subject to the terms of the agreement.
66 --
67 --% Target Dependencies:
68 -- None
69 --% Compiler Dependencies:
70 -- None
71
72 --~-----------------------------------------------------------------------------
73
74 with Verification_Types;
75 package Mission_Verification_Values is
76
77 --% Library Package:
78 -- Collection of mission specific system wide code values related to
79 --+ errors reported through service 1: Telecommand Verification
80 -- Values between 0 and 20 are reserved for system use.
81 --% Active Tasks:
82 --> None
83 --% Passive Tasks:
84 --> None
85
86 -- Indicates that an unknwon application process ID was encountered when
87 --+ parsing a received telecommand packet
88 -- ECCSS Standard Code value
89 Illegal_APID_Code : constant Verification_Types.Verification_Code := 0;
90
91 -- Indicates that an illegal or invalid packet length was encountered when
92 --+ parsing a received telecommand packet
93 -- ECCSS Standard Code value
94 Invalid_Packet_Length_Code :
95 constant Verification_Types.Verification_Code := 1;
96
97 -- Indicates that the checksum included in the Packet Error Control field
98 --+ did not match when parsing a received telecommand packet
99 -- ECCSS Standard Code value
100 Incorrect_Checksum_Code :
101 constant Verification_Types.Verification_Code := 2;
102
103 -- Indicates that the service type included in the telecommand packet is not
104 --+ supported by the destination application process
105 -- ECCSS Standard Code value
106 Illegal_Packet_Type_Code :
107 constant Verification_Types.Verification_Code := 3;
108
109 -- Indicates that the service subtype included in the telecommand packet is
110 --+ not supported by the destination application process
111 -- ECCSS Standard Code value
112 Illegal_Packet_Subtype_Code :
113 constant Verification_Types.Verification_Code := 4;
114
115 -- Indicates that the application data of the given telecommand packet is
116 --+ not well-formed given the destination application process, the
117 --+ service type and the service sub-type.
118 -- ECCSS Standard Code value
119 Illegal_Application_Data_Code :
120 constant Verification_Types.Verification_Code := 5;
121
122 -- Indicates that the given service is not supported by the given
123 --+ application process.
124 Unknown_Command_Code : constant Verification_Types.Verification_Code := 6;
125
126 -- Indicates that the given service cannot be executed in the current state
127 --+ of the given application process.
128 Illegal_Command_Code : constant Verification_Types.Verification_Code := 16;
129
130 -- Inidcates that one of more of the parameters contained in the telecommand
131 --+ is illegal.
132 Illegal_Parameter_Value_Code :
133 constant Verification_Types.Verification_Code := 8;
134
135 -- Indicates that addition into a table failed because the table was full.
136 Table_Full_Code : constant Verification_Types.Verification_Code := 17;
137
138 -- Indicates that addition into a table failed because element being added
139 --+ was already in the table.
140 Element_Already_In_Table_Code :
141 constant Verification_Types.Verification_Code := 18;
142
143 -- Indicates that modification or deletion of an element in a table failed
144 --+ because the identified element was not in the table.
145 Element_Not_In_Table_Code :
146 constant Verification_Types.Verification_Code := 19;
147
148 -- Indicates that a bus send or receive operation failed.
149 Bus_Operation_Failed_Code :
150 constant Verification_Types.Verification_Code := 20;
151
152 -- Indicates that an identified telecommand is not on the on-board
153 --+ schedule.
154 Command_Not_On_Schedule_Code :
155 constant Verification_Types.Verification_Code := 21;
156
157 -- Indicates that a (unique) storage selection definition report could not
158 --+ be generated because the definition set is empty (N1 = 0 ambiguity).
159 No_Storage_Selection_Definition_Code :
160 constant Verification_Types.Verification_Code := 22;
161
162 -- Indicates that an attempt to read from memory failed due to violated
163 --+ access rights.
164 No_Read_Access_Code : constant Verification_Types.Verification_Code := 23;
165
166 -- Indicates that an attempt to write to memory failed due to violated
167 --+ access rights.
168 No_Write_Access_Code : constant Verification_Types.Verification_Code := 24;
169
170 -- Indicates that an attempt to access memory failed due to size violations
171 --+
172 Access_Outside_Memory_Area_Code :
173 constant Verification_Types.Verification_Code := 25;
174
175 -- Indicates that an attempt to access memory failed for unknown external
176 --+ reasons
177 Unknown_Memory_Access_Error_Code :
178 constant Verification_Types.Verification_Code := 26;
179
180 -- Indicates that a memory dump failed as the size of the memory area
181 --+ exceeded the defined maximum length
182 Excessive_Memory_Data_Length_Code :
183 constant Verification_Types.Verification_Code := 30;
184
185 -- Indicates a checksum difference between written and re-read data
186 Checksums_Differ_Code :
187 constant Verification_Types.Verification_Code := 27;
188
189 -- Indicates that an unsupported checksum type has been requested
190 Unsupported_Checksum_Type_Code :
191 constant Verification_Types.Verification_Code := 31;
192
193 -- Indicates that a non-supported activity is attempted on a power
194 --+ collection
195 Unsupported_Activity_Code :
196 constant Verification_Types.Verification_Code := 28;
197
198 -- Indicates that generation of a service report has failed due to internal
199 --+ inconsistencies or errors in implementation.
200 Report_Generation_Failure_Code :
201 constant Verification_Types.Verification_Code := 32;
202
203 -- Indicated that a full buffer caused the requested action to fail, e.g.
204 --+ prevented the TC from being forwarded to it's destination service
205 Buffer_Full_Code : constant Verification_Types.Verification_Code := 29;
206
207 -- Collection of verification statuses corresponding to the above system
208 --+ wide code values.
209 Success : constant Verification_Types.Verification_Status :=
210 (The_Result => Verification_Types.Success,
211 Contains_Code => False);
212 Failure : constant Verification_Types.Verification_Status :=
213 (The_Result => Verification_Types.Failure,
214 Contains_Code => False);
215
216 -- Standard Statuses
217 Illegal_APID : constant Verification_Types.Verification_Status :=
218 (The_Result => Verification_Types.Failure,
219 Contains_Code => True,
220 Code => Illegal_APID_Code);
221 Invalid_Packet_Length : constant Verification_Types.Verification_Status :=
222 (The_Result => Verification_Types.Failure,
223 Contains_Code => True,
224 Code => Invalid_Packet_Length_Code);
225 Incorrect_Checksum : constant Verification_Types.Verification_Status :=
226 (The_Result => Verification_Types.Failure,
227 Contains_Code => True,
228 Code => Incorrect_Checksum_Code);
229 Illegal_Packet_Type : constant Verification_Types.Verification_Status :=
230 (The_Result => Verification_Types.Failure,
231 Contains_Code => True,
232 Code => Illegal_Packet_Type_Code);
233 Illegal_Packet_Subtype : constant Verification_Types.Verification_Status :=
234 (The_Result => Verification_Types.Failure,
235 Contains_Code => True,
236 Code => Illegal_Packet_Subtype_Code);
237 Illegal_Application_Data :
238 constant Verification_Types.Verification_Status :=
239 (The_Result => Verification_Types.Failure,
240 Contains_Code => True,
241 Code => Illegal_Application_Data_Code);
242
243 -- OBOSS Specific statuses
244 Unknown_Command : constant Verification_Types.Verification_Status :=
245 (The_Result => Verification_Types.Failure,
246 Contains_Code => True,
247 Code => Unknown_Command_Code);
248 Illegal_Command : constant Verification_Types.Verification_Status :=
249 (The_Result => Verification_Types.Failure,
250 Contains_Code => True,
251 Code => Illegal_Command_Code);
252 Illegal_Parameter_Value :
253 constant Verification_Types.Verification_Status :=
254 (The_Result => Verification_Types.Failure,
255 Contains_Code => True,
256 Code => Illegal_Parameter_Value_Code);
257 Table_Full : constant Verification_Types.Verification_Status :=
258 (The_Result => Verification_Types.Failure,
259 Contains_Code => True,
260 Code => Table_Full_Code);
261 Element_Already_In_Table :
262 constant Verification_Types.Verification_Status :=
263 (The_Result => Verification_Types.Failure,
264 Contains_Code => True,
265 Code => Element_Already_In_Table_Code);
266 Element_Not_In_Table : constant Verification_Types.Verification_Status :=
267 (The_Result => Verification_Types.Failure,
268 Contains_Code => True,
269 Code => Element_Not_In_Table_Code);
270 Bus_Operation_Failed : constant Verification_Types.Verification_Status :=
271 (The_Result => Verification_Types.Failure,
272 Contains_Code => True,
273 Code => Bus_Operation_Failed_Code);
274 Command_Not_On_Schedule :
275 constant Verification_Types.Verification_Status :=
276 (The_Result => Verification_Types.Failure,
277 Contains_Code => True,
278 Code => Command_Not_On_Schedule_Code);
279 No_Storage_Selection_Definition :
280 constant Verification_Types.Verification_Status :=
281 (The_Result => Verification_Types.Failure,
282 Contains_Code => True,
283 Code => No_Storage_Selection_Definition_Code);
284 No_Read_Access : constant Verification_Types.Verification_Status :=
285 (The_Result => Verification_Types.Failure,
286 Contains_Code => True,
287 Code => No_Read_Access_Code);
288 No_Write_Access : constant Verification_Types.Verification_Status :=
289 (The_Result => Verification_Types.Failure,
290 Contains_Code => True,
291 Code => No_Write_Access_Code);
292 Access_Outside_Memory_Area :
293 constant Verification_Types.Verification_Status :=
294 (The_Result => Verification_Types.Failure,
295 Contains_Code => True,
296 Code => Access_Outside_Memory_Area_Code);
297 Unknown_Memory_Access_Error :
298 constant Verification_Types.Verification_Status :=
299 (The_Result => Verification_Types.Failure,
300 Contains_Code => True,
301 Code => Unknown_Memory_Access_Error_Code);
302 Excessive_Memory_Data_Length :
303 constant Verification_Types.Verification_Status :=
304 (The_Result => Verification_Types.Failure,
305 Contains_Code => True,
306 Code => Excessive_Memory_Data_Length_Code);
307 Checksums_Differ : constant Verification_Types.Verification_Status :=
308 (The_Result => Verification_Types.Failure,
309 Contains_Code => True,
310 Code => Checksums_Differ_Code);
311 Unsupported_Checksum_Type :
312 constant Verification_Types.Verification_Status :=
313 (The_Result => Verification_Types.Failure,
314 Contains_Code => True,
315 Code => Unsupported_Checksum_Type_Code);
316 Unsupported_Activity : constant Verification_Types.Verification_Status :=
317 (The_Result => Verification_Types.Failure,
318 Contains_Code => True,
319 Code => Unsupported_Activity_Code);
320 Report_Generation_Failure :
321 constant Verification_Types.Verification_Status :=
322 (The_Result => Verification_Types.Failure,
323 Contains_Code => True,
324 Code => Report_Generation_Failure_Code);
325 Buffer_Full : constant Verification_Types.Verification_Status :=
326 (The_Result => Verification_Types.Failure,
327 Contains_Code => True,
328 Code => Buffer_Full_Code);
329
330 end Mission_Verification_Values;
331
332 --~-----------------------------------------------------------------------------
333