C~4ISR体系结构验证评估

详细信息    查看全文 | 推荐本文 |

英文篇名：Verification and Evaluation for C~4ISR System Architecture 作者：刘俊先 ; 罗雪山 ; 罗爱民 ; 陈洪辉 英文作者：LIU Jun-Xian;LUO Xue-Shan;LUO Ai-Min;CHEN Hong-Hui;Science and Technology on Information Systems Engineering Laboratory,National University of Defense Technology; 关键词：体系结构 ; 验证 ; 评估 ; C~4ISR系统 英文关键词：architecture;;verification;;evaluation;;C~4ISR system 中文刊名：ZHKZ 英文刊名：Journal of Command and Control 机构：国防科技大学信息系统工程重点实验室湖; 出版日期：2016-06-15 出版单位：指挥与控制学报 年：2016 期：v.2 基金：国家自然科学基金(71171196,71571189)资助~~ 语种：中文; 页：ZHKZ201602007 页数：5 CN：02 ISSN：14-1379/TP 分类号：43-47

摘要

针对C~4ISR系统体系结构验证评估问题,从语法、语义和语用3方面入手建立了体系结构信息模型,确定了体系结构验证评估的内容层次;从设计完整性、数据引用正确性、数据对齐性、关系一致性方面进行体系结构语法验证,从行为逻辑正确性和符合性方面进行体系结构语义验证评估,从性能和效能方面进行体系结构语用验证评估;最后分析了支撑各项体系结构验证评估的形式化方法、仿真模拟方法和综合评估方法.
        To address the problems of the architecture verification and evaluation of C~4ISR system, the Architecture Information Model was built, three classes of verification and evaluation of C~4ISR system architecture were presented, i.e. syntactic verification, semantic verification, pragmatic verification and evaluation. Syntactic verification of C~4ISR system architecture verifies the integrity, data reference validity, data alignment, and consistency of data relationships. Semantic verification of C~4ISR system architecture focuses on validating the logic correctness of the business process and system function. Pragmatic verification and evaluation of C~4ISR system architecture assesses the performance and effectiveness. The formal methods, simulation-based methods and synthetic methods were analyzed to support the verification and evaluation.

引文

1 Department of Defense.C4ISR Architecture Framework Version 1.0[R].U.S.:Department of Defense,1996.
    2 Department of Defense.C4ISR Architecture Framework Version 2.0[R].U.S.:Department of Defense,1997.
    3 Department of Defense.Do D Architecture Framework Version 1.0[R].U.S.:Department of Defense,2003.
    4 Department of Defense.Do D Architecture Framework Version 1.5[R].U.S.:Department of Defense,2007.
    5 Department of Defense.Do D Architecture Framework Version 2.0[R].U.S.:Department of Defense,2009.
    6 Ministry of Defense.Ministry of Defense Architecture Framework(MODAF)[R].U.K.:Ministry of Defense,2008
    7 The NATO C3 Board.The NATO Architecture Framework Version3.0[R].http://www.nhqc3s.nato.int/Browser.asp?Target=docs/NAF v3.2007.
    8 罗爱民.基于信息模型的C4ISR体系结构设计与分析方法研究[D].长沙:国防科学技术大学研究生院,2006.
    9罗雪山,罗爱民,张耀鸿,等.军事信息系统体系结构技术[M].北京:国防工业出版社,2010.
    10 WAGENHALS L W,HAIDER S,LEVIS A H.Synthesizing executable models of object oriented architectures[C]//Workshop on Formal Methods Applied to Defence Systems,Adelaide,Australia,2002.
    11 修胜龙.C4ISR体系结构产品一致性开发及验证方法研究[D].长沙:国防科学技术大学,2004.
    12 黄力.基于Statechart图的C4ISR系统体系结构验证方法[D].长沙:国防科学技术大学,2004.
    13 姜志平.基于CADM的C4ISR系统体系结构验证方法及关键技术[D].长沙:国防科学技术大学,2007.
    14 姜军.可执行体系结构及Do DAF的可执行化方法研究[D].长沙:国防科学技术大学,2008.