Mission reliability analysis of generalized phased mission systems

Ruan Jian Xue Bao/Journal of Software

Volumn 18, Issue 4, 2007, Pages 1068-1076

  Mo, Yu Chang ^a   Yang, Xiao Zong ^a   Cui, Gang ^a   Liu, Hong Wei ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Homogeneous Markov pocess; Laplace transformation; Markov regenerative process; Phased mission systems (PMS); Reliability analysis

Indexed keywords

MARKOV PROCESSES; PROBABILITY;

LAPLACE TRANSFORMATION; MARKOV REGENERATIVE PROCESS; PHASED MISSION SYSTEMS (PMS); RANDOM PHASES DURATION;

RELIABILITY ANALYSIS;

EID: 34249294080     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos181068     Document Type: Article

References (15)

1. Bondavalli A, Mura I, Nelli M. Analytical modelling and evaluation of phased-mission systems for space applications. In: Paul R, Han JC, eds. Proc. of the IHASE'97. Washington: IEEE Computer Society Press, 1997. 85-91.
2. Dugan JB. Automated analysis of phased-mission reliability. IEEE Trans. on Reliability, 1991,40(1):45-52.
3. Mura I, Bondavalli A, Zang X, Trivedi KS. Dependability modelling and evaluation of phased mission systems: A DSPN approach. In: Weinstock CB, Rushby J, eds. Proc. of the DCCA-7. San Jose: IEEE Computer Society Press, 1999. 319-337.
4. Bondavalli A, Mura I, Chiaradonna S, Filippini R, Poli S, Sandrini F. DEEM: A tool for the dependability modeling and evaluation of multiple phased systems. In: Smith TB, Blough D, Kanoun K, eds. Proc. of the FTCS-30 and DCCA-8. Washington: IEEE Computer Society Press, 2000. 231-236.
5. Bondavalli A, Chiaradonna S, Di Giandomenico F, Mura I. Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. on Reliability, 2004,53(4):509-522.
6. Somani AK, Ritcey JA, Au SHL. Computationally-Efficent phased-mission reliability analysis for systems with variable configurations. IEEE Trans. on Reliability, 1992,41(4):504-511.
7. Smotherman M, Zemoudeh K. A non-homogeneous Markov model for phased-mission reliability analysis. IEEE Trans. on Reliability, 1989,38(5):585-590.
8. Kim K, Park KS. Phased-Mission system reliability under Markov environment. IEEE Trans. on Reliability, 1994,43(2):301-309.
9. Mura I, Bondavalli A. Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Trans. on Computers, 2001,50(12):1337-1351.
10. Zang X, Sun H, Trivedi KS. A BDD-based algorithm for reliability evaluation of phased mission systems. IEEE Trans. on Reliability, 1999,48(1):50-60.
11. Xing L, Dugan JB. Comments on PMS BDD generation in 'A BDD-based algorithm for reliability analysis of phased-mission systems'. IEEE Trans. on Reliability, 2004,53(2):169-173.
12. Choi H, Kulkarni VG, Trivedi KS. Markov regenerative stochastic Petri nets. Performance Evaluation, 1994,20(1-3):335-357.
13. German R, Logothetis D, Trivedi KS. Transient analysis of Markov regenerative stochastic Petri nets: A comparison of approaches. In: Trivedi KS, ed. Proc. of the 6th Int'l Workshop on Petri Nets and Performance Models. Kyoto: IEEE Computer Society Press, 1995. 103-112.
14. Abate J, Valko PP. Multi-Precision Laplace transform inversion. Int'l Journal for Numerical Methods in Engineering, 2004,60(5-7): 979-993.
15. Valko PP. Comparison of sequence accelerators for the Gaver method of numerical Laplace transform inversion. Computers and Mathematics with Applications, 2004,48(3-4):629-636.