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