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 approach is co-engineering, not just contracting. We work alongside instrument teams, scientists, and system engineers — from joint requirements workshops through design iteration, verification, and into operations. We participate in your review cycle (SRR, PDR, CDR), share ownership of V&V, and ensure knowledge transfer throughout. You understand what we build; we understand what you need.
Our team's involvement with STIX dates back to 2012 — experience we bring to every new engagement.
Our Approach
What We Build
Instrument Application Software
Command handling, data acquisition, FDIR
Payload Data Processing
Onboard calibration, compression, downlink optimization
Onboard AI/ML
Edge inference, autonomy, quantization-aware deployment
How We Structure It
We select the architecture that fits your mission.
How We Deliver
Incremental Verification
Alongside development
Reproducible Builds
Traceable, auditable
Operations Support
Beyond delivery
EGSE & SVF · CI/CD · Traceability
Technologies
We're comfortable across a broad technology stack — and choose what fits the mission.
Embedded Languages
- C
- C++
- Rust
- Assembly
Platforms & Tooling
- Python
- Scala
- ASN1SCC
Processors
- LEON3/4
- GR712RC
- GR740
- ARM Cortex
RTOS & OS
- RTEMS
- FreeRTOS
- Bare-metal
- Linux (Buildroot)
Frameworks & Standards
- NASA cFS
- ASN.1/ACN
- PUS-C
- CCSDS
FPGA & Acceleration
- Xilinx Zynq
- UltraScale+
- Vivado
- Vitis AI, DPU
ML/AI
- PyTorch
- TensorFlow Lite
DevOps & Simulation
- Git
- CI/CD
- Docker
- QEMU, TSIM
Flight Heritage
STIX / Solar Orbiter
OperationalEnd-to-end software for ESA's X-ray telescope. Our engineers have supported STIX since early development (2012), with Ateleris delivering core contributions since 2016: architecture redesign, application software, custom file system, V&V, EGSE scripts, commissioning, and ongoing operations support.
Quantum-Safe Flight Software
In ProgressPost-quantum cryptographic protocol for CCSDS/SDLS on NASA cFS. Modular apps for secure key exchange, encryption, and TM/TC handling.
View detailsEGSE Scripting Engine
CompletedInherently safe scripting language for automated instrument testing. C++ extension integrated with TM/TC for predictable mass spectrometer verification.
ASN1SCC Python Backend
In ProgressPython code generation for ASN.1 TM/TC protocols. Extending ESA's ASN1SCC toolchain for multi-platform deployment.
View detailsFormal Verification Study
CompletedSTIX file system formal verification in Scala using Stainless.
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.