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}
}
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
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 37 extracted citations

Formal reliability analysis of wireless sensor network data transport protocols using HOL

2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) • 2015
View 5 Excerpts
Highly Influenced

A Model-Based Fault Tolerance Configuration Framework for Component-Based Systems

2017 International Conference on Green Informatics (ICGI) • 2017
View 1 Excerpt

56 Citations

051015'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 43 references

A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) • 2008
View 1 Excerpt

CPN ML: language for declarations and net inscriptions

CPN Group
CPN Tools Help, Department of Computer Science, University of Aarhus, Jul. 2008, Retrieved on Aug. 26, 2008, from http://wiki.daimi.au.dk/cpntools-help/cpn_ml.wiki • 2008
View 2 Excerpts

Formal Modeling and Analysis of a Secure Mobile-Agent System

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2008
View 1 Excerpt

Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2008
View 1 Excerpt

Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2008
View 1 Excerpt

Verification of Knowledge-Based Systems Using Predicate/Transition Nets

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2008
View 1 Excerpt

Automated verification of a computer system reliability model

R. Robidoux
M.S. Thesis, Computer and Information Science Department, University of Massachusetts Dartmouth, Jul. 2007. • 2007
View 1 Excerpt

Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) • 2007
View 1 Excerpt

Similar Papers

Loading similar papers…