Architectural dependability evaluation with Arcade

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

doi:10.1109/DSN.2008.4630122

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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

36 Citations (Scopus)

25 Downloads (Pure)

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 language	Undefined
Title of host publication	Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society Press
Pages	512-521
Number of pages	10
ISBN (Print)	978-1-4244-2397-2
DOIs	https://doi.org/10.1109/DSN.2008.4630122
Publication status	Published - 2008

Publication series

Name
Publisher	IEEE Computer Society Press

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

Access to Document

10.1109/DSN.2008.4630122

BCHKS08c
open

Cite this

@inproceedings{c290f89cfeb149f4877ac5639d25517f,

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 = "Undefined",

isbn = "978-1-4244-2397-2",

publisher = "IEEE Computer Society Press",

pages = "512--521",

booktitle = "Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks",

}

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

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos : IEEE Computer Society Press, 2008. p. 512-521.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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 - Conference contribution

SN - 978-1-4244-2397-2

SP - 512

EP - 521

BT - Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks

PB - IEEE Computer Society Press

CY - Los Alamitos

ER -