Research Article
Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool
@ARTICLE{10.4108/eai.14-12-2015.2262723, author={Ken Keefe and William Sanders}, title={Reliability Analysis with Dynamic Reliability Block Diagrams in the M\o{}bius Modeling Tool}, journal={EAI Endorsed Transactions on Security and Safety}, volume={3}, number={10}, publisher={ACM}, journal_a={SESA}, year={2016}, month={1}, keywords={reliability modeling, availability modeling, continuous time markov chain models, state-based reliability model, mobius atomic model formalism}, doi={10.4108/eai.14-12-2015.2262723} }
- Ken Keefe
William Sanders
Year: 2016
Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool
SESA
EAI
DOI: 10.4108/eai.14-12-2015.2262723
Abstract
Reliability block diagram (RBD) models are a commonly used reliability analysis method. For static RBD models, combinatorial solution techniques are easy and efficient. However, static RBDs are limited in their ability to express varying system state, dependent events, and non-series-parallel topologies. A recent extension to RBDs, called Dynamic Reliability Block Diagrams (DRBD), has eliminated those limitations. This tool paper details the RBD implementation in the Möbius modeling framework and provides technical details for using RBDs independently or in composition with other Möbius modeling formalisms. The paper explains how the graphical front-end provides a user-friendly interface for specifying RBD models. The back-end implementation that interfaces with the Möbius AFI to define and generate executable models that the Möbius tool uses to evaluate system metrics is also detailed.
Copyright © 2015 K. Keefe and W. Sanders, licensed to EAI. This is an open access article distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/3.0/), which permits unlimited use, distribution and reproduction in any medium so long as the original work is properly cited.