Let's Talk

Heritage

Flight-Proven Code. Mission-Tested Experience.

Some of our code is in space today. We have supported ESA activities since 2016.

10+
Projects
Since 2016
Active
8
ESA Activities

Flight Software

STIX / Solar Orbiter

Operational

End-to-end software delivery 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.

Customer: FHNW / ESA PRODEX Timeline: 2016 – ongoing Status: Operational since February 2020

Formal Verification Study

Completed

STIX file system formal verification in Scala using Stainless. Mathematical proof of correctness for safety-critical components.

Swiss Space Office MdP | 2020

Autonomy Algorithm Prototype

Completed

Embedded software autonomy for STIX. Image quality vs telemetry rate optimization through onboard decision-making.

Swiss Space Center / EPFL

Data Engineering

STIX Ground Pipeline

Operational

Scientific data pipeline for the STIX instrument. Processing, calibration, archiving, and distribution to the science community. Handles Level 0 through Level 2 data products.

FHNW / ESA PRODEX 2016 – ongoing

Green Space Logistics Tool

In Development

LCA integration tool for space logistics sustainability assessment. Enables lifecycle analysis of space transportation scenarios.

ESA FLPP | EPFL, PSI | 2022 – ongoing

ASN.1 Toolchain Extension

Production

Python and Scala backends for ASN.1/ACN code generation. Extends ESA's standard toolchain for ground segment applications.

ESA GSTP 4000146882

Platforms & Integration

Space Sustainability Rating

In Development

React/.NET migration of the Space Sustainability Rating platform for ESA. Modern web application for assessing and rating space mission sustainability practices.

ESA GSTP Element 1 Consortium: WEF, MIT, BryceTech, UT Austin 2024 – ongoing

STIX Data Browser

Operational

Web-based interface for browsing and accessing STIX science data. Used by the science community for data exploration.

FHNW / ESA PRODEX

EGSE Scripting Engine

In Development

C++ extension for mass spectrometer EGSE. Scripting engine for automated test sequences.

University of Bern | 2025 – ongoing

AI & Edge Computing

Onboard Object Detection

Demonstrated

Real-time AI inference at 10.5 Mpx/s on resource-constrained platforms. YOLOX optimized for Xilinx UltraScale+ at 26W power budget.

armasuisse S+T | 2022 – 2024
View product

Quantum-Safe Satellite Links

In Development

Post-quantum cryptography for CCSDS/SDLS-compliant space infrastructure. NIST-selected algorithms integrated with NASA cFS.

ESA ARTES 4S | 2023 – ongoing
View product

Interested in Working With Us?

We're always looking for challenging projects. Let's discuss how we can support your mission.

Get in Touch View Our Services