Program

     Please find below the preliminary schedule. The final program will be released closer to the day of the event.

     

     For more information about the presentations and topics covered in previous editions of the conference, please visit the 2023         edition webpage here

Software Product Assurance Conference 2025 - Hands-On Day
Session Start End Day 1 (2025-09-22) Presenter
  09:00 10:00 REGISTRATION  
Hands-On 1 10:00 10:50 Developing Embedded Software in Rust Jonathan Pallant
(Ferrous Systems GmbH)
  10:50 11:00 COFFEE BREAK
Hands-On 1 11:00 11:50 Developing Embedded Software in Rust Jonathan Pallant
(Ferrous Systems GmbH)
  11:50 12:00 COFFEE BREAK
Hands-On 1 12:00 13:00 Developing Embedded Software in Rust Jonathan Pallant
(Ferrous Systems GmbH)
  13:00 14:00 LUNCH BREAK
Hands-On 2 14:00 14:50 Developing and Verifying Embedded Ada, C, C++ and Rust for Space (Demos + New features) Dany Lamriben
(AdaCore SAS)
  14:50 15:00 COFFEE BREAK
Hands-On 2 15:00 15:50 Developing and Verifying Embedded Ada, C, C++ and Rust for Space (Demos + New features) Dany Lamriben
(AdaCore SAS)
  15:50 16:00 COFFEE BREAK
Hands-On 2 16:00 17:00 Developing and Verifying Embedded Ada, C, C++ and Rust for Space (Demos + New features) Dany Lamriben
(AdaCore SAS)
  17:00 17:05 WRAP UP, END OF DAY 1
Software Product Assurance Conference 2025
Session Start End Day 2 (2025-09-23) Presenter
  09:00 09:30 REGISTRATION  
  09:30 10:00 Workshop Opening Britta Schade
(ESA, Head of TEC-Q)
 
Session 1:  Software Development Tools and Methods
Session 1 10:00 10:10 Session Opening Chairpersons
Session 1 10:10 10:30 Navigating Software Licensing at ESA: Best Practices & Tools Javier Palacios Calatayud
(SERCO for ESA)
Session 1 10:30 10:50 From the Ground Up: Building Safety-Critical Software Factories Kelly Gasperski
(MDA Space)
Session 1 10:50 11:10 Graphical User Interface for the promotion of critical flight software to ECSS Category A Baptiste Maheut
(GTD GmbH)
Session 1 11:10 11:30 Zero Debris Approach and Software Design Considerations Gianluca Caruso
(Thales Alenia Space Italia)
  11:30 11:50 COFFEE BREAK
Session 1 11:50 12:10 How can we effectively integrate a Software Product Assurance engineer into an Agile environment? Philippe Grisard
(ESA ESTEC)
Session 1 12:10 12:30 Using Scripts with Jira and Confluence to Automate Processes in Software Development Julio Gallegos
(SERCO for ESA)
Session 1 12:30 13:00 Posters Elevator Pitch & Poster Viewing

1) Touching The Sky: New Space and Earth Observation

2) Using mutation testing to improve test efficiency in embedded systems

3) Beyond Earth, Beyond Law: Regulating Biometric Data and Privacy in Human Spaceflight
ESA Academy Students

1) Guillem Sadurní Fabrellas

2) Andrada Alexia Serban


3) Giusy Alfano
  13:00 14:00 LUNCH BREAK
Session 1
(KN-1)
14:00 14:30 Keynote: NASA Software Assurance Direction Tim Crumbley
(NASA Marshall Space Flight Center)
Session 1 14:30 14:50 Software process assurance with AI Tools Péter Seres
(Astra Labs GmbH)
Session 1 14:50 15:10 Investigating the use of blockchain to increase trust, security and transparency of our software supply chains Guillaume Haben
(ESA ESTEC)
Session 1 15:10 15:30 Achieving end-to-end traceability in software projects using open source tools: roadmap, challenges, and a reference implementation Stanislav Pankevich
(Reflex Aerospace GmbH)
  15:30 15:50 COFFEE BREAK
Session 1 15:50 16:10 EGNOS V3 Approval Reviews - Mitigating Safety Certification Risks Fernando Aldea Montero
(ESA EGNOS)
Session 1 16:10 16:30 Statistical Path Coverage: A Risk-Based Approach to Testing Complex Software Systems Imanol Allende
(Codethink Ltd.)
Session 1 16:30 16:50 PA/QA at Scale: Meeting the Challenges of LISA – One of ESA’s Largest Space Missions Brigitte Huynh
(CNES)
Session 1 16:50 17:20 Poster Viewing

1) Taking boundary testing to the next level

2) Rust - the Who, the What, and the Why

3) A Lifecycle-Integrated Six Sigma Framework for Large
Enterprise Software Quality Assurance

4) Modernizing Space System Workflows for Speed, Innovation, and Compliance

5) Requirements Management for Agile Development of Safety-Critical Software

6) Moving towards an insight-based Software Product Assurance approach in the age of interconnected complexity


1) Rolland Dudemaine (TrustInSoft)

2) Jonathan Pallant (Ferrous Systems)

3) Emel AKTAŞ ŞAHİN (ASELSAN)


4) Marcin Zwawa (Parasoft)


5) Kelly Gasperski (MDA Space)


6) Habib Moskin (TestSpring)
Session 1 17:20 17:30 Session 1 Wrap up & Closing Chairpersons
  17:30 19:30 SOCIAL EVENT
Software Product Assurance Conference 2025
Session Start End Day 3 (2025-09-24) Presenter
Session 2: Software Processes & Product Assessments 
Session 2 09:30 0940 Session Opening Chairpersons
Session 2
(KN-2)
09:40 10:10 Keynote: Combining High Performance Hardware and Software with High Software Assurance: Is it Possible? Leonidas Kosmidis
(BSC)
Session 2 10:10 10:30 The New Galileo Software Standard for Ground Segment in Galileo Second Generation Manuel Fernandez
(ESA ESTEC)
Session 2 10:30 10:50 Software Process, Design, Development, and Production  in the New Space Context Gianluca Caruso
(Thales Alenia Space Italia)
Session 2 10:50 11:10 Event-Driven Data Analysis for System Verification and Operation Márton Szabó
(IP Camp Ltd.)
Session 2 11:10 11:40 Product Service History for the Qualification of Safety-Critical Ground Segments Emmanuel Lesser
(MDA Space)
  11:40 11:50 COFFEE BREAK
Session 2 11:50 12:10 Product Assurance Support in Science Operations at ESAC Virginia Carcelén Aycart,
Fabrizio Giordano
(ESA ESAC)
Session 2 12:10 12:30 SCORPYOS: Space System Supervision Through Model-Based Development Rodolfo Martins
(Evoleo Technologies GmbH)
Session 2 12:30 12:50 Quality model for autocoding Laurent Jouve
(Thales Alenai Space France)
Session 2 12:50 13:00 Session 2 Wrap up & Closing Chairpersons
  13:00 14:00 LUNCH BREAK
Session 3: Assurance & Artificial Intelligence
Session 3 14:00 14:10 Session Opening Chairpersons
Session 3
(KN-3)
14:10 14:40 Keynote: AI & Safety in Automotive Applications: AI Safety Standards, Current Applications, and Future Work Molly O'Brien
(Exida GmbH)
Session 3 14:40 15:00 Retraining with Edge Cases for Robust DNN Performance in Martian Environments Mohammed Attaoui
(University of Luxembourg)
Session 3 15:00 15:20 Assuring AI/ML-Enabled Safety-Critical Software in the Space Domain Alberto Petrucci
(Thales Alenia Space Italia)
  15:20 15:40 COFFEE BREAK
Session 3 15:40 16:00 Product Assurance for AI-based Telemetry Health Monitoring of Safety-Critical Space Robotics Emmanuel Lesser
(MDA Space)
Session 3 16:00 16:20 Utilizing the power of LLMs for the ECSS standards in space projects Laura van Uffelt
(DLR)
Session 3 16:20 16:40 How To use AI solutions when engineering systems and software Patricia Rodríguez Dapena
(NTT Data Spain SLU)
Session 3 16:40 17:00 SW testing : Practices, Automation and AI Assistance Antony Ricard
(CNES)
Session 3 17:00 17:20 Towards a restricted ML-classifier certification approach Nicholas Mc Guire
(OpenTech GmbH)
Session 3 17:20 17:30 Session 4 Wrap up & Closing Chairpersons
Software Product Assurance Conference 2025
Session Start End Day 4 (2025-09-25) Presenter
Session 4: Software Security, Safety and Dependability
Session 4 09:30 09:40 Session Opening Chairpersons
Session 4
(KN-4)
09:40 10:10 Keynote: Keynote presentation #4 To be announced
Session 4 10:10 10:30 Gateway Computer Based Control System Implementation at ESA and Lesson Learned Narimane Brahimi
(SERCO for ESA)
Session 4 10:30 10:50 Memory Safety for New Space: Navigating Fast Development Cycles Without Compromising Reliability Martin Becker
(MathWorks, Inc)
Session 4 10:50 11:10 Automated AI-Driven Code Repair Cátia Pais
(Critical Software, S.A.)
Session 4 11:10 11:30 Common Misconceptions in ECSS Category A Flight Software Qualification Andoni Arregi
(GTD GmbH)
  11:40 11:50 COFFEE BREAK
Session 4 11:50 12:10 Reference Architectures for Mixed-Criticality Virtualization in Next-Generation Space Systems Daniele Masti
(Gran Sasso Science Institute)
Session 4 12:10 12:30 To be announced To be announced
Session 4 12:30 12:50 HD3: Hazard driven Decomposition Design and Development Nicholas Mc Guire
(OpenTech GmbH)
Session 4 12:50 13:00 Session 4 Wrap up & Closing Chairpersons
  13:00 14:00 LUNCH BREAK


      ESA Conference Bureau / ATPI Corporate Events

      ESA-ESTEC, Keplerlaan 1
      2201 AZ Noordwijk, The Netherlands
       
     Privacy Notice