Accepted Papers

Full Papers

Hojat Khosrowjerdi, Karl Meinke and Andreas Rasmusson. Learning-based Testing for Safety Critical Automotive Applications.

Richard Banach. Invariant Management in the Presence of Failures.

Tatiana Prosvirnova, Estelle Saez, Christel Seguin and Pierre Virelizier. Handling consistency between safety and system models.

Alexandre Albore, Silvano Dal Zilio, Seguin Christel, Guillaume Infantes and Pierre Virelizier. A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.

Leonardo Montecchi and Barbara Gallina. SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems.

Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann and Wolfgang Rosenstiel. Verification of Component Fault Trees using Error Effect Simulations.

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.

Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, Nicholas Matragkas, David Parker and Septavera Sharvia. Model-Connected Safety Cases.

Julien Brunel, Peter Feiler, Jerome Hugues, Bruce Lewis, Tatiana Prosvirnova, Lutz Wrage and Christel Seguin. Performing Safety Analyses with AADL and AltaRica.

Anthony Legendre, Agnes Lanusse and Antoine Rauzy. Toward models synchronization between safety analysis and architecture system in industrial contexts.

Dejiu Chen and Zhonghai Lu. A Model-based Approach to Dynamic Self-Assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems.

Francesco Cannarile, Michele Compare and Enrico Zio. A Fault Diagnostic tool based on a First Principle Model Simulator.

Bennaceur Walid Mokhtar, Kloul Leila and Rauzy Antoine. Safety Analysis of a Data Center’s Electrical System using Production Trees.

Marco Filax, Tim Gonschorek and Frank Ortmeier. Building Models we can rely on: Requirements Traceability for Model-based Verification Techniques.

Danielle Stewart, Michael Whalen, Darren Cofer and Mats Heimdahl. Architectural Modeling and Analysis for Safety Engineering.

Benjamin Bittner, Marco Bozzano and Alessandro Cimatti. Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.

Luigi Di Guglielmo, Orlando Ferrante, Valerio Senni and Alberto Ferrari. Application of Model-Based Safety Assessment to the validation of Cyber-Physical Avionic Systems.

Posters and demos

Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder and Peter Liggesmeyer. Towards Automated Design Space Exploration For Safety-Critical Systems Using Type-Annotated Component Fault Trees. (Poster)

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll and Stefano Tonetta. The COMPASS 3.0 Toolset. (Poster)

Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Marco Roveri and Stefano Tonetta. The ESTools tool chain. (Poster)

Anthony Fernandes Pires, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta, Greg Kimberly, Tyler Petri, David H. Jones and Richard Robinson. Model-Based Safety Assessment of AIR6110 Wheel Brake System: Retrospective and ongoing work. (Poster)