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 :
بازگشت