Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
taps
Commits
cf47b74b
Commit
cf47b74b
authored
Jul 19, 2017
by
TASTE User
Browse files
data model tc[2,4]
parent
5337db59
Changes
3
Expand all
Hide whitespace changes
Inline
Side-by-side
DataView.aadl
View file @
cf47b74b
This diff is collapsed.
Click to expand it.
DataView.acn
View file @
cf47b74b
Taps DEFINITIONS ::= BEGIN
Taps DEFINITIONS ::= BEGIN
APID[encoding pos-int, encode-values, size 11]
APID[encoding pos-int, encode-values, size 11]
APUserID[encoding pos-int, encode-values, size 16]
APUserID[encoding pos-int, encode-values, size 16]
CPDU-output-line-ID[]
CPDU-Id[]
Pulse-Instr-Instance[] {
output-line-id [],
reserved NULL [pattern '0'B],
duration-exp-value []
}
TYPE8b-ID[encoding pos-int, size 8]
TYPE8b-ID[encoding pos-int, size 8]
TC[]{
TC[]{
packet-version-no NULL [pattern '000'B],
packet-version-no NULL [pattern '000'B],
...
...
DataView.asn
View file @
cf47b74b
...
@@ -24,9 +24,22 @@ TC-Secondary-Header {APUserID} ::= SEQUENCE {
...
@@ -24,9 +24,22 @@ TC-Secondary-Header {APUserID} ::= SEQUENCE {
END
END
-- Generic definition for TC 2-4 - Distribute CPDU Commands from PUS-C
Distribute-CPDU-Commands-Generic DEFINITIONS ::=
BEGIN
Pulse-Instruction {CPDU-OUTPUT-IDENTIFIER} ::= SEQUENCE {
output-line-id CPDU-OUTPUT-IDENTIFIER,
duration-exp-value INTEGER (0..7) }
END
Taps DEFINITIONS ::=
Taps DEFINITIONS ::=
BEGIN
BEGIN
IMPORTS TC-type, TM-type
IMPORTS Pulse-Instruction
FROM Distribute-CPDU-Commands-Generic
TC-type,
TM-type
FROM PUS-Implicit-Knowledge;
FROM PUS-Implicit-Knowledge;
-- for acn TC packet secondary header type & subtype
-- for acn TC packet secondary header type & subtype
...
@@ -47,6 +60,17 @@ APUserID ::= ENUMERATED { --let ACN manage the "16 bits" constraint
...
@@ -47,6 +60,17 @@ APUserID ::= ENUMERATED { --let ACN manage the "16 bits" constraint
sc-sensorB-User(4),
sc-sensorB-User(4),
sc-cpdu-User(5)
sc-cpdu-User(5)
}
}
-- CPDU output Identifier defined in 9.2.1d
CPDU-output-line-ID ::= INTEGER { cpdu-line1(1), cpdu-line2(2)} (0..4095)
CPDU-Id ::= ENUMERATED { cpdu-id-1, cpdu-id-2 }
Pulse-Instr-Instance ::= Pulse-Instruction { CPDU-output-line-ID }
-- Maximum number of command pulse instructions (project specific) (PUS-C, clause 9.2.1.g)
max-Instr-No INTEGER (12 .. 504) ::= 12
-- Instantiate the Telecommand type
-- Instantiate the Telecommand type
TC ::= TC-type{APID, APUserID}
TC ::= TC-type{APID, APUserID}
-- Instantiate the Telemetry type
-- Instantiate the Telemetry type
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment