default search action
5th IMBSA 2017: Trento, Italy
- Marco Bozzano
, Yiannis Papadopoulos:
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10437, Springer 2017, ISBN 978-3-319-64118-8
Safety Process
- Marco Filax
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. 3-18 - Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier:
Handling Consistency Between Safety and System Models. 19-34 - Anthony Legendre, Agnes Lanusse, Antoine Rauzy:
Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. 35-49 - Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia:
Model-Connected Safety Cases. 50-63
Safety Models and Languages
- Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage:
Performing Safety Analyses with AADL and AltaRica. 67-81 - Walid Mokhtar Bennaceur
Safety Analysis of a Data Center's Electrical System Using Production Trees. 82-96 - Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. 97-111 - Richard Banach:
Invariant Management in the Presence of Failures. 112-128 - Leonardo Montecchi
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. 129-144
Fault Detection and Propagation
- Alexandre Albore, Silvano Dal-Zilio
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. 147-162 - Sohag Kabir, Yiannis Papadopoulos, Martin Walker
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. 163-178 - Francesco Cannarile
A Fault Diagnostic Tool Based on a First Principle Model Simulator. 179-193
Safety Assessment in the Automotive Domain
- Hojat Khosrowjerdi
Learning-Based Testing for Safety Critical Automotive Applications. 197-211 - Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Verification of Component Fault Trees Using Error Effect Simulations. 212-226 - De-Jiu Chen
A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems. 227-240
Case Studies
- Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. 243-254 - Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. 255-271
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: