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

11 Citations (Scopus)


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
Publication statusPublished - Apr 2008
Externally publishedYes


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

Cite this