DEEM: a tool for the dependability modeling and evaluation of Multiple Phased Systems

被引：13

作者：

Bondavalli, A ^{[1
]}

Mura, I ^{[1
]}

Chiaradonna, S ^{[1
]}

Filippini, R ^{[1
]}

Poli, S ^{[1
]}

Sandrini, F ^{[1
]}

机构：

[1] Univ Florence, DIS, I-50134 Florence, Italy

来源：

DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/ICDSN.2000.857541

中图分类号：

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

学科分类号：

0812 ;

摘要：

Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called "phases", include several classes of systems such as Phased Mission Systems and Scheduled Maintenance Systems. Because of their deployment in critical applications, the dependability modeling and analysis of Multiple-Phased Systems is a task of primary relevance. However, the phased behavior makes the analysis of Multiple-Phased Systems extremely complex.. This paper is centered on the description and application of DEEM, a dependability modeling and evaluation tool for Multiple Phased Systems. DEEM supports a powerful and efficient methodology for the analytical dependability modeling and evaluation of Multiple Phased Systems, based on Deterministic and Stochastic Petri Nets and on Markov Regenerative Processes.

引用

页码：231 / 236

页数：6

共 13 条

[1] QUANTITATIVE RELIABILITY EVALUATION OF REPAIRABLE PHASED-MISSION SYSTEMS USING MARKOV APPROACH [J].

ALAM, M ;

ALSAGGAF, UM .

IEEE TRANSACTIONS ON RELIABILITY, 1986, 35 (05) :498-503

[2]

ALLMAIER S, 1997, P PERF TOOLS 97 SAIN

[3]

AUPPERLE BE, 1989, P IEEE FTCS 19 FAULT, P159

[4]

Bondavalli A, 1999, LECT NOTES COMPUT SC, V1667, P7

[5]

CHOI H, 1993, P 14 INT C APPL THEO, P166

[6] AUTOMATED-ANALYSIS OF PHASED-MISSION RELIABILITY [J].

DUGAN, JB .

IEEE TRANSACTIONS ON RELIABILITY, 1991, 40 (01) :45-&

[7]

LINDEMANN C, 1999, P IEEE FTCS 29 FAULT, P288

[8]

MARSAN MA, 1987, LECT NOTES COMPUT SC, V266, P132

[9]

MEYER JF, 1979, P IEEE FAULT TOL COM, P43

[10]

MURA I, 1999, P DCCA 7 DEP COMP CR, P319

← 1 2 →