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 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.
| Original language | English (US) |
|---|---|
| Title of host publication | 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 |
| Editors | Marco Gribaudo, Philipp Reinecke, Katinka Wolter, William Knottenbelt, Ana Busic |
| Publisher | ICST |
| ISBN (Electronic) | 9781631900969 |
| DOIs | |
| State | Published - Jan 1 2015 |
| Event | 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 - Berlin, Germany Duration: Dec 14 2015 → Dec 16 2015 |
Publication series
| Name | 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 |
|---|
Other
| Other | 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 |
|---|---|
| Country | Germany |
| City | Berlin |
| Period | 12/14/15 → 12/16/15 |
Fingerprint
Keywords
- Availability modeling
- Continuous time Markov chain models
- Mobius atomic model formalism
- Reliability modeling
- State-based reliability model
ASJC Scopus subject areas
- Information Systems
Cite this
Reliability analysis with dynamic reliability block diagrams in the Möbius modeling tool. / Keefe, Ken; Sanders, William H.
9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015. ed. / Marco Gribaudo; Philipp Reinecke; Katinka Wolter; William Knottenbelt; Ana Busic. ICST, 2015. (9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Reliability analysis with dynamic reliability block diagrams in the Möbius modeling tool
AU - Keefe, Ken
AU - Sanders, William H.
PY - 2015/1/1
Y1 - 2015/1/1
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
ER -