Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

@article{Robidoux2010AutomatedMO,
  title={Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets},
  author={Ryan Robidoux and Haiping Xu and Liudong Xing and Mengchu Zhou},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
  year={2010},
  volume={40},
  pages={337-351}
}

• Ryan Robidoux, Haiping Xu, +1 author Mengchu Zhou
• Published 2010 in
  IEEE Transactions on Systems, Man, and…
• DOI:10.1109/TSMCA.2009.2034837

Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis and reliability block diagrams (RBDs), which provide static representations of system reliability properties. A recent extension to RBDs, called dynamic RBDs (DRBD), defines a framework for modeling the dynamic reliability behavior of computer-based systems. However, analyzing a DRBD model in order to locate and identify design errors, such as a deadlock error or faulty state, is not… CONTINUE READING

Save to Library

Create Alert

Cite

View on IEEE