Investigating System Survivability from a Probabilistic Perspective

Yongxin ZHAO; Yanhong HUANG; Qin LI; Huibiao ZHU; Jifeng HE; Jianwen LI; Xi WU

doi:10.1587/transinf.2013EDP7339

Investigating System Survivability from a Probabilistic Perspective

Yongxin ZHAO, Yanhong HUANG, Qin LI, Huibiao ZHU, Jifeng HE, Jianwen LI, Xi WU

Full Text Views

0

Share
Cite this

Summary :

Survivability is an essential requirement of the networked information systems analogous to the dependability. The definition of survivability proposed by Knight in [16] provides a rigorous way to define the concept. However, the Knight's specification does not provide a behavior model of the system as well as a verification framework for determining the survivability of a system satisfying a given specification. This paper proposes a complete formal framework for specifying and verifying the concept of system survivability on the basis of Knight's research. A computable probabilistic model is proposed to specify the functions and services of a networked information system. A quantified survivability specification is proposed to indicate the requirement of the survivability. A probabilistic refinement relation is defined to determine the survivability of the system. The framework is then demonstrated with three case studies: the restaurant system (RES), the Warship Command and Control system (LWC) and the Command-and-Control (C2) system.

Publication: IEICE TRANSACTIONS on Information Vol.E97-D No.9 pp.2356-2370

Publication Date: 2014/09/01

Publicized

Online ISSN: 1745-1361

DOI: 10.1587/transinf.2013EDP7339

Type of Manuscript: PAPER

Category: Fundamentals of Information Systems

Authors

Yongxin ZHAO
  East China Normal University
Yanhong HUANG
  East China Normal University
Qin LI
  East China Normal University
Huibiao ZHU
  East China Normal University
Jifeng HE
  East China Normal University
Jianwen LI
  East China Normal University
Xi WU
  East China Normal University

Keyword

survivability, probability programs, probabilistic refinement, survivability specification

Cite this

Copy

Yongxin ZHAO, Yanhong HUANG, Qin LI, Huibiao ZHU, Jifeng HE, Jianwen LI, Xi WU, "Investigating System Survivability from a Probabilistic Perspective" in IEICE TRANSACTIONS on Information, vol. E97-D, no. 9, pp. 2356-2370, September 2014, doi: 10.1587/transinf.2013EDP7339.
Abstract: Survivability is an essential requirement of the networked information systems analogous to the dependability. The definition of survivability proposed by Knight in [16] provides a rigorous way to define the concept. However, the Knight's specification does not provide a behavior model of the system as well as a verification framework for determining the survivability of a system satisfying a given specification. This paper proposes a complete formal framework for specifying and verifying the concept of system survivability on the basis of Knight's research. A computable probabilistic model is proposed to specify the functions and services of a networked information system. A quantified survivability specification is proposed to indicate the requirement of the survivability. A probabilistic refinement relation is defined to determine the survivability of the system. The framework is then demonstrated with three case studies: the restaurant system (RES), the Warship Command and Control system (LWC) and the Command-and-Control (C2) system.
URL: https://globals.ieice.org/en_transactions/information/10.1587/transinf.2013EDP7339/_p

Copy

@ARTICLE{e97-d_9_2356,
author={Yongxin ZHAO, Yanhong HUANG, Qin LI, Huibiao ZHU, Jifeng HE, Jianwen LI, Xi WU, },
journal={IEICE TRANSACTIONS on Information},
title={Investigating System Survivability from a Probabilistic Perspective},
year={2014},
volume={E97-D},
number={9},
pages={2356-2370},
abstract={Survivability is an essential requirement of the networked information systems analogous to the dependability. The definition of survivability proposed by Knight in [16] provides a rigorous way to define the concept. However, the Knight's specification does not provide a behavior model of the system as well as a verification framework for determining the survivability of a system satisfying a given specification. This paper proposes a complete formal framework for specifying and verifying the concept of system survivability on the basis of Knight's research. A computable probabilistic model is proposed to specify the functions and services of a networked information system. A quantified survivability specification is proposed to indicate the requirement of the survivability. A probabilistic refinement relation is defined to determine the survivability of the system. The framework is then demonstrated with three case studies: the restaurant system (RES), the Warship Command and Control system (LWC) and the Command-and-Control (C2) system.},
keywords={},
doi={10.1587/transinf.2013EDP7339},
ISSN={1745-1361},
month={September},}

Copy

TY - JOUR
TI - Investigating System Survivability from a Probabilistic Perspective
T2 - IEICE TRANSACTIONS on Information
SP - 2356
EP - 2370
AU - Yongxin ZHAO
AU - Yanhong HUANG
AU - Qin LI
AU - Huibiao ZHU
AU - Jifeng HE
AU - Jianwen LI
AU - Xi WU
PY - 2014
DO - 10.1587/transinf.2013EDP7339
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E97-D
IS - 9
JA - IEICE TRANSACTIONS on Information
Y1 - September 2014
AB - Survivability is an essential requirement of the networked information systems analogous to the dependability. The definition of survivability proposed by Knight in [16] provides a rigorous way to define the concept. However, the Knight's specification does not provide a behavior model of the system as well as a verification framework for determining the survivability of a system satisfying a given specification. This paper proposes a complete formal framework for specifying and verifying the concept of system survivability on the basis of Knight's research. A computable probabilistic model is proposed to specify the functions and services of a networked information system. A quantified survivability specification is proposed to indicate the requirement of the survivability. A probabilistic refinement relation is defined to determine the survivability of the system. The framework is then demonstrated with three case studies: the restaurant system (RES), the Warship Command and Control system (LWC) and the Command-and-Control (C2) system.
ER -