Flight Software
Instrument and payload software. ECSS-compliant. Flight-proven on ESA's Solar Orbiter.
We specialize in software for scientific instruments and payloads — the application layer that controls sensors, processes data onboard, and interfaces with the spacecraft bus. Our code runs today on ESA's Solar Orbiter, where we've supported the STIX X-ray telescope from early development through ongoing operations.
Our flight software work spans the full ECSS lifecycle: requirements analysis, architecture design, implementation in C or Ada, verification against hardware, and in-orbit support. We work as embedded team members alongside instrument PIs and spacecraft engineers, or as independent contractors delivering complete work packages.
Capabilities
Instrument Application Software
Command handling, data acquisition, compression, packetization, fault detection, isolation, and recovery (FDIR).
Payload Data Processing
Onboard calibration, data reduction, bandwidth-efficient encoding for downlink optimization.
Onboard AI/ML
Edge inference, autonomy algorithms, quantization-aware training for resource-constrained platforms.
Flight Software V&V
Verification, EGSE integration, test scripts, hardware-in-the-loop testing, formal verification studies.
Technologies
Languages
- C
- Ada
- Assembly
- Scala
Processors
- LEON3/4
- GR712RC
- GR740
- ARM Cortex
RTOS
- RTEMS
- Bare-metal
- FreeRTOS
Frameworks
- NASA cFS
- TASTE
- ASN.1/ACN
DevOps
- Git
- CI/CD
- Digital Twins
Flight Heritage
STIX / Solar Orbiter
OperationalEnd-to-end software for ESA's X-ray telescope. Architecture redesign, core application software, custom file system, V&V, EGSE scripts, commissioning, ongoing operations support.
View detailsFormal Verification Study
CompletedSTIX file system formal verification in Scala using Stainless.
Autonomy Algorithm Prototype
CompletedEmbedded software autonomy for STIX, image quality vs telemetry rate optimization.
Related Services
Ready to Talk Flight Software?
Whether you're defining requirements for a new instrument or need support for an operational mission — we're here to help.