Probabilistic Model of System Survivability
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu · 2010
The paper completely formalizes the concept of system survivability on the basis of Knight's research in \cite{Knight03}. We present a computable probabilistic model of survivable system which is divided into two layers, i.e. the function and service. The probabilistic refinement is introduced to reason about the survivable system, which is modeled by a probabilistic choice of accepted services with respect to the operating environment. Furthermore, we present an elegant survivability specification and the differences with Knight's related works are discussed. The command-and-control example is also revisited in our framework.