Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Front Matter ....Pages I-X
Front Matter ....Pages 1-1
 Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques  (Marco Filax, Tim Gonschorek, Frank Ortmeier)....Pages 3-18
 Handling Consistency Between Safety and System Models  (Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier)....Pages 19-34
 Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts  (Anthony Legendre, Agnes Lanusse, Antoine Rauzy)....Pages 35-49
 Model-Connected Safety Cases  (Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia)....Pages 50-63
Front Matter ....Pages 65-65
 Performing Safety Analyses with AADL and AltaRica  (Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, Christel Seguin et al.)....Pages 67-81
 Safety Analysis of a Data Center’s Electrical System Using Production Trees  (Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy)....Pages 82-96
 Architectural Modeling and Analysis for Safety Engineering  (Danielle Stewart, Michael W. Whalen, Darren Cofer, Mats P. E. Heimdahl)....Pages 97-111
 Invariant Management in the Presence of Failures  (Richard Banach)....Pages 112-128
 SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems  (Leonardo Montecchi, Barbara Gallina)....Pages 129-144
Front Matter ....Pages 145-145
 A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica  (Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier)....Pages 147-162
 A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies  (Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe et al.)....Pages 163-178
 A Fault Diagnostic Tool Based on a First Principle Model Simulator  (Francesco Cannarile, Michele Compare, Enrico Zio)....Pages 179-193
Front Matter ....Pages 195-195
 Learning-Based Testing for Safety Critical Automotive Applications  (Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson)....Pages 197-211
 Verification of Component Fault Trees Using Error Effect Simulations  (Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel)....Pages 212-226
 A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems  (DeJiu Chen, Zhonghai Lu)....Pages 227-240
Front Matter ....Pages 241-241
 Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems  (Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari)....Pages 243-254
 Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study  (Benjamin Bittner, Marco Bozzano, Alessandro Cimatti)....Pages 255-271
Back Matter ....Pages 273-273