• 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