Preliminary Program

(Please notice that the program may be subject to changes)

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
  • 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
  • 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
  • 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 / Open Discussion
 18:00 - 19:30
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
  • (Speaker to be announced). 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
  • 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
  • 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
  • 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: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 )

Registration Desk
Keynote Talk
  • Marcel Verhoef (European Space Agency, NL). From Documents to Models: Towards Digital Continuity.
Joint Session IMBSA/Safecomp

Safecomp Presentations: to be announced

IMBSA Presentations:
  • 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.
 Lunch Break