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 contributionOther research output

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

Fingerprint

Semantics
Markov processes

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

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
Boudali, H. ; Crouzen, P ; Haverkort, Boudewijn R.H.M. ; Kuntz, G.W.M. ; Stoelinga, Mariëlle Ida Antoinette. / Architectural dependability evaluation with Arcade. 2008. Los Alamitos : IEEE Computer Society. 10 p.
@misc{33287778dc364b9f80d462a2d30dc430,
title = "Architectural dependability evaluation with Arcade",
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.",
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",
author = "H. Boudali and P Crouzen and Haverkort, {Boudewijn R.H.M.} and G.W.M. Kuntz and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "eemcs-eprint-11578",
year = "2008",
doi = "10.1109/DSN.2008.4630122",
language = "English",
isbn = "978-1-4244-2397-2",
publisher = "IEEE Computer Society",
address = "United States",
type = "Other",

}

Boudali, H, Crouzen, P, Haverkort, BRHM, Kuntz, GWM & Stoelinga, MIA 2008, Architectural dependability evaluation with Arcade. IEEE Computer Society, Los Alamitos. https://doi.org/10.1109/DSN.2008.4630122

Architectural dependability evaluation with Arcade. / Boudali, H.; Crouzen, P; Haverkort, Boudewijn R.H.M.; Kuntz, G.W.M.; Stoelinga, Mariëlle Ida Antoinette.

10 p. Los Alamitos : IEEE Computer Society. 2008, .

Research output: Other contributionOther research output

TY - GEN

T1 - Architectural dependability evaluation with Arcade

AU - Boudali, H.

AU - Crouzen, P

AU - Haverkort, Boudewijn R.H.M.

AU - Kuntz, G.W.M.

AU - Stoelinga, Mariëlle Ida Antoinette

N1 - eemcs-eprint-11578

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - EWI-11578

KW - EC Grant Agreement nr.: FP7/214755

KW - IR-64537

KW - EC Grant Agreement nr.: IST-004527

KW - METIS-256454

KW - EC Grant Agreement nr.: FP7-ICT-2007-1

U2 - 10.1109/DSN.2008.4630122

DO - 10.1109/DSN.2008.4630122

M3 - Other contribution

SN - 978-1-4244-2397-2

PB - IEEE Computer Society

CY - Los Alamitos

ER -