-
09:00
Welcome and Logistics
-
09:10
C++20 for the Flight Software development
-
Wojciech Cierpucha
(N7 Space)
-
09:30
Rust for Space applications and RTEMS - The good, the bad and the ECSS
-
Jan Sommer
(DLR)
-
09:50
Evaluation of Rust usage in space applications by developing BSP and RTOS targeting SAMV71
-
Filip Demski
(N7 Space)
-
10:40
Artificial Intelligence applied to code repair after code static analysis verification
-
Ainhoa López
(TAS)
David de Fitero
(UAH)
-
11:00
Data-Coverage for Category-A Flight Software
-
Andoni Arregi
(GTD GmbH)
-
11:20
Software Interlocks in the METASAT Project
-
Alfred Hönle
Leonidas Kosmidis
(BSC)
-
11:40
TIA: Test, Improve, Assure Deep Neural Networks for Space
-
Fabrizio Pastore
(SnT University Luxembourg)
-
12:00
FAQAS-2: Enhanced Test Suite Verification and Improvement
-
Fabrizio Pastore
(SnT University Luxembourg)
-
12:20
Wrap-up
