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) | Eric Perlade, Jose Ruiz (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) | Eric Perlade, Jose Ruiz (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) | Eric Perlade, Jose Ruiz (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 (AstraLabs) | |||||
| 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 7) Developing and Verifying Embedded Ada, C, C++ and Rust for Space | 1) Rolland Dudemaine (TrustInSoft) 2) Jonathan Pallant (Ferrous Systems) 3) Emel AKTAŞ ŞAHİN (ASELSAN) 4) Marcin Zwawa (Parasoft) 5) Kelly Gasperski (AstraLabs) 6) Habib Moskin (TestSpring) 7) Eric Perlade, Jose Ruiz (AdaCore SAS) | |||||
| 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 | Nico Borgsmueller (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 | 09:40 | 10:00 | Gateway Computer Based Control System Implementation at ESA and Lesson Learned | Narimane Brahimi (SERCO for ESA) | |||||
| Session 4 | 10:00 | 10:20 | Memory Safety for New Space: Navigating Fast Development Cycles Without Compromising Reliability | Christian Guss (MathWorks, Inc) | |||||
| Session 4 | 10:20 | 10:40 | Automated AI-Driven Code Repair | Cátia Pais (Critical Software, S.A.) | |||||
| Session 4 | 10:40 | 11:00 | Common Misconceptions in ECSS Category A Flight Software Qualification | Andoni Arregi (GTD GmbH) | |||||
| 11:00 | 11:10 | COFFEE BREAK | |||||||
| Session 4 | 11:10 | 11:30 | Reference Architectures for Mixed-Criticality Virtualization in Next-Generation Space Systems | Daniele Masti (Gran Sasso Science Institute) | |||||
| Session 4 | 11:30 | 11:50 | To be announced | To be announced | |||||
| Session 4 | 11:50 | 12:10 | HD3: Hazard driven Decomposition Design and Development | Nicholas Mc Guire (OpenTech GmbH) | |||||
| Session 4 | 12:10 | 12:40 | TBD | Alwyn E. Goodloe, Ph.D.(NASA Langley Research Center) | |||||
| Session 4 | 12:40 | 12:50 | Session 4 Wrap up & Closing | Chairpersons | |||||
| 12:50 | 13:00 | Conference Closing | Manrico Fedi Casas (ESA Head of TEC-QPS) | ||||||
| 13:00 | 14:00 | LUNCH BREAK | |||||||
ESA Conference Bureau / ATPI Corporate Events
ESA-ESTEC, Keplerlaan 1
2201 AZ Noordwijk, The Netherlands
Privacy Notice