• DocumentCode
    1806806
  • Title

    A Framework of Survivability Requirement Specification for Critical Information Systems

  • Author

    Zuo, Yanjun

  • Author_Institution
    Univ. of North Dakota, Grand Forks, ND, USA
  • fYear
    2010
  • fDate
    5-8 Jan. 2010
  • Firstpage
    1
  • Lastpage
    10
  • Abstract
    Survivability represents a system´s ability to provide essential services in the presence of attacks and failures, and to recover full services in a timely manner when the environment improves. For many critical systems used in national defense, healthcare, and utility infrastructure, survivability is a key requirement. Currently, there is a lack of research on systematic reasoning and specification of the requirements for system survivability from a user´s perspective. In this paper, we present methods that enable users to specify measureable and certifiable survivability requirements and represent their survivability policy. A survivability decision model is proposed which complies with both survivability practical evidence and theoretical models. From the perspective of system acquisition and engineering, survivability requirement is the important first step in survivability specification, compliance formulation, and proof verification. A military Command and Control (C-2) system is used throughout the paper as an illustrative example for user´s survivability requirement specification and representation.
  • Keywords
    command and control systems; formal specification; formal verification; inference mechanisms; information systems; reliability; critical information systems; healthcare; military command and control system; national defense; survivability decision model; survivability requirement specification; system acquisition; systematic reasoning; systematic specification; utility infrastructure; Accidents; Command and control systems; Information security; Information systems; Large-scale systems; Medical services; Mission critical systems; Neodymium; Protection; Systems engineering and theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences (HICSS), 2010 43rd Hawaii International Conference on
  • Conference_Location
    Honolulu, HI
  • ISSN
    1530-1605
  • Print_ISBN
    978-1-4244-5509-6
  • Electronic_ISBN
    1530-1605
  • Type

    conf

  • DOI
    10.1109/HICSS.2010.13
  • Filename
    5428675