Hierarchical composition and aggregation of state-based availability and performability models

IEEE Transactions on Reliability

Volumn 52, Issue 1, 2003, Pages 44-52

  Lanus, Mark ^a   Yin, Liang ^b   Trivedi, Kishor S ^b  

^a MOTOROLA INC   (United States)

^b DUKE UNIVERSITY   (United States)

Author keywords

"Reliability and Quality Measurements for Telecommunication Systems" measure; Equivalent failure rate; Equivalent repair rate; Hierarchical composition; Markov reward model; Outage measure; Telecommunication system

Indexed keywords

COMPUTATIONAL COMPLEXITY; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY; TELECOMMUNICATION SYSTEMS;

MARKOV REWARD MODELS;

HIERARCHICAL SYSTEMS;

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

References (18)

1. T. Anderson and P. A. Lee, Fault Tolerance, Principles and Practice: Prentice-Hall, 1981.
2. Bellcore, Reliability and Quality Measurements for Telecommunications Systems (RQMS), Generic Requirements: Bellcore, no. 3, Nov. 1997.
3. G. Ciardo, J. Muppala, and K. S. Trivedi, "SPNP: Stochastic Petri net package," in Proc. Int. Conf. Petri Nets and Performance Models, Dec. 1989, pp. 142-150.
4. G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models," Performance Evaluation, vol. 18, no. 1, pp. 37-59, July 1993.
5. P. J. Courtois, Decomposability: Queueing and Computer System Applications: Academic Press, 1977.
6. C. R. Das, P. Mohapatra, L. Tien, and L. N. Bhuyan, "An availability model for MIN-based multiprocessors," IEEE Trans. Parallel and Distributed Syst., vol. 4, no. 10, pp. 1118-1129, Oct. 1993.
7. S. A. Doyle, J. B. Dugan, and M. Boyd, "Combinatorial-models and coverage: A binary decision diagram (BDD) approach," in Proc. Annu. Reliability Maintainability Symp., 1995, pp. 82-89.
8. L. Kleinrock, "Theory," in Queueing Systems: John Wiley & Sons, 1975, vol. I, p. 59.
9. P. Le Chehadec, Canonical Forms in Finitely Presented Algebras: John Wiley & Sons, 1986.
10. M. Malhotra and K. S. Trivedi, "A methodology for formal specification of hierarchy in model solution," in Proc. Fifth Int. Workshop Petri Nets and Performance Models, (PNPM-1993), pp. 258-267.
11. _, "Power-hierarchy of dependability model types," IEEE Trans. Rel., vol. 43, no. 2, pp. 493-502, Sept. 1994.
12. J. Muppala, A. Sathaye, R. Howe, and K. S. Trivedi, "Dependability modeling of a heterogeneous VAXcluster system using stochastic reward nets," in Hardware and Software Fault Tolerance in Parallel Computing Systems, D. Avresky, Ed: Ellis Horwood Ltd., 1992, pp. 33-59.
13. R. A. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package: Kluwer Academic Publishers, 1996.
14. W. G. Schneeweiss, Boolean Functions with Engineering Applications and Computer Programs: Springer-Verlag, 1989.
15. S. Soh and S. Rai, "CAREL: Computer aided reliability evaluator for distributed computing networks," IEEE Trans. Parallel and Distributed Syst., vol. 2, no. 2, pp. 199-213, Apr. 1991.
16. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains: Princeton University Press, 1994.
17. K. S. Trivedi, Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2nd ed: Wiley, 2001.
18. K. S. Trivedi, G. Ciardo, M. Malhotra, and R. Sahner, "Dependability and performability analysis," in Int. Symp. Computer Performance Modeling, Measurement, and Evaluation, 1993, (Tutorial) 16th IFIP WG 7.3.