Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool
| Title | Reliability Analysis with Dynamic Reliability Block Diagrams in the Mobius Modeling Tool |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Ken Keefre, University of Illinolis at Urbana-Champaing, William H. Sanders, University of Illinois at Urbana-Champaign |
| Conference Name | 9th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2015) |
| Date Published | 12/2015 |
| Conference Location | Berlin, Germany |
| Keywords | availabiltiy modeling, continouous time Markov Chain Model, reliability modeling, science of security, State-based reliability model Mobius Atomic Model Formalism |
| 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"obius modeling framework and provides technical details for using RBDs independently or in composition with other M"obius 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"obius AFI to define and generate executable models that the M"obius tool uses to evaluate system metrics is also detailed. |
| URL | http://publish.illinois.edu/science-of-security-lablet/files/2014/05/Reliability-Analysis-with-Dynam... |
| Citation Key | node-29796 |
| Attachment | Size |
|---|---|
| bytes |