Technology: Hardware Programming

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

Navigation Algorithm for Robot (duplex)

Development of Navigation Algorithms for Robots

Development of Navigation Algorithm for Robots Ateleris developed optimization algorithms for a robotic system (carebot) to find the shortest path (around obstacles) from A to B. Later, Ateleris added discovery algorithms to enable the robot to map the floor plan … Read More