Automated modeling of dynamic reliability block diagrams using colored Petri nets

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

Volumn 40, Issue 2, 2010, Pages 337-351

  Robidoux, Ryan ^a   Xu, Haiping ^a   Xing, Liudong ^a   Zhou, Mengchu ^b,c  

^a Department of Electrical and Computer Engineering   (United States)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Automated verification; Colored Petri net (CPN); Deadlock detection; Extensible markup language (XML); Formal modeling and analysis; Reliability block diagram (RBD); System reliability; Time Petri net

Indexed keywords

AUTOMATED VERIFICATION; COLORED PETRI NET; DEADLOCK DETECTION; EXTENSIBLE MARKUP LANGUAGE; FORMAL MODELING; RELIABILITY BLOCK DIAGRAMS; SYSTEM RELIABILITY; TIME PETRI NETS;

AUTOMATION; COMPUTER WORMS; DYNAMICAL SYSTEMS; FAULT TREE ANALYSIS; FORMAL METHODS; GRAPH THEORY; HYPERTEXT SYSTEMS; LINGUISTICS; MARKUP LANGUAGES; MATHEMATICAL MODELS; PETRI NETS; QUERY LANGUAGES; RELIABILITY ANALYSIS; XML;

QUALITY ASSURANCE;

EID: 77249146348     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2009.2034837     Document Type: Article

References (45)

1. S. M. Rinaldi, "Modeling and simulating critical infrastructures and their interdependencies," in Proc. 37th Annu. HICSS, Big Island, HI, Jan. 2004, p. 20054a (1-8).
2. M. Rausand and A. Hoyland, System Reliability Theory: Models, Statistical Methods, and Applications, 2nd ed. New York: Wiley-Interscience, 2003
3. R. Manian, J. Dugan, D. Coppit, and K. Sullivan, "Combining various solution techniques for dynamic fault tree analysis of computer systems," in Proc. 3rd Int. Symp. HASE, Washington, DC, 1998, pp. 21-28.
4. H. Xu and L. Xing, "Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling," in Proc. 11th Int. Conf. Softw. Eng. Appl., Cambridge, MA, Nov. 2007, pp. 155-162.
5. H. Xu, L. Xing, and R. Robidoux, "DRBD: Dynamic reliability block diagrams for system reliability modeling," Int. J. Comput. Appl.(IJCA), vol.31, no.2, pp. 132-141, 2009.
6. Z. Hu and S. M. Shatz, "Explicit modeling of semantics associated with composite states in UML statecharts," Autom. Softw. Eng., vol.13, no.4, pp. 423-467, Oct. 2006.
7. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook (NUREG-0492). Washington, DC: GPO, 1981.
8. H. Boudali, P. Crouzen, and M. Stoelinga, "Dynamic fault tree analysis using input/output interactive Markov chains," in Proc. 37th Annu. IEEE/IFIP Int. Conf. DSN, Edinburgh, U.K., Jun. 2007, pp. 708-717.
9. A. Abd-Allah, "Extending reliability block diagrams to software architecture," Univ. Southern California, Los Angeles, CA, Tech. Rep. USC-CSE-97-501, Mar. 1997.
10. R. A. Sahner and K. S. Trivedi, "Reliability modeling using SHARPE," IEEE Trans. Rel., vol.R-36, no.2, pp. 186-193, Jun. 1987.
11. C. Leangsuksun, H. Song, and L. Shen, "Reliability modeling using UML," in Proc. Int. Conf. Softw. Eng. Res. Practice, Las Vegas, NV, Jun. 2003, pp. 259-262.
12. H. Dammag and N. Nissanke, "Safecharts for specifying and designing safety critical systems," in Proc. 18th IEEE Symp. Rel. Distrib. Syst., Lausanne, Switzerland, 1999, pp. 78-87.
13. P.-A. Hsiung, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu, andW.-B. See, "VERTAF: An application framework for the design and verification of embedded real-time software," IEEE Trans. Softw. Eng., vol.30, no.10, pp. 656-674, Oct. 2004.
14. J. T. Blake, A. L. Reibman, and K. S. Trivedi, "Sensitivity analysis of reliability and performability measures for multiprocessor systems," in Proc. ACM SIGMETRICS Conf. Meas. Model. Comput. Syst., 1988, pp. 177-186.
15. R. Duke, G. Rose, and G. Smith, "Object-Z: A specification language advocated for the description of standards," Comput. Stand. Interfaces, vol. 17, no. 5/6, pp. 511-533, 1995.
16. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol.77, no.4, pp. 541-580, Apr. 1989.
17. J. Wang, Timed Petri Nets: Theory and Application. Norwell, MA: Kluwer, 1998.
18. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1999.
19. F.-Y. Wang, K. J. Kyriakopoulos, A. Tsolkas, and G. N. Saridis, "A Petrinet coordination model for an intelligent mobile robot," IEEE Trans. Syst., Man, Cybern., vol.21, no.4, pp. 777-789, Jul./Aug. 1991.
20. M. Jeng, X. Xie, and S.-L. Chung, "ERCN ? merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.34, no.1, pp. 102-112, Jan. 2004.
21. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.34, no.1, pp. 5-22, Jan. 2004.
22. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol.37, no.4, pp. 517-526, Jul. 2007.
23. F.-S. Hsieh, "Fault-tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.34, no.1, pp. 65-79, Jan. 2004.
24. N. Wu and M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol.35, no.6, pp. 1193-1202, Dec. 2005.
25. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policy for flexiblemanufacturing systems," IEEE Trans. Syst.,Man, Cybern. C, Appl. Rev., vol.38, no.2, pp. 172-188, Mar. 2008.
26. A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta, "Exploiting Petri nets to support fault-tree based dependability analysis," in Proc. 8th Int. Workshop Petri Nets Perform. Models, Zaragoza, Spain, Sep. 1999, pp. 146-155.
27. M. Everdij and H. Blom, "Petri nets and hybrid state Markov processes in a power hierarchy of dependability models," in Proc. IFAC Conf. Anal. Des. Hybrid Syst., Saint-Malo, France, Jun. 2003, pp. 355-360.
28. N. G. Leveson and J. L. Stolzy, "Safety analysis using Petri nets," IEEE Trans. Softw. Eng., vol.SE-13, no.3, pp. 386-397, Mar. 1987.
29. U. Buy and R. Sloan, "A Petri net-based approach to real-time program analysis," in Proc. 7th Int. Workshop Softw. Specification Des., Redondo Beach, CA, Dec. 1993, pp. 56-60.
30. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzc, "A unified high-level Petri net formalism for time-critical systems," IEEE Trans. Softw. Eng., vol.17, no.2, pp. 160-172, Feb. 1991.
31. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, vol.2. Berlin, Germany: Springer-Verlag, 1997, ser. Basic Concepts. EATCS Monographs on Theoretical Computer Science.
32. L. Lamport, "Proving the correctness of multiprocess programs," IEEE Trans. Softw. Eng., vol.SE-3, no.2, pp. 125-143, Mar. 1977.
33. Y. Y. Du, C. J. Jiang, andM. C. Zhou, "Modeling and analysis of real-time cooperative systems using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.37, no.5, pp. 643-654, Sep. 2007.
34. V. R. L. Shen and T. T.-Y. Juang, "Verification of knowledge-based systems using predicate/transition nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.38, no.1, pp. 78-87, Jan. 2008.
35. L. Ma and J. J. P. Tsai, "Formal modeling and analysis of a secure mobileagent system," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.38, no.1, pp. 180-196, Jan. 2008.
36. J.-S. Lee, M. C. Zhou, and P.-L. Hsu, "Multiparadigm modeling for hybrid dynamic systems using a Petri net framework," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.38, no.2, pp. 493-498, Mar. 2008.
37. H. Wang and Q. Zeng, "Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.38, no.4, pp. 802- 817, Jul. 2008.
38. B. W. Johnson, Design and Analysis of Fault Tolerant Digital Systems. Boston, MA: Addison-Wesley Longman, 1989.
39. C. Goldfarb and P. Prescod, The XML Handbook. Upper Saddle River, NJ: Prentice-Hall, 2000.
40. A. V. Ratzer, L. Wells, H. M. Lasen, M. Laursen, J. F. Qvortrup, M. S. Stissing, M. Westergaard, S. Christensen, and K. Jensen, "CPN tools for editing, simulating and analyzing colored Petri nets," in Proc. 24th Int. Conf. Appl. Theory Petri Nets, Eindhoven, The Netherlands, Jun. 2003, pp. 450-462.
41. CPN Group, Retrieved on Aug. 26, 2008, "CPN ML: Language for declarations and net inscriptions," CPN Tools Help: Dept. Comput. Sci., Univ. Aarhus, Jul. 2008. [Online]. Available: http://wiki.daimi.au.dk/ cpntoolshelp/ cpn-ml.wiki
42. E. R. Harold, Processing XML With Java: A Guide to SAX, DOM, JDOM, JAXP, and TrAX. Boston, MA: Addison-Wesley, 2002.
43. R. Robidoux, "Automated verification of a computer system reliability model," M.S. thesis, Dept. Comput. Inf. Sci., Univ. Massachusetts Dartmouth, North Dartmouth, MA, Jul. 2007.
44. H. Xu and S. M. Shatz, "A framework for model-based design of agentoriented software," IEEE Trans. Softw. Eng., vol.29, no.1, pp. 15-30, Jan. 2003.
45. J. Wang, Y. Deng, and M. Zhou, "Compositional time Petri nets and reduction rules," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol.30, no.4, pp. 562-572, Aug. 2000.