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} }
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
Figures, Tables, and Topics from this paper
104 Citations
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
- Computer Science
- ICFEM
- 2019
- 4
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
- Computer Science, Mathematics
- ArXiv
- 2019
- 2
- PDF
Review of Verification Methodologies for Dynamic Reliability Block Diagram
- Computer Science
- 2017
- Highly Influenced
- PDF
Methodology for automated Petri Net model generation to support Reliability Modelling
- Computer Science
- 2018
- PDF
Formalization of Reliability Block Diagrams in Higher-order Logic
- Computer Science
- J. Appl. Log.
- 2016
- 20
- Highly Influenced
- PDF
Reliability analysis of dynamic reliability block diagram based on dynamic uncertain causality graph
- Computer Science
- 2019
- 4
On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets
- Mathematics, Computer Science
- IEEE Transactions on Systems, Man, and Cybernetics: Systems
- 2016
- 3
- PDF
Formal Reliability Analysis Using Theorem Proving
- Computer Science
- IEEE Transactions on Computers
- 2010
- 30
- PDF
References
SHOWING 1-10 OF 57 REFERENCES
Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling
- Computer Science
- ICSE 2007
- 2007
- 12
- PDF
Exploiting Petri nets to support fault tree based dependability analysis
- Computer Science
- Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)
- 1999
- 26
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
- Computer Science
- 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07)
- 2007
- 153
- PDF
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
- Computer Science
- IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
- 2007
- 70
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
- 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
- Computer Science
- Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
- 1998
- 133
- PDF