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

9 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 languageEnglish
PublisherIEEE Computer Society
Number of pages6
Place of PublicationLos Alamitos
ISBN (Print)978-0-7695-3139-7
DOIs
Publication statusPublished - Apr 2008
Externally publishedYes

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, Apr). Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/ICECCS.2008.11