TY - GEN
T1 - Reliability analysis with dynamic reliability block diagrams in the Möbius modeling tool
AU - Keefe, Ken
AU - Sanders, William H.
N1 - Publisher Copyright:
© Copyright 2016 ICST.
Copyright:
Copyright 2017 Elsevier B.V., All rights reserved.
PY - 2015
Y1 - 2015
N2 - 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 Mobius 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.
AB - 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 Mobius 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.
KW - Availability modeling
KW - Continuous time Markov chain models
KW - Mobius atomic model formalism
KW - Reliability modeling
KW - State-based reliability model
UR - http://www.scopus.com/inward/record.url?scp=84964388688&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84964388688&partnerID=8YFLogxK
U2 - 10.4108/eai.14-12-2015.2262723
DO - 10.4108/eai.14-12-2015.2262723
M3 - Conference contribution
AN - SCOPUS:84964388688
T3 - 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
BT - 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
A2 - Gribaudo, Marco
A2 - Reinecke, Philipp
A2 - Wolter, Katinka
A2 - Knottenbelt, William
A2 - Busic, Ana
PB - ICST
T2 - 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Y2 - 14 December 2015 through 16 December 2015
ER -