sesa 16(10): e3

Research Article

Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool

Download250 downloads
  • @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
Ken Keefe1,*, William Sanders1
  • 1: University of Illinois at Urbana-Champaign
*Contact email: kjkeefe@illinois.edu

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 de fine and generate executable models that the Möbius tool uses to evaluate system metrics is also detailed.