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

Logic and behavior validation of C^4ISR architecture description

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法。首先根据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.