Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Boudewijn R.H.M. Haverkort; G.W.M. Kuntz; Anne Katharina Ingrid Remke; S. Roolvink; Mariëlle Ida Antoinette Stoelinga

doi:10.1109/DSN.2010.5544290

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Boudewijn R.H.M. Haverkort
, G.W.M. Kuntz
, Anne Katharina Ingrid Remke
, S. Roolvink
, Mariëlle Ida Antoinette Stoelinga

Research output: Other contribution

15 Citations (Scopus)

Abstract

The performance and dependability of critical infrastructures, such as water-treatment facilities is essential. In this paper we use various performance and dependability measures to analyze a simplified model of a water treatment facility. Building on the existing architectural framework Arcade a model is derived in XML format and then automatically mapped to the model checker PRISM. Using the stochastic model checking capabilities that PRISM offers, we compare different repair strategies, with respect to their costs, system reliability, availability and survivability. For this case study we conclude that using non-preemtive priority scheduling with additional repair crews is the best choice with respect to performance, dependability and costs.

Original language	English
Publisher	IEEE Computer Society
Number of pages	6
Place of Publication	Los Alamitos
ISBN (Print)	978-1-4244-7499-8
DOIs	https://doi.org/10.1109/DSN.2010.5544290
Publication status	Published - Jul 2010
Externally published	Yes

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 6 Clean Water and Sanitation

Keywords

IR-72630
METIS-270991
Availability
Survivability
EWI-18320
Recovery
Dependability
water-treatment facility
repair strategies
Reliability

Access to Document

10.1109/DSN.2010.5544290

Cite this

@misc{91dbec968c28443ead60f0a6dc1727ab,

title = "Evaluating Repair Strategies for a Water-Treatment Facility using Arcade",

abstract = "The performance and dependability of critical infrastructures, such as water-treatment facilities is essential. In this paper we use various performance and dependability measures to analyze a simplified model of a water treatment facility. Building on the existing architectural framework Arcade a model is derived in XML format and then automatically mapped to the model checker PRISM. Using the stochastic model checking capabilities that PRISM offers, we compare different repair strategies, with respect to their costs, system reliability, availability and survivability. For this case study we conclude that using non-preemtive priority scheduling with additional repair crews is the best choice with respect to performance, dependability and costs.",

keywords = "IR-72630, METIS-270991, Availability, Survivability, EWI-18320, Recovery, Dependability, water-treatment facility, repair strategies, Reliability",

author = "Haverkort, \{Boudewijn R.H.M.\} and G.W.M. Kuntz and Remke, \{Anne Katharina Ingrid\} and S. Roolvink and Stoelinga, \{Mari{\"e}lle Ida Antoinette\}",

note = "10.1109/DSN.2010.5544290",

year = "2010",

month = jul,

doi = "10.1109/DSN.2010.5544290",

language = "English",

isbn = "978-1-4244-7499-8",

publisher = "IEEE Computer Society",

address = "United States",

type = "Other",

}

TY - GEN

T1 - Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

AU - Haverkort, Boudewijn R.H.M.

AU - Kuntz, G.W.M.

AU - Remke, Anne Katharina Ingrid

AU - Roolvink, S.

AU - Stoelinga, Mariëlle Ida Antoinette

N1 - 10.1109/DSN.2010.5544290

PY - 2010/7

Y1 - 2010/7

N2 - The performance and dependability of critical infrastructures, such as water-treatment facilities is essential. In this paper we use various performance and dependability measures to analyze a simplified model of a water treatment facility. Building on the existing architectural framework Arcade a model is derived in XML format and then automatically mapped to the model checker PRISM. Using the stochastic model checking capabilities that PRISM offers, we compare different repair strategies, with respect to their costs, system reliability, availability and survivability. For this case study we conclude that using non-preemtive priority scheduling with additional repair crews is the best choice with respect to performance, dependability and costs.

AB - The performance and dependability of critical infrastructures, such as water-treatment facilities is essential. In this paper we use various performance and dependability measures to analyze a simplified model of a water treatment facility. Building on the existing architectural framework Arcade a model is derived in XML format and then automatically mapped to the model checker PRISM. Using the stochastic model checking capabilities that PRISM offers, we compare different repair strategies, with respect to their costs, system reliability, availability and survivability. For this case study we conclude that using non-preemtive priority scheduling with additional repair crews is the best choice with respect to performance, dependability and costs.

KW - IR-72630

KW - METIS-270991

KW - Availability

KW - Survivability

KW - EWI-18320

KW - Recovery

KW - Dependability

KW - water-treatment facility

KW - repair strategies

KW - Reliability

U2 - 10.1109/DSN.2010.5544290

DO - 10.1109/DSN.2010.5544290

M3 - Other contribution

SN - 978-1-4244-7499-8

PB - IEEE Computer Society

CY - Los Alamitos

ER -

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Abstract

UN SDGs

Keywords

Access to Document

Fingerprint

Cite this