C^4ISR体系结构描述的逻辑和行为验证  

Logic and behavior validation of C^4ISR architecture description

作　　者：修胜龙[1] 罗雪山[1] 罗爱民[1] 曾熠[1] 

机构地区：[1]国防科技大学C~4ISR技术国防科技重点实验室,湖南长沙410073

出　　处：《系统工程与电子技术》2005年第2期275-279,共5页Systems Engineering and Electronics

摘　　要：针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法。首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证。用一个歼击机防空的例子来说明此个过程。For the product concordance of the architecture description, a method for analyzing and validating the model concordance using executable model is presented. The executable model is derived from the activity model, rule model and data model that are generated in the development of C4ISR architecture. The simulation execution sequence and running results of the executable model are compared with operation scenario and dynamic model to analyze and evaluate the logic and behavior of the C4ISR architecture. An example of interceptor air-defense operation is used to illustrate this process.

关 键 词：C^4ISR 体系结构 验证 一致性 

分 类 号：TP302[自动化与计算机技术—计算机系统结构] E072[自动化与计算机技术—计算机科学与技术]