Architectural dependability evaluation with Arcade

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

Research output: Other contribution

35 Citations (Scopus)

Abstract

This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine the strengths of previous approaches to the evaluation of dependability. A key feature is its formal semantics in terms of input/output-interactive Markov chains, which enables both compositional modeling and compositional state space generation and reduction. The latter enables great computational reductions for many models. The Arcade approach is extensible, hence adaptable to new circumstances or application areas. The paper introduces the new modeling approach, discusses its formal semantics and illustrates its use with two case studies.
Original languageEnglish
PublisherIEEE Computer Society
Number of pages10
Place of PublicationLos Alamitos
ISBN (Print)978-1-4244-2397-2
DOIs
Publication statusPublished - 2008
Externally publishedYes

Keywords

  • EWI-11578
  • EC Grant Agreement nr.: FP7/214755
  • IR-64537
  • EC Grant Agreement nr.: IST-004527
  • METIS-256454
  • EC Grant Agreement nr.: FP7-ICT-2007-1

Fingerprint Dive into the research topics of 'Architectural dependability evaluation with Arcade'. Together they form a unique fingerprint.

  • Cite this

    Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M., & Stoelinga, M. I. A. (2008). Architectural dependability evaluation with Arcade. Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/DSN.2008.4630122