TY - GEN
T1 - Probabilistic model of system survivability
AU - Zhao, Yongxin
AU - Huang, Yanhong
AU - Li, Jianwen
AU - Zhu, Huibiao
PY - 2010
Y1 - 2010
N2 - The paper completely formalizes the concept of system survivability on the basis of Knight's research in [2]. 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.
AB - The paper completely formalizes the concept of system survivability on the basis of Knight's research in [2]. 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.
UR - https://www.scopus.com/pages/publications/78149480222
U2 - 10.1109/TASE.2010.15
DO - 10.1109/TASE.2010.15
M3 - 会议稿件
AN - SCOPUS:78149480222
SN - 9780769541488
T3 - Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
SP - 193
EP - 200
BT - Proceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
T2 - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
Y2 - 25 August 2010 through 27 August 2010
ER -