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

H. Boudali; Pepijn Crouzen; Boudewijn R.H.M. Haverkort; G.W.M. Kuntz; Mariëlle Ida Antoinette Stoelinga

doi:10.1109/ICECCS.2008.11

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

H. Boudali, Pepijn Crouzen, Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Mariëlle Ida Antoinette Stoelinga

Research output: Other contribution

12 Citations (Scopus)

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
Publisher	IEEE Computer Society
Number of pages	6
Place of Publication	Los Alamitos
ISBN (Print)	978-0-7695-3139-7
DOIs	https://doi.org/10.1109/ICECCS.2008.11
Publication status	Published - Apr 2008
Externally published	Yes

Keywords

Arcade
architectural dependability formalism
model-based dependability evaluation framework
IR-64850
EWI-12996
METIS-251049
dependability modeling

Access to Document

10.1109/ICECCS.2008.11

Cite this

@misc{1f28842e633a44afabb8eaa6156d94fb,

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, IR-64850, EWI-12996, METIS-251049, dependability modeling",

author = "H. Boudali and Pepijn Crouzen and Haverkort, {Boudewijn R.H.M.} and G.W.M. Kuntz and Stoelinga, {Mari{\"e}lle Ida Antoinette}",

note = "10.1109/ICECCS.2008.11",

year = "2008",

month = apr,

doi = "10.1109/ICECCS.2008.11",

language = "English",

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

publisher = "IEEE Computer Society",

address = "United States",

type = "Other",

}

TY - GEN

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

AU - Boudali, H.

AU - Crouzen, Pepijn

AU - Haverkort, Boudewijn R.H.M.

AU - Kuntz, G.W.M.

AU - Stoelinga, Mariëlle Ida Antoinette

N1 - 10.1109/ICECCS.2008.11

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 - IR-64850

KW - EWI-12996

KW - METIS-251049

KW - dependability modeling

U2 - 10.1109/ICECCS.2008.11

DO - 10.1109/ICECCS.2008.11

M3 - Other contribution

SN - 978-0-7695-3139-7

PB - IEEE Computer Society

CY - Los Alamitos

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this