Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Stephan Roolvink; Anne Remke; Mariëlle Stoelinga

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Stephan Roolvink, Anne Remke, Mariëlle Stoelinga

Research output: Contribution to conference › Paper › peer-review

48 Downloads (Pure)

Abstract

Among others, drinking water belongs to the so called critical infrastructures. To ensure that the water production meets current and future societal needs, a systematic and rigorous analysis is needed. In this paper, we report our ﬁrst experience with dependability analysis of the last phase of a water treatment facility, namely the water distribution. We use the architectural language Arcade to model this facility and use the Arcade toolset to compute three relevant dependability measures: the availability of the water distribution, the reliability, i.e., the probability that the water distribution fails, and the survivability, that is, the ability to recover from disasters. Since survivability is not directly expressible in the Arcade formalism, we show how one can modify the toolchain for the analysis of survivability.

Original language	English
Pages	4-7
Number of pages	4
Publication status	Published - 17 Sept 2009
Event	9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009 - Hotel Korona, Eger, Hungary Duration: 17 Sept 2009 → 18 Sept 2009 Conference number: 9

Workshop

Workshop	9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009
Abbreviated title	PMCCS
Country/Territory	Hungary
City	Eger
Period	17/09/09 → 18/09/09

Keywords

METIS-264089
EWI-16394
IR-68264

Access to Document

Roolvink2009dependabilityFinal published version, 200 KB

Cite this

@conference{31714d06af564ea4bc6aa47a5ba8ff94,

title = "Dependability and Survivability Evaluation of a Water Distribution Process with Arcade",

abstract = "Among others, drinking water belongs to the so called critical infrastructures. To ensure that the water production meets current and future societal needs, a systematic and rigorous analysis is needed. In this paper, we report our ﬁrst experience with dependability analysis of the last phase of a water treatment facility, namely the water distribution. We use the architectural language Arcade to model this facility and use the Arcade toolset to compute three relevant dependability measures: the availability of the water distribution, the reliability, i.e., the probability that the water distribution fails, and the survivability, that is, the ability to recover from disasters. Since survivability is not directly expressible in the Arcade formalism, we show how one can modify the toolchain for the analysis of survivability.",

keywords = "METIS-264089, EWI-16394, IR-68264",

author = "Stephan Roolvink and Anne Remke and Mari{\"e}lle Stoelinga",

year = "2009",

month = sep,

day = "17",

language = "English",

pages = "4--7",

note = "9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, PMCCS ; Conference date: 17-09-2009 Through 18-09-2009",

}

TY - CONF

T1 - Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

AU - Roolvink, Stephan

AU - Remke, Anne

AU - Stoelinga, Mariëlle

N1 - Conference code: 9

PY - 2009/9/17

Y1 - 2009/9/17

N2 - Among others, drinking water belongs to the so called critical infrastructures. To ensure that the water production meets current and future societal needs, a systematic and rigorous analysis is needed. In this paper, we report our ﬁrst experience with dependability analysis of the last phase of a water treatment facility, namely the water distribution. We use the architectural language Arcade to model this facility and use the Arcade toolset to compute three relevant dependability measures: the availability of the water distribution, the reliability, i.e., the probability that the water distribution fails, and the survivability, that is, the ability to recover from disasters. Since survivability is not directly expressible in the Arcade formalism, we show how one can modify the toolchain for the analysis of survivability.

AB - Among others, drinking water belongs to the so called critical infrastructures. To ensure that the water production meets current and future societal needs, a systematic and rigorous analysis is needed. In this paper, we report our ﬁrst experience with dependability analysis of the last phase of a water treatment facility, namely the water distribution. We use the architectural language Arcade to model this facility and use the Arcade toolset to compute three relevant dependability measures: the availability of the water distribution, the reliability, i.e., the probability that the water distribution fails, and the survivability, that is, the ability to recover from disasters. Since survivability is not directly expressible in the Arcade formalism, we show how one can modify the toolchain for the analysis of survivability.

KW - METIS-264089

KW - EWI-16394

KW - IR-68264

M3 - Paper

SP - 4

EP - 7

T2 - 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009

Y2 - 17 September 2009 through 18 September 2009

ER -

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this