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
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;
Conference_Titel :
Electrical and Control Engineering (ICECE), 2011 International Conference on
Conference_Location :
Yichang
Print_ISBN :
978-1-4244-8162-0
DOI :
10.1109/ICECENG.2011.6057695