Thomas Gazagnaire gets OCaml into orbit with Parsimoni's Borealis
Running inside DPhi Space's ClusterGate-2 payload module, the pure-OCaml CCSDS stack brings end-to-end encrypted command and control with OTAR to low Earth orbit.
By Ryan Merket · Published
Primary source: gazagnaire.org
Why it matters
Hosted-payload satellites are multi-tenant, but kernel isolation fails often and patching in orbit is slow. Parsimoni's OCaml-based CCSDS stack moves the trust boundary into cryptography and protocol design, pointing to a safer default for space software.
Thomas Gazagnaire said Parsimoni's pure-OCaml CCSDS stack booted in low Earth orbit on April 23rd, writing in a blog post that the project, codenamed Borealis, is running inside DPhi Space's ClusterGate-2 payload module. The team says it is the first time a pure-OCaml CCSDS stack has run in space, complete with end-to-end-encrypted command and control and post-quantum key rotation implemented in OCaml.…