Dependability and performability analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 729 LNCS, Issue , 1993, Pages 587-612

  Trivedi, Kishor S ^a   Ciardo, Gianfranco ^b   Malhotra, Manish ^c   Sahner, Robin A ^d  

^a DUKE UNIVERSITY   (United States)

^b The College of William and Mary   (United States)

^c LUCENT TECHNOLOGIES   (United States)

^d NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; NETWORK SECURITY; PETRI NETS; SPECIFICATIONS; STOCHASTIC SYSTEMS;

CONTINUOUS TIME MARKOV CHAIN; CONTINUOUS-TIME; GENERALIZED STOCHASTIC PETRI NETS; MARKOV REWARD MODEL; PERFORMABILITY MODELS; PRACTICAL ISSUES; RESEARCH EFFORTS; STOCHASTIC REWARD NETS;

STOCHASTIC MODELS;

EID: 0012129077     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0013869     Document Type: Conference Paper

References (63)

1. M. Ajmone-Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, MA, 1986.
2. M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2(2):93-122, 1984.
3. G. Balbo, S. C. Bruell, and S. Ghanta. Combining queuing networks and GSPN’s for the solution of complex models of system behavior. IEEE Transactions on Computers, 37:1251-1268, 1988.
4. A. Bobbio and A. Cumani. A Markov approach to wear-out modeling. Microelectronics and Reliability, 23(1): 113-119, 1983.
5. A. Bobbio and A. Cumani. ML estimation of the parameters of a PH distribution in triangular canonical form. Technical Report R.T. 393, Istituto Elettrotecnico Nazionale Galileo Ferraris, Torino, Italy, 1990.
6. A. Bobbio, A. Cumani, A. Premoli, and O. Saracco. Modeling and identification of non-exponential distributions by homogeneous Markov processes. In Proc of the Sixth Advances in Reliability Symposium, Apr 1980.
7. A. Bobbio and M. Telek. Parameter estimation of phase type distributions. In 20th European Meeting of Statisticians, Bath, UK, Sept. 1992.
8. A. Bobbio and K. Trivedi. An aggregation technique for the transient analysis of stiff Markov chains. IEEE Transactions on Computers, C-35(9):803-814, Sept 1986.
9. W. Bux and U. Herzog. The phase concept: approximation of measured data and performance analysis. In K. Chandy and M. Reiser, editors, Computer Performance, pp. 23-38. North-Holland, Amsterdam, 1977.
10. K. M. Chandy, U. Herzog, and L. S. Woo. Parametric analysis of queuing networks. IBM Journal of Research and Development, 19:43-49, 1975.
11. H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. In 16th IFIP W.G. 7.3 Int’l Sym. on Computer Performance Modelling, Measurement and Evaluation (Performance’93), Rome, Italy, Sept. 1993.
12. H. Choi and K. S. Trivedi. Approximate performance models of polling systems using stochastic Petri nets. In Proc. of IEEE Infocom 92, pp. 2306-2314, Florence Italy, May 1992.
13. G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi. Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications, volume 48. Springer-Verlag, Heidelberg, Germany, 1993.
14. G. Ciardo and K. Trivedi. A decomposition approach for stochastic reward net models. To appear in Performance Evaluation.
15. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. In Proc of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993.
16. A. Costes, J. Doucet, C. Landrault, and J. C. Laprie. SURF: A program for dependability evaluation of complex fault-tolerant computing systems. In Proc. 11th Intl. Symposium on Fault-Tolerant Computing, pp. 72-78, 1981.
17. P. Courtois. Computable bounds for conditional steady-state probabilities in large Markov chain and queueing models. IEEE J. Sel. Areas in Comm., SAC-4(6):926-937, 1986.
18. D. Cox. A use of complex probabilities in the theory of stochastic processes. Proc of the Cambridge Philosophical Society, 51:313-319, 1955.
19. A. Cumani. ESP - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In Proc. of International Workshop on Timed Petri Nets, pp. 144-151, Torino, Italy, July 1985.
20. E. de Souza e Silva and H. R. Gail. Performability analysis of computer systems: from model specification to solution. Performance Evaluation, 14:157-196, 1992.
21. J. Dugan, K. Trivedi, M. Smotherman, and R. Geist. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics, pp. 319-331, May-June 1986.
22. R. Geist and K. Trivedi. Ultra-high reliability prediction for fault-tolerant computer systems. IEEE Transactions on Computers, C-32(12):1118-1127, Dec 1983.
23. A. Goyal, W. Carter, E. de Souza e Silva, S.S, Lavenberg, and K. Trivedi. The system availability estimator. In Proc of IEEE 16th Fault-Tolerant Computing Symposium, pp. 84-89, July 1986.
24. B. Haverkort and K. Trivedi. Specification and generation of Markov reward models. Discrete-Event Dynamic Systems: Theory and Applications 3, pp.219-247, 1993.
25. R. A. Howard. Dynamic Probabilistic Systems, Vol.11: Semi-Markov and Decision Processes. John Wiley & Sons, New York, 1971.
26. M. Johnson. Selecting parameters of phase distributions: combining nonlinear programming, heuristics, and Erlang distributions. To appear in ORSA JOC.
27. M. Johnson and M. Taffe. Matching moments to phase distributions: mixtures of Erlang distribution of common order. Stochastic Models, 5:711-743, 1989.
28. M. Johnson and M. Taffe. Matching moments to phase distributions: density function shapes. Stochastic Models, 6:283-306, 1990.
29. H. Kantz and K. Trivedi. Reliability modeling of MARS system: A case study in the use of different tools and techniques. In International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991.
30. J. Kemeny, J. Snell, and A. Knapp. Denumerable Markov Chains. Springer-Verlag, 1976.
31. W. Kleinoder. Evaluation of task structures for hierarchical multiprocessor. In D. Potier, editor, Modeling Techniques and Tools for Performance Analysis. North-Holland, 1985.
32. V. Kulkarni, V. Nicola, R. Smith, and K. Trivedi. Numerical evaluation of performability measures and job completion time in repairable fault-tolerant systems. In Proc. 16th Intl. Symp. on Fault Tolerant Computing, Vienna, Austria, July 1986. IEEE.
33. K.S. Trivedi and V. G. Kulkarni, “Fluid Stochastic Petri Nets,” Proc. 14th International Conference on Applications and Theory of Petri Nets, Chicago, June 1993.
34. J. Lambert. Numerical Methods for Ordinary Differential Systems. John Wiley and Sons, 1991.
35. S. Lavenberg. Computer Performance Modeling Handbook. Academic Press, 1983.
36. E. D. Lazowska, J. Zahorjan, G. S. Graham, and K. C. Sevcik. Quantitative System Performance. Prentice-Hall, Englewood Cliffs, NJ, USA, 1984.
37. M. Malhotra. A computationally efficient technique for transient analysis of repairable Markovian systems. To appear in Performance Evaluation subject to revision, 1993.
38. M. Malhotra, J. K. Muppala, and K. S. Trivedi. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Technical Report DUKE-CCSR-92-003, Center for Computer Systems Research, Duke University, 1992.
39. M. Malhotra and A. Reibman. Selecting and implementing phase approximations for semi-Markov models. To appear in Stochastic Models, 1993.
40. M. Malhotra and K. Trivedi. Higher-order methods for transient analysis of stiff Markov chains. In Third international conference on Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 1991.
41. M. Malhotra and K. Trivedi. Dependability modeling using Petri-net based models. Technical Report DUKE-CCSR-92-012, Center for Computer Systems Research, Duke University, 1992.
42. M. Malhotra and K. S. Trivedi. A methodology for formal expression of hierarchy in model specification and solution. In Proceedings of Fifth Intl. Workshop on Petri Nets and Performance Models, 1993.
43. M. Malhotra and K. S. Trivedi. Reliability analysis of redundant arrays of inexpensive disks. Journal of Parallel and Distributed Computing, 17:146-151, Jan 1993.
44. J. Meyer. On evaluating the performability of degradable computer systems. IEEE Transactions on Computers, C-29:720-731, Aug 1980.
45. W. Miranker. Numerical Methods for Stiff Equations and Singular Perturbation Problems. D. Reidel, Dordrecht, Holland, 1981.
46. D. Mitra, “Stochastic Theory of Fluid Models of Multiple Failure-Susceptible Producers and Consumers Coupled by a Buffer,” Advances in Applied Probability, Vol. 20, pp. 646-676, 1988.
47. I. Mitrani. Fixed-point approximations for distributed systems. In G. Iazeolla, P. J. Courtois, and A. Hordijk, editors, Mathematical Computer Performance and Reliability, pp. 245-258. North-Holland, 1984.
48. M. Molloy. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, C-31(9):913-917, Sept 1982.
49. R. R. Muntz, E. de Souza e Silva, and A. Goyal. Bounding availability of repairable computer systems. IEEE Transactions on Computers, C-38(12):1714-1723, Dec 1989.
50. J. Muppala and K. Trivedi. Numerical transient analysis of finite Markovian queueing systems. In U. Bhat and I. Basawa, editors, Queueing and Related Models, pp. 262-284. Oxford University Press, 1992.
51. J. Musa, A. Iannino, and K. Okumoto, Software Reliability; Measurement, Prediction, Application, McGraw-Hill, 1987.
52. M. Neuts. Matrix-Geometric Solutions in Stochastic Models. Johns Hopkins University Press, Baltimore, MD, 1981.
53. V. Nicola. Lumping in Markov reward processes. In W. Stewart, editor, Numerical Solution of Markov Chains, pp. 663-666. Marcel Dekker Inc, New York, 1991.
54. A. Reibman and K. Trivedi. Numerical transient analysis of Markov models. Computers and Operations Research, 15(l):19-36, 1988.
55. R. Sahner and K. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engineering, 14(10):1105-1114, Oct 1987.
56. R. Sahner and K. Trivedi. A software tool for learning about stochastic models. IEEE Transactions on Education, 36(1):56-61, Feb. 1993.
57. W. Sanders and J. Meyer. Reduced base model construction methods for stochastic activity networks. IEEE Selected Areas of Communications, pp. 25-36, Jan 1991.
58. L. Schmickler. MEDA - mixed Erlang distributions as phase-type representation of empirical functions. Stochastic Models, 8(1):131-156, Aug. 1992.
59. M. L. Shooman. Probabilistic Reliability: An Engineering Approach. McGraw-Hill, New York, 1968.
60. C. Singh, R. Billinton, and S. Lee. The method of stages for non-Markovian models. IEEE Transactions on Reliability, R-26(1):135-137, June 1977.
61. L. A. Tomek and K. S. Trivedi. Fixed point iteration in availability modeling. In M. D. Cin and W. Hohl, editors, Proc of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, pp. 229-240, Berlin, Sept 1991. Springer-Verlag.
62. K. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood-Cliffs, NJ, 1982.
63. K. Trivedi, J. Muppala, S. Woolet, and B. Haverkort. Composite performance and dependability analysis. Performance Evaluation, 14:197-215, 1992.