CCSDS Space Data Link Security (355.0-B-2)
Add CCSDS gap packages with spec test vectors
New packages:
- ocaml-tm-sync (131.0-B): TM randomizer (LFSR) with CCSDS PN
sequence test vector; RS/convolutional/LDPC/turbo stubs
- ocaml-proximity1 (211.0-B): Proximity-1 frame header Wire codec
with encode/decode and roundtrip tests
Tests with spec vectors (96 tests total):
- tm-sync: PN sequence from CCSDS 131.0-B-4 Annex B
- cltu: BCH(63,56) parity, CLTU/ASM sync parsers
- cop1: FOP-1/FARM-1 state machine transitions
- fsr: 32-bit FSR Wire codec with known bit patterns
- proximity1: frame header roundtrip for all frame types
- ccsds-time: CUC/CDS encode/decode with epoch constants
+16
+16
lib/ep.mli
+16
lib/ep.mli
···
147
147
| Unsupported_pdu
148
148
149
149
val pp_error : error Fmt.t
150
+
151
+
(** {1 Protocol State Machine}
152
+
153
+
{b TODO:} The EP protocol state machine sequences EP PDUs for SA management
154
+
and key management procedures. Each procedure (e.g., SA Create, OTAR, Key
155
+
Verification) follows a defined request/response exchange with timeouts,
156
+
retransmission, and error handling per CCSDS 355.1-B-1 Sections 5 and 6.
157
+
158
+
The state machine should track:
159
+
- Current procedure state (Idle, Awaiting_reply, Complete, Error)
160
+
- Transaction ID correlation between request and reply PDUs
161
+
- Timeout management for outstanding requests
162
+
- Retry logic with configurable attempt limits
163
+
164
+
This is not yet implemented. The PDU parsing above can be used standalone
165
+
for manual procedure sequencing in the meantime. *)