Referenzen
Flugerprobter Code. Missionsbewährte Erfahrung.
Unser Code ist im Weltraum. Seit 2016 unterstützen wir ESA-Missionen von Flugsoftware bis zu Bodensystemen.
16 Engineers und Fachleute — branchenübergreifende Erfahrung, die jedes Projekt stärkt.
Raumsegment
Flugsoftware
STIX / Solar Orbiter
BetriebsbereitGemeinsam entwickelt mit FHNW und dem STIX-Konsortium. End-to-End-Flugsoftware für das STIX-Röntgenteleskop an Bord von ESAs Solar Orbiter. Architektur-Redesign, Kern-Anwendungssoftware, eigenes Dateisystem, Flugsoftware-V&V, EGSE-Testskripte, Inbetriebnahme, laufende Betriebsunterstützung.
STIX First Light während der erdnahen Inbetriebnahme. Gefilmt von Laszlo Etesi.
Quantensichere Flugsoftware
In BearbeitungPost-Quanten-Kryptographieprotokoll für CCSDS/SDLS-konforme Weltrauminfrastruktur. NIST-ausgewählte Algorithmen integriert mit NASA cFS. Modulare Apps für sicheren Schlüsselaustausch, Verschlüsselung und TM/TC-Verarbeitung.
TM/TC-Protokollgenerierung
ProduktivPython- und Scala-Backends für ASN.1/ACN-Codegenerierung. Zwei ESA-Aktivitäten zur Erweiterung der Standard-Toolchain für verifizierte TM/TC-Protokoll-Encoder und -Decoder.
Formale Verifikationsstudie (ESOVER)
AbgeschlossenFormale Verifikation des STIX-Dateisystems in Scala mit Stainless. Mathematischer Korrektheitsbeweis für sicherheitskritische Komponenten. Veröffentlicht bei NASA Formal Methods 2022.
EGSE Scripting Engine
AbgeschlossenInhärent sichere Skriptsprache für automatisierte Instrumententests. C++-Erweiterung integriert mit TM/TC für vorhersagbare Massenspektrometer-Verifikation.
End-to-End
KI & Daten-Engineering
STIX Ground Pipeline
BetriebsbereitWissenschaftliche Datenpipeline für das STIX-Instrument. Verarbeitung, Kalibrierung, Archivierung und Verteilung an die Wissenschaftsgemeinschaft. Von Rohdaten (L0) zu wissenschaftlich nutzbaren Produkten (L2).
Onboard-Objekterkennung
DemonstriertKI-Inferenz in Echtzeit mit 10.5 Mpx/s auf ressourcenbeschränkten Plattformen. YOLOX optimiert für Xilinx UltraScale+ bei 26W Leistungsbudget.
Autonomie-Algorithmus-Prototyp
AbgeschlossenEingebettete Software-Autonomie für STIX. Autonomer Intervallauswahl-Algorithmus zur Optimierung von Bildqualität vs. Telemetrierate — erreichte 10× Reduzierung der Datenrate bei gleichzeitiger Verbesserung der Bildqualität.
Bodensegment
Plattformen & Integration
REACT — Green Space Logistics Tool
AbgeschlossenLCA-Integrationsplattform (Assessment and Comparison Tool) für die Nachhaltigkeitsbewertung von Weltraumtransporten. Ermöglicht Lebenszyklusanalysen zukünftiger Trägerszenarien. Beinhaltet KI-gestützte Spezifikationsgenerierung über MCP-Server-Integration. Das Projekt trug zur Ausgründung von EcoDeltaV bei, das nun Weltraum-Nachhaltigkeitsberatung kommerzialisiert.
Space Sustainability Rating
AbgeschlossenWebplattform zur Bewertung von Nachhaltigkeitspraktiken bei Weltraummissionen. Migration vom Prototyp zum produktionsreifen System (RATE-SPACE). Nutzerzentriertes Design mit Stakeholder-Workshops, interner Sicherheitsprüfung und Penetrationstests.
SSR WebsiteInSPoC-3: Spacecraft Fleet Management
AbgeschlossenKonzepte für Raumfahrzeug-Flottenmanagement für ESAs In-Space Proof of Concept 3-Initiative. Beitrag zu Autonomie-, Koordinations- und Orchestrierungsstrategien für zukünftige Space-Tug-Operationen.
Interesse an einer Zusammenarbeit?
Planen Sie eine Mission? Ob Sie sich in frühen Konzeptstudien befinden oder Unterstützung für operative Systeme benötigen — wir würden gerne von Ihrem Projekt erfahren.