IoT-Plattform für Prozess-Monitoring und -Optimierung Ateleris hat eine cloud-basierte IoT-Plattform für Bang&Cleans neuartiges CloudEx Kessel-Reinigungssystem entwickelt. Die Plattform sammelt Prozessdaten und Sensor-Messwerte, um die Performance des CloudEx-Systems zu überwachen und die Gasexplosionen zu optimieren. Bang&Clean Technologies AG hat einen Prozess … Read More
Technologie: Weltraum und wissensch. Anwendungen
Plattform für Life Cycle Analysen für Raumtransportfahrzeuge
Plattform für Life Cycle Analysen für Raumtransportfahrzeuge Ateleris ist Teil eines Konsortiums mit dem EPFL Space Center (eSpace) (Leitung) und dem Paul Scherrer Institut (PSI). Gemeinsam entwickeln wir das Assessment and Comparison Tool (ACT) für die Europäische Weltraumorganisation (ESA). Benutzer … Read More
STIX-Flugsoftware Wartung & Datenverarbeitung
STIX-Flugsoftware Wartung & Datenverarbeitung Die Ateleris unterstützt das STIX-Kernteam bei der Wartung der STIX-Flugsoftware in Orbit und hilft beim Aufbau der Datenverarbeitungs- und Archivierungspipeline in Python. Das Spectrometer Telescope for Imaging X-rays (STIX) ist eines von zehn Instrumenten an Bord … Read More
Embedded Flight Software Verifizierung (ESOVER)
Embedded Flug-Software Verifizierung (ESOVER) Zusammen mit dem Lab for Automated Reasoning (LARA) an der EPFL führt Ateleris eine Studie durch, die formale Softwareverifikation nutzt, um mathematisch bewiesen fehlerfreie Embedded Software zu entwickeln. Die Studie wird im Rahmen der Measure de … Read More
Verifizierung und Entwicklung der STIX Flugsoftware
Previous Next Überprüfung und Entwicklung der STIX Flugsoftware Ateleris unterstützte das STIX-Kernteam an der Fachhochschule Nordwestschweiz FHNW im Testen, Verifizieren und Anpassen der STIX-Flugsoftware. Die Flugsoftware ist eine Embedded-Software, geschrieben in C und läuft auf dem Echtzeit-Betriebssystem RTEMS. Das Spectrometer … Read More
Autonomie im Weltall mit maschinellem Lernen
Previous Next Autonomie im Weltall mit maschinellem Lernen Ateleris entwickelte einen Prototypen-Algorithmus in Embedded C für die STIX-Flugsoftware. Dieser Algorithmus optimiert auf dem Instrument automatisch und unabhängig die Qualität der Bilddatenprodukte mit gleichzeitiger Reduktion der Telemetriedatengrösse. Das Poster der Abschlusspräsentation … Read More