Technology: Hardware Programming

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

Threat Detection (duplex)

Real-time Threat Detection with Machine Learning

Real-time Threat Detection with Machine Learning Ateleris worked with a US security company to develop a new machine-learning-based cybersecurity algorithm that detects malicious login attempts to cloud services. The US security company develops and sells products in the area of … Read More

VR Simulation Platform (duplex)

Development of a Virtual Reality Simulation Platform

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 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