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
5337db59
Commit
5337db59
authored
Jul 18, 2017
by
TASTE User
Browse files
change data model
parent
2a42f742
Changes
3
Expand all
Hide whitespace changes
Inline
Side-by-side
DataView.aadl
View file @
5337db59
This diff is collapsed.
Click to expand it.
DataView.acn
View file @
5337db59
Taps DEFINITIONS ::= BEGIN
APID[encoding pos-int, encode-values, size 11]
APUserID[encoding pos-int, encode-values, size 16]
TYPE8b-ID[encoding pos-int, size 8]
TC[]{
packet-version-no NULL [pattern '000'B],
...
...
@@ -15,8 +16,8 @@ Taps DEFINITIONS ::= BEGIN
ack-successful-progress [],
ack-successful-start [],
ack-successful-acceptance [],
service-type-id TYPE8b-ID [],
service-subtype-id TYPE8b-ID [],
--
service-type-id TYPE8b-ID [],
--
service-subtype-id TYPE8b-ID [],
source-id []
}
}
...
...
DataView.asn
View file @
5337db59
PUS-Implicit-Knowledge DEFINITIONS ::=
BEGIN
TC-type {APID} ::= SEQUENCE {
TC-type {APID
, APUserID
} ::= SEQUENCE {
dest-apid APID,
sequence-count INTEGER(0..16383),
packet-length INTEGER(0..65535),
secondary-header TC-Secondary-Header {APID}
secondary-header TC-Secondary-Header {AP
User
ID}
}
TM-type {APID} ::= SEQUENCE {
...
...
@@ -13,12 +13,12 @@ TM-type {APID} ::= SEQUENCE {
packet-length INTEGER(0..65535)
}
TC-Secondary-Header {APID} ::= SEQUENCE {
TC-Secondary-Header {AP
User
ID} ::= SEQUENCE {
ack-successful-completion BOOLEAN,
ack-successful-progress BOOLEAN,
ack-successful-start BOOLEAN,
ack-successful-acceptance BOOLEAN,
source-id APID
source-id AP
User
ID
}
END
...
...
@@ -39,8 +39,16 @@ APID ::= ENUMERATED { --let ACN manage the "11 bits" constraint
sc-sensorB(4),
sc-cpdu(5)
}
APUserID ::= ENUMERATED { --let ACN manage the "16 bits" constraint
ground-User(1),
sc-routingUser(2),
sc-sensorA-User(3),
sc-sensorB-User(4),
sc-cpdu-User(5)
}
-- Instantiate the Telecommand type
TC ::= TC-type{APID}
TC ::= TC-type{APID
, APUserID
}
-- Instantiate the Telemetry type
TM ::= TM-type{APID}
...
...
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