Conveners
Software: Modern SW methods - Languages and V&V
- Andreas Jung (ESA/ESTEC)
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...
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...
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, Spain
In 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...
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...
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...
