微信服务号

微信订阅号

2025-5-17- 20
Home > Archive>Volume 18, Issue 4, 2007 >1068-1076
PDF HTML XML Export Cite reminder
Mission Reliability Analysis of Generalized Phased Mission Systems
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [15]
    • |
  • Related [20]
    • |
  • Cited by [3]
    • | |
  • Comments
    Abstract:

    To attack the weak points of the state-of-the-art, this paper shows how to analyze mission reliability of the generalized PMS with random phases duration and Markov regenerative intraphase processes. These generalized PMS are modeled under a simple and practical 5-tuple analysis model. This paper proves that the underlying intraphase processes are Markov regenerative processes and shows how to compute the conditional transient occupation probability matrix for each phase. Then it shows how to use these matrices to compute mission reliability of the generalized PMS. Using Laplace transformation can simplify the whole analysis process. Equipped with the analysis model, reliability of the generalized PMS can be efficiently analyzed.

    Reference
    [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.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

莫毓昌,杨孝宗,崔刚,刘宏伟.一般阶段任务系统的任务可靠性分析.软件学报,2007,18(4):1068-1076

Copy
Share
Article Metrics
  • Abstract:5064
  • PDF: 6314
  • HTML: 0
  • Cited by: 0
History
  • Received:October 24,2005
  • Revised:October 24,2005
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045253Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063