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
Services: Specialty Software and Apps
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
Finding the Perfect Match with Machine Learning
Finding the perfect match with Machine Learning Ateleris built a smart artificial intelligence for TestingTime to help find the perfect match from a large pool of candidates. The matching algorithm increased candidate matching performance by 250% by analyzing information from … 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
Development of a Visual Data Browser for the Sun
Visual data browser for the Sun Team members at Ateleris helped improve the efficiency and optimize the core components of JHelioviewer. JHelioviewer is an open-source project started by the European Space Agency in 2009. It allows researchers to combine data … Read More
Automatic Quality Control of Welding Seams
Automatic quality control of welding seams Ateleris team members were involved in selecting image processing algorithms for the detection of welding seams and their automatic quality control evaluation. In an assembly step of a Swiss high-tech company, tiny metal pieces … Read More
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
Artificial Intelligence and Game Development
Artificial Intelligence and Game Development Ateleris added features to the critically acclaimed game First Strike by Blindflug Studios and developed an artificial intelligence algorithm for players to play against the computer. Blindflug Studios is an indie game studio from Zurich, … Read More