Conveners
Software: Modern SW methods - Languages and V&V
- Andreas Jung (ESA/ESTEC)
-
23/10/2024, 09:00
-
Wojciech Cierpucha (N7 Space)23/10/2024, 09:10
Abstract
The study report serves as a small introduction to the C++ programming language and to how its features could be useful when compared to software written in the C programming language. The newest revision of C++ (C++20) is explored, but code examples tend to avoid newest features when not necessary, in order to be understandable to readers familiar with older revisions of the...
Go to contribution page -
Jan Sommer (DLR)23/10/2024, 09:30
The ESA-funded project "cRustacea in Space" marks a step forward in the adoption of Rust programming language for space applications by looking at the full chain from programming tools to integration of existing code and qualification according to ECSS.
Our presentation will present the results of this comparative study which include our experiences during first port of Rust to the RTEMS...
Go to contribution page -
Filip Demski (N7 Space)23/10/2024, 09:50
The main objective of the activity was to evaluate the usage of Rust programming language in space applications, by providing an RTOS targeting ARM Cortex-M7 SAMV71 microcontroller, a BSP (Board Support Package) and a Demonstration Application. Creating a real time operating system validates Rust security features in practice, exercises Rust viability in space applications and additionally...
Go to contribution page -
Ainhoa López (TAS), David de Fitero (UAH)23/10/2024, 10:40
In this work, we present a Large Language Model (LLM) designed for Automatic Program Repair (APR), using both source code and analysis results from the SonarQube static code analyzer. The Llama 3 (8B) was selected as the foundational model, which was fine-tuned with multiple datasets, including the CommitPack dataset, a SonarQube-generated dataset, and a synthetic dataset created with Llama 3...
Go to contribution page -
Andoni Arregi (GTD GmbH)23/10/2024, 11:00
Software engineering processes define their verification and validation processes on requirements and metrics for which existing methods and tools exist. This is also true for the most stringent software engineering and product assurance processes such as the ones defined in ECSS E-ST-40 and Q-ST-80. E.g., logical operations require many tests, while arithmetical operations require little (the...
Go to contribution page -
Alfred Hönle, Leonidas Kosmidis (BSC)23/10/2024, 11:20
Title: Software Interlocks in the METASAT Project
Authors:
Eckart Göhler, Alfred Hönle; OHB System AG, Manfred-Fuchs-Str. 1, D-82234 Weßling, Germany
Leonidas Kosmidis; BSC, Calle Jordi Girona 31, 08034 Barcelona, SpainIn space domain a large number of requirements arising from the harsh environment, the non-availability of on-site repair measures and the drastic effects of failures...
Go to contribution page -
Fabrizio Pastore (SnT University Luxembourg)23/10/2024, 11:40
Deep neural networks (DNNs) have been demonstrated to be valuable components for the automation of tasks that are difficult to program, such as computer vision tasks. Unfortunately, DNNs are inexplicable by design, which makes testing the only viable solution to acquire confidence about their reliability.
This talk provides an overview of Test, Improve, Assure (TIA), an ESA activity that...
Go to contribution page -
Fabrizio Pastore (SnT University Luxembourg)23/10/2024, 12:00
Software has a prominent role in space systems; the success of space missions depends on the dependability of ground and flight software, but how can we systematically assess the quality of the test suites used to verify such software?
This talk provides an overview of the results achieved by the FAQAS-2 activity, which built an efficient toolset to go beyond structural coverage by...
Go to contribution page -
23/10/2024, 12:20