08:00 – 08:45 REGISTRATION / WELCOME COFFEE
08:45 – 09:00 WELCOME NOTE FROM CHAIRS
09:00 – 10:00 INVITED TALK 1: Designing Software for Certification,
Natarajan SHANKAR (Chair: Stefano Tonetta) [
Slides]
10:00 – 10:30 Coffee break
SESSION 1 : Safety Assurance (Chair: Ewen Denney)
10:30 – 11:00 Assurance Case Arguments in the Large: The CERN LHC Machine Protection System,
Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi and Jeffrey Joyce [Slides]
11:00 – 11:30 Identifying Run-time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments,
Richard Hawkins and Philippa Ryan Conmy [Slides]
11:30 – 12:00 Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases,
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O’Beirne, Richard Paige and Alan Wassyng [Slides]
12:00 – 13:30 LUNCH BREAK
SESSION 2 : Software testing & Reliability (Chair: Hélène Waeselynck)
13:30 – 14:00
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study,Bo Zhao, You Song, Wenhao Xu and Fuqun Huang [
Slides]
14:00 – 14:30 Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics,
Arnaud Gotlieb, Morten Mossige and Helge Spieker [
Slides]
14:30 – 15:00 A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry,
Fuqun Huang, Wenda Cao, Bing Huang, Yikun Wang and Yichen Wang [
Slides]
15:00 – 15:30 EWICS presentation [
Slides]
15:30 – 16:00 Coffee break
SESSION 3 : Neural Networks robustness & monitoring (Chair: Andrea Bondavalli)
16:00 – 16:30
A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks,
Florian Geissler, Syed Qutub, Michael Paulitsch and Karthik Pattabiraman [
Slides]
16:30 – 17:00
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers,Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen and Alois Knoll [
Slides]
18:00 – 20:00 GUIDED CITY TOUR (Meeting point: Toulouse Tourist Office, Donjon du Capitole, 31000 Toulouse)
Thursday 21 September 2023
Hotel Mercure, Boulevard Lascrosses, 8 Esp. Compans Caffarelli, 31000 Toulouse, France
08:30 – 09:00 REGISTRATION / WELCOME COFFEE
09:00 – 10:00 INVITED TALK 2 : Securing the (Open Source) Software Supply chain: challenges and opportunities,
Roberto DI COSMO (Chair: Jérémie Guiochet) [
Slides]
10:00 – 10:30 Coffee break
SESSION 4 : Model-based security and threat analysis (Chair: Elena Troubitsyna)
10:30 – 11:00
Model-Based Generation of Attack-Fault Trees
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy and Michael Felderer [
Slides]
11:00 – 11:30
MBTA: A Model-Based Threat Analysis Approach for Software Architectures,
Anas Motii [
Slides]
11:30 – 12:00
Attribute Repair for Threat Prevention,
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem and Dejan Nickovic [
Slides]
12:00 – 13:30 LUNCH BREAK
SESSION 5 : Safety of Autonomous Driving (Chair: Phil Koopman)
13:30 – 14:00
Probabilistic Spatial Relations for Monitoring Behavior of Road Users,
Lennart Siefke, Volker Sommer, Murat Can Baylan and Lars Grunske [
Slides]
14:00 – 14:30
Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous Systems,
Jan Reich, Daniel Hillen, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka and Natsumi Watanabe [
Slides]
14:30 – 15:30 SESSION 6 : Position Papers (Chair: Antonio Casimiro, see position papers page for program)
15:30 – 16:00 Coffee break
SESSION 7 : Security Engineering (Chair: Uwe Becker)
16:00 – 16:30 Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems,
Tobias Dörr, Florian Schade and Jürgen Becker [
Slides]
16:30 – 17:00 From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures,
Michael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters and Alexander Giehl
19:30 – 02:00 BANQUET (Restaurant Ma Biche sur le Toit, 4-8 Rue du Lieutenant Colonel Pelissier, 31000 Toulouse, 6th Floor)
Friday 22 September 2023
Hotel Mercure, Boulevard Lascrosses, 8 Esp. Compans Caffarelli, 31000 Toulouse, France
08:00 – 09:00 REGISTRATION / WELCOME COFFEE
09:00 – 10:00 INVITED TALK 3 :
Certification Use Reliance when Integrating Machine Learning Solutions in Safety related and / or critical systems,
Emmanuelle ESCORIHUELA & Gary BROWN (Chair: Magnus Albert) [
Slides]
10:00 – 10:30 Coffee break
SESSION 8 : AI Safety (Chair: Mario Trapp)
10:30 – 11:00
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems,
Philippa Ryan Conmy, Berk Ozturk, Ibrahim Habli and Tom Lawton [
Slides]
11:00 – 11:30 Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products,
Fateh Kaakai, Sridhar Adibhatla, Ganesh Pai and Emmanuelle Escorihuela [
Slides]
11:30 – 12:00
Online Quantization Adaptation for Fault-Tolerant Neural Network InferenceMichael Beyer, Jan Micha Borrmann, Andre Guntoro and Holger Blume [
Slides]
12:00 – 13:30 LUNCH BREAK
SESSION 9 : Neural Networks & testing (Chair: Ganesh Pai)
13:30 – 14:00 Evaluation of Parameter-Based Attacks against Embedded Neural Networks with Laser Injection,
Mathieu Dumont, Kevin Hector, Pierre-Alain Moellic, Jean-Max Dutertre and Simon Pontie [
Slides]
14:00 – 14:30
Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models,
Thomas Decker, Ananta Raj Bhattarai and Michael Lebacher [
Slides]
14:30 – 15:00 Closing session / SAFECOMP 2024