Monday, September 11
(Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento)

 08:00 - 09:00
Registration Desk
 09:00 - 09:30Welcome Note
 09:30 - 10:30
Session 1: Safety Process 1
(chair: Christel Seguin)
  • Marco Filax, Tim Gonschorek and Frank Ortmeier. Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques.
  • Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, Nicholas Matragkas, David Parker and Septavera Sharvia. Model-Connected Safety Cases.
 10:30 - 11:00
Coffee Break
 11:00 - 12:30
Session 2: Fault Detection and Propagation
(chair: Jean-Paul Blanquart)
  • Alexandre Albore, Silvano Dal Zilio, Seguin Christel, Guillaume Infantes and Pierre Virelizier. A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.
  • Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe and Erich Rüde. A model-based extension to HiP-HOPS for dynamic fault propagation studies.
  • Francesco Cannarile, Michele Compare and Enrico Zio. A Fault Diagnostic tool based on a First Principle Model Simulator.
 12:30 - 13:30
Lunch Break
 13:30 - 15:00
Demo & Poster Session
 15:00 - 16:30
Session 3: Safety Models and Languages 1
(chair: Frank Ortmeier)
  • Julien Brunel, Peter Feiler, Jerome Hugues, Bruce Lewis, Tatiana Prosvirnova, Lutz Wrage and Christel Seguin. Performing Safety Analyses with AADL and AltaRica.
  • Bennaceur Walid Mokhtar, Kloul Leila and Rauzy Antoine. Safety Analysis of a Data Center’s Electrical System using Production Trees.
  • Danielle Stewart, Michael Whalen, Darren Cofer and Mats Heimdahl. Architectural Modeling and Analysis for Safety Engineering.
 16:30 - 17:00
Coffee Break
 17:00 - 18:00
Panel: "Safety challenges in open, connected and autonomous systems".
(chair: Yiannis Papadopoulos)
 18:00 - 19:00
Welcome Reception

Tuesday, September 12
(Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento)

 08:00 - 09:00
Registration desk
 09:00 - 10:00
Keynote Talk
  • Romain Bernard (Dassault Aviation, FR). MBSA in the Aeronautic Safety Standard ARP4761.
 10:00 - 10:30
Coffee Break
 10:30 - 12:00
Session 4: Safety Assessment in the Automotive Domain
(chair: Leila Kloul)
  • Hojat Khosrowjerdi, Karl Meinke and Andreas Rasmusson. Learning-based Testing for Safety Critical Automotive Applications.
  • Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann and Wolfgang Rosenstiel. Verification of Component Fault Trees using Error Effect Simulations.
  • Dejiu Chen and Zhonghai Lu. A Model-based Approach to Dynamic Self-Assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems.
 12:00 - 13:00
Lunch Break
 13:00 - 14:30
Demo & Poster Session
 14:30 - 15:30
Session 5: Case Studies
(chair: Yiannis Papadopoulos)
  • Luigi Di Guglielmo, Orlando Ferrante, Valerio Senni and Alberto Ferrari. Application of Model-Based Safety Assessment to the validation of Cyber-Physical Avionic Systems.
  • Benjamin Bittner, Marco Bozzano and Alessandro Cimatti. Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
 15:30 - 16:00
Coffee Break
 16:00 - 17:00
Session 6: Safety Models and Languages 2
(chair: Marco Bozzano)
  • Richard Banach. Invariant Management in the Presence of Failures.
  • Leonardo Montecchi and Barbara Gallina. SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems.
 17:00 - 17:30
Closing remarks
 17:30 - 18:00
Shuttle to Aeronautical Museum "Gianni Caproni"
 18:00 - 19:30
Visit to Aeronautical Museum "Gianni Caproni"
 19:30 - 20:00
Shuttle to Trento Center
 20:00 -
Social dinner at Ristorante Winebar "Ai Vicoli"

Wednesday, September 13
(Grand Hotel Trento, Piazza Dante 20, 38122 Trento )

 08:00 - 08:45
Registration Desk
 08:45 - 09:00Safecomp Welcome Note
 09:00 - 10:00Keynote Talk
  • Marcel Verhoef (European Space Agency, NL). From Documents to Models: Towards Digital Continuity.
 10:00 - 10:30
Coffee Break
 10:30 - 12:30
Joint Session IMBSA/Safecomp
(chair: Jean-Paul Blanquart)

Session 7: Safety Process 2
  • Tatiana Prosvirnova, Estelle Saez, Christel Seguin and Pierre Virelizier. Handling consistency between safety and system models.
  • Anthony Legendre, Agnes Lanusse and Antoine Rauzy. Toward models synchronization between safety analysis and architecture system in industrial contexts.
SAFECOMP Session 1: Dynamic Fault Trees
  • Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk. Model-Based Safety Analysis of Vehicle Guidance Systems.
  • Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer and Mariëlle Stoelinga. Rare Event Simulation for Dynamic Fault Trees.
 12:30 - 14:00
Lunch Break