Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
    60 Downloads (Pure)


    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 simpli��?ed 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 languageUndefined
    Title of host publication2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society Press
    Number of pages6
    ISBN (Print)978-1-4244-7499-8
    Publication statusPublished - Jul 2010
    Event2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010 - Chicago, IL, USA
    Duration: 28 Jun 20101 Jul 2010

    Publication series

    PublisherIEEE Computer Society Press


    Conference2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010
    Other28 June - 1 July 2010


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

    Cite this