Please find below the preliminary schedule. The final program will be released closer to the day of the event.
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