Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Stephan Roolvink, Anne Remke, Mariëlle Stoelinga

Research output: Contribution to conferencePaperAcademicpeer-review

6 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 first 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 languageEnglish
Pages4-7
Number of pages4
Publication statusPublished - 17 Sep 2009
Event9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009 - Hotel Korona, Eger, Hungary
Duration: 17 Sep 200918 Sep 2009
Conference number: 9

Workshop

Workshop9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009
Abbreviated titlePMCCS
CountryHungary
CityEger
Period17/09/0918/09/09

Fingerprint

Water
Critical infrastructures
Water treatment
Potable water
Disasters
Availability

Keywords

  • METIS-264089
  • EWI-16394
  • IR-68264

Cite this

Roolvink, S., Remke, A., & Stoelinga, M. (2009). Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. 4-7. Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary.
Roolvink, Stephan ; Remke, Anne ; Stoelinga, Mariëlle. / Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary.4 p.
@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 first 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 = "9",
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",

}

Roolvink, S, Remke, A & Stoelinga, M 2009, 'Dependability and Survivability Evaluation of a Water Distribution Process with Arcade' Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary, 17/09/09 - 18/09/09, pp. 4-7.

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. / Roolvink, Stephan; Remke, Anne; Stoelinga, Mariëlle.

2009. 4-7 Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

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

AU - Roolvink, Stephan

AU - Remke, Anne

AU - Stoelinga, Mariëlle

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 first 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 first 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

ER -

Roolvink S, Remke A, Stoelinga M. Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. 2009. Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary.