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
Link To Document