STIX-Flugsoftware Wartung & Datenverarbeitung Die Ateleris unterstützt das STIX-Kernteam bei der Wartung der STIX-Flugsoftware in Orbit und hilft beim Aufbau der Datenverarbeitungs- und Archivierungspipeline in Python. Das Spectrometer Telescope for Imaging X-rays (STIX) ist eines von zehn Instrumenten an Bord … Read More
Technologie: Weltraum und wissensch. Anwendungen

Embedded Flight Software Verifizierung (ESOVER)
Embedded Flug-Software Verifizierung (ESOVER) Zusammen mit dem Lab for Automated Reasoning (LARA) an der EPFL führt Ateleris eine Studie durch, die formale Softwareverifikation nutzt, um mathematisch bewiesen fehlerfreie Embedded Software zu entwickeln. Die Studie wird im Rahmen der Measure de … Read More

Verifizierung und Entwicklung der STIX Flugsoftware
Previous Next Überprüfung und Entwicklung der STIX Flugsoftware Ateleris unterstützte das STIX-Kernteam an der Fachhochschule Nordwestschweiz FHNW im Testen, Verifizieren und Anpassen der STIX-Flugsoftware. Die Flugsoftware ist eine Embedded-Software, geschrieben in C und läuft auf dem Echtzeit-Betriebssystem RTEMS. Das Spectrometer … Read More

Autonomie im Weltall mit maschinellem Lernen
Previous Next Autonomie im Weltall mit maschinellem Lernen Ateleris entwickelte einen Prototypen-Algorithmus in Embedded C für die STIX-Flugsoftware. Dieser Algorithmus optimiert auf dem Instrument automatisch und unabhängig die Qualität der Bilddatenprodukte mit gleichzeitiger Reduktion der Telemetriedatengrösse. Das Poster der Abschlusspräsentation … Read More