Cut Set Analysis using Behavior Trees and model checking

Volume: 24, Issue: 2, Pages: 249 - 266
Published: Mar 1, 2012
Abstract
Safety analysis can be labour intensive and error prone for system designers. Moreover, even a relatively minor change to a system’s design can necessitate a complete reworking of the system safety analysis. This paper proposes the use of Behavior Trees and model checking to automate Cut Set Analysis (CSA) : that is, the identification of combinations of component failures that can lead to hazardous system failures. We demonstrate an automated...
Paper Details
Title
Cut Set Analysis using Behavior Trees and model checking
Published Date
Mar 1, 2012
Volume
24
Issue
2
Pages
249 - 266
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.