Flugsoftware
Instrumenten- und Nutzlastsoftware. ECSS-konform. Flugerprobt auf ESAs Solar Orbiter.
Wir spezialisieren uns auf Software für wissenschaftliche Instrumente und Nutzlasten — die Anwendungsschicht, die Sensoren steuert, Daten an Bord verarbeitet und mit dem Satellitenbus kommuniziert. Unser Code läuft heute auf ESAs Solar Orbiter, wo wir das STIX-Röntgenteleskop von der frühen Entwicklung bis zum laufenden Betrieb unterstützt haben.
Unser Ansatz ist Co-Engineering, nicht nur Auftragsentwicklung. Wir arbeiten Seite an Seite mit Instrumententeams, Forschenden und System-Engineers — von gemeinsamen Anforderungsworkshops über Design-Iterationen, Verifikation bis hin zum Betrieb. Wir nehmen an Ihrem Review-Zyklus teil (SRR, PDR, CDR), teilen die Verantwortung für V&V und stellen durchgehend Wissenstransfer sicher. Sie verstehen, was wir bauen; wir verstehen, was Sie brauchen.
Die Beteiligung unseres Teams an STIX reicht bis 2012 zurück — Erfahrung, die wir in jedes neue Engagement einbringen.
Unser Ansatz
Was wir bauen
Instrumenten-Anwendungssoftware
Kommandoverarbeitung, Datenerfassung, FDIR
Nutzlast-Datenverarbeitung
Onboard-Kalibrierung, Kompression, Downlink-Optimierung
Onboard-KI/ML
Edge-Inferenz, Autonomie, quantisierungsbewusste Bereitstellung
Wie wir es strukturieren
Wir wählen die Architektur, die zu Ihrer Mission passt.
Wie wir liefern
Inkrementelle Verifikation
Parallel zur Entwicklung
Reproduzierbare Builds
Nachvollziehbar, auditierbar
Betriebsunterstützung
Über die Lieferung hinaus
EGSE & SVF · CI/CD · Rückverfolgbarkeit
Technologien
Wir sind versiert in einem breiten Technologie-Stack — und wählen, was zur Mission passt.
Embedded-Sprachen
- C
- C++
- Rust
- Assembly
Plattformen & Tooling
- Python
- Scala
- ASN1SCC
Prozessoren
- 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 & Beschleunigung
- Xilinx Zynq
- UltraScale+
- Vivado
- Vitis AI, DPU
ML/KI
- PyTorch
- TensorFlow Lite
DevOps & Simulation
- Git
- CI/CD
- Docker
- QEMU, TSIM
Flug-Heritage
STIX / Solar Orbiter
BetriebsbereitEnd-to-End-Software für ESAs Röntgenteleskop. Unser Engineering-Team unterstützt STIX seit der frühen Entwicklung (2012), wobei Ateleris seit 2016 zentrale Beiträge liefert: Architektur-Redesign, Anwendungssoftware, eigenes Dateisystem, V&V, EGSE-Skripte, Inbetriebnahme und laufende Betriebsunterstützung.
Quantensichere Flugsoftware
In BearbeitungPost-Quanten-Kryptographieprotokoll für CCSDS/SDLS auf NASA cFS. Modulare Apps für sicheren Schlüsselaustausch, Verschlüsselung und TM/TC-Verarbeitung.
Details ansehenEGSE Scripting Engine
AbgeschlossenInhärent sichere Skriptsprache für automatisierte Instrumententests. C++-Erweiterung integriert mit TM/TC für vorhersagbare Massenspektrometer-Verifikation.
ASN1SCC Python Backend
In BearbeitungPython-Codegenerierung für ASN.1 TM/TC-Protokolle. Erweiterung von ESAs ASN1SCC-Toolchain für Multiplattform-Bereitstellung.
Details ansehenFormale Verifikationsstudie
AbgeschlossenFormale Verifikation des STIX-Dateisystems in Scala mit Stainless.
Verwandte Dienstleistungen
Bereit über Flugsoftware zu sprechen?
Ob Sie Anforderungen für ein neues Instrument definieren oder Unterstützung für eine operative Mission benötigen — wir sind da, um zu helfen.