Performance/availability modeling with the TANGRAM-II modeling environment

Performance Evaluation

Volumn 33, Issue 1, 1998, Pages 45-65

  Carmo, R M L R ^a,c   De Carvalho, L R ^a   De Souza E Silva, E ^a,d,e   Diniz, M C ^a   Muntz, R R ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b Department of Civil and Environmental Engineering   (United States)

^c UNIVERSITÉ PAUL SABATIER   (France)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Dependability tools; Markov modeling; Performability; Performance tools; Transient analysis

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; GRAPHICAL USER INTERFACES; MARKOV PROCESSES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

SOFTWARE PACKAGE TANGRAM II; TRANSIENT ANALYSIS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0032097256     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-5316(98)00011-x     Document Type: Article

References (31)

1. C. Béounes, M. Aguéra, J. Arlat, S. Bachmann, C. Bourdeau, J.-E. Doucet, K. Kanoun, J.-C. Laprie, S. Metge, J.M. de Souza, D. Powell, P. Spiesser, SURF-2: A program for dependability evaluation of complex hardware and software systems, in: Proc. 23rd Int. Symp. on Fault-Tolerant Computing, 1993, pp. 668-673.
2. S. Berson, E. de Souza e Silva, R.R. Muntz, An object oriented methodology for the specification of Markov models, in: Numerical Solution of Markov Chains, Marcel Dekker, New York, 1991, pp. 11-36.
3. G.V. Bochmann, J. Vaucher, Adding performance aspects to specification languages, in: S. Aggarwal, K. Sabnani (Eds.). Proc. Protocol Specification, Testing and Verification VIII - IFIP, North-Holland, Amsterdam, 1988, pp. 19-31.
4. J.A. Carrasco, J. Figueras, METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems, FTCS 16 (1986) 424-429.
5. W. Chia-Whei Cheng, The TANGRAM graphical interface facility (TGIF) manual, TGIF WWW at http://bourbon.cs.ucla.edu:8801/tgif/.
6. G. Chiola, A software package for analysis of generalized stochastic Petri net models, in: Proc. Int. Workshop on Timed Petri Net Models, Torino, Italy, 1985, pp. 136-143.
7. G. Ciardo, J. Muppala, K.S. Trivedi, SPNP: stochastic Petri net package, in: Proc. 3rd Int. Workshop on Petri-nets and Performance Models, 1989, pp. 142-151.
8. E. de Souza e Silva, H.R. Gail, Calculating cumulative operational time distributions of repairable computer systems, IEEE Trans. Comput. C 35 (4) (1986) 322-332.
9. E. de Souza e Silva, H.R. Gail, The uniformization method in performability analysis, IBM Technical Report RC-20383, 1996.
10. E. de Souza e Silva, H.R. Gail, An algorithm to calculate transient distributions of cumulative rate and impulse based reward, Comm. Statist. Stochastic Models, to appear.
11. E. de Souza e Silva, H.R. Gail, R.R. Muntz, Efficient solutions for a class of non-Markovian models, in: Computations with Markov Chains, Kluwer Academic, Dordrecht, 1995, pp. 483-506.
12. E. de Souza e Silva, H.R. Gail, R. Vallejos Campos, Calculating transient distributions of cumulative reward, in: Proc. Performance'95 and 1995 ACM SIGMETRICS Conf., 1995, pp. 231-240.
13. G.H. Golub, C.F. van Loan, Matrix Computation, 2nd ed., The John Hopkins University Press, Baltimore, 1989.
14. A. Goyal, W.C. Carter, E. de Souza e Silva, S.S. Lavenberg, K.S. Trivedi, The system availability estimator, FTCS 16 (1986) 84-89.
15. W.K. Grassmann, D.P. Heyman, Equilibrium distribution of block-structured markov chains with repealing rows, J. Appl. Probab. 27 (1990) 557-576.
16. W.K. Grassmann, M.I. Taksar, D.P. Heyman, Regenerative analysis and steady state distributions for Markov chains, Oper. Res. 33 (5) (1985) 1107-1116.
17. B.R. Haverkort, I.G. Niemegeers, Performability modelling tools and techniques, Perform. Eval. 25 (1) (1996) 17-40.
18. A.M. Johnson Jr., M. Malek, Survey of software tools for evaluating reliability, availability and serviceability, ACM Comput. Surveys 20 (1988) 227-271.
19. C. Lindemann, DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets, in: Proc. 6th Int. Conf. on Modelling Techniques and Tools for Computer Systems Performance Evaluation, Edinburgh, 1992, pp. 15-29.
20. M. A. Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, Integrating performance analysis in the context of LOTOS-based design, in: Proc. 2nd MASCOTS, Durham, NC, USA, January 1994.
21. P. Mejia Ochoa, E. de Souza e Silva, A. Pedrosa, Peformance evaluation of distributed systems specified in Estelle (in Portuguese), in: Proc. 10th Brazilian Symp. on Computer Networks, 1992, pp. 19-34.
22. M. Meo, E. de Souza e Silva, M. Ajmone-Marsan, Efficient solution for a class of Markov chain models of telecommunication systems, in: Perform. Eval. 27/28 (1996) 603-625.
23. C.D. Meyer, Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems, SIAM Rev. 31 (2) (1989) 240-272.
24. G. Rubino, B. Sericola, Interval availability distribution computation, in: FTCS 23 (1993) 48-55.
25. W.H. Sanders, W.D. Obal II, M.A. Qureshi, F.K. Widjanarko, The UltraSAN modeling environment. Perform. Eval. 24 (1995) 89-115.
26. C.M. Sauer, E.A. MacNair, J.F. Kurose, Queueing network simulations of computer communication, IEEE J. Select. Areas Commun. 2 ( 1984) 203-220.
27. W.J. Stewart, MARCA Markov chain analyzer, a software package for Markov chains, in: Numerical Solution of Markov Chains, Marcel Dekker, New York, 1991, pp. 37-61.
28. W.J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, 1994.
29. W.J. Stewart, R.L. Klevans, From queueing networks to Markov chains: The XMARCA interface, Technical Report, North Carolina State University, 1996.
30. M. Veran, D. Potier, QNAP2: A portable environment for queueing systems modeling, Int. Conf. Modeling Technique and Tools for Perf. Eval., 1984.
31. D.M. Young, Iterative Solution of Large Linear Systems, Academic Press, New York, 1971.