STIX Flight Software Maintenance & Data Processing Ateleris provides maintenance support to the STIX Flight Software during the nominal mission phase and helps build the automated ground-based data processing and archiving pipeline in Python. The Spectrometer Telescope for Imaging X-rays … Read More
Technology: Space and Science Applications
Embedded Flight Software Verification (ESOVER)
Embedded Flight Software Verification (ESOVER) Together with the Lab for Automated Reasoning (LARA) at EPFL, Ateleris is executing a study using formal software verification to develop mathematically proven (i.e., correct) embedded software. The study is run in the frame of … Read More
Autonomy in Space with Machine Learning
Previous Next Autonomy in Space with Machine Learning Ateleris designed a prototype algorithm in embedded C for the STIX flight software that optimizes the image product quality and telemetry rate requirements autonomously. The poster from the final presentation session at … Read More
STIX Flight Software Verification and Development
Previous Next STIX Flight Software Verification and Development Ateleris supported the STIX core team at the University of Applied Sciences Northwestern Switzerland to test, verify, and update the STIX flight software. The flight software is an embedded software written in … Read More