Technologie: Weltraum und wissensch. Anwendungen

STIX FSW Maintenance and Data Processing (duplex)

STIX-Flugsoftware Wartung & Datenverarbeitung

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

Embedded Software Verifizierung (duplex)

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

STIX Projekt Flugsoftware Verifizierung (duplex)

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

Machine Learning Autonomie STIX CFI2019 (duplex)

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