The following tables describe the binary encodings of the data model using the ACN Encoding Rules.

Module ApplicationProcess

Defined in: ApplicationProcess.asn1, ApplicationProcess.acn.

ApplicationProcess-ID (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 2047) 11 11
 

Module ApplicationProcessUser

Defined in: ApplicationProcessUser.asn1, ApplicationProcessUser.acn.

ApplicationProcessUser-ID (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 

Module BasicTypes

Defined in: BasicTypes.asn1, BasicTypes.acn.

AbsoluteTime (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
TODO
No Field Comment Present Type Constraint Min Bits Max Bits
1 day always CDS-AbsoluteTime-PFC-2-day N.A. 16 16
2 msOfDay always CDS-AbsoluteTime-PFC-2-msOfDay N.A. 32 32
3 usOfDay always CDS-AbsoluteTime-PFC-2-usOfDay N.A. 16 16
 
CDS-AbsoluteTime-PFC-2 (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 day always CDS-AbsoluteTime-PFC-2-day N.A. 16 16
2 msOfDay always CDS-AbsoluteTime-PFC-2-msOfDay N.A. 32 32
3 usOfDay always CDS-AbsoluteTime-PFC-2-usOfDay N.A. 16 16
 
CDS-AbsoluteTime-PFC-2-day (anonymous INTEGER) ASN.1 Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
CDS-AbsoluteTime-PFC-2-msOfDay (anonymous INTEGER) ASN.1 Min: 4 bytes Max: 4 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 4294967295) 32 32
 
CDS-AbsoluteTime-PFC-2-usOfDay (anonymous INTEGER) ASN.1 Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
PUSC-OCTSTR-VARIABLE-LEN (OCTET-STRING) ASN.1 ACN Min: 0 bytes Max: 1024 bytes
PFC-0
Length determined by external field length
No ACN Parameters [?] Type
1 length INTEGER
No Field Comment Type Constraint Min Length (bits) Max Length (bits)
1 Item #1 OCTET 8 8

. . .
1024 Item #1024 OCTET 8 8
 
PUSC-INT32 (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
PFC-14
Constraints Min Length (bits) Max Length (bits)
(-2147483648 .. 2147483647) 32 32
 
PUSC-INT16 (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
PFC-12
Constraints Min Length (bits) Max Length (bits)
(-32768 .. 32767) 16 16
 
PUSC-INT8 (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
PFC-4
Constraints Min Length (bits) Max Length (bits)
(-128 .. 127) 8 8
 
PUSC-UINT32 (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
PFC-14
Constraints Min Length (bits) Max Length (bits)
(0 .. 4294967295) 32 32
 
PUSC-UINT16 (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
PFC-12
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
PUSC-UINT8 (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
PFC-4
Constraints Min Length (bits) Max Length (bits)
(0 .. 255) 8 8
 
Null (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
asn2dataModel does not understand proper ASN.1
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module EventDefinition

Defined in: EventDefinition.asn1, EventDefinition.acn.

InformativeAuxiliaryData (CHOICE) ASN.1 ACN Min: 0 bytes Max: 1 bytes
No ACN Parameters [?] Type
1 id InformativeEventDefinition-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 pus5-allSelfTestOk id = pus5-allSelfTestOk Null N.A. 0 0
2 pus5-standByEntered id = pus5-standByEntered Null N.A. 0 0
3 pus5-idleEntered id = pus5-idleEntered Null N.A. 0 0
4 pus5-aswBootingEntered id = pus5-aswBootingEntered Null N.A. 0 0
5 pus5-aswImageCheckOk Possible values:
  • pus5-srcCrcOk (1)
  • pus5-dstCrcOk (2)
 id = pus5-aswImageCheckOk AswImageCheckOkEventData N.A. 8 8
 
AswImageCheckOkEventData (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-srcCrcOk (1)
  • pus5-dstCrcOk (2)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
InformativeEventDefinition-ID (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-allSelfTestOk (40)
  • pus5-standByEntered (42)
  • pus5-idleEntered (44)
  • pus5-aswBootingEntered (46)
  • pus5-aswImageCheckOk (48)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
HighSeverityAuxiliaryData (CHOICE) ASN.1 ACN Min: 1 bytes Max: 1 bytes
No ACN Parameters [?] Type
1 id HighSeverityEventDefinition-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 pus5-crashDetected Possible values:
  • pus5-selfTestsCrash (10)
  • pus5-bswCrash (20)
  • pus5-aswCrash (25)
 id = pus5-crashDetected CrashDetectedEventData N.A. 8 8
2 pus5-selfTestsFailed id = pus5-selfTestsFailed SelfTestsFailedEventData N.A. 5 5
3 pus5-aswImageCheckFailed Possible values:
  • pus5-badHeader (10)
  • pus5-srcCrcFailed (20)
  • pus5-dstCrcFailed (25)
 id = pus5-aswImageCheckFailed AswImageCheckFailedEventData N.A. 8 8
 
AswImageCheckFailedEventData (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-badHeader (10)
  • pus5-srcCrcFailed (20)
  • pus5-dstCrcFailed (25)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
SelfTestsFailedEventData (SEQUENCE) ASN.1 Min: 1 bytes Max: 1 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 pus5-bswIntegrityTestFailed always BOOLEAN N.A. 1 1
2 pus5-sramTestFailed always BOOLEAN N.A. 1 1
3 pus5-spiTestFailed always BOOLEAN N.A. 1 1
4 pus5-uartTestFailed always BOOLEAN N.A. 1 1
5 pus5-spwTestFailed always BOOLEAN N.A. 1 1
 
CrashDetectedEventData (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-selfTestsCrash (10)
  • pus5-bswCrash (20)
  • pus5-aswCrash (25)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
HighSeverityEventDefinition-ID (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-crashDetected (30)
  • pus5-selfTestsFailed (33)
  • pus5-aswImageCheckFailed (37)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
LowSeverityAuxiliaryData (CHOICE) ASN.1 ACN Min: 0 bytes Max: 0 bytes
No ACN Parameters [?] Type
1 id LowSeverityEventDefinition-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 pus5-selfTestsSkipped id = pus5-selfTestsSkipped Null N.A. 0 0
2 pus5-idleTimeout id = pus5-idleTimeout Null N.A. 0 0
 
LowSeverityEventDefinition-ID (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus5-selfTestsSkipped (10)
  • pus5-idleTimeout (15)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 

Module ExecutionStep

Defined in: ExecutionStep.asn1, ExecutionStep.acn.

ExecutionStep-ID (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 255) 8 8
 

Module MessageType

Defined in: MessageType.asn1, MessageType.acn.

MessageSubtype-ID (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(1 .. 255) 8 8
 
ServiceType-ID (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(1 .. 255) 8 8
 

Module SpacecraftTimeReferenceStatus

Defined in: SpacecraftTimeReferenceStatus.asn1, SpacecraftTimeReferenceStatus.acn.

SpacecraftTimeReferenceStatus (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 15) 4 4
 

Module ErrorCodes

Defined in: ErrorCodes.asn1, ErrorCodes.acn.

AcceptanceFailureCode (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus1-AcceptanceFailure-WrongApid (0)
  • pus1-AcceptanceFailure-WrongLength (1)
  • pus1-AcceptanceFailure-WrongChecksum (2)
  • pus1-AcceptanceFailure-DecodeFailed (5)
  • pus1-AcceptanceFailure-AppError (6)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 
ExecutionCompletionFailureCode (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
Constraints Min Length (bits) Max Length (bits)
(-2147483648 .. 2147483647) 32 32
 
ExecutionProgressFailureCode (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
Constraints Min Length (bits) Max Length (bits)
(-2147483648 .. 2147483647) 32 32
 
ExecutionStartFailureCode (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
Constraints Min Length (bits) Max Length (bits)
(-2147483648 .. 2147483647) 32 32
 
AcceptanceFailureNotice (CHOICE) ASN.1 ACN Min: 1 bytes Max: 5 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 ChoiceIndex Special field used by ACN to indicate which choice alternative is present. always unsigned int N.A. 3 3
2 pus1-AcceptanceFailure-WrongApid ChoiceIndex = 0 Null N.A. 0 0
3 pus1-AcceptanceFailure-WrongLength ChoiceIndex = 1 Null N.A. 0 0
4 pus1-AcceptanceFailure-WrongChecksum ChoiceIndex = 2 Null N.A. 0 0
5 pus1-AcceptanceFailure-DecodeFailed ChoiceIndex = 3 PUSC-INT32 N.A. 32 32
6 pus1-AcceptanceFailure-AppError ChoiceIndex = 4 PUSC-INT32 N.A. 32 32
 
ExecutionCompletionFailureNotice (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 
ExecutionProgressFailureNotice (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 
ExecutionStartFailureNotice (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module PUS-1-1

Defined in: PUS-1-1.asn1, PUS-1-1.acn.

TM-1-1-SuccessfulAcceptanceVerificationReport (SEQUENCE) ASN.1 ACN Min: 4 bytes Max: 4 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
 

Module PUS-1-2

Defined in: PUS-1-2.asn1, PUS-1-2.acn.

TM-1-2-FailedAcceptanceVerificationReport (SEQUENCE) ASN.1 ACN Min: 5 bytes Max: 9 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always TM-1-2-FailedAcceptanceVerificationReport-request-ID N.A. 32 32
2 failureNotice always AcceptanceFailureNotice N.A. 3 35
 
TM-1-2-FailedAcceptanceVerificationReport-request-ID (anonymous OCTET-STRING) ASN.1 Min: 4 bytes Max: 4 bytes
Length is Fixed equal to 4, so no length determinant is encoded.
No Field Comment Type Constraint Min Length (bits) Max Length (bits)
1 Item #1 OCTET 8 8

. . .
4 Item #4 OCTET 8 8
 

Module PUS-1-3

Defined in: PUS-1-3.asn1, PUS-1-3.acn.

TM-1-3-SuccessfulStartOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 4 bytes Max: 4 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
 

Module PUS-1-4

Defined in: PUS-1-4.asn1, PUS-1-4.acn.

TM-1-4-FailedStartOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 4 bytes Max: 4 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
2 failureNotice always ExecutionStartFailureNotice N.A. 0 0
 

Module PUS-1-5

Defined in: PUS-1-5.asn1, PUS-1-5.acn.

TM-1-5-SuccessfulProgressOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 5 bytes Max: 5 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
2 step-ID always ExecutionStep-ID N.A. 8 8
 

Module PUS-1-6

Defined in: PUS-1-6.asn1, PUS-1-6.acn.

TM-1-6-FailedProgressOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 5 bytes Max: 5 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
2 step-ID always ExecutionStep-ID N.A. 8 8
3 failureNotice always ExecutionProgressFailureNotice N.A. 0 0
 

Module PUS-1-7

Defined in: PUS-1-7.asn1, PUS-1-7.acn.

TM-1-7-SuccessfulCompletionOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 4 bytes Max: 4 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
 

Module PUS-1-8

Defined in: PUS-1-8.asn1, PUS-1-8.acn.

TM-1-8-FailedCompletionOfExecutionVerificationReport (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 request-ID always VerificationRequest-ID N.A. 32 32
2 failureCode always ExecutionCompletionFailureCode N.A. 32 32
 

Module VerificationRequest

Defined in: VerificationRequest.asn1, VerificationRequest.acn.

VerificationRequest-ID (SEQUENCE) ASN.1 ACN Min: 4 bytes Max: 4 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 packetVersionNumber always VerificationRequest-ID-packetVersionNumber N.A. 3 3
2 packet-ID always TC-Packet-ID N.A. 13 13
3 packetSequenceControl always PacketSequenceControlType N.A. 16 16
 
VerificationRequest-ID-packetVersionNumber (anonymous INTEGER) ASN.1 Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 7) 3 3
 

Module PUS-5-1

Defined in: PUS-5-1.asn1, PUS-5-1.acn.

TM-5-1-InformativeEventReport (SEQUENCE) ASN.1 ACN Min: 1 bytes Max: 2 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 eventDefinition-ID Possible values:
  • pus5-allSelfTestOk (40)
  • pus5-standByEntered (42)
  • pus5-idleEntered (44)
  • pus5-aswBootingEntered (46)
  • pus5-aswImageCheckOk (48)
 always InformativeEventDefinition-ID N.A. 8 8
2 auxiliaryData always InformativeAuxiliaryData N.A. 0 8
 

Module PUS-5-2

Defined in: PUS-5-2.asn1, PUS-5-2.acn.

TM-5-2-LowSeverityAnomalyReport (SEQUENCE) ASN.1 ACN Min: 1 bytes Max: 1 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 eventDefinition-ID Possible values:
  • pus5-selfTestsSkipped (10)
  • pus5-idleTimeout (15)
 always LowSeverityEventDefinition-ID N.A. 8 8
2 auxiliaryData always LowSeverityAuxiliaryData N.A. 0 0
 

Module PUS-5-4

Defined in: PUS-5-4.asn1, PUS-5-4.acn.

TM-5-4-HighSeverityAnomalyReport (SEQUENCE) ASN.1 ACN Min: 2 bytes Max: 2 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 eventDefinition-ID Possible values:
  • pus5-crashDetected (30)
  • pus5-selfTestsFailed (33)
  • pus5-aswImageCheckFailed (37)
 always HighSeverityEventDefinition-ID N.A. 8 8
2 auxiliaryData always HighSeverityAuxiliaryData N.A. 5 8
 

Module Data

Defined in: Data.asn1, Data.acn.

MemoryData (SEQUENCE) ASN.1 ACN Min: 2 bytes Max: 1026 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 length always MemoryDataLength N.A. 16 16
2 data always PUSC-OCTSTR-VARIABLE-LEN N.A. 0 8192
 
MemoryDataLength (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 1024) 16 16
 

Module Memory

Defined in: Memory.asn1, Memory.acn.

Memory-ID (ENUMERATED) ASN.1 ACN Min: 4 bytes Max: 4 bytes
Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
Constraints Min Length (bits) Max Length (bits)
N.A. 32 32
 

Module PUS-6-10

Defined in: PUS-6-10.asn1, PUS-6-10.acn.

TM-6-10-CheckedRawMemoryDataReport (SEQUENCE) ASN.1 ACN Min: 15 bytes Max: 15 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 n always NULL N.A. 8 8
3 dataArea always TM-6-10-DataArea N.A. 80 80
 
TM-6-10-DataArea (SEQUENCE) ASN.1 ACN Min: 10 bytes Max: 10 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 startAddress always BytePointer N.A. 32 32
2 length always PUSC-UINT32 N.A. 32 32
3 checksum always TM-6-10-DataArea-checksum N.A. 16 16
 
TM-6-10-DataArea-checksum (anonymous INTEGER) ASN.1 Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 

Module PUS-6-128

Defined in: PUS-6-128.asn1, PUS-6-128.acn.

TC-6-128-LoadFlashSector (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 sectorAddress always BytePointer N.A. 32 32
 

Module PUS-6-129

Defined in: PUS-6-129.asn1, PUS-6-129.acn.

TC-6-129-StoreFlashSector (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 sectorAddress always BytePointer N.A. 32 32
 

Module PUS-6-130

Defined in: PUS-6-130.asn1, PUS-6-130.acn.

TC-6-130-ZeroFlashBuffer (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module PUS-6-2

Defined in: PUS-6-2.asn1, PUS-6-2.acn.

TC-6-2-LoadRawMemoryDataAreas (SEQUENCE) ASN.1 ACN Min: 11 bytes Max: 1035 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 n always NULL N.A. 8 8
3 dataAreas always TC-6-2-DataArea N.A. 48 8240
 
TC-6-2-DataArea (SEQUENCE) ASN.1 ACN Min: 6 bytes Max: 1030 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 startAddress always BytePointer N.A. 32 32
2 dataToLoad always MemoryData N.A. 16 8208
 

Module PUS-6-5

Defined in: PUS-6-5.asn1, PUS-6-5.acn.

TC-6-5-DumpRawMemoryData (SEQUENCE) ASN.1 ACN Min: 11 bytes Max: 11 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 n always NULL N.A. 8 8
3 dataAreas always TC-6-5-DataArea N.A. 48 48
 
TC-6-5-DataArea (SEQUENCE) ASN.1 ACN Min: 6 bytes Max: 6 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 startAddress always BytePointer N.A. 32 32
2 length always MemoryDataLength N.A. 16 16
 

Module PUS-6-6

Defined in: PUS-6-6.asn1, PUS-6-6.acn.

TM-6-6-DumpedRawMemoryDataReport (SEQUENCE) ASN.1 ACN Min: 11 bytes Max: 1035 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 n always NULL N.A. 8 8
3 dataDumps always DataDump N.A. 48 8240
 
DataDump (SEQUENCE) ASN.1 ACN Min: 6 bytes Max: 1030 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 startAddress always BytePointer N.A. 32 32
2 dumpedData always MemoryData N.A. 16 8208
 

Module PUS-6-9

Defined in: PUS-6-9.asn1, PUS-6-9.acn.

TC-6-9-CheckRawMemoryData (SEQUENCE) ASN.1 ACN Min: 13 bytes Max: 13 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 memoryId Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 always Memory-ID N.A. 32 32
2 n always NULL N.A. 8 8
3 dataAreas always TC-6-9-DataArea N.A. 64 64
 
TC-6-9-DataArea (SEQUENCE) ASN.1 ACN Min: 8 bytes Max: 8 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 startAddress always BytePointer N.A. 32 32
2 length always PUSC-UINT32 N.A. 32 32
 

Module RawMemory

Defined in: RawMemory.asn1, RawMemory.acn.

BytePointer (INTEGER) ASN.1 ACN Min: 4 bytes Max: 4 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 4294967295) 32 32
 

Module PUS-8-1

Defined in: PUS-8-1.asn1, PUS-8-1.acn.

TC-8-1-PerformAFunction (SEQUENCE) ASN.1 ACN Min: 1 bytes Max: 5 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 function-ID Possible values:
  • pus8-SwitchToStandbyMode (1)
  • pus8-SelectAswImage (2)
  • pus8-SelectAswImageMemory (3)
  • pus8-SoftwareReset (4)
  • pus8-BootAswImage (5)
  • pus8-EnableMemorySelfTest (10)
  • pus8-DisableMemorySelfTest (11)
  • pus8-EnableAllSelfTests (20)
  • pus8-DisableAllSelfTests (21)
  • pus8-EnableAswImageCheck (30)
  • pus8-DisableAswImageCheck (31)
  • pus8-EnableDataCache (40)
  • pus8-DisableDataCache (41)
  • pus8-EnableInstructionCache (50)
  • pus8-DisableInstructionCache (51)
 always Function-ID N.A. 8 8
2 functionArguments always FunctionArgumentsType N.A. 0 32
 
FunctionArgumentsType (CHOICE) ASN.1 ACN Min: 0 bytes Max: 4 bytes
No ACN Parameters [?] Type
1 function-ID Function-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 pus8-SwitchToStandbyMode function-ID = pus8-SwitchToStandbyMode Null N.A. 0 0
2 pus8-SelectAswImage function-ID = pus8-SelectAswImage BytePointer N.A. 32 32
3 pus8-SelectAswImageMemory Possible values:
  • pus6-internalMemory (0)
  • pus6-spiMemory0 (1)
 function-ID = pus8-SelectAswImageMemory Memory-ID N.A. 32 32
4 pus8-SoftwareReset function-ID = pus8-SoftwareReset Null N.A. 0 0
5 pus8-BootAswImage function-ID = pus8-BootAswImage Null N.A. 0 0
6 pus8-EnableMemorySelfTest function-ID = pus8-EnableMemorySelfTest Null N.A. 0 0
7 pus8-DisableMemorySelfTest function-ID = pus8-DisableMemorySelfTest Null N.A. 0 0
8 pus8-EnableAllSelfTests function-ID = pus8-EnableAllSelfTests Null N.A. 0 0
9 pus8-DisableAllSelfTests function-ID = pus8-DisableAllSelfTests Null N.A. 0 0
10 pus8-EnableAswImageCheck function-ID = pus8-EnableAswImageCheck Null N.A. 0 0
11 pus8-DisableAswImageCheck function-ID = pus8-DisableAswImageCheck Null N.A. 0 0
12 pus8-EnableDataCache function-ID = pus8-EnableDataCache Null N.A. 0 0
13 pus8-DisableDataCache function-ID = pus8-DisableDataCache Null N.A. 0 0
14 pus8-EnableInstructionCache function-ID = pus8-EnableInstructionCache Null N.A. 0 0
15 pus8-DisableInstructionCache function-ID = pus8-DisableInstructionCache Null N.A. 0 0
 
Function-ID (ENUMERATED) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Possible values:
  • pus8-SwitchToStandbyMode (1)
  • pus8-SelectAswImage (2)
  • pus8-SelectAswImageMemory (3)
  • pus8-SoftwareReset (4)
  • pus8-BootAswImage (5)
  • pus8-EnableMemorySelfTest (10)
  • pus8-DisableMemorySelfTest (11)
  • pus8-EnableAllSelfTests (20)
  • pus8-DisableAllSelfTests (21)
  • pus8-EnableAswImageCheck (30)
  • pus8-DisableAswImageCheck (31)
  • pus8-EnableDataCache (40)
  • pus8-DisableDataCache (41)
  • pus8-EnableInstructionCache (50)
  • pus8-DisableInstructionCache (51)
Constraints Min Length (bits) Max Length (bits)
N.A. 8 8
 

Module PUS-17-1

Defined in: PUS-17-1.asn1, PUS-17-1.acn.

TC-17-1-PerformAnAreYouAliveConnectionTest (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module PUS-17-2

Defined in: PUS-17-2.asn1, PUS-17-2.acn.

TM-17-2-AreYouAliveConnectionTestReport (INTEGER) ASN.1 ACN Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module PacketTypes

Defined in: PacketTypes.asn1, PacketTypes.acn.

PacketSequenceControlType (SEQUENCE) ASN.1 ACN Min: 2 bytes Max: 2 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 sequenceFlags always NULL N.A. 2 2
2 packetSequenceCountOrName always PacketSequenceControlType-packetSequenceCountOrName N.A. 14 14
 
PacketSequenceControlType-packetSequenceCountOrName (anonymous INTEGER) ASN.1 Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 16383) 14 14
 
PacketErrorControlType (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
PacketDataLengthType (INTEGER) ASN.1 ACN Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
SecondaryHeaderFlag (INTEGER) ASN.1 ACN Min: 1 bytes Max: 1 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 1) 1 1
 

Module TC-Packet

Defined in: TC-Packet.asn1, TC-Packet.acn.

TC-CCSDS-Packet (SEQUENCE) ASN.1 ACN Min: 13 bytes Max: 1052 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 packetVersionNumber always NULL N.A. 3 3
2 packet-ID always TC-Packet-ID N.A. 13 13
3 packetSequenceControl always PacketSequenceControlType N.A. 16 16
4 packetDataLength always PacketDataLengthType N.A. 16 16
5 packetDataField always TC-PacketDataField N.A. 56 8364
 
TC-PacketDataField (SEQUENCE) ASN.1 ACN Min: 7 bytes Max: 1046 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 secondaryHeader always TC-PacketSecondaryHeader N.A. 40 40
2 data always TC-Payload N.A. 0 8294
3 packetErrorControl always PacketErrorControlType N.A. 16 30
 
TC-PacketSecondaryHeader (SEQUENCE) ASN.1 ACN Min: 5 bytes Max: 5 bytes
No ACN Parameters [?] Type
1 serviceType-ID ServiceType-ID
2 messageSubtype-ID MessageSubtype-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 tcPacketPusVersionNumber always NULL N.A. 4 4
2 acknowledgementFlags always AcknowledgementFlagsType N.A. 4 4
3 serviceType-ID always ServiceType-ID N.A. 8 8
4 messageSubtype-ID always MessageSubtype-ID N.A. 8 8
5 source-ID always ApplicationProcessUser-ID N.A. 16 16
 
AcknowledgementFlagsType (SEQUENCE) ASN.1 ACN Min: 1 bytes Max: 1 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 ackExecutionCompletion always BOOLEAN N.A. 1 1
2 ackExecutionProgress always BOOLEAN N.A. 1 1
3 ackExecutionStart always BOOLEAN N.A. 1 1
4 ackAcceptance always BOOLEAN N.A. 1 1
 
TC-Packet-ID (SEQUENCE) ASN.1 ACN Min: 2 bytes Max: 2 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 packetType always NULL N.A. 1 1
2 secondaryHeaderFlag always NULL N.A. 1 1
3 applicationProcessID always ApplicationProcess-ID N.A. 11 11
 
TC-PacketType (INTEGER) ASN.1 Min: 0 bytes Max: 0 bytes
Constraints Min Length (bits) Max Length (bits)
(0) 0 0
 

Module TC-Payload

Defined in: TC-Payload.asn1, TC-Payload.acn.

TC-Payload (CHOICE) ASN.1 ACN Min: 0 bytes Max: 1035 bytes
No ACN Parameters [?] Type
1 service ServiceType-ID
2 message MessageSubtype-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 tc-6-2 service=6 AND message=2 TC-6-2-LoadRawMemoryDataAreas N.A. 88 8280
2 tc-6-5 service=6 AND message=5 TC-6-5-DumpRawMemoryData N.A. 88 88
3 tc-6-9 service=6 AND message=9 TC-6-9-CheckRawMemoryData N.A. 104 104
4 tc-6-128 service=6 AND message=128 TC-6-128-LoadFlashSector N.A. 64 64
5 tc-6-129 service=6 AND message=129 TC-6-129-StoreFlashSector N.A. 64 64
6 tc-6-130 service=6 AND message=130 TC-6-130-ZeroFlashBuffer N.A. 0 0
7 tc-8-1 service=8 AND message=1 TC-8-1-PerformAFunction N.A. 8 40
8 tc-17-1 service=17 AND message=1 TC-17-1-PerformAnAreYouAliveConnectionTest N.A. 0 0
 

Module TM-Packet

Defined in: TM-Packet.asn1, TM-Packet.acn.

TM-CCSDS-Packet (SEQUENCE) ASN.1 ACN Min: 23 bytes Max: 1062 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 packetVersionNumber always NULL N.A. 3 3
2 packet-ID always TM-Packet-ID N.A. 13 13
3 packetSequenceControl always PacketSequenceControlType N.A. 16 16
4 packetDataLength always PacketDataLengthType N.A. 16 16
5 packetDataField always TM-PacketDataField N.A. 136 8444
 
TM-PacketDataField (SEQUENCE) ASN.1 ACN Min: 17 bytes Max: 1056 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 secondaryHeader always TM-PacketSecondaryHeader N.A. 120 120
2 data always TM-Payload N.A. 0 8294
3 packetErrorControl always PacketErrorControlType N.A. 16 30
 
TM-PacketSecondaryHeader (SEQUENCE) ASN.1 ACN Min: 15 bytes Max: 15 bytes
No ACN Parameters [?] Type
1 serviceType-ID ServiceType-ID
2 messageSubtype-ID MessageSubtype-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 tmPacketPusVersionNumber always NULL N.A. 4 4
2 timeReferenceStatus always SpacecraftTimeReferenceStatus N.A. 4 4
3 serviceType-ID always ServiceType-ID N.A. 8 8
4 messageSubtype-ID always MessageSubtype-ID N.A. 8 8
5 messageTimeCounter always TM-PacketSecondaryHeader-messageTimeCounter N.A. 16 16
6 destination-ID always ApplicationProcessUser-ID N.A. 16 16
7 time always AbsoluteTime N.A. 64 64
 
TM-PacketSecondaryHeader-messageTimeCounter (anonymous INTEGER) ASN.1 Min: 2 bytes Max: 2 bytes
Constraints Min Length (bits) Max Length (bits)
(0 .. 65535) 16 16
 
TM-Packet-ID (SEQUENCE) ASN.1 ACN Min: 2 bytes Max: 2 bytes
No Field Comment Present Type Constraint Min Bits Max Bits
1 packetType always NULL N.A. 1 1
2 secondaryHeaderFlag always NULL N.A. 1 1
3 applicationProcessID always ApplicationProcess-ID N.A. 11 11
 

Module TM-Payload

Defined in: TM-Payload.asn1, TM-Payload.acn.

TM-Payload (CHOICE) ASN.1 ACN Min: 0 bytes Max: 1035 bytes
No ACN Parameters [?] Type
1 service ServiceType-ID
2 message MessageSubtype-ID
No Field Comment Present Type Constraint Min Bits Max Bits
1 tm-1-1 service=1 AND message=1 TM-1-1-SuccessfulAcceptanceVerificationReport N.A. 32 32
2 tm-1-2 service=1 AND message=2 TM-1-2-FailedAcceptanceVerificationReport N.A. 35 67
3 tm-1-3 service=1 AND message=3 TM-1-3-SuccessfulStartOfExecutionVerificationReport N.A. 32 32
4 tm-1-4 service=1 AND message=4 TM-1-4-FailedStartOfExecutionVerificationReport N.A. 32 32
5 tm-1-5 service=1 AND message=5 TM-1-5-SuccessfulProgressOfExecutionVerificationReport N.A. 40 40
6 tm-1-6 service=1 AND message=6 TM-1-6-FailedProgressOfExecutionVerificationReport N.A. 40 40
7 tm-1-7 service=1 AND message=7 TM-1-7-SuccessfulCompletionOfExecutionVerificationReport N.A. 32 32
8 tm-1-8 service=1 AND message=8 TM-1-8-FailedCompletionOfExecutionVerificationReport N.A. 64 64
9 tm-5-1 service=5 AND message=1 TM-5-1-InformativeEventReport N.A. 8 16
10 tm-5-2 service=5 AND message=2 TM-5-2-LowSeverityAnomalyReport N.A. 8 8
11 tm-5-4 service=5 AND message=4 TM-5-4-HighSeverityAnomalyReport N.A. 13 16
12 tm-6-6 service=6 AND message=6 TM-6-6-DumpedRawMemoryDataReport N.A. 88 8280
13 tm-6-10 service=6 AND message=10 TM-6-10-CheckedRawMemoryDataReport N.A. 120 120
14 tm-17-2 service=17 AND message=2 TM-17-2-AreYouAliveConnectionTestReport N.A. 0 0
 
ACN Parameters
In the standard ASN.1 encodings such as uPER, BER etc, the encoding and decoding of any type has no external dependencies. For example, the encoded data for a SEQUENCE OF depends on the number of items in the SEQUENCE OF (the length determinant) and the type of item contained in the SEQUENCE. On the other hand, ACN allows types to be parameterized. For instance, the length of a SEQUENCE OF may be determined by the value of an external field. In this case, the SEQUENCE OF is parameterized and the input parameter is the field providing the length.

File : ApplicationProcess.asn1

ApplicationProcess DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; ApplicationProcess-ID ::= INTEGER (0 .. 2047) END

File : ApplicationProcessUser.asn1

ApplicationProcessUser DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; ApplicationProcessUser-ID ::= INTEGER (0 .. 65535) END

File : BasicTypes.asn1

BasicTypes DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; --asn2dataModel does not understand proper ASN.1 Null ::= INTEGER(0) PUSC-UINT8 ::= INTEGER (0 .. 255) --PFC-4 PUSC-UINT16 ::= INTEGER (0 .. 65535) --PFC-12 PUSC-UINT32 ::= INTEGER (0 .. 4294967295) --PFC-14 PUSC-INT8 ::= INTEGER (-128 .. 127) --PFC-4 PUSC-INT16 ::= INTEGER (-32768 .. 32767) --PFC-12 PUSC-INT32 ::= INTEGER (-2147483648 .. 2147483647) --PFC-14 -- PTC-7 PUSC-OCTSTR-VARIABLE-LEN ::= OCTET STRING (SIZE(0 .. 1024)) --PFC-0 CDS-AbsoluteTime-PFC-2 ::= SEQUENCE --PFC-2 { day INTEGER (0 .. 65535), msOfDay INTEGER (0 .. 4294967295), usOfDay INTEGER (0 .. 65535) } AbsoluteTime ::= CDS-AbsoluteTime-PFC-2 --TODO END

File : EventDefinition.asn1

EventDefinition DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes ApplicationProcess-ID FROM ApplicationProcess; LowSeverityEventDefinition-ID ::= ENUMERATED { pus5-selfTestsSkipped (10), pus5-idleTimeout (15) } LowSeverityAuxiliaryData ::= CHOICE { pus5-selfTestsSkipped Null, pus5-idleTimeout Null } HighSeverityEventDefinition-ID ::= ENUMERATED { pus5-crashDetected (30), pus5-selfTestsFailed (33), pus5-aswImageCheckFailed (37) } HighSeverityAuxiliaryData ::= CHOICE { pus5-crashDetected CrashDetectedEventData, pus5-selfTestsFailed SelfTestsFailedEventData, pus5-aswImageCheckFailed AswImageCheckFailedEventData } CrashDetectedEventData ::= ENUMERATED { pus5-selfTestsCrash (10), pus5-bswCrash (20), pus5-aswCrash (25) } SelfTestsFailedEventData ::= SEQUENCE { pus5-bswIntegrityTestFailed BOOLEAN, pus5-sramTestFailed BOOLEAN, pus5-spiTestFailed BOOLEAN, pus5-uartTestFailed BOOLEAN, pus5-spwTestFailed BOOLEAN } AswImageCheckFailedEventData ::= ENUMERATED { pus5-badHeader (10), pus5-srcCrcFailed (20), pus5-dstCrcFailed (25) } InformativeEventDefinition-ID ::= ENUMERATED { pus5-allSelfTestOk (40), pus5-standByEntered (42), pus5-idleEntered (44), pus5-aswBootingEntered (46), pus5-aswImageCheckOk (48) } InformativeAuxiliaryData ::= CHOICE { pus5-allSelfTestOk Null, pus5-standByEntered Null, pus5-idleEntered Null, pus5-aswBootingEntered Null, pus5-aswImageCheckOk AswImageCheckOkEventData } AswImageCheckOkEventData ::= ENUMERATED { pus5-srcCrcOk (1), pus5-dstCrcOk (2) } END

File : ExecutionStep.asn1

ExecutionStep DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS PUSC-UINT8 FROM BasicTypes; ExecutionStep-ID ::= PUSC-UINT8 END

File : MessageType.asn1

MessageType DEFINITIONS AUTOMATIC TAGS ::= BEGIN ServiceType-ID ::= INTEGER (1 .. 255) MessageSubtype-ID ::= INTEGER (1 .. 255) END

File : SpacecraftTimeReferenceStatus.asn1

SpacecraftTimeReferenceStatus DEFINITIONS AUTOMATIC TAGS::= BEGIN EXPORTS ALL; SpacecraftTimeReferenceStatus ::= INTEGER (0 .. 15) END

File : ErrorCodes.asn1

ErrorCodes DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PUSC-INT32 FROM BasicTypes; AcceptanceFailureCode ::= ENUMERATED { pus1-AcceptanceFailure-WrongApid (0), pus1-AcceptanceFailure-WrongLength (1), pus1-AcceptanceFailure-WrongChecksum (2), pus1-AcceptanceFailure-DecodeFailed (5), pus1-AcceptanceFailure-AppError (6) } AcceptanceFailureNotice ::= CHOICE { pus1-AcceptanceFailure-WrongApid Null, pus1-AcceptanceFailure-WrongLength Null, pus1-AcceptanceFailure-WrongChecksum Null, pus1-AcceptanceFailure-DecodeFailed PUSC-INT32, pus1-AcceptanceFailure-AppError PUSC-INT32 } ExecutionStartFailureCode ::= PUSC-INT32 ExecutionStartFailureNotice ::= Null ExecutionProgressFailureCode ::= PUSC-INT32 ExecutionProgressFailureNotice::= Null ExecutionCompletionFailureCode ::= PUSC-INT32 ExecutionCompletionFailureNotice ::= Null END

File : PUS-1-1.asn1

PUS-1-1 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest; TM-1-1-SuccessfulAcceptanceVerificationReport ::= TM-1-1-SuccessfulAcceptanceVerificationReportGeneric {VerificationRequest-ID} TM-1-1-SuccessfulAcceptanceVerificationReportGeneric {Request-ID-Type} ::= SEQUENCE { request-ID Request-ID-Type } END

File : PUS-1-2.asn1

PUS-1-2 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS AcceptanceFailureNotice FROM ErrorCodes; TM-1-2-FailedAcceptanceVerificationReport ::= TM-1-2-FailedAcceptanceVerificationReportGeneric {OCTET STRING(SIZE(4)), AcceptanceFailureNotice} TM-1-2-FailedAcceptanceVerificationReportGeneric {Request-ID-Type, AcceptanceFailureNotice-Type} ::= SEQUENCE { request-ID Request-ID-Type, failureNotice AcceptanceFailureNotice-Type } END

File : PUS-1-3.asn1

PUS-1-3 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest; TM-1-3-SuccessfulStartOfExecutionVerificationReport ::= TM-1-3-SuccessfulStartOfExecutionVerificationReportGeneric {VerificationRequest-ID} TM-1-3-SuccessfulStartOfExecutionVerificationReportGeneric {Request-ID-Type} ::= SEQUENCE { request-ID Request-ID-Type } END

File : PUS-1-4.asn1

PUS-1-4 DEFINITIONS AUTOMATIC TAGS::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest ExecutionStartFailureNotice FROM ErrorCodes; TM-1-4-FailedStartOfExecutionVerificationReport ::= TM-1-4-FailedStartOfExecutionVerificationReportGeneric {VerificationRequest-ID, ExecutionStartFailureNotice} TM-1-4-FailedStartOfExecutionVerificationReportGeneric {Request-ID-Type, ExecutionStartFailureNotice-Type} ::= SEQUENCE { request-ID Request-ID-Type, failureNotice ExecutionStartFailureNotice-Type } END

File : PUS-1-5.asn1

PUS-1-5 DEFINITIONS ::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest ExecutionStep-ID FROM ExecutionStep; TM-1-5-SuccessfulProgressOfExecutionVerificationReport ::= TM-1-5-SuccessfulProgressOfExecutionVerificationReportGeneric {VerificationRequest-ID, ExecutionStep-ID} TM-1-5-SuccessfulProgressOfExecutionVerificationReportGeneric {Request-ID-Type, ExecutionStep-ID-Type} ::= SEQUENCE { request-ID Request-ID-Type, step-ID ExecutionStep-ID-Type } END

File : PUS-1-6.asn1

PUS-1-6 DEFINITIONS AUTOMATIC TAGS::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest ExecutionStep-ID FROM ExecutionStep ExecutionProgressFailureNotice FROM ErrorCodes; TM-1-6-FailedProgressOfExecutionVerificationReport ::= TM-1-6-FailedProgressOfExecutionVerificationReportGeneric {VerificationRequest-ID, ExecutionStep-ID, ExecutionProgressFailureNotice} TM-1-6-FailedProgressOfExecutionVerificationReportGeneric {Request-ID-Type, ExecutionStep-ID-Type, ExecutionProgressFailureNotice-Type} ::= SEQUENCE { request-ID Request-ID-Type, step-ID ExecutionStep-ID-Type, failureNotice ExecutionProgressFailureNotice-Type } END

File : PUS-1-7.asn1

PUS-1-7 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest; TM-1-7-SuccessfulCompletionOfExecutionVerificationReport ::= TM-1-7-SuccessfulCompletionOfExecutionVerificationReportGeneric {VerificationRequest-ID} TM-1-7-SuccessfulCompletionOfExecutionVerificationReportGeneric {Request-ID-Type} ::= SEQUENCE { request-ID Request-ID-Type } END

File : PUS-1-8.asn1

PUS-1-8 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS VerificationRequest-ID FROM VerificationRequest ExecutionCompletionFailureCode FROM ErrorCodes; TM-1-8-FailedCompletionOfExecutionVerificationReport ::= TM-1-8-FailedCompletionOfExecutionVerificationReportGeneric {VerificationRequest-ID, ExecutionCompletionFailureCode} TM-1-8-FailedCompletionOfExecutionVerificationReportGeneric {Request-ID-Type, ExecutionCompletionFailureCode-Type} ::= SEQUENCE { request-ID Request-ID-Type, failureCode ExecutionCompletionFailureCode-Type } END

File : VerificationRequest.asn1

VerificationRequest DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS PacketSequenceControlType FROM PacketTypes TC-PacketType,TC-Packet-ID FROM TC-Packet; VerificationRequest-ID ::= SEQUENCE { packetVersionNumber INTEGER(0 .. 7), packet-ID TC-Packet-ID, packetSequenceControl PacketSequenceControlType } END

File : PUS-5-1.asn1

PUS-5-1 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS ApplicationProcess-ID FROM ApplicationProcess InformativeEventDefinition-ID, InformativeAuxiliaryData FROM EventDefinition; TM-5-1-InformativeEventReport ::= TM-5-1-InformativeEventReportGeneric {InformativeAuxiliaryData} TM-5-1-InformativeEventReportGeneric {EventDefinitionAuxiliaryData-Type} ::= SEQUENCE { --! eventDefinition-ID EventDefinition-ID-Type, auxiliaryData EventDefinitionAuxiliaryData-Type } END

File : PUS-5-2.asn1

PUS-5-2 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS ApplicationProcess-ID FROM ApplicationProcess LowSeverityEventDefinition-ID, LowSeverityAuxiliaryData FROM EventDefinition; TM-5-2-LowSeverityAnomalyReport ::= TM-5-2-LowSeverityAnomalyReportGeneric {LowSeverityAuxiliaryData} TM-5-2-LowSeverityAnomalyReportGeneric {EventDefinitionAuxiliaryData-Type} ::= SEQUENCE { --! eventDefinition-ID EventDefinition-ID-Type, auxiliaryData EventDefinitionAuxiliaryData-Type } END

File : PUS-5-4.asn1

PUS-5-4 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS ApplicationProcess-ID FROM ApplicationProcess HighSeverityEventDefinition-ID, HighSeverityAuxiliaryData FROM EventDefinition; TM-5-4-HighSeverityAnomalyReport ::= TM-5-4-HighSeverityAnomalyReportGeneric {HighSeverityAuxiliaryData} TM-5-4-HighSeverityAnomalyReportGeneric {EventDefinitionAuxiliaryData-Type} ::= SEQUENCE { --! eventDefinition-ID EventDefinition-ID-Type, auxiliaryData EventDefinitionAuxiliaryData-Type } END

File : Data.asn1

Data DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS PUSC-UINT16, PUSC-OCTSTR-VARIABLE-LEN FROM BasicTypes; MemoryDataLength ::= INTEGER (0..1024) MemoryData ::= SEQUENCE { data PUSC-OCTSTR-VARIABLE-LEN } END

File : Memory.asn1

Memory DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; Memory-ID ::= ENUMERATED { pus6-internalMemory (0), pus6-spiMemory0 (1) } END

File : PUS-6-10.asn1

PUS-6-10 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes BytePointer FROM RawMemory PUSC-UINT8, PUSC-UINT32 FROM BasicTypes Memory-ID FROM Memory; TM-6-10-CheckedRawMemoryDataReport ::= SEQUENCE { memoryId Memory-ID, dataArea TM-6-10-DataArea } TM-6-10-DataArea ::= SEQUENCE { startAddress BytePointer, length PUSC-UINT32, checksum INTEGER (0..65535) } END

File : PUS-6-128.asn1

PUS-6-128 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS BytePointer FROM RawMemory Memory-ID FROM Memory; TC-6-128-LoadFlashSector ::= SEQUENCE { memoryId Memory-ID, sectorAddress BytePointer } END

File : PUS-6-129.asn1

PUS-6-129 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS BytePointer FROM RawMemory Memory-ID FROM Memory; TC-6-129-StoreFlashSector ::= SEQUENCE { memoryId Memory-ID, sectorAddress BytePointer } END

File : PUS-6-130.asn1

PUS-6-130 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes; TC-6-130-ZeroFlashBuffer ::= Null END

File : PUS-6-2.asn1

PUS-6-2 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PUSC-UINT8 FROM BasicTypes BytePointer FROM RawMemory MemoryData FROM Data Memory-ID FROM Memory; TC-6-2-LoadRawMemoryDataAreas ::= SEQUENCE { memoryId Memory-ID, dataAreas TC-6-2-DataArea } TC-6-2-DataArea ::= SEQUENCE { startAddress BytePointer, dataToLoad MemoryData } END

File : PUS-6-5.asn1

PUS-6-5 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PUSC-UINT8, PUSC-UINT32 FROM BasicTypes BytePointer FROM RawMemory MemoryDataLength FROM Data Memory-ID FROM Memory; TC-6-5-DumpRawMemoryData ::= SEQUENCE { memoryId Memory-ID, dataAreas TC-6-5-DataArea } TC-6-5-DataArea ::= SEQUENCE { startAddress BytePointer, length MemoryDataLength } END

File : PUS-6-6.asn1

PUS-6-6 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PUSC-UINT8, PUSC-OCTSTR-VARIABLE-LEN FROM BasicTypes BytePointer FROM RawMemory MemoryData FROM Data Memory-ID FROM Memory; TM-6-6-DumpedRawMemoryDataReport ::= SEQUENCE { memoryId Memory-ID, dataDumps DataDump } DataDump ::= SEQUENCE { startAddress BytePointer, dumpedData MemoryData } END

File : PUS-6-9.asn1

PUS-6-9 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PUSC-UINT32, PUSC-UINT8 FROM BasicTypes BytePointer FROM RawMemory Memory-ID FROM Memory; TC-6-9-CheckRawMemoryData ::= SEQUENCE { memoryId Memory-ID, dataAreas TC-6-9-DataArea } TC-6-9-DataArea ::= SEQUENCE { startAddress BytePointer, length PUSC-UINT32 } END

File : RawMemory.asn1

RawMemory DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS PUSC-UINT32 FROM BasicTypes; BytePointer ::= PUSC-UINT32 END

File : PUS-8-1.asn1

PUS-8-1 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes BytePointer FROM RawMemory PUSC-UINT8 FROM BasicTypes Memory-ID FROM Memory; TC-8-1-PerformAFunction ::= SEQUENCE { functionArguments FunctionArgumentsType } Function-ID ::= ENUMERATED { pus8-SwitchToStandbyMode (1), pus8-SelectAswImage (2), pus8-SelectAswImageMemory (3), pus8-SoftwareReset (4), pus8-BootAswImage (5), pus8-EnableMemorySelfTest (10), pus8-DisableMemorySelfTest (11), pus8-EnableAllSelfTests (20), pus8-DisableAllSelfTests (21), pus8-EnableAswImageCheck (30), pus8-DisableAswImageCheck (31), pus8-EnableDataCache (40), pus8-DisableDataCache (41), pus8-EnableInstructionCache (50), pus8-DisableInstructionCache (51) } FunctionArgumentsType ::= CHOICE { pus8-SwitchToStandbyMode Null, pus8-SelectAswImage BytePointer, pus8-SelectAswImageMemory Memory-ID, pus8-SoftwareReset Null, pus8-BootAswImage Null, pus8-EnableMemorySelfTest Null, pus8-DisableMemorySelfTest Null, pus8-EnableAllSelfTests Null, pus8-DisableAllSelfTests Null, pus8-EnableAswImageCheck Null, pus8-DisableAswImageCheck Null, pus8-EnableDataCache Null, pus8-DisableDataCache Null, pus8-EnableInstructionCache Null, pus8-DisableInstructionCache Null } END

File : PUS-17-1.asn1

PUS-17-1 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes; TC-17-1-PerformAnAreYouAliveConnectionTest ::= Null END

File : PUS-17-2.asn1

PUS-17-2 DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes; TM-17-2-AreYouAliveConnectionTestReport ::= Null END

File : PacketTypes.asn1

PacketTypes DEFINITIONS AUTOMATIC TAGS::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes ApplicationProcess-ID FROM ApplicationProcess; SecondaryHeaderFlag ::= INTEGER (0 .. 1) PacketSequenceControlType ::= SEQUENCE { packetSequenceCountOrName INTEGER (0 .. 16383) } PacketDataLengthType ::= INTEGER (0 .. 65535) PacketErrorControlType ::= INTEGER (0..65535) END

File : TC-Packet.asn1

TC-Packet DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PacketSequenceControlType, PacketDataLengthType, PacketErrorControlType, SecondaryHeaderFlag FROM PacketTypes ApplicationProcess-ID FROM ApplicationProcess ApplicationProcessUser-ID FROM ApplicationProcessUser TC-Payload FROM TC-Payload ServiceType-ID, MessageSubtype-ID FROM MessageType; TC-CCSDS-Packet ::= SEQUENCE { packet-ID TC-Packet-ID, packetSequenceControl PacketSequenceControlType, packetDataLength PacketDataLengthType, packetDataField TC-PacketDataField } TC-Packet-ID ::= SEQUENCE { --! secondaryHeaderFlag INTEGER (0 .. 1), moved to ACN applicationProcessID ApplicationProcess-ID } TC-PacketDataField ::= SEQUENCE { secondaryHeader TC-PacketSecondaryHeader, data TC-Payload, --! spare Null, defined as align-to-next acn encoding packetErrorControl PacketErrorControlType } TC-PacketSecondaryHeader ::= SEQUENCE { acknowledgementFlags AcknowledgementFlagsType, --! serviceType-ID ServiceType-ID, moved to ACN --! messageSubtype-ID MessageSubtype-ID, moved to ACN source-ID ApplicationProcessUser-ID --! spare Null defined as align-to-next in acn file } AcknowledgementFlagsType ::= SEQUENCE { ackExecutionCompletion BOOLEAN, ackExecutionProgress BOOLEAN, ackExecutionStart BOOLEAN, ackAcceptance BOOLEAN } TC-PacketType ::= Null END

File : TC-Payload.asn1

TC-Payload DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes MessageSubtype-ID, ServiceType-ID FROM MessageType TC-6-2-LoadRawMemoryDataAreas FROM PUS-6-2 TC-6-5-DumpRawMemoryData FROM PUS-6-5 TC-6-9-CheckRawMemoryData FROM PUS-6-9 TC-6-128-LoadFlashSector FROM PUS-6-128 TC-6-129-StoreFlashSector FROM PUS-6-129 TC-6-130-ZeroFlashBuffer FROM PUS-6-130 TC-8-1-PerformAFunction FROM PUS-8-1 TC-17-1-PerformAnAreYouAliveConnectionTest FROM PUS-17-1; TC-Payload ::= CHOICE { tc-6-2 TC-6-2-LoadRawMemoryDataAreas, tc-6-5 TC-6-5-DumpRawMemoryData, tc-6-9 TC-6-9-CheckRawMemoryData, tc-6-128 TC-6-128-LoadFlashSector, tc-6-129 TC-6-129-StoreFlashSector, tc-6-130 TC-6-130-ZeroFlashBuffer, tc-8-1 TC-8-1-PerformAFunction, tc-17-1 TC-17-1-PerformAnAreYouAliveConnectionTest } END

File : TM-Packet.asn1

TM-Packet DEFINITIONS AUTOMATIC TAGS::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes PacketSequenceControlType, PacketDataLengthType, PacketErrorControlType, SecondaryHeaderFlag FROM PacketTypes ApplicationProcessUser-ID FROM ApplicationProcessUser TM-Payload FROM TM-Payload SpacecraftTimeReferenceStatus FROM SpacecraftTimeReferenceStatus AbsoluteTime FROM BasicTypes ServiceType-ID, MessageSubtype-ID FROM MessageType ApplicationProcess-ID FROM ApplicationProcess; TM-CCSDS-Packet ::= SEQUENCE { packet-ID TM-Packet-ID, packetSequenceControl PacketSequenceControlType, packetDataLength PacketDataLengthType, packetDataField TM-PacketDataField } TM-PacketDataField ::= SEQUENCE { secondaryHeader TM-PacketSecondaryHeader, data TM-Payload, --! spare Null, defined as align-to-next acn encoding packetErrorControl PacketErrorControlType } TM-Packet-ID ::= SEQUENCE { --! secondaryHeaderFlag INTEGER (0 .. 1), moved to ACN applicationProcessID ApplicationProcess-ID } TM-PacketSecondaryHeader ::= SEQUENCE { timeReferenceStatus SpacecraftTimeReferenceStatus, --! serviceType-ID ServiceType-ID, moved to ACN --! messageSubtype-ID MessageSubtype-ID, moved to ACN messageTimeCounter INTEGER (0 .. 65535), destination-ID ApplicationProcessUser-ID, time AbsoluteTime --! spare Null defined as align-to-next in acn file } END

File : TM-Payload.asn1

TM-Payload DEFINITIONS AUTOMATIC TAGS ::= BEGIN EXPORTS ALL; IMPORTS Null FROM BasicTypes MessageSubtype-ID, ServiceType-ID FROM MessageType TM-1-1-SuccessfulAcceptanceVerificationReport FROM PUS-1-1 TM-1-2-FailedAcceptanceVerificationReport FROM PUS-1-2 TM-1-3-SuccessfulStartOfExecutionVerificationReport FROM PUS-1-3 TM-1-4-FailedStartOfExecutionVerificationReport FROM PUS-1-4 TM-1-5-SuccessfulProgressOfExecutionVerificationReport FROM PUS-1-5 TM-1-6-FailedProgressOfExecutionVerificationReport FROM PUS-1-6 TM-1-7-SuccessfulCompletionOfExecutionVerificationReport FROM PUS-1-7 TM-1-8-FailedCompletionOfExecutionVerificationReport FROM PUS-1-8 TM-5-1-InformativeEventReport FROM PUS-5-1 TM-5-2-LowSeverityAnomalyReport FROM PUS-5-2 TM-5-4-HighSeverityAnomalyReport FROM PUS-5-4 TM-6-6-DumpedRawMemoryDataReport FROM PUS-6-6 TM-6-10-CheckedRawMemoryDataReport FROM PUS-6-10 TM-17-2-AreYouAliveConnectionTestReport FROM PUS-17-2; TM-Payload ::= CHOICE { tm-1-1 TM-1-1-SuccessfulAcceptanceVerificationReport, tm-1-2 TM-1-2-FailedAcceptanceVerificationReport, tm-1-3 TM-1-3-SuccessfulStartOfExecutionVerificationReport, tm-1-4 TM-1-4-FailedStartOfExecutionVerificationReport, tm-1-5 TM-1-5-SuccessfulProgressOfExecutionVerificationReport, tm-1-6 TM-1-6-FailedProgressOfExecutionVerificationReport, tm-1-7 TM-1-7-SuccessfulCompletionOfExecutionVerificationReport, tm-1-8 TM-1-8-FailedCompletionOfExecutionVerificationReport, tm-5-1 TM-5-1-InformativeEventReport, tm-5-2 TM-5-2-LowSeverityAnomalyReport, tm-5-4 TM-5-4-HighSeverityAnomalyReport, tm-6-6 TM-6-6-DumpedRawMemoryDataReport, tm-6-10 TM-6-10-CheckedRawMemoryDataReport, tm-17-2 TM-17-2-AreYouAliveConnectionTestReport } END

File : ApplicationProcess.acn

ApplicationProcess DEFINITIONS ::= BEGIN ApplicationProcess-ID [size 11, encoding pos-int, endianness big] END

File : ApplicationProcessUser.acn

ApplicationProcessUser DEFINITIONS ::= BEGIN ApplicationProcessUser-ID [size 16, encoding pos-int, endianness big] END

File : BasicTypes.acn

BasicTypes DEFINITIONS ::= BEGIN Null [size 0, encoding pos-int] PUSC-UINT8 [size 8, encoding pos-int, endianness big] PUSC-UINT16 [size 16, encoding pos-int, endianness big] PUSC-UINT32 [size 32, encoding pos-int, endianness big] PUSC-INT8 [size 8, encoding twos-complement, endianness big] PUSC-INT16 [size 16, encoding twos-complement, endianness big] PUSC-INT32 [size 32, encoding twos-complement, endianness big] PUSC-OCTSTR-VARIABLE-LEN <INTEGER: length> [size length] CDS-AbsoluteTime-PFC-2 [] { day [size 16, encoding pos-int, endianness big], msOfDay [size 32, encoding pos-int, endianness big], usOfDay [size 16, encoding pos-int, endianness big] } AbsoluteTime [] END

File : EventDefinition.acn

EventDefinition DEFINITIONS ::= BEGIN LowSeverityEventDefinition-ID [size 8, encoding pos-int, encode-values] LowSeverityAuxiliaryData <LowSeverityEventDefinition-ID: id> [determinant id] HighSeverityEventDefinition-ID [size 8, encoding pos-int, encode-values] HighSeverityAuxiliaryData <HighSeverityEventDefinition-ID: id> [determinant id] CrashDetectedEventData [size 8, encoding pos-int, encode-values] AswImageCheckFailedEventData [size 8, encoding pos-int, encode-values] InformativeEventDefinition-ID [size 8, encoding pos-int, encode-values] InformativeAuxiliaryData <InformativeEventDefinition-ID: id> [determinant id] AswImageCheckOkEventData [size 8, encoding pos-int, encode-values] END

File : ExecutionStep.acn

ExecutionStep DEFINITIONS ::= BEGIN ExecutionStep-ID [] END

File : MessageType.acn

MessageType DEFINITIONS ::= BEGIN ServiceType-ID [size 8, encoding pos-int, endianness big] MessageSubtype-ID [size 8, encoding pos-int, endianness big] END

File : SpacecraftTimeReferenceStatus.acn

SpacecraftTimeReferenceStatus DEFINITIONS ::= BEGIN SpacecraftTimeReferenceStatus [size 4, encoding pos-int, endianness big] END

File : ErrorCodes.acn

ErrorCodes DEFINITIONS ::= BEGIN AcceptanceFailureCode [size 8, encoding pos-int, encode-values] AcceptanceFailureNotice [] { pus1-AcceptanceFailure-WrongApid [], pus1-AcceptanceFailure-WrongLength [], pus1-AcceptanceFailure-WrongChecksum [], pus1-AcceptanceFailure-DecodeFailed [], pus1-AcceptanceFailure-AppError [] } ExecutionStartFailureCode [] ExecutionStartFailureNotice [] ExecutionProgressFailureCode [] ExecutionProgressFailureNotice [] ExecutionCompletionFailureCode [] ExecutionCompletionFailureNotice [] END

File : PUS-1-1.acn

PUS-1-1 DEFINITIONS ::= BEGIN TM-1-1-SuccessfulAcceptanceVerificationReport [] { request-ID [] } END

File : PUS-1-2.acn

PUS-1-2 DEFINITIONS ::= BEGIN TM-1-2-FailedAcceptanceVerificationReport [] { request-ID [], failureNotice [] } END

File : PUS-1-3.acn

PUS-1-3 DEFINITIONS ::= BEGIN TM-1-3-SuccessfulStartOfExecutionVerificationReport [] { request-ID [] } END

File : PUS-1-4.acn

PUS-1-4 DEFINITIONS ::= BEGIN TM-1-4-FailedStartOfExecutionVerificationReport [] { request-ID [], failureNotice [] } END

File : PUS-1-5.acn

PUS-1-5 DEFINITIONS ::= BEGIN TM-1-5-SuccessfulProgressOfExecutionVerificationReport [] { request-ID [], step-ID [] } END

File : PUS-1-6.acn

PUS-1-6 DEFINITIONS ::= BEGIN TM-1-6-FailedProgressOfExecutionVerificationReport [] { request-ID [], step-ID [], failureNotice [] } END

File : PUS-1-7.acn

PUS-1-7 DEFINITIONS ::= BEGIN TM-1-7-SuccessfulCompletionOfExecutionVerificationReport [] { request-ID [] } END

File : PUS-1-8.acn

PUS-1-8 DEFINITIONS ::= BEGIN TM-1-8-FailedCompletionOfExecutionVerificationReport [] { request-ID [], failureCode [] } END

File : VerificationRequest.acn

VerificationRequest DEFINITIONS ::= BEGIN VerificationRequest-ID [] { packetVersionNumber [size 3, encoding pos-int], packet-ID [], packetSequenceControl [] } END

File : PUS-5-1.acn

PUS-5-1 DEFINITIONS ::= BEGIN TM-5-1-InformativeEventReport [] { eventDefinition-ID EventDefinition.InformativeEventDefinition-ID [], auxiliaryData <eventDefinition-ID> [] } END

File : PUS-5-2.acn

PUS-5-2 DEFINITIONS ::= BEGIN TM-5-2-LowSeverityAnomalyReport [] { eventDefinition-ID EventDefinition.LowSeverityEventDefinition-ID [], auxiliaryData <eventDefinition-ID> [] } END

File : PUS-5-4.acn

PUS-5-4 DEFINITIONS ::= BEGIN TM-5-4-HighSeverityAnomalyReport [] { eventDefinition-ID EventDefinition.HighSeverityEventDefinition-ID [], auxiliaryData <eventDefinition-ID> [] } END

File : Data.acn

Data DEFINITIONS ::= BEGIN MemoryDataLength [size 16, encoding pos-int, endianness big] MemoryData [] { length MemoryDataLength [], data <length> [] } END

File : Memory.acn

Memory DEFINITIONS ::= BEGIN Memory-ID [size 32, encoding pos-int, encode-values] END

File : PUS-6-10.acn

PUS-6-10 DEFINITIONS ::= BEGIN TM-6-10-CheckedRawMemoryDataReport [] { memoryId [], n NULL [pattern '00000001'B], dataArea [] } TM-6-10-DataArea [] { startAddress [], length [], checksum [size 16, encoding pos-int] } END

File : PUS-6-128.acn

PUS-6-128 DEFINITIONS ::= BEGIN TC-6-128-LoadFlashSector [] { memoryId [], sectorAddress [] } END

File : PUS-6-129.acn

PUS-6-129 DEFINITIONS ::= BEGIN TC-6-129-StoreFlashSector [] { memoryId [], sectorAddress [] } END

File : PUS-6-130.acn

PUS-6-130 DEFINITIONS ::= BEGIN TC-6-130-ZeroFlashBuffer [] END

File : PUS-6-2.acn

PUS-6-2 DEFINITIONS ::= BEGIN TC-6-2-LoadRawMemoryDataAreas [] { memoryId [], n NULL [pattern '00000001'B], dataAreas [] } TC-6-2-DataArea [] { startAddress [], dataToLoad [] } END

File : PUS-6-5.acn

PUS-6-5 DEFINITIONS ::= BEGIN TC-6-5-DumpRawMemoryData [] { memoryId [], n NULL [pattern '00000001'B], dataAreas [] } TC-6-5-DataArea [] { startAddress [], length [] } END

File : PUS-6-6.acn

PUS-6-6 DEFINITIONS ::= BEGIN TM-6-6-DumpedRawMemoryDataReport [] { memoryId [], n NULL [pattern '00000001'B], dataDumps [] } DataDump [] { startAddress [], dumpedData [] } END

File : PUS-6-9.acn

PUS-6-9 DEFINITIONS ::= BEGIN TC-6-9-CheckRawMemoryData [] { memoryId [], n NULL [pattern '00000001'B], dataAreas [] } TC-6-9-DataArea [] { startAddress [], length [] } END

File : RawMemory.acn

RawMemory DEFINITIONS ::= BEGIN BytePointer [] END

File : PUS-8-1.acn

PUS-8-1 DEFINITIONS ::= BEGIN TC-8-1-PerformAFunction [] { function-ID Function-ID [], functionArguments <function-ID> [] } Function-ID [size 8, encoding pos-int, encode-values] FunctionArgumentsType <Function-ID: function-ID> [determinant function-ID] END

File : PUS-17-1.acn

PUS-17-1 DEFINITIONS ::= BEGIN TC-17-1-PerformAnAreYouAliveConnectionTest [] END

File : PUS-17-2.acn

PUS-17-2 DEFINITIONS ::= BEGIN TM-17-2-AreYouAliveConnectionTestReport [] END

File : PacketTypes.acn

PacketTypes DEFINITIONS ::= BEGIN PacketSequenceControlType [] { sequenceFlags NULL [pattern '11'B], packetSequenceCountOrName [size 14, encoding pos-int, endianness big] } SecondaryHeaderFlag [size 1, encoding pos-int, endianness big] PacketDataLengthType [size 16, encoding pos-int, endianness big] PacketErrorControlType [size 16, encoding pos-int, endianness big] END

File : TC-Packet.acn

TC-Packet DEFINITIONS ::= BEGIN TC-CCSDS-Packet [] { packetVersionNumber NULL [pattern '000'B], packet-ID [], packetSequenceControl [], packetDataLength [], packetDataField [] } TC-PacketDataField [] { secondaryHeader [], data <secondaryHeader.serviceType-ID, secondaryHeader.messageSubtype-ID> [align-to-next byte], --! spare [], packetErrorControl [align-to-next byte] } TC-Packet-ID [] { packetType NULL [pattern '1'B], secondaryHeaderFlag NULL [pattern '1'B], applicationProcessID [] } TC-PacketSecondaryHeader [] { tcPacketPusVersionNumber NULL [pattern '0010'B], acknowledgementFlags [], serviceType-ID MessageType.ServiceType-ID [], messageSubtype-ID MessageType.MessageSubtype-ID [], source-ID [] --! spare [] } AcknowledgementFlagsType [] { ackExecutionCompletion [true-value '1'B], ackExecutionProgress [true-value '1'B], ackExecutionStart [true-value '1'B], ackAcceptance [true-value '1'B] } END

File : TC-Payload.acn

TC-Payload DEFINITIONS ::= BEGIN TC-Payload <MessageType.ServiceType-ID:service, MessageType.MessageSubtype-ID:message> [] { tc-6-2 [present-when service==6 message==2], tc-6-5 [present-when service==6 message==5], tc-6-9 [present-when service==6 message==9], tc-6-128 [present-when service==6 message==128], tc-6-129 [present-when service==6 message==129], tc-6-130 [present-when service==6 message==130], tc-8-1 [present-when service==8 message==1], tc-17-1 [present-when service==17 message==1] } END

File : TM-Packet.acn

TM-Packet DEFINITIONS ::= BEGIN TM-CCSDS-Packet [] { packetVersionNumber NULL [pattern '000'B], packet-ID [], packetSequenceControl [], packetDataLength [], packetDataField [] } TM-PacketDataField [] { secondaryHeader [], data <secondaryHeader.serviceType-ID, secondaryHeader.messageSubtype-ID> [align-to-next byte], --! spare [], packetErrorControl [align-to-next byte] } TM-Packet-ID [] { packetType NULL [pattern '0'B], secondaryHeaderFlag NULL [pattern '1'B], applicationProcessID [] } TM-PacketSecondaryHeader [] { tmPacketPusVersionNumber NULL [pattern '0010'B], timeReferenceStatus [], serviceType-ID MessageType.ServiceType-ID [], messageSubtype-ID MessageType.MessageSubtype-ID [], messageTimeCounter [size 16, encoding pos-int, endianness big], destination-ID [], time [] --! spare NULL defined as align-to-next in acn file } END

File : TM-Payload.acn

TM-Payload DEFINITIONS ::= BEGIN TM-Payload <MessageType.ServiceType-ID:service, MessageType.MessageSubtype-ID:message> [] { tm-1-1 [present-when service==1 message==1], tm-1-2 [present-when service==1 message==2], tm-1-3 [present-when service==1 message==3], tm-1-4 [present-when service==1 message==4], tm-1-5 [present-when service==1 message==5], tm-1-6 [present-when service==1 message==6], tm-1-7 [present-when service==1 message==7], tm-1-8 [present-when service==1 message==8], tm-5-1 [present-when service==5 message==1], tm-5-2 [present-when service==5 message==2], tm-5-4 [present-when service==5 message==4], tm-6-6 [present-when service==6 message==6], tm-6-10 [present-when service==6 message==10], tm-17-2 [present-when service==17 message==2] } END