Architectural dependability evaluation with Arcade

被引:28
作者
Boudali, H. [1 ]
Crouzen, P. [2 ]
Haverkort, B. R. [1 ]
Kuntz, M. [1 ]
Stoelinga, M. I. A. [1 ]
机构
[1] Univ Twente, Dept Comp Sci, POB 217, NL-7500 AE Enschede, Netherlands
[2] Univ Saarland, Dept Comp Sci, D-66123 Saarbrucken, Germany
来源
2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC | 2008年
关键词
D O I
10.1109/DSN.2008.4630122
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine the strengths of previous approaches to the evaluation of dependability. A key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional state space generation and reduction. The latter enables great computational reductions for many models. The Arcade approach is extensible, hence adaptable to new circumstances or application areas. The paper introduces the new modeling approach, discusses its formal semantics and illustrates its use with two case studies.
引用
收藏
页码:512 / +
页数:2
相关论文
共 22 条
[1]  
[Anonymous], 2002, LECT NOTES COMPUTER
[2]   Model-checking algorithms for continuous-time Markov chains [J].
Baier, C ;
Haverkort, B ;
Hermanns, H ;
Katoen, JP .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) :524-541
[3]  
Boudali H, 2007, LECT NOTES COMPUT SC, V4762, P441
[4]   Dynamic fault tree analysis using Input/Output interactive Markov chains [J].
Boudali, Hichem ;
Crouzen, Pepijn ;
Stoelinga, Marieelle .
37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2007, :708-+
[5]   Modeling with extended fault trees [J].
Buchacker, K .
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, :238-246
[6]  
Distefano S, 2006, P REL MAINT S, P189
[7]   DYNAMIC FAULT-TREE MODELS FOR FAULT-TOLERANT COMPUTER-SYSTEMS [J].
DUGAN, JB ;
BAVUSO, SJ ;
BOYD, MA .
IEEE TRANSACTIONS ON RELIABILITY, 1992, 41 (03) :363-377
[8]  
GARAVEL H, 2007, P 19 INT C COMP AID
[9]  
GOYAL A, 1986, P 16 INT S FAULT TOL, P84
[10]  
Hermanns H, 1998, LECT NOTES COMPUT SC, V1469, P51