Login

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

13–15 Nov 2023
ESA/ESTEC
Europe/Amsterdam timezone

For support please contact

Session

Modern techniques for software verification and validation

15 Nov 2023, 09:00
Newton Conference Area (ESA/ESTEC)

Newton Conference Area

ESA/ESTEC

Presentation materials

There are no materials yet.

  1. 23. Welcome & Introduction
    15/11/2023, 09:00
  2. 24. ISVV for Evolutions in Software Development Methods and Processes
    Nuno Pedro Silva (Critical Software)
    15/11/2023, 09:10
  3. 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....

    Go to contribution page
  4. 27. Applicability of Fuzz Testing to Flight Software
    Fabrizio Pastore (SnT - University of Luxemburg)
    15/11/2023, 10:00
  5. 26. Applicability of Mutation Testing Method for Flight Software
    Fabrizio Pastore (SnT - University of Luxemburg)
    15/11/2023, 10:20
  6. 28. Plato N-DPU ASW dual-core architecture and the V&V approach followed
    Philippe Plasson (LESIA)
    15/11/2023, 11:20
  7. 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.

    Go to contribution page
  8. 30. Cybersecurity by Design for Mixed Criticality Embedded Systems
    Thierry Maudire (Sysgo)
    15/11/2023, 12:10
  9. 31. Modern OBSW verification with Rust and data-oriented design patterns
    Michael Melchiore (Airbus DS)
    15/11/2023, 12:35
Building timetable...