ECSA 2025
Mon 15 - Fri 19 September 2025 Limassol, Cyprus
Thu 18 Sep 2025 11:00 - 11:30 at Phoenix - Session 4 - Architectures for Embedded Systems Chair(s): Davide Taibi

Engineering of flight software architectures for nanosatellite missions presents significant challenges due to constrained on-board computational resources, stringent reliability requirements and complex, mission-specific operational demands. Despite the advancements of the New Space era, architectural designs are seldom available publicly, largely due to intellectual property restrictions. To address this gap, this paper illustrates the flight software architecture for a particular nanosatellite mission as per the 4+1 architectural view model. By deconstructing the on-board software system into its physical, logical, development, process and scenario views, we offer an in-depth analysis of the architectural decisions, trade-offs, and design rationales that guided development. The design presented extends beyond typical reliability and safety to emphasize deployability, integrability, modifiability, and testability design drivers. This experience report intends to advocate rigorous software architecture principles in software engineering for space software, by sharing insights and providing detailed architectural documentation with the overall goal of advancing a novel research agenda within the community.

Thu 18 Sep

Displayed time zone: Athens change

11:00 - 12:30
Session 4 - Architectures for Embedded SystemsResearch Papers at Phoenix
Chair(s): Davide Taibi University of Oulu
11:00
30m
Full-paper
Nanosatellite Flight Software: A Rigorous Software Architecture PerspectiveResearch Track Paper
Research Papers
Christoforos Vasilakis University of Athens, Alexandros Tsagkaropoulos National and Kapodistrian University of Athens, Angelos Motsios National and Kapodistrian University of Athens, Christos Tsigkanos University of Athens, Greece, Dionysios Reisis National and Kapodistrian University of Athens
11:30
30m
Full-paper
Towards Mixed-Criticality Software Architectures for Centralized HPC Platforms in Software-Defined Vehicles: A Systematic Literature ReviewResearch Track Paper
Research Papers
Lucas Mauser Daimler Truck AG / Technical University of Munich, Eva Zimmermann Technical University of Munich, Pavel Nedvědický Technical University of Munich, Tobias Eisenreich Technical University of Munich, Moritz Wäschle Daimler Truck AG, Stefan Wagner Technical University of Munich
File Attached
12:00
30m
Full-paper
Runtime Monitor Synthesis for Automotive Software ArchitecturesResearch Track Paper
Research Papers
Fazli Faruk Okumus Technische Hochschule Ingolstadt, João-Vitor Zacchi Fraunhofer-Institut für Kognitive Systeme, Maike Salfeld Robert Bosch GmbH, Markus Schweizer Robert Bosch GmbH, Núria Mata Fraunhofer IKS, Stefan Kugele Technische Hochschule Ingolstadt