Probabilistic Model of System Survivability

The paper completely formalizes the concept of system survivability on the basis of Knight´s research. 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.