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

Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga

doi:10.1109/ICECCS.2008.11

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

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

69 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)
Place of Publication	Los Alamitos, CA
Publisher	IEEE
Pages	243-248
Number of pages	6
ISBN (Print)	978-0-7695-3139-7
DOIs	https://doi.org/10.1109/ICECCS.2008.11
Publication status	Published - Apr 2008
Event	13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008 - Belfast, United Kingdom Duration: 31 Mar 2008 → 3 Apr 2008 Conference number: 13

Conference

Conference	13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008
Abbreviated title	ICECCS
Country/Territory	United Kingdom
City	Belfast
Period	31/03/08 → 3/04/08

Keywords

Arcade
Architectural dependability formalism
Model-based dependability evaluation framework
Dependability modeling

Access to Document

10.1109/ICECCS.2008.11

Boudali2009arcadeFinal published version, 226 KB

Cite this

@inproceedings{8108b228e32b479690119177a0eb0ed3,

title = "Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework",

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 = "Arcade, Architectural dependability formalism, Model-based dependability evaluation framework, Dependability modeling",

author = "Hichem Boudali and Pepijn Crouzen and Haverkort, {Boudewijn R.} and Matthias Kuntz and Mari{\"e}lle Stoelinga",

year = "2008",

month = apr,

doi = "10.1109/ICECCS.2008.11",

language = "English",

isbn = "978-0-7695-3139-7",

pages = "243--248",

booktitle = "Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)",

publisher = "IEEE",

note = "13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, ICECCS ; Conference date: 31-03-2008 Through 03-04-2008",

}

Boudali, H, Crouzen, P, Haverkort, BR, Kuntz, M & Stoelinga, M 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). IEEE, Los Alamitos, CA, pp. 243-248, 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, Belfast, United Kingdom, 31/03/08. https://doi.org/10.1109/ICECCS.2008.11

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. / Boudali, Hichem; Crouzen, Pepijn; Haverkort, Boudewijn R. et al.

Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos, CA : IEEE, 2008. p. 243-248.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Boudali, Hichem

AU - Crouzen, Pepijn

AU - Haverkort, Boudewijn R.

AU - Kuntz, Matthias

AU - Stoelinga, Mariëlle

N1 - Conference code: 13

PY - 2008/4

Y1 - 2008/4

N2 - 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.

AB - 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.

KW - Arcade

KW - Architectural dependability formalism

KW - Model-based dependability evaluation framework

KW - Dependability modeling

U2 - 10.1109/ICECCS.2008.11

DO - 10.1109/ICECCS.2008.11

M3 - Conference contribution

SN - 978-0-7695-3139-7

SP - 243

EP - 248

BT - Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)

PB - IEEE

CY - Los Alamitos, CA

T2 - 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008

Y2 - 31 March 2008 through 3 April 2008

ER -