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

13 Citations (Scopus)


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 languageEnglish
PublisherIEEE Computer Society
Number of pages6
Place of PublicationLos Alamitos
ISBN (Print)978-1-4244-7499-8
Publication statusPublished - Jul 2010
Externally publishedYes


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


Dive into the research topics of 'Evaluating Repair Strategies for a Water-Treatment Facility using Arcade'. Together they form a unique fingerprint.

Cite this