Compositional dependability modeling using arcade

Research output: Contribution to conferencePaperAcademic

42 Downloads (Pure)

Abstract

Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies
Original languageUndefined
Pages1-2
Number of pages2
DOIs
Publication statusPublished - Aug 2009

Keywords

  • EWI-19523
  • EC Grant Agreement nr.: FP7-ICT-2007-1
  • EC Grant Agreement nr.: FP7/214755
  • IR-80481

Cite this

@conference{f57beb0baf2b4b3fa76c8cde485be643,
title = "Compositional dependability modeling using arcade",
abstract = "Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies",
keywords = "EWI-19523, EC Grant Agreement nr.: FP7-ICT-2007-1, EC Grant Agreement nr.: FP7/214755, IR-80481",
author = "Stoelinga, {Mari{\"e}lle Ida Antoinette}",
year = "2009",
month = "8",
doi = "10.1145/1596486.1596487",
language = "Undefined",
pages = "1--2",

}

Compositional dependability modeling using arcade. / Stoelinga, Mariëlle Ida Antoinette.

2009. 1-2.

Research output: Contribution to conferencePaperAcademic

TY - CONF

T1 - Compositional dependability modeling using arcade

AU - Stoelinga, Mariëlle Ida Antoinette

PY - 2009/8

Y1 - 2009/8

N2 - Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies

AB - Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies

KW - EWI-19523

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

KW - EC Grant Agreement nr.: FP7/214755

KW - IR-80481

U2 - 10.1145/1596486.1596487

DO - 10.1145/1596486.1596487

M3 - Paper

SP - 1

EP - 2

ER -