Evaluating repair strategies for a water-treatment facility using Arcade
conference paper
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.
Topics
TNO Identifier
954161
ISBN
9781424475018
Publisher
IEEE
Article nr.
5544290
Source title
Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2010 IEEE/IFIP, 28 June 2010 through 1 July 2010
Pages
419-424
Files
To receive the publication files, please send an e-mail request to TNO Repository.