Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

B.R. Haverkort; M. Kuntz; A. Remke; S. Roolvink; M.I.A. Stoelinga

doi:10.1109/DSN.2010.5544290

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

B.R. Haverkort, M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga

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

13 Citations (Scopus)

56 Downloads (Pure)

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
Title of host publication	2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)
Place of Publication	Los Alamitos, CA
Publisher	IEEE
Pages	419-424
Number of pages	6
ISBN (Electronic)	978-1-4244-7499-8
ISBN (Print)	978-1-4244-7499-8, 978-1-4244-7500-1
DOIs	https://doi.org/10.1109/DSN.2010.5544290
Publication status	Published - Jul 2010
Event	40th Annual IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010 - Chicago, United States Duration: 28 Jun 2010 → 1 Jul 2010 Conference number: 40

Publication series

Name	IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)
Publisher	IEEE
Volume	2010
ISSN (Print)	1530-0889
ISSN (Electronic)	2158-3927

Conference

Conference	40th Annual IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010
Abbreviated title	DSN
Country/Territory	United States
City	Chicago
Period	28/06/10 → 1/07/10

Keywords

Availability
Survivability
Recovery
Dependability
Water-treatment facility
Repair strategies
Reliability

Access to Document

10.1109/DSN.2010.5544290

ArticleFinal published version, 263 KB

Cite this

Haverkort, B. R., Kuntz, M., Remke, A., Roolvink, S., & Stoelinga, M. I. A. (2010). Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) (pp. 419-424). ( IEEE/IFIP International Conference on Dependable Systems & Networks (DSN); Vol. 2010). IEEE. https://doi.org/10.1109/DSN.2010.5544290

@inproceedings{487725ee47cd4740a7c13a93efe2c51c,

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 = "Availability, Survivability, Recovery, Dependability, Water-treatment facility, Repair strategies, Reliability",

author = "B.R. Haverkort and M. Kuntz and A. Remke and S. Roolvink and M.I.A. Stoelinga",

year = "2010",

month = jul,

doi = "10.1109/DSN.2010.5544290",

language = "English",

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

series = " IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)",

publisher = "IEEE",

pages = "419--424",

booktitle = "2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)",

note = "40th Annual IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, DSN ; Conference date: 28-06-2010 Through 01-07-2010",

}

Haverkort, BR, Kuntz, M, Remke, A, Roolvink, S & Stoelinga, MIA 2010, Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. in 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), vol. 2010, IEEE, Los Alamitos, CA, pp. 419-424, 40th Annual IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, Chicago, Illinois, United States, 28/06/10. https://doi.org/10.1109/DSN.2010.5544290

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. / Haverkort, B.R.; Kuntz, M.; Remke, A. et al.

2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos, CA : IEEE, 2010. p. 419-424 ( IEEE/IFIP International Conference on Dependable Systems & Networks (DSN); Vol. 2010).

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

TY - GEN

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

AU - Haverkort, B.R.

AU - Kuntz, M.

AU - Remke, A.

AU - Roolvink, S.

AU - Stoelinga, M.I.A.

N1 - Conference code: 40

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

KW - Survivability

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 - Conference contribution

SN - 978-1-4244-7499-8

SN - 978-1-4244-7500-1

T3 - IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)

SP - 419

EP - 424

BT - 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)

PB - IEEE

CY - Los Alamitos, CA

T2 - 40th Annual IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010

Y2 - 28 June 2010 through 1 July 2010

ER -

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this