Dependability modeling and evaluation of multiple-phased systems using DEEM

IEEE Transactions on Reliability

Volumn 53, Issue 4, 2004, Pages 509-522

  Bondavalli, Andrea ^a   Chiaradonna, Silvano ^b   Di Giandomenico, Felicita ^b   Mura, Ivan ^c  

^a UNIVERSITY OF FLORENCE   (Italy)

^b ISTI CNR   (Italy)

^c Motorola Electronics SpA   (Italy)

Author keywords

Analytical tool; Dependability modeling and evaluation; Deterministic stochastic Petri nets; Markov regenerative processes; Phased mission systems; Transient analysis

Indexed keywords

ALGORITHMS; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS;

DEPENDABILITY MODELING; DETERMINISTIC STOCHASTIC PETRI NETS; MARKOV REGENERATIVE PROCESSES; PHASED MISSION SYSTEMS;

SYSTEMS ANALYSIS;

EID: 8644242912     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2004.837709     Document Type: Article

References (30)

1. A. Bondavalli et al., "Dependability modeling and sensitivity analysis of scheduled maintenance systems," in EDCC-3 European Dependable Computing Conf., vol. 1667, Lecture Notes in Computer Science N., Prague, Czech Republic, Sept. 1999, pp. 7-23.
2. J. B. Dugan, "Automated analysis of phased-mission reliability," IEEE Trans. Rel., vol. 40, pp. 45-52, 1991.
3. I. Mura and A. Bondavalli, "Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability," IEEE Trans. Comput., vol. 50, pp. 1337-1351, 2001.
4. I. Mura et al., "Dependability modeling and evaluation of phased mission systems: A DSPN approach," in IEEE DCCA-7-7th IFIP Int. Conf. Dependable Computing for Critical Applications, San Jose, CA, USA, 1999, pp. 299-318.
5. M. Smotherman and K. Zemoudeh, "A nonhomogeneous Markov model for phased-mission reliability analysis," IEEE Trans. Rel., vol. 38, pp. 585-590, 1989.
6. A. K. Somani et al., "Computationally-efficent phased-mission reliability analysis for systems with variable configurations," IEEE Trans. Rel., vol. 41, pp. 504-511, 1992.
7. A. Bondavalli et al., "DEEM: A tool for the dependability modeling and evaluation of multiple phased systems," in DSN2000 IEEE Int. Conf. Dependable Systems and Networks (FTCS-30 and DCCA-8 , New York, USA, 2000, pp. 23-236.
8. G. Ciardo et al., "SPNP: Stochastic Petri net package," in 3rd IEEE Int. Workshop Petri Nets and Performance Models (PNPM89 , Kyoto, Japan, 1989, pp. 142-151.
9. G. Clark et al., "The Möbius modeling tool," in 9th IEEE Int. Workshop Petri Nets and Performance Models, Aachen, Germany, September 2001, pp. 241-250.
10. A. Zimmermann and J. Freiheit et al., "Petri net modeling and performability evaluation with TimeNET 3.0," in 11th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS'2000), vol. 1786, LNCS, Schaumburg, Illinois, USA, 2000, pp. 188-202.
11. S. Allmaier and S. Dalibor, "PANDA - Petri net analysis and design assistant," in TOOLS'97, 9th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Saint Malo, France, 1997.
12. C. Beounes et al., "SURF-2: A program for dependability evaluation of complex hardware and software systems," in 23rd IEEE Int. Fault-Tolerant Computing Symp. (FTCS-23), Toulouse, France, 1993, pp. 668-673.
13. J. D. Esary and H. Ziehms, "Reliability analysis of phased missions," in Reliability and Fault Tree Analysis. Philadelphia: SIAM, 1975, pp. 213-236.
14. A. Pedar and V. V. S. Sarma, "Phased mission analysis for evaluating the effectiveness of aerospace computing systems," IEEE Transactions on Reliability, vol. 30, pp. 429-437, 1981.
15. X. Zang et al., "A BDD-based algorithm for reliability evaluation of phased mission systems," IEEE Trans. Rel., vol. 48, pp. 50-60, 1999.
16. L. Xing and J. B. Dugan, "Analysis of generalized phased mission system reliability, performance and sensitivity," IEEE Trans. Rel., vol. 51, pp. 199-211, June 2002.
17. J. K. Vaurio, "Fault tree analysis of phased mission systems with repairable and nonrepairable components," Reliab. Eng. Syst. Saf. vol. 74, no. 2, pp. 169-180, 2001.
18. M. Alam and U. M. Al-Saggaf, "Quantitative reliability evaluation of reparaible phased-mission systems using Markov approach," IEEE Trans. Rel., vol. R-35, pp. 498-503, 1986.
19. B. E. Aupperle et al., "Evaluation of fault-tolerant systems with nonhomogeneous workloads," in 19th IEEE Int. Fault Tolerant Computing Symp. (FTCS-19), 1989, pp. 159-166.
20. J. F. Meyer, D. G. Furchgott, and L. T. Wu, "Performability evaluation of the SIFT computer," in 9th IEEE Int. Fault-Tolerant Computing Symp. (FTCS-9), Madison, Wisconsin, USA, June 1979, pp. 43-50.
21. I. Mura and A. Bondavalli, "Hierarchical modeling and evaluation of phased-mission systems," IEEE Trans. Rel., vol. 48, pp. 360-368, 1999.
22. J. F. Meyer, "On evaluating the performability of degradable computing systems," IEEE Trans. Comput., vol. 29, pp. 720-731, 1980.
23. M. A. Marsan and G. Chiola, On Petri Nets with Deterministic and Exponentially Distributed Firing Times: Springer-Verlag, 1987, vol. 266, Lecture Notes in Computer Science, pp. 132-145.
24. H. Choi, V. G. Kulkarni, and K. S. Trivedi, "Transient analysis of deterministic and stochastic Petri nets," in 14th Int. Conf. Application and Theory of Petri Nets, Chicago, Illinois, USA, 1993, pp. 166-185.
25. G. Ciardo et al., "On the solution of GSPN reward models," Performance Evaluation, vol. 12, pp. 237 254, 1991.
26. G. Chiola, "Compiling techniques for the analysis of stochastic Petri nets," in 4th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, 1988, pp. 11-24.
27. A. Reibman and K. S. Trivedi, "Numerical transient analysis of Markov models," Comput. Oper. Res., vol. 15, no. 1, pp. 9-36, 1988.
28. S. C. Allmaier et al., "State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor," in 7th IEEE Int. Workshop Petri Nets and Performance Models, Saint Malo, France, 1997, pp. 112-121.
29. C. Lindemann and A. Thümmler, "Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions," Performance Evaluation, vol. 36-37, no. 1-4, pp. 35-54, 1999.
30. R. Filippini and A. Bondavalli, "Modeling and analysis of a scheduled maintenance system: A DSPN approach," Comput. J., BCS, vol. 47, no. 6, 2004, to be published.