|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2010 IEEE/IFIP International Conference on Dependable Systems&Networks (DSN)
Evaluating repair strategies for a water-treatment facility using Arcade
Chicago, IL, USA
June 28-July 01
ISBN: 978-1-4244-7500-1
| ASCII Text | x | ||
| B.R. Haverkort, M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga, "Evaluating repair strategies for a water-treatment facility using Arcade," IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), pp. 419-424, 2010 IEEE/IFIP International Conference on Dependable Systems&Networks (DSN), 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/DSN.2010.5544290, author = {B.R. Haverkort and M. Kuntz and A. Remke and S. Roolvink and M.I.A. Stoelinga}, title = {Evaluating repair strategies for a water-treatment facility using Arcade}, journal ={IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012)}, volume = {0}, year = {2010}, isbn = {978-1-4244-7500-1}, pages = {419-424}, doi = {http://doi.ieeecomputersociety.org/10.1109/DSN.2010.5544290}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) TI - Evaluating repair strategies for a water-treatment facility using Arcade SN - 978-1-4244-7500-1 SP419 EP424 A1 - B.R. Haverkort, A1 - M. Kuntz, A1 - A. Remke, A1 - S. Roolvink, A1 - M.I.A. Stoelinga, PY - 2010 VL - 0 JA - IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) ER - | |||
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.
Citation:
B.R. Haverkort, M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga, "Evaluating repair strategies for a water-treatment facility using Arcade," dsn, pp.419-424, 2010 IEEE/IFIP International Conference on Dependable Systems&Networks (DSN), 2010
Usage of this product signifies your acceptance of the Terms of Use.