Heritage
Flight-Proven Code. Mission-Tested Experience.
Our code is in space. Since 2016, we've supported ESA missions from flight software to ground systems.
16 engineers and domain specialists — cross-industry experience that strengthens every project.
Space Segment
Flight Software
STIX / Solar Orbiter
OperationalCo-engineered with FHNW's Institute for Data Science (PI: Prof. Dr. Säm Krucker) and the STIX consortium. End-to-end flight software for the STIX X-ray telescope onboard ESA's Solar Orbiter. Architecture redesign, core application software, custom file system, flight software V&V, EGSE test scripts, commissioning, and ongoing operations support. Current mandate continues through 2026 with options to 2030.
STIX first light during Near Earth Commissioning. Filmed by Laszlo Etesi.
Quantum-Safe Flight Software
In ProgressPost-quantum cryptographic protocol for CCSDS/SDLS-compliant space infrastructure. NIST-selected algorithms integrated with NASA cFS. Modular apps for secure key exchange, encryption, and TM/TC handling.
TM/TC Protocol Generation
ProductionPython and Scala backends for ASN.1/ACN code generation. Two ESA activities extending the standard toolchain for verified TM/TC protocol encoders and decoders. The Scala backend is Ateleris's only ESA activity as prime.
Formal Verification Study (ESOVER)
CompletedSTIX file system formal verification in Scala using Stainless. Mathematical proof of correctness for safety-critical components. Published at NASA Formal Methods 2022.
UBE EGSE Scripting Engine
CompletedANTLR-based scripting language with pre-execution correctness checking for the University of Bern mass spectrometer EGSE, supporting the LIMS payload on NASA CLPS / Artemis. C++14 / Qt extension, GitLab CI/CD covering Visual Studio and CMake targets.
End-to-End
AI & Data Engineering
STIX Ground Pipeline
OperationalScientific data pipeline for the STIX instrument. Processing, calibration, archiving, and distribution to the science community. From raw telemetry (L0) to science-ready products (L2).
Onboard Object Detection
DemonstratedReal-time AI inference at 10.5 Mpx/s on resource-constrained platforms. YOLOX optimized for Xilinx UltraScale+ at 26W power budget.
Autonomy Algorithm Prototype
CompletedEmbedded software autonomy for STIX. Autonomous Interval Selection Algorithm optimizing image quality vs telemetry rate — achieved 10× reduction in data rate while improving image quality.
Q-SMART — Qualified ML Toolkit
In ProgressQualified Software Machine Learning Toolkit for Space Hardware. Model verification, characterisation, and evaluation methods that bring ML components through a credible flight-qualification path.
Ground Segment
Platforms & Integration
REACT Phase 2 — End-to-End LCA
CompletedEnd-to-end lifecycle-assessment tool for launcher development (ESA FLPP contract 4000142632). Extends the Phase 1 Assessment and Comparison Tool to cover the full launcher lifecycle, with AI-powered specification generation via an MCP server — an early application of Model Context Protocol in an ESA context. The project contributed to the spin-off of EcoDeltaV, which now commercialises space sustainability consulting.
Space Sustainability Rating
CompletedWeb platform for assessing space mission sustainability practices. Migrated from prototype to production-grade system (RATE-SPACE). User-centered design with stakeholder workshops, in-house security review and penetration testing.
InSPoC-3: Spacecraft Fleet Management
CompletedSpacecraft fleet management concepts for ESA's In-Space Proof of Concept 3 initiative. Contributed to autonomy, coordination, and orchestration strategies for future space-tug operations.
REACT Phase 1 — Logistics Tool
CompletedPredecessor of Phase 2: the initial LCA integration platform, delivering the Assessment and Comparison Tool (ACT) for space-transportation sustainability. Established the methodology later extended to end-to-end launcher lifecycle assessment.
Interested in Working With Us?
Planning a mission? Whether you're in early concept studies or need support for operational systems — we'd like to hear about your project.