Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability

@article{Mura2001MarkovRS,
  title={Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability},
  author={Ivan Mura and Andrea Bondavalli},
  journal={IEEE Trans. Computers},
  year={2001},
  volume={50},
  pages={1337-1351}
}
This study deals with model-based dependability transient analysis of phased mission systems. A review of the studies in the literature showed that several aspects of multiphased systems pose challenging problems to the dependability evaluation methods and tools. To attack the weak points of the state-of-the-art we propose a modeling methodology that exploits the power of the class of Markov regenerative stochastic Petri net models. By exploiting the techniques available in the literature for… CONTINUE READING
BETA

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 75 CITATIONS

Performance Measures for Systems With Markovian Missions and Aging

  • IEEE Transactions on Reliability
  • 2012
VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Dependability modeling and evaluation of multiple-phased systems using DEEM

VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach

VIEW 8 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Constructing Dependability Analysis Models of Reconfigurable Production Systems

  • 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
  • 2018
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND

FILTER CITATIONS BY YEAR

2003
2018

CITATION STATISTICS

  • 4 Highly Influenced Citations