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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
29 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 languageUndefined
Title of host publicationProceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages243-248
Number of pages6
ISBN (Print)978-0-7695-3139-7
DOIs
Publication statusPublished - Apr 2008

Publication series

Name
PublisherIEEE Computer Society Press
Number302

Keywords

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

Cite this

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M., & 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) (pp. 243-248). Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/ICECCS.2008.11
Boudali, H. ; Crouzen, Pepijn ; Haverkort, Boudewijn R.H.M. ; Kuntz, G.W.M. ; Stoelinga, Mariëlle Ida Antoinette. / Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos : IEEE Computer Society, 2008. pp. 243-248
@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, 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 = "4",
doi = "10.1109/ICECCS.2008.11",
language = "Undefined",
isbn = "978-0-7695-3139-7",
publisher = "IEEE Computer Society",
number = "302",
pages = "243--248",
booktitle = "Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)",
address = "United States",

}

Boudali, H, Crouzen, P, Haverkort, BRHM, Kuntz, GWM & Stoelinga, MIA 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 Computer Society, Los Alamitos, pp. 243-248. https://doi.org/10.1109/ICECCS.2008.11

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. / Boudali, H.; Crouzen, Pepijn; Haverkort, Boudewijn R.H.M.; Kuntz, G.W.M.; Stoelinga, Mariëlle Ida Antoinette.

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 - 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 Computer Society

CY - Los Alamitos

ER -

Boudali H, Crouzen P, Haverkort BRHM, Kuntz GWM, Stoelinga MIA. 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). Los Alamitos: IEEE Computer Society. 2008. p. 243-248 https://doi.org/10.1109/ICECCS.2008.11