EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

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

Home Policy Brochure Browse Search User Area Contact Help

Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31, 2008 - April 3, 2008, Belfast, UK. pp. 243-248. IEEE Computer Society. ISBN 978-0-7695-3139-7

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
226 Kb

Official URL: http://dx.doi.org/10.1109/ICECCS.2008.11

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 Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools, EWI-DACS: Design and Analysis of Communication Systems
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	MOQS: Modeling and Analysis of QoS of Component-Based Designs
ID Code:	12996
Status:	Published
Deposited On:	07 July 2008
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item