Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability

IEEE Transactions on Computers

Volumn 50, Issue 12, 2001, Pages 1337-1351

  Mura, Ivan ^b   Bondavalli, Andrea ^a,c  

^a IEEE   (Italy)

^b Motorola Electronics SpA   (Italy)

^c UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Analytical modeling and evaluation; Dependability; Markov regenerative processes; Markov regenerative stochastic Petri nets; Performability; Phased mission systems; Sensitivity analysis

Indexed keywords

DEPENDABILITY; MARKOV REGENERATIVE STOCHASTIC PETRI NETS; PERFORMABILITY; PHASED MISSION SYSTEMS;

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; MARKOV PROCESSES; PETRI NETS; PROBABILITY; RANDOM PROCESSES; SENSITIVITY ANALYSIS;

MULTIPROCESSING SYSTEMS;

EID: 0035693699     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2001.970572     Document Type: Article

References (31)

1. Quantitative reliability evaluation of reparaible phased-mission systems using Markov approach
2. Evaluation of fault-tolerant data handling systems for spacecraft: Measures, techniques and example applications
3. Evaluation of fault-tolerant systems with nonhomogeneous workloads
4. Sensitivity analysis of reliability and performability measures for multiprocessor systems
5. A modeling framework to implement pre-emption policies in non-Markovian stochastic petri nets
6. Recent developments in non-Markovian stochastic petri nets
7. Markov regenerative SPN with non-overlapping activity cycles
8. DEEM: A tool for the dependability modeling and evaluation of multiple phased systems
9. Analytical modelling and evaluation of phased-mission systems for space applications
10. Dependability modeling and sensitivity analysis of scheduled maintenance systems
11. Phased mission analysis: A review of new developments and an application
12. Performance and reliability modeling using Markov regenerative stochastic petri nets
13. Markov regenerative stochastic petri nets
14. Transient analysis of deterministic and stochastic petri nets
15. A characterisation of the stochastic process underlying a stochastic petri net
16. Automated analysis of phased-mission reliability
17. Extended stochastic petri nets: Applications and analysis
18. Transient analysis of deterministic and stochastic petri nets by method of supplementary variables
19. Transient analysis of the leaky bucket rate control scheme under poisson and on-off sources
20. Sensitivity analysis of Markov regenerative stochastic petri nets
21. Performability evaluation of the SIFT computer
22. Dependability modelling and evaluation of phased mission systems: A DSPN approach
23. Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
24. Numerical transient analysis of Markov models
25. Exact methods for the transient analysis of non-homogeneous continuous-time Markov chains
26. A non-homogeneous Markov model for phased-mission reliability analysis
27. Computationally-efficient phased-mission reliability analysis for systems with variable configurations
28. Phased-mission systems using Boolean algebraic methods