Investigating System Survivability from a Probabilistic Perspective

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. key words: survivability, probability programs, probabilistic refinement, survivability specification

[1]  John C. Knight,et al.  Achieving Critical System Survivability Through Software Architectures , 2003, WADS.

[2]  Jifeng He.  Keynote: Probabilistic Programming With Coordination and Compensation , 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

[3]  Gai CarSO.  A Logic for Reasoning about Probabilities * , 2004 .

[4]  Annabelle McIver,et al.  Refinement-oriented probability for CSP , 1996, Formal Aspects of Computing.

[5]  Claire Jones,et al.  Probabilistic non-determinism , 1990 .

[6]  W. Marsden.  I and J , 2012 .

[7]  Kishor S. Trivedi,et al.  Network survivability modeling , 2009, Comput. Networks.

[8]  Ronald R. Willis,et al.  Software quality engineering: a total technical and management approach , 1988 .

[9]  Jifeng He.  Refinement and test case generation in Unifying Theory of Programming , 2008, ICSM.

[10]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[11]  Joseph M. Morris,et al.  A Theoretical Basis for Stepwise Refinement and the Programming Calculus , 1987, Sci. Comput. Program..

[12]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[13]  Kishor S. Trivedi,et al.  Survivability models for the assessment of smart grid distribution automation network designs , 2013, ICPE '13.

[14]  Rajiv Gupta,et al.  On randomization in sequential and distributed algorithms , 1994, CSUR.

[15]  Kevin J. Sullivan,et al.  Towards a rigorous definition of information system survivability , 2003, Proceedings DARPA Information Survivability Conference and Exposition.

[16]  Takeo Kanade,et al.  Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.

[17]  Annabelle McIver,et al.  Probabilistic predicate transformers , 1996, TOPL.

[18]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[19]  Annabelle McIver,et al.  Probabilistic Models for the Guarded Command Language , 1997, Sci. Comput. Program..

[20]  Kishor S. Trivedi,et al.  Survivability modeling with stochastic reward nets , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[21]  Kim G. Larsen,et al.  Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.

[22]  Ji-Feng He.  Probabilistic Programming With Coordination and Compensation , 2009, SSIRI 2009.

[23]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[24]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[25]  Josyula R. Rao,et al.  Reasoning about probabilistic parallel programs , 1994, TOPL.

[26]  Nancy R. Mead,et al.  Requirements definition for survivable network systems , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[27]  Jack W. Davidson,et al.  Protection of software-based survivability mechanisms , 2001, 2001 International Conference on Dependable Systems and Networks.

[28]  C. A. R. Hoare,et al.  Linking Theories in Probabilistic Programming , 1999, Inf. Sci..

[29]  Brian Randell,et al.  Fundamental Concepts of Computer System Dependability , 2001 .

[30]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[31]  Jifeng He.  Service Refinement , 2008, 2008 15th Asia-Pacific Software Engineering Conference.

[32]  Kishor S. Trivedi,et al.  Survivability analysis of power distribution in smart grids with active and reactive power modeling , 2012, PERV.

[33]  Jifeng He,et al.  A model for BPEL-like languages , 2007, Frontiers of Computer Science in China.

[34]  Robert E. Ball,et al.  The fundamentals of aircraft combat survivability analysis and design , 1985 .

[35]  Kishor S. Trivedi,et al.  Design of distribution automation networks using survivability modeling and power flow equations , 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).

[36]  Vickie R. Westmark.  A definition for information system survivability , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[37]  Nancy R. Mead,et al.  Survivable Network Systems: An Emerging Discipline , 1997 .

[38]  Steve Dunne,et al.  Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers , 2006, UTP.