Publikation:

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Vorschaubild

Dateien

Haverkort_Evaluating.pdf
Haverkort_Evaluating.pdfGröße: 1.46 MBDownloads: 334

Datum

2010

Autor:innen

Haverkort, Boudewijn R.
Remke, Anne
Roolvink, Stephan
Stoelinga, Mariëlle Ida Antoinette

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-128419
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. 2010, pp. 419-424. ISBN 978-1-4244-7499-8

Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

Dependable Systems & Networks (DSN), 28. Juni 2010 - 1. Juli 2010, Chicago, IL, USA
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690HAVERKORT, 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. Juni 2010 - 1. Juli 2010. In: International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. 2010, pp. 419-424. ISBN 978-1-4244-7499-8
BibTex
@inproceedings{Haverkort2010Evalu-6187,
  year={2010},
  title={Evaluating Repair Strategies for a Water-Treatment Facility using Arcade},
  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}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/6187">
    <dc:format>application/pdf</dc:format>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>Kuntz, Matthias</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:10:03Z</dc:date>
    <dc:language>eng</dc:language>
    <dc:contributor>Roolvink, Stephan</dc:contributor>
    <dcterms:bibliographicCitation>International Conference on Dependable Systems &amp; Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424</dcterms:bibliographicCitation>
    <dcterms:title>Evaluating Repair Strategies for a Water-Treatment Facility using Arcade</dcterms:title>
    <dcterms:issued>2010</dcterms:issued>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6187"/>
    <dc:creator>Remke, Anne</dc:creator>
    <dc:creator>Stoelinga, Mariëlle Ida Antoinette</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:10:03Z</dcterms:available>
    <dc:creator>Roolvink, Stephan</dc:creator>
    <dc:contributor>Stoelinga, Mariëlle Ida Antoinette</dc:contributor>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6187/1/Haverkort_Evaluating.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6187/1/Haverkort_Evaluating.pdf"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Kuntz, Matthias</dc:contributor>
    <dc:contributor>Remke, Anne</dc:contributor>
    <dc:contributor>Haverkort, Boudewijn R.</dc:contributor>
    <dcterms:abstract xml:lang="eng">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.</dcterms:abstract>
    <dc:creator>Haverkort, Boudewijn R.</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen