메뉴 건너뛰기




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

Performance/availability modeling with the TANGRAM-II modeling environment

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;

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

References (31)
  • 2
    • 0039069180 scopus 로고
    • An object oriented methodology for the specification of Markov models
    • Marcel Dekker, New York
    • 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.
    • (1991) Numerical Solution of Markov Chains , pp. 11-36
    • Berson, S.1    De Souza E Silva, E.2    Muntz, R.R.3
  • 3
    • 0348155177 scopus 로고
    • Adding performance aspects to specification languages
    • S. Aggarwal, K. Sabnani (Eds.), North-Holland, Amsterdam
    • 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.
    • (1988) Proc. Protocol Specification, Testing and Verification VIII - IFIP , pp. 19-31
    • Bochmann, G.V.1    Vaucher, J.2
  • 4
    • 0022565795 scopus 로고
    • METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems
    • 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.
    • (1986) FTCS , vol.16 , pp. 424-429
    • Carrasco, J.A.1    Figueras, J.2
  • 6
    • 0022203536 scopus 로고
    • A software package for analysis of generalized stochastic Petri net models
    • Torino, Italy
    • 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.
    • (1985) Proc. Int. Workshop on Timed Petri Net Models , pp. 136-143
    • Chiola, G.1
  • 8
    • 0022704334 scopus 로고
    • Calculating cumulative operational time distributions of repairable computer systems
    • 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.
    • (1986) IEEE Trans. Comput. C , vol.35 , Issue.4 , pp. 322-332
    • De Souza E Silva, E.1    Gail, H.R.2
  • 10
    • 0348155179 scopus 로고    scopus 로고
    • An algorithm to calculate transient distributions of cumulative rate and impulse based reward
    • to appear
    • 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.
    • Comm. Statist. Stochastic Models
    • De Souza E Silva, E.1    Gail, H.R.2
  • 11
    • 0043028726 scopus 로고
    • Efficient solutions for a class of non-Markovian models
    • Kluwer Academic, Dordrecht
    • 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.
    • (1995) Computations with Markov Chains , pp. 483-506
    • De Souza E Silva, E.1    Gail, H.R.2    Muntz, R.R.3
  • 15
    • 0000572102 scopus 로고
    • Equilibrium distribution of block-structured markov chains with repealing rows
    • W.K. Grassmann, D.P. Heyman, Equilibrium distribution of block-structured markov chains with repealing rows, J. Appl. Probab. 27 (1990) 557-576.
    • (1990) J. Appl. Probab. , vol.27 , pp. 557-576
    • Grassmann, W.K.1    Heyman, D.P.2
  • 16
    • 0022131573 scopus 로고
    • Regenerative analysis and steady state distributions for Markov chains
    • 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.
    • (1985) Oper. Res. , vol.33 , Issue.5 , pp. 1107-1116
    • Grassmann, W.K.1    Taksar, M.I.2    Heyman, D.P.3
  • 17
    • 0030110228 scopus 로고    scopus 로고
    • Performability modelling tools and techniques
    • B.R. Haverkort, I.G. Niemegeers, Performability modelling tools and techniques, Perform. Eval. 25 (1) (1996) 17-40.
    • (1996) Perform. Eval. , vol.25 , Issue.1 , pp. 17-40
    • Haverkort, B.R.1    Niemegeers, I.G.2
  • 18
    • 0024133009 scopus 로고
    • Survey of software tools for evaluating reliability, availability and serviceability
    • A.M. Johnson Jr., M. Malek, Survey of software tools for evaluating reliability, availability and serviceability, ACM Comput. Surveys 20 (1988) 227-271.
    • (1988) ACM Comput. Surveys , vol.20 , pp. 227-271
    • Johnson A.M., Jr.1    Malek, M.2
  • 20
    • 0027929689 scopus 로고
    • Integrating performance analysis in the context of LOTOS-based design
    • Durham, NC, USA, January
    • 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.
    • (1994) Proc. 2nd Mascots
    • Marsan, M.A.1    Bianco, A.2    Ciminiera, L.3    Sisto, R.4    Valenzano, A.5
  • 22
    • 0030257406 scopus 로고    scopus 로고
    • Efficient solution for a class of Markov chain models of telecommunication systems
    • 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.
    • (1996) Perform. Eval. , vol.27-28 , pp. 603-625
    • Meo, M.1    De Souza E Silva, E.2    Ajmone-Marsan, M.3
  • 23
    • 0024680811 scopus 로고
    • Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems
    • C.D. Meyer, Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems, SIAM Rev. 31 (2) (1989) 240-272.
    • (1989) SIAM Rev. , vol.31 , Issue.2 , pp. 240-272
    • Meyer, C.D.1
  • 24
    • 0027880984 scopus 로고
    • Interval availability distribution computation
    • G. Rubino, B. Sericola, Interval availability distribution computation, in: FTCS 23 (1993) 48-55.
    • (1993) FTCS , vol.23 , pp. 48-55
    • Rubino, G.1    Sericola, B.2
  • 27
    • 0008873307 scopus 로고
    • MARCA Markov chain analyzer, a software package for Markov chains
    • Marcel Dekker, New York
    • 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.
    • (1991) Numerical Solution of Markov Chains , pp. 37-61
    • Stewart, W.J.1
  • 29
    • 0347525349 scopus 로고    scopus 로고
    • From queueing networks to Markov chains: The XMARCA interface
    • North Carolina State University
    • W.J. Stewart, R.L. Klevans, From queueing networks to Markov chains: The XMARCA interface, Technical Report, North Carolina State University, 1996.
    • (1996) Technical Report
    • Stewart, W.J.1    Klevans, R.L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.