Architectural dependability evaluation with Arcade

H. Boudali; P. Crouzen; B.R. Haverkort; M. Kuntz; M.I.A. Stoelinga

doi:10.1109/DSN.2008.4630122

Architectural dependability evaluation with Arcade

H. Boudali
, P. Crouzen
, B.R. Haverkort
, M. Kuntz
, M.I.A. Stoelinga

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

41 Citations (Scopus)

30 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	English
Title of host publication	Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008)
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	512-521
Number of pages	10
ISBN (Electronic)	978-1-4244-2398-9
ISBN (Print)	978-1-4244-2397-2
DOIs	https://doi.org/10.1109/DSN.2008.4630122
Publication status	Published - 2008
Event	38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008 - Anchorage, United States Duration: 24 Jun 2008 → 27 Jun 2008 Conference number: 38

Publication series

Name	IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
Publisher	IEEE Computer Society Press
Volume	2008
ISSN (Print)	1530-0889
ISSN (Electronic)	1530-0889

Conference

Conference	38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008
Abbreviated title	DSN
Country/Territory	United States
City	Anchorage
Period	24/06/08 → 27/06/08

Keywords

EC Grant Agreement nr.: FP7/214755
EC Grant Agreement nr.: IST-004527
EC Grant Agreement nr.: FP7-ICT-2007-1

Access to Document

10.1109/DSN.2008.4630122

Cite this

Boudali, H., Crouzen, P., Haverkort, B. R., Kuntz, M., & Stoelinga, M. I. A. (2008). Architectural dependability evaluation with Arcade. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) (pp. 512-521). (IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN); Vol. 2008). IEEE. https://doi.org/10.1109/DSN.2008.4630122

@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 = "EC Grant Agreement nr.: FP7/214755, EC Grant Agreement nr.: IST-004527, EC Grant Agreement nr.: FP7-ICT-2007-1",

author = "H. Boudali and P. Crouzen and B.R. Haverkort and M. Kuntz and M.I.A. Stoelinga",

year = "2008",

doi = "10.1109/DSN.2008.4630122",

language = "English",

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

series = "IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)",

publisher = "IEEE",

pages = "512--521",

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

address = "United States",

note = "38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, DSN ; Conference date: 24-06-2008 Through 27-06-2008",

}

Boudali, H, Crouzen, P, Haverkort, BR, Kuntz, M & Stoelinga, MIA 2008, Architectural dependability evaluation with Arcade. in Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), vol. 2008, IEEE, Los Alamitos, pp. 512-521, 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, Anchorage, Alaska, United States, 24/06/08. https://doi.org/10.1109/DSN.2008.4630122

Architectural dependability evaluation with Arcade. / Boudali, H.; Crouzen, P.; Haverkort, B.R. et al.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). Los Alamitos: IEEE, 2008. p. 512-521 (IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN); Vol. 2008).

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, B.R.

AU - Kuntz, M.

AU - Stoelinga, M.I.A.

N1 - Conference code: 38

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 - EC Grant Agreement nr.: FP7/214755

KW - EC Grant Agreement nr.: IST-004527

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

T3 - IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)

SP - 512

EP - 521

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

PB - IEEE

CY - Los Alamitos

T2 - 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008

Y2 - 24 June 2008 through 27 June 2008

ER -

Boudali H, Crouzen P, Haverkort BR, Kuntz M, Stoelinga MIA. Architectural dependability evaluation with Arcade. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). Los Alamitos: IEEE. 2008. p. 512-521. (IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)). doi: 10.1109/DSN.2008.4630122

Architectural dependability evaluation with Arcade

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this