17th ESA Workshop on Avionics, Data, Control and Software Systems ~ ADCSS2023

Session

Modern techniques for software verification and validation

15 Nov 2023, 09:00

Newton Conference Area (ESA/ESTEC)

23. Welcome & Introduction

15/11/2023, 09:00

24. ISVV for Evolutions in Software Development Methods and Processes

Nuno Pedro Silva (Critical Software)

15/11/2023, 09:10

25. Methodology and Tooling to Reach Category A Software

Andoni Arregui (GTD)

15/11/2023, 09:35

Flight software development to ECSS Category A qualification level is a technical challenge that up to now has not been required too often in the European space industry (e.g., ATV MSU, ESM PDE) and for which the production of qualification evidences and the corresponding Software Product Assurance activities to verify them are not straight forward although the requirements are clear in ECSS....

27. Applicability of Fuzz Testing to Flight Software

Fabrizio Pastore (SnT - University of Luxemburg)

15/11/2023, 10:00

26. Applicability of Mutation Testing Method for Flight Software

Fabrizio Pastore (SnT - University of Luxemburg)

15/11/2023, 10:20

28. Plato N-DPU ASW dual-core architecture and the V&V approach followed

Philippe Plasson (LESIA)

15/11/2023, 11:20

29. TAS-I multi-core SW architecture and the V&V approach

Domenico Teodonio (Thales Alenia Space - Italy)

15/11/2023, 11:45

Long-term heritage of TAS-I software solutions evolved in a Multi-Core Software Architecture supporting several missions and configurations. The presentation will cover the current OBSW state of the art at TAS premises and the challenges faced in developing such an architecture, with a focus on a multi-layered Validation approach, the tools used to achieve it, and future V&V aspects.

30. Cybersecurity by Design for Mixed Criticality Embedded Systems

Thierry Maudire (Sysgo)

15/11/2023, 12:10

31. Modern OBSW verification with Rust and data-oriented design patterns

Michael Melchiore (Airbus DS)

15/11/2023, 12:35