• DOI:10.1109/TSMCA.2009.2034837
Corpus ID: 11795118

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={R. Robidoux and Haiping Xu and Liudong Xing and M. Zhou},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
  year={2010},
  volume={40},
  pages={337-351}
}

R. Robidoux, Haiping Xu, +1 author M. Zhou

Published 2010

Computer Science

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans

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

View on IEEE

cis.umassd.edu

Save to Library

Create Alert

Cite

Launch Research Feed