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
    104 Citations
    Overview of System Reliability Modeling Tools
    • Highly Influenced
    • PDF
    A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
    • 2
    • PDF
    Review of Verification Methodologies for Dynamic Reliability Block Diagram
    • Highly Influenced
    • PDF
    Methodology for automated Petri Net model generation to support Reliability Modelling
    • PDF
    Formalization of Reliability Block Diagrams in Higher-order Logic
    • 20
    • Highly Influenced
    • PDF
    Reliability block diagrams based analysis: A survey
    • 11
    • PDF
    On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets
    • R. J. Rodriguez
    • Mathematics, Computer Science
    • IEEE Transactions on Systems, Man, and Cybernetics: Systems
    • 2016
    • 3
    • PDF
    Formal Reliability Analysis Using Theorem Proving
    • 30
    • PDF

    References

    SHOWING 1-10 OF 57 REFERENCES
    Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling
    • 12
    • PDF
    Drbd: Dynamic Reliability Block Diagrams for System Reliability Modelling
    • 44
    • PDF
    Reliability Modeling Using SHARPE
    • 297
    • PDF
    Reliability Modeling Using UML
    • 36
    Exploiting Petri nets to support fault tree based dependability analysis
    • 26
    Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
    • 153
    • PDF
    Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
    • Yuyue Du, C. Jiang, M. Zhou
    • Computer Science
    • IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
    • 2007
    • 70
    Extending Reliability Block Diagrams to Software Architectures
    • 17
    • PDF
    Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
    • Z. Li, H. Hu, An R. Wang
    • Computer Science
    • IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)
    • 2007
    • 175
    Combining various solution techniques for dynamic fault tree analysis of computer systems
    • 133
    • PDF