Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Stephan Roolvink, Anne Remke, Mariëlle Stoelinga

    Research output: Contribution to conferencePaper

    9 Downloads (Pure)

    Abstract

    Among others, drinking water belongs to the so called critical infrastructures. To ensure that the water production meets current and future societal needs, a systematic and rigorous analysis is needed. In this paper, we report our first experience with dependability analysis of the last phase of a water treatment facility, namely the water distribution. We use the architectural language Arcade to model this facility and use the Arcade toolset to compute three relevant dependability measures: the availability of the water distribution, the reliability, i.e., the probability that the water distribution fails, and the survivability, that is, the ability to recover from disasters. Since survivability is not directly expressible in the Arcade formalism, we show how one can modify the toolchain for the analysis of survivability.
    Original languageEnglish
    Pages4-7
    Number of pages4
    Publication statusPublished - 17 Sep 2009
    Event9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009 - Hotel Korona, Eger, Hungary
    Duration: 17 Sep 200918 Sep 2009
    Conference number: 9

    Workshop

    Workshop9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009
    Abbreviated titlePMCCS
    CountryHungary
    CityEger
    Period17/09/0918/09/09

      Fingerprint

    Keywords

    • METIS-264089
    • EWI-16394
    • IR-68264

    Cite this

    Roolvink, S., Remke, A., & Stoelinga, M. (2009). Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. 4-7. Paper presented at 9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009, Eger, Hungary.