Reliability analysis of multistate phased-mission systems with unordered and ordered states

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

Volumn 41, Issue 4, 2011, Pages 625-636

  Shrestha, Akhilesh ^a   Xing, Liudong ^b,c   Dai, Yuanshun ^c,d  

^a ARCON CORPORATION   (United States)

^b University of Massachusetts Dartmouth   (United States)

^c UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^d University of Tennessee   (United States)

Author keywords

Binary decision diagram (BDD); multistate multivalued decision diagram (MMDD); multistate system; phased mission system; unordered states

Indexed keywords

COMPONENT LEVELS; COMPONENT STATE; DECISION DIAGRAM; DISTRIBUTED COMPUTING SYSTEMS; FAILURE CRITERIA; INTEGRATED MODELING; MARKOV MODEL; MULTI STATE; MULTI-STATE SYSTEM; ORDERED STATE; PHASED-MISSION SYSTEM; STATE EXPLOSION PROBLEMS; SYSTEM LEVELS; SYSTEM STRUCTURES; TRANSITION BEHAVIOR; UNORDERED STATES;

BINARY DECISION DIAGRAMS; DISTRIBUTED COMPUTER SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; SEMANTIC WEB; SEMANTICS; USER INTERFACES;

RELIABILITY ANALYSIS;

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

References (28)

1. L. Xing and J. B. Dugan, "Analysis of generalized phased mission system reliability, performance and sensitivity," IEEE Trans. Rel., vol. 51, no. 2, pp. 199-211, Jun. 2002. (Pubitemid 34924193)
2. K. B. Misra, Ed., Handbook of Performability Engineering. London, U.K.: Springer-Verlag, Oct. 2008.
3. J. D. Esary and H. Ziehms, "Reliability analysis of phased missions," in Proc. Conf. Reliab. Fault Tree Anal.: Theor. Appl. Aspects Syst. Reliab. Safety Assessment, 1975, pp. 213-236.
4. M. K. Smotherman and K. Zemoudeh, "A non-homogeneous Markov model for phased-mission reliability analysis," IEEE Trans. Rel., vol. 38, no. 5, pp. 585-590, Dec. 1989. (Pubitemid 20665821)
5. J. B. Dugan, "Automated analysis of phased-mission reliability," IEEE Trans. Rel., vol. 40, no. 1, pp. 45-52, Apr. 1991.
6. X. Zang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for reliability analysis of phased-mission systems," IEEE Trans. Rel., vol. 48, no. 1, pp. 50-59, Mar. 1999.
7. F. A. Tillman, C. H. Lie, and C. L. Hwang, "Simulation model of mission effectiveness for military systems," IEEE Trans. Rel., vol. R-27, no. 3, pp. 191-194, Aug. 1978. (Pubitemid 9397715)
8. R. E. Altschul and P. M. Nagel, "The efficient simulation of phased fault trees," in Proc. Annu. Reliab. Maintainability Symp., 1987, pp. 292-296.
9. M. Alam and U. M. Al-Saggaf, "Quantitative reliability evaluation of repairable phased-mission systems using Markov approach," IEEE Trans. Rel., vol. R-35, no. 5, pp. 498-503, Dec. 1986. (Pubitemid 17534711)
10. K. Kim and K. S. Park, "Phased-mission system reliability under Markov environment," IEEE Trans. Rel., vol. 43, no. 2, pp. 301-309, Jun. 1994.
11. I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi, "Dependability modeling and evaluation of phased mission systems: A DSPN approach," in Proc. Dependable Comput. Crit. Appl., San Jose, CA, 1999, vol. 7, pp. 299-318.
12. A. K. Somani and K. S. Trivedi, "Phased-mission system analysis using Boolean algebraic methods," in Proc. ACM Sigmetrics Conf. Meas. Model. Comput. Syst., 1994, pp. 98-107.
13. Z. Tang and J. B. Dugan, "BDD-based reliability analysis of phasedmission systems with multimode failures," IEEE Trans. Rel., vol. 55, no. 2, pp. 350-360, Jun. 2006. (Pubitemid 43905046)
14. L. Xing, "Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause failures," IEEE Trans. Rel., vol. 56, no. 1, pp. 58-68, Mar. 2007. (Pubitemid 46523096)
15. L. Meshkat, L. Xing, S. Donohue, and Y. Ou, "An overview of the phasemodular fault tree approach to phased-mission system analysis," in Proc. Int. Conf. Space Mission Challenges Inf. Technol., 2003, pp. 393-398.
16. Y. Ou and J. B. Dugan, "Modular solution of dynamic multi-phase systems," IEEE Trans. Rel., vol. 53, no. 4, pp. 499-508, Dec. 2004.
17. R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, no. 8, pp. 677-691, Aug. 1986. (Pubitemid 16629996)
18. A. Sanchez, J. G. Douriet, and E. Ramirez, "Synthesis of a class of discrete-event controllers for large manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 662-669, Jul. 2007. (Pubitemid 47061967)
19. A. K. Somani and K. S. Trivedi, "Boolean algebraic methods for phasedmission system analysis," NASA Langley Res. Center, Hampton, VA, Tech. Rep. NAS1-19480, 1997.
20. A. K. Somani, "Simplified phased-mission system analysis for systems with independent component repairs," Int. J. Rel., Quality Safety Eng., vol. 4, no. 2, pp. 167-189, 1997.
21. D.Wang and K. S. Trivedi, "Reliability analysis of phased-mission system with independent component repairs," IEEE Trans. Rel., vol. 56, no. 3, pp. 540-551, Sep. 2007. (Pubitemid 47399762)
22. R. Robidoux, H. Xu, L. Xing, and M. Zhou, "Automated verification of dynamic reliability block diagrams using colored Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 337-351, Mar. 2010.
23. L. Xing and Y. Dai, "A new decision diagram based method for efficient analysis on multi-state systems," IEEE Trans. Dependable Secure Comput., vol. 6, no. 3, pp. 161-174, Jul.-Sep. 2009.
24. L. Xing, "An efficient binary decision diagrams based approach for network reliability and sensitivity analysis," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 105-115, Jan. 2008.
25. K. S. Trivedi, Probability and Statistics With Reliability, Queueing, and Computer Science Applications. Englewood Cliffs, NJ: Prentice-Hall, 1982.
26. A. Shrestha, L. Xing, and Y. Dai, "Reliability analysis of multi-state phased-mission systems," in Proc. 55th Annu. Reliab. Maintainability Symp., Fort Worth, TX, Jan. 2009, pp. 151-156.
27. A. Reibman, R. Smith, and K. S. Trivedi, "Markov and Markov reward model transient analysis: An overview of numerical approaches," Eur. J. Oper. Res., vol. 40, no. 2, pp. 257-267, May 1989.
28. A. Shrestha, L. Xing, and D.W. Coit, "An efficient multistate multivalued decision diagram-based approach for multistate system sensitivity analysis," IEEE Trans. Rel., vol. 59, no. 3, pp. 581-592, Sep. 2010.