Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:1fbeb483c3344277b9e37d717fc8ed41

HAVERKORT, Boudewijn R., Matthias KUNTZ, Anne REMKE, Stephan ROOLVINK, Mariëlle Ida Antoinette STOELINGA, 2010. Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. Dependable Systems & Networks (DSN). Chicago, IL, USA, 28. Jun 2010 - 1. Jul 2010. In: International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. Dependable Systems & Networks (DSN). Chicago, IL, USA, 28. Jun 2010 - 1. Jul 2010, pp. 419-424. ISBN 978-1-4244-7499-8

@inproceedings{Haverkort2010Evalu-6187, title={Evaluating Repair Strategies for a Water-Treatment Facility using Arcade}, year={2010}, isbn={978-1-4244-7499-8}, booktitle={International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA}, pages={419--424}, author={Haverkort, Boudewijn R. and Kuntz, Matthias and Remke, Anne and Roolvink, Stephan and Stoelinga, Mariëlle Ida Antoinette} }

eng 2011-03-24T16:10:03Z application/pdf Haverkort, Boudewijn R. International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424 Stoelinga, Mariëlle Ida Antoinette Haverkort, Boudewijn R. deposit-license Roolvink, Stephan Kuntz, Matthias Remke, Anne 2011-03-24T16:10:03Z 2010 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. Stoelinga, Mariëlle Ida Antoinette Kuntz, Matthias Roolvink, Stephan Evaluating Repair Strategies for a Water-Treatment Facility using Arcade Remke, Anne

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Haverkort_Evaluating.pdf 61

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto