There is no excerpt because this is a protected post.
Technology: Hardware Programming
Development of a Virtual Reality Simulation Platform Ateleris supported the Bike to the Future 3 project by the University of Applied Sciences FHNW in Muttenz with expertise in sensor data smoothing and software stability. Sustainability is one of the most … Read More
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 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
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
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
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