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 ﬁrst 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.
|Number of pages||4|
|Publication status||Published - 17 Sep 2009|
|Event||9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009 - Hotel Korona, Eger, Hungary|
Duration: 17 Sep 2009 → 18 Sep 2009
Conference number: 9
|Workshop||9th nternational Workshop on Performability Modeling of Computer and Communication Systems, PMMCS 2009|
|Period||17/09/09 → 18/09/09|