DocumentCode
1987069
Title
Research review of C4ISR system architure verification and evaluation
Author
Liu, Weidong ; Li, Hu ; Luo, Xueshan ; Chen, Honghui
Author_Institution
Basic Educ. Inst. of Command Officer, Nat. Univ. of Defense Technol., Changsha, China
fYear
2011
fDate
16-18 Sept. 2011
Firstpage
4058
Lastpage
4062
Abstract
C4ISR system architecture verification and evaluation is important guarantee to the design quality of architecture. With the improvement of the size and significance of C4ISR system, the architecture verification is becoming the important step during the development of C4ISR system architecture, and is also increasingly laid store by the academe and engineer. The paper is introduced in terms of techniques of architecture framework, logic storage model and the method of verification and validation. The research indicates that it is necessary to establish the new method of verification and validation focusing on data, and is better to sustain and serve for the design of architecture.
Keywords
command and control systems; formal verification; C4ISR system architecture evaluation; C4ISR system architecture verification; logic storage model; validation method; verification method; Computer architecture; Educational institutions; Information systems; Object oriented modeling; US Department of Defense; Unified modeling language; C4ISR; architecture framework; logic storage model; method of verification and validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Control Engineering (ICECE), 2011 International Conference on
Conference_Location
Yichang
Print_ISBN
978-1-4244-8162-0
Type
conf
DOI
10.1109/ICECENG.2011.6057695
Filename
6057695
Link To Document