NOTE: Day 1 (25-Sep) is fully dedicated to HANDS-ON activities, with a different TARGET AUDIENCE than the rest of the workshop (a bit more TECHNICAL PROFILE).

    Participants should have:

    • Hands-on experience on software development & testing (not necessarily recent), preferably on Web environment.
    • Basic knowledge of some scripting languages (e.g. JavaScript, Python).

     

    Programme

    Hands-On Day (25 Sep 2023)
    Session Start   End Day 1 (25-Sep-2023) Presenter
      09 00 - 10 00 REGISTRATION  
      10 00 - 11 00 Hands-On 1: Training on containerization (Objective & Introduction) (Presentation) SERCO / TELESPAZIO for ESA
      11 00 - 11 15 COFFEE BREAK  
      11 15 - 12 15 Hands-On 1: Training on containerization (Product Assurance Scenarios) SERCO / TELESPAZIO for ESA
      12 15 - 12 30 COMFORT BREAK  
      12 30 - 13 30 Hands-On 1: Training on containerization (Automatic generation of Quality Report) SERCO / TELESPAZIO for ESA
      13 30 - 14 30 LUNCH BREAK  
      14 30 - 16 00 Hands-On 2: Web app front-end test automation with Cypress (with a short break in between) (Presentation) RHEA for ESA
      16 00 - 16 30 COFFEE BREAK  
      16 30 - 18 00  Hands-On 3: Automation of software processes with Robot Framework (with a short break in between) (Presentation) RHEA for ESA
      18 00 - 18 10 WRAP UP, END OF DAY 1  
    SW Product Assurance Workshop (26-28 Sep 2023)
    Session Start   End Day 2 (26-Sep-2023) Presenter
      09 00 - 09 30 REGISTRATION  
      09 30 - 10 00 Workshop Opening (Presentation 1) (Presentation 2)

    Christophe Arviset
    (ESA, Head of SCI-SA)

    Laurent Marchand
    (ESA, Head of TEC-QQ)
    Session 1: SW Security, Safety and Dependability
    Co-chairs: Ralf Lange (ESA), Helena Castro (ESA)
    Session 1 10 00 - 10 05 Session Opening Chairpersons
    Session 1 10 05 - 10 25 Cybersecurity engineering in space SW products (Presentation) Patricia Rodríguez
    (NTTData)
    Session 1 10 30 - 10 50 Enabling Rapid Development of On-board Applications: Securing a Spacecraft Middleware by Separation and Isolation (Presentation) Andreas Lund
    (DLR)
    Session 1 10 55 - 11 15 Streamlining system-safety engineering with digital technologies (Presentation) Pablo López-Negro
    (Anzen Aerospace Engineering)
      11 15 - 11 45 COFFEE BREAK  
    Session 1 11 45 - 12 05 Security and DevOps – reducing risks and surprises with formal code verification (Presentation) Dr. Martin Becker
    (Mathworks)
    Session 1 12 10 - 12 30 Guideline for the promotion of critical flight software to ECSS Category A (Presentation) Andoni Arregui
    (GTD)
    Session 1 12 30 - 12 55 Q&A (Round table) + session wrap up Chairpersons
    Poster 12 55 - 13 30 Posters Elevator Pitch (7 x 5 mins)

    1) METASAT: High Performance On-board Processing and TASTE
    2) Software supported requirements tailoring
    3) ECSS standards compliance: Automating requirements traceability
    4) The role of PA in the service transformation of ESAC Science Data Centre
    5) Lessons Learned for Achieving Consistency, Security, and Availability while Mitigating Drift with ArgoCD
    6) Consistent, Autonomous, Organization-Wide Enforcement of Changing Software Quality Standards using DevOps
    7) Enhancing SW build process and licensing compliance analysis with new SW tools    		 1) Leonidas Kosmidis (BSC)
    2) Michael Baedorf (DLR)
    3) Jonathan Kelly (LDRA)
    4) Fernando Guerrero (RHEA for ESA)
    5) Benoît Garçon (FGTech)
    6) Johan Westin (Aikospace)
    7) Rebecca Barth (ESAC PA Trainee)
      13 30 - 14 45 LUNCH BREAK  
    KN-1 14 45 - 15 25 Key Note Speech - Software Assurance (including 10 min Q&A) (Presentation) Tim Crumbley
    (NASA)
    Session 2: Ground Systems
    Co-chairs: Fabian Frost (ESA), Luis Martín (SERCO)
    Session 2 15 25 - 15 30 Session Opening Chairpersons
    Session 2 15 30 - 15 50

    Streamlined process for releasing EUMETSAT software under open-source licenses (Presentation)

    José Barba
    (EUMETSAT)
    Session 2 15 55 - 16 15

    Navigating the ESA Licensing Process: Best Practices and Key Considerations (Presentation)

    Isa Barbarisi
    (SERCO for ESA)
      16 15 - 16 45 COFFEE BREAK  
    Session 2 16 45 - 17 15 PA support to Science missions (Presentation) Virginia Carcelén, Isa Barbarisi & Sergio Ibarmia 
    (TPZ/SERCO/RHEA for ESA) 
    Session 2 17 20 - 17 40 Service Assurance for Space Ground Segments (Presentation) Jordi Duatis Juarez
    (EUMETSAT)
    Session 2 17 45 - 18 05 Software Reuse in Safety Critical Ground Systems (Presentation) Emmanuel Lesser
    (MDA)
    Session 2 18 05 - 18 30 Q&A (Round table) + session wrap up Chairpersons
      18 30 - 18 45 POSTER VIEWING  
      18 45 - 20 30 SOCIAL EVENT (ESAC)  
    SW Product Assurance Workshop (26-28 Sep 2023)
    Session Start   End Day 3 (27-Sep-2023) Presenter
    Session 3: Lessons Learnt
    Co-chairs: Jerome Dumas (SAPIENZA), Julio Gallegos (SERCO)
    Session 3 09 00 - 09 05 Session Opening Chairpersons
    Session 3 09 05 - 09 25 Software process assessment: key in the automotive domain but why not so in the space domain (Presentation) Patricia Rodríguez
    (NTTData)
    Session 3 09 30 - 09 50 Managing stakeholder expectations and in-house processes in a common model including mapping to S4S (Presentation) Frank Möhle
    (OHB)
    Session 3 09 55 - 10 15 WCET and Critical Applications: Learning from civil aviation (Presentation) Mark Richardson
    (LDRA)
    Session 3 10 20 - 10 40 Why do we have to prepare a Software Schedulability Analysis? (Presentation) Andreas Wortmann
    (OHB)
      10 40 - 11 10 COFFEE BREAK  
    Session 3 11 10 - 11 40 ECSS updates on software standards (PA & ENG & ISVV) (Presentation) Fabian Frost
    (ESA)
    Session 3 11 45 - 12 05 ECSS updates on ASIC, FPGA, IP Core standards (PA & ENG) (Presentation) Isabelle Conway
    (ESA)
    Session 3 12 05 - 12 30 Q&A (Round table) + session wrap up Chairpersons
    KN-2 12 30   13 10 Key Note Speech - Configuration Management and DevOps (including 10 min Q&A) (Presentation) Robert Aiello
    (IEEE)
      13 10 - 14 30 POSTER VIEWING & LUNCH BREAK  
    Session 4: SW PA Challenges for the Future
    Co-chairs: Narimane Brahimi (SAPIENZA), Davide Moretti (ESA)
    Session 4 14 30 - 14 35 Session Opening Chairpersons
    Session 4 14 35 - 14 55 New Space paradigm implications for software (Presentation) David Escorial
    (ESA)
    Session 4 15 00 - 15 20 Definition of a Model Based Mission Assurance Methodology (Presentation) Clement Puybareau
    (ESA)
    Session 4 15 25 - 15 45 Automatic Generation of Qualification Documentation at the Example of RTEMS QDPs (Presentation) Frank Kuehndel
    (Embedded Brains)
    Session 4 15 50 - 16 10 A first look at the ECSS Machine Learning Handbook (Presentation) Luis Mansilla & Michael Baedorf
    (ESA & DLR)
      16 10 - 16 40 COFFEE BREAK  
    Session 4 16 40 - 17 00 Product Assurance for On-Board Learning-Enabled Software (Presentation) ‪Iulia Dragomir
    (GMV)
    Session 4 17 05 - 17 25 Development Process for AI Applications with Uncertainty and application examples (Presentation) Naoki Ishihama
    (JAXA)
    Session 4 17 30 - 17 50 Gapless verification through "Digital Thread“ – what’s missing? (Presentation) María Fernandez
    (Mathworks)
    Session 4 17 55 - 18 15 ESA Datalabs: Digital Innovation in Space Science (Presentation) Vicente Navarro
    (ESA)
    Session 4 18 15 - 18 40 Q&A (Round table) + session wrap up Chairpersons
      18 40 - 18 55 POSTER VIEWING / END OF DAY 3  
    SW Product Assurance Workshop (26-28 Sep 2023)
    Session Start   End Day 4 (28-Sep-2023) Presenter
    KN-3 09 00 - 09 40 Key Note Speech - Success is never guaranteed (including 10 min Q&A) (Presentation) Charlotte Beskow
    (ESA)
    Session 5: SW Tools and Methods
    Co-chairs: Péter Huszár (ESA), Isa Barbarisi (SERCO)
    Session 5 09 40 - 09 45 Session Opening Chairpersons
    Session 5 09 45 - 10 05 Using Rust for mission critical systems (Presentation) Jonathan Pallant
    (Rust Embedded Working Group)
    Session 5 10 10 - 10 30 Ensuring compliance to MISRA C and MISRA C++ coding standards (Presentation) Richard Corden
    (MISRA C++ Working Group)
    Session 5 10 35 - 10 55 Formal methods for GPU software development using Ada SPARK (Presentation) Leonidas Kosmidis
    (Barcelona Supercomputing Center)
      10 55 - 11 25 COFFEE BREAK  
    Session 5 11 25 - 11 45 Application of Requirements Analysis Methodology and Automatic Code Generation Using SysML and L&L with Assurance (Presentation) Michihide Nitta
    (JAXA)
    Session 5 11 50 - 12 10 Definition of a Metrication Model for Model-Based Engineering (Presentation) Carlos Redondo 
    (GMV)
    Session 5 12 15 - 12 35 Metrics Dashboards for Agile Development of Safety-Critical Software (Presentation) Kelly Gasperski
    (MDA)
    Session 5 12 40 - 13 00 A model based approach to sw quality models: from Matlab/Simulink model to quality metrics, an AOCS SW experience (Presentation) Ester Maio, Alberto Petrucci
    (TAS)
    Session 5 13 00 - 13 25 Q&A (Round table) + session wrap up Chairpersons
      13 25 - 13 35 CLOSING REMARKS Manrico Fedi Casas
      13 35 - 14 30 LUNCH / END OF DAY 4