H. Xu, L. Xing, and R. Robidoux


  1. [1] B.W. Johnson, Design and analysis of fault tolerant digital systems (Boston, USA: Addison-Wesley Longman Publishing Co. Inc., 1989).
  2. [2] R. Manian, J.B. Dugan, D. Coppit, & K.J. Sullivan, Combining various solution techniques for dynamic fault tree analysis of computer systems, Proc. IEEE International High-Assurance Systems Engineering Symposium, 1998.
  3. [3] BlockSim, System reliability analysis software using an RBD or fault tree approach, ReliaSoft Corporation, http://www.reliasoft.com/BlockSim/ (accessed June 12, 2007).
  4. [4] M. Rausand & A. Høyland, System reliability theory: models, statistical methods, and applications (New York, USA: Wiley-Interscience, 2003).
  5. [5] W. Wang, J.M. Loman, R.G. Arno, P. Vassiliou, E.R. Furlong, & D. Ogden, Reliability block diagram simulation techniques applied to the IEEE std. 493 standard network, IEEE Transactions on Industry Applications, 40(3), May/June 2004, 887–895.
  6. [6] H. Xu & L. Xing, Formal semantics and verification of dynamic reliability block diagrams for system reliability modelling, Proc. 11th International Conference on Software Engineering and Applications (SEA 2007), November 19–21, 2007, 155–162, Cambridge, Massachusetts, USA.
  7. [7] T. Murata, Petri nets: properties, analysis and applications, Proceedings of the IEEE, 77(4), April 1989, 541–580.
  8. [8] K. Jensen, Colored Petri nets: basic concepts, analysis methods and practical use, Volume 2, analysis methods (Monographs in Theoretical Computer Science, Springer-Verlag, 1997).
  9. [9] S. Distefano & L. Xing, A new approach to modelling the system reliability: dynamic reliability block diagrams, Proc. 52nd Annual Reliability & Maintainability Symposium (RAMS’06), Newport Beach, CA, January 2006, 189–195.
  10. [10] D. Coppit, K.J. Sullivan, & J.B. Dugan, Formal semantics of models for computational engineering: a case study on dynamic fault trees, Proc. International Symposium on Software Reliability Engineering, San Jose, California, 2000, 270–282.
  11. [11] D. Coppit & K.J. Sullivan, Formal specification in collaborative design of critical software tools, Proc. 3rd IEEE International High-Assurance Systems Engineering Symposium, Washington, D.C., November 13–14, 1998, 13–20.
  12. [12] A. Bobbio, G. Franceschinis, R. Gaeta, & L. Portinale, Exploiting Petri nets to support fault tree based dependability analysis, Proc. 8th International Workshop on Petri Nets and Performance Models (PNPM), Zaragoza, Spain, 1999, 146–155.
  13. [13] M.H.C. Everdij & H.A.P. Blom, Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models, Proc. IFAC Conf. on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany, France, June 2003, 355-360.
  14. [14] E.J. Henley & H. Kumamoto, Probabilistic risk assessment: reliability engineering, design, and analysis (Piscataway, NJ: IEEE Press, 1992).
  15. [15] Z. Manna & A. Pnueli, The temporal logic of reactive and concurrent systems – specification (NY: Springer-Verlag New York, Inc., 1992).
  16. [16] E.M. Clarke, O. Grumberg, & D.A. Peled, Model checking (Cambridge, MA: MIT Press, 2001).
  17. [17] K. Jensen, L.M. Kristensen, & L. Wells, Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, 9(3), June 2007, 213–254. Springer-Verlag, 2006.
  18. [18] A.V. Ratzer, L. Wells, H.M. Lassen, et. al., CPN Tools for editing, simulating, and analyzing colored Petri nets, Proc. 24th International Conference on the Application and Theory of Petri Nets, Eindhoven, The Netherlands, June 2003, 450–462.
  19. [19] A. Cheng, S. Christensen, & K.H. Mortensen, Model checking coloured Petri nets exploiting strongly connected components, Proc. International Workshop on Discrete Event Systems, Edinburg, Scotland, UK, August 1996, 169–177.
  20. [20] R. Robidoux, Automated verification of a computer system reliability model, Master’s Thesis, Computer and Information Science Department, University of Massachusetts Dartmouth, July 2007.

Important Links:

Go Back