COMPOSITE PERFORMANCE AND DEPENDABILITY ANALYSIS

被引：66

作者：

TRIVEDI, KS

MUPPALA, JK

WOOLET, SP

HAVERKORT, BR

机构：

[1] DUKE UNIV,DEPT ELECT ENGN,DURHAM,NC 27706

[2] TWENTE UNIV TECHNOL,7500 AE ENSCHEDE,NETHERLANDS

[3] IBM CORP,RES TRIANGLE PK,NC 27709

来源：

PERFORMANCE EVALUATION | 1992年 / 14卷 / 3-4期

关键词：

MARKOV CHAINS; MARKOV REWARD MODELS; PERFORMANCE; DEPENDABILITY; FAULT-TOLERANT SYSTEMS; NUMERICAL TECHNIQUES;

D O I：

10.1016/0166-5316(92)90004-Z

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Composite performance and dependability analysis is gaining importance in the design of complex, fault-tolerant systems. Markov reward models are most commonly used for this purpose. In this paper, an introduction to Markov reward models including solution techniques and application examples is presented. Extensions of Markov reward models to semi-Markov reward models are also mentioned. A brief discussion of how task completion time models and models of queues with breakdowns and repairs relate to Markov reward models is also given.

引用

页码：197 / 215

页数：19

共 50 条

[1] COMPOSITE PERFORMANCE-DEPENDABILITY ANALYSIS OF CELLULAR MANUFACTURING SYSTEMS
VISWANADHAM, N
RAM, R
[J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1994, 10 (02): : 245 - 258
[2] Dependability analysis: Performance evaluation of environment configurations
Vanhauwaert, P.
Leveugle, R.
Roche, P.
[J]. IEEE DTIS: 2006 INTERNATIONAL CONFERENCE ON DESIGN & TEST OF INTEGRATED SYSTEMS IN NANOSCALE TECHNOLOGY, PROCEEDINGS, 2006, : 335 - 340
[3] A set of performance and dependability analysis components for CADP
Hermanns, H
Joubert, C
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 425 - 430
[4] An integrated design environment for performance and dependability analysis
Klenke, RH
Meyassed, M
Aylor, JH
Johnson, BW
Rao, R
Ghosh, A
[J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 184 - 189
[5] Safety, Dependability and Performance Analysis of Aerospace Systems
Noll, Thomas
[J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 17 - 31
[6] Safety, Dependability and Performance Analysis of Extended AADL Models
Bozzano, Marco
Cimatti, Alessandro
Katoen, Joost-Pieter
Viet Yen Nguyen
Noll, Thomas
Roveri, Marco
[J]. COMPUTER JOURNAL, 2011, 54 (05): : 754 - 775
[7] DEPENDABILITY OF UNIVERSAL COMPOSITE FIXTURES
KAPUSTIN, NM
[J]. RUSSIAN ENGINEERING JOURNAL-USSR, 1972, 52 (03): : 36 - &
[8] A Composite Dependability for Enterprise Architecture
Yamamoto, Shuichiro
Qiang, Zhi
Morisaki, Shuji
[J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES-2018), 2018, 126 : 1130 - 1137
[9] Formal Correctness, Safety, Dependability, and Performance Analysis of a Satellite
Esteve, Marie-Aude
Katoen, Joost-Pieter
Viet Yen Nguyen
Postma, Bart
Yushtein, Yuri
[J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1022 - 1031
[10] Performance and dependability analysis of fault-tolerant networks
Brenner, A
[J]. MICROELECTRONICS RELIABILITY, 1996, 36 (03) : 307 - 321

← 1 2 3 4 5 →