Technology: Space and Science Applications

Machine Learning for Edge Computing in Space

Machine Learning for Edge Computing in Space Together with armasuisse S+T and the Institute for Sensors and Electronics at FHNW, Ateleris developed an advanced object detection model capable of identifying small objects, such as ships in satellite imagery and running … Read More

Image Preprocessing Pipeline for Edge Computing in Space

Image Preprocessing Pipeline for Edge Computing in Space Together with armauisse S+T, Ateleris designed and evaluated an image preprocessing pipeline for execution on embedded platforms like an in-orbit payload or a drone. The goal was to observe the necessary steps … Read More

Life Cycle Assessment (duplex)

Life Cycle Assessment Platform for Space Transportation Vehicles

Life Cycle Assessment Platform for Space Transportation Vehicles Ateleris is part of a consortium with the EPFL Space Center (eSpace) (project lead) and the Paul Scherrer Institute (PSI). Together, we develop the Assessment and Comparison Tool (ACT) for the European … Read More

STIX FSW Maintenance and Data Processing (duplex)

STIX Flight Software Maintenance & Data Processing

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

Embedded Software Verification (duplex)

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

Machine Learning Autonomy STIX CFI2019 (duplex)

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 Project Flight Software Verification (duplex)

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