TM/TC-Protokollgenerator
ASN.1-zu-Code-Generator für CCSDS/PUS-C-kompatible Protokolle. Typsichere Implementierungen aus einer einzigen Spezifikation.
Generieren Sie typsichere Telemetrie- und Telekommando-Implementierungen aus einer einzigen ASN.1/ACN-Spezifikation. Unser Code-Generator erzeugt konsistente, verifizierte Implementierungen für Flugsoftware, Bodensysteme und Testumgebungen.
Entwickelt im Rahmen zweier ESA-Aktivitäten, erweitert diese Toolchain den Standard-ASN.1-Compiler mit neuen Backends für Python und Scala, als Ergänzung zur bestehenden C/C++- und Ada-Unterstützung. Die Scala-Backend-Aktivität (4000140196) ist Ateleris' einziger ESA-Vertrag als Prime.
Wie es funktioniert
Spezifizieren
TM/TC-Nachrichten in ASN.1/ACN-Syntax definieren.
Generieren
Toolchain ausführen, um Zielcode zu erzeugen.
Integrieren
Generierten Code in Ihre Codebasis einfügen.
Weiterentwickeln
Spezifikationen aktualisieren, neu generieren. Synchron bleiben.
Hauptvorteile
Einzige Wahrheitsquelle
Definieren Sie Ihr Protokoll einmal in ASN.1/ACN. Generieren Sie automatisch Implementierungen für alle Zielplattformen.
Typsicherheit
Protokoll-Inkompatibilitäten zur Kompilierzeit erkennen, nicht zur Laufzeit. Strenge Typisierung in allem generierten Code.
Standardkonform
CCSDS- und PUS-C-kompatibel. Bewährt in ESA-Missionen und -Aktivitäten.
Mehrsprachig
C/C++ für Flugsoftware. Python für Tests. Scala für Datensysteme. Ada für sicherheitskritische Anwendungen.
Unterstützte Ziele
Flugsoftware
- C/C++
- Ada
Bodensysteme
- Python
- Scala
Standards
- ASN.1
- ACN
- CCSDS
- PUS-C
Anwendungsfälle
Instrumentenentwicklung
Generieren Sie Flugsoftware-Pakethandler und Bodensegment-Parser aus derselben Protokolldefinition.
Testautomatisierung
Erstellen Sie Python-Bindings für EGSE und automatisierte Testskripte, die exakt zur Flugsoftware passen.
Datenpipelines
Nutzen Sie Scala-Implementierungen in Datenverarbeitungspipelines für typsichere Telemetrieverarbeitung.
Heritage
Scala Backend
ProduktivEntwicklung formal verifizierter Scala-Encoder/Decoder für JVM-basierte Bodensysteme.
Python Backend
In BearbeitungErweiterung von ASN1SCC mit Python-Codegenerierung als zweites Sprach-Backend neben Scala; erweitert die ESA-Toolchain für modellbasierte Codegenerierung auf Python-basierte Flug- und Bodensoftware.
Im Rahmen dieser Arbeit wendet die Masterarbeit von Luca Schafroth an der ETH Zürich (Lehrstuhl Programmiermethodik) formale Verifikation auf die generierten Python-Encoder und -Decoder an — mit Nagini, einem Python-Verifier auf Basis der Viper-Infrastruktur. Damit erhält das Python-Backend dieselbe formale Verifikationstiefe wie das Scala-Backend.
Interesse an Protokollgenerierung?
Kontaktieren Sie uns für Dokumentation, Demos oder Integrationsunterstützung.