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

  • Authors:

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

  • Affiliations:

  • -;-;-;-;-

  • Venue:
  • ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.