Program at a glance
- Tuesday
- Sept 9
- SafeComp workshop day
- 08.00-09.00
Registration 09.00-17.00 – Seven full day workshops; One half-day workshop
10.30-11.00 Coffee break
12.00-13.30 Lunch
15.00-15.30 Coffee break
17.00-19.00
Free time19:00
Conference reception, hosted by the City of Stockholm at the City Hall
- Wednesday
- Sept 10
- Conference
- 08.00-08.50
Registration - 08.50-09.00
Conference opening
09.00-10.0009.00-10.00 – Keynote – Marc Duranton – Chair: Martin Törngren
10.00-10.30 Coffee break
10.30-12.00 – Session 1 – Safety argumentation – Chair: Barbara Gallina
12.00-12.05 – Gold Sponsor SICK
12.05-13.30 Lunch13.30-15.00 – Session 2 – Data sets and dependability properties – Chair: Elena Troubitsyna
15.00-15.30 Coffee break
15.30-17.00 – Session 3 – Position papers pitches– Chair: Andrea Ceccarelli
17.00-18.30
Free time
- Thursday
- Sept 11
- Conference
- 08.00-09.00
Registration 09.00-10.00 – Keynote – Sebastian Hallensleben – Chair: Mario Trapp
10.00-10.30 Coffee break
10.30-12.00 – Session 4 – Testing and Complex Environments – Chair: Håkan Sivencrona
12.00-12.05 – Gold Sponsor Ericsson
12.05-13.30 Lunch13.30-14.00 – EWICS session and presentation
14.00-14.30 Coffee break
16.30-19.00
Free time
- Friday
- Sept 12
- Conference
- 08.00-09.00
Registration 09.00-10.00 – Keynote – Mary Cummings – Chair: Phil Koopman
10.00-10.30 Coffee break
12.00-12.05 – Gold Sponsor Scania
12.05-13.30 Lunch13.30-13.50: Safecomp 2026 – Welcome by Juan Carlos Ruiz García! Chair – Martin Törngren
13.50-15.20 – Session 7 – Panel debate on Trustworthy AI – Chairs: Hakima Shiralizade and Rafia Inam
15.20-15.30
Closing19:00
Conference reception, hosted by the City of Stockholm at the City Hall
Proceedings
Session details
Session 1: Safety arguments/cases
SmartGSN : An Online Tool to Semi-automatically Manage Assurance Cases
Authors: Oluwafemi Odu, Daniel Méndez Beltrán, Emiliano Berrones Gutiérrez, Alvine Boaye Belle, Gerhard Yu and Melika Sherafat
Principled safety assurance arguments
Authors: Nicholas Annable, Mark Lawford, Richard Paige and Alan Wassyng
Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases
Authors: Yutaka Matsuno, Michio Hayashi and Tomoyuki Tsuchiya
Session 2: Data sets and dependability properties
Create and Use a Representative Dataset for Advanced Persistent Threats Detection
Authors: Tommaso Puccetti, Simona De Vivo, Davide Zhang, Pietro Liguori, Roberto Natella and Andrea Ceccarelli
How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies
Fuqun Huang
Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation
Magnus Gyllenhammar, Daniel Åsljung, Majid Khorsand Vakilzadeh and Gabriel Rodrigues de Campos
| # | Authors | Title |
| 92 | Dag McGeorge and Jon Arne Glomsrud | A modular risk concept for complex systems |
| 93 | Andreas Hafver, Dag McGeorge, Frank Børre Pedersen and Roger Flage | Reconsidering confidence in assurance cases: From quantification to strength-of-knowledge aggregation |
| 94 | Emil Lupu and Luca Castiglione | Consilience of Safety, Security and Resilience |
| 96 | James Inge and Katia Potiron | Progress on IEC 63187: System Safety for Complex Systems in Defence Programmes |
| 97 | Hans Dermot Doran | Partitioning of AI Models for Execution on Mixed Criticality Systems. A Workflow Approach Proposal |
| 98 | Carmen Carlan, Daniel Ratiu and Michael Wagner | Safety Factories – a Manifesto |
| 99 | Anders Cassel, Fredrik Beckman, Martin Lehto, Martin Törngren, Marcus Nolte, Rolf Johansson and Tom Strandberg | DevOps Safety – what to bring on the journey? |
| 100 | Christophe Bohn, Julien Niol and Emmanuel Arnoux | Scenarios applied to system engineering processes for AD/ADAS safety demonstration |
| 101 | Simon Diemert, Torin Viger, Jeffrey Joyce and Marsha Chechik | One-size-fits-all Evaluation of LLMs for Safety Assurance Considered Harmful |
| 103 | Christina Kolb, Megha Quamara and Daniel Braun | Rethinking Cyber Safety and Cybersecurity in the Age of AI: A Position Paper |
| 104 | Fabian Hüger | Can Agentic AI Transform Safety Engineering for the Development of Complex Systems? |
| 105 | Will Franks, Liz James and Robert Stroud | Using assurance cases to support type approval and regulatory compliance in the automotive sector |
| 106 | Håkan Sivencrona, Rolf Johansson, Michał H. Pałka and Markus Dernevik | Time for the Automotive Industry to Industrialize Safe CI/CD |
| 107 | Sibylle Froeschle | Integrating the Technical Level into a Model-Based Safety and Security Analysis: Why it’s Necessary and How it Can be Done |
| 108 | Timam Ghosh, Cicek Cavdar and Martin Törngren | Semantic Communications – Necessary for Future Safety- and Mission-Critical Connected Systems |
Session 4: Testing and complex environments
Alignment of SOTIF and Scenario-based Safety Evaluation Framework
Ikue Warren, Kenji Taguchi, Sou Kitajima, Hiroki Nakamura and Tomoyoshi Murata
Managing Capability in Statistical Software Testing through Generic Test Rigs
Authors: Silke Kuball, Lee Walker and Martin Rendell
Improving Out-of-Distribution Detection via Test-Time Augmentation
Authors: Imanol Allende, Nicholas Mc Guire, Javier Del Campo and Carles Hernandez
Session 5: Methodologies (1) – Safety design and risk assessment
Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit Implementations
Authors: Juan Carlos Ruiz Garcia, David De Andrés, Luis-J. Saiz-Adalid and Joaquín Gracia-Morán
Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
Authors: Jette Petzold and Reinhard von Hanxleden
ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment
Authors: Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf and Annabelle Mercier
Session 6: Methodologies (2) – Machine Learning and Large Language Models
Large Language Models in Code Co-generation for Safe Autonomous Vehicles
Authors: Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Hakan Sivencrona and Christian Berger
Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development
Authors: Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet and Jeffrey Joyce
Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA
Authors: Trishna Rajkumar and Johnny Öberg
Session 7: Panel debate on Trustworthy AI
AI Under the Law – Building Safe, Trustworthy, and Compliant Systems
Organizers: Hakima Shiralizade and Rafia Inam (Ericsson and KTH)
CONFERENCE SECRETARIAT
Meetx is the conference bureau handling the secretariat for the SafeComp 2025 conference.
E-mail: safecomp2025@meetx.se
Tel: +46 31 708 86 90
CONFERENCE HOST
SPONSORS & PARTNERS
Venue WiFi
WiFi password: karepufi