DocumentCode
3292026
Title
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
Author
Boudali, Hichem ; Crouzen, Pepijn ; Haverkor, Boudewijn R. ; Kuntz, Matthias ; Stoelinga, Mariëlle
Author_Institution
Univ. of Twente, Enschede
fYear
2008
fDate
March 31 2008-April 3 2008
Firstpage
243
Lastpage
248
Abstract
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural dependability formalism that we are developing.
Keywords
architecture; artificial intelligence; formal specification; Arcade; architectural dependability formalism; dependability modeling; model-based dependability evaluation framework; Aerospace control; Aircraft; Application software; Costs; Distributed databases; Embedded system; Home appliances; Home computing; Power control; Spatial databases; Architecture description language; Dependability analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location
Belfast
Print_ISBN
0-7695-3139-3
Type
conf
DOI
10.1109/ICECCS.2008.11
Filename
4492898
Link To Document