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 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, ongoing operations support.
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.
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.
EGSE Scripting Engine
CompletedInherently safe scripting language for automated instrument testing. C++ extension integrated with TM/TC for predictable mass spectrometer verification.
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.
Ground Segment
Platforms & Integration
REACT — Green Space Logistics Tool
CompletedLCA integration platform (Assessment and Comparison Tool) for space transportation sustainability assessment. Enables lifecycle analysis of future launcher scenarios. Includes AI-powered specification generation via MCP server integration. The project contributed to the spin-off of EcoDeltaV, which now commercializes space sustainability consulting services.
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.
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.