Dependability and Survivability Evaluation of a Water Distribution Process with Arcade
Roolvink, Stephan and Remke, Anne and Stoelinga, Mariëlle (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary.
|Abstract:||Among others, drinking water belongs to the socalled 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.
|Item Type:||Conference or Workshop Item|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/68264|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page