Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK.

Preview

PDF
225Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 2008 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS) Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/64850
Official URL:	http://dx.doi.org/10.1109/ICECCS.2008.11
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 251049