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
fDate :
March 31 2008-April 3 2008
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;
Conference_Titel :
Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on
Conference_Location :
Belfast
Print_ISBN :
0-7695-3139-3
DOI :
10.1109/ICECCS.2008.11
