C4ISR体系结构描述的逻辑和行为验证

摘要：

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.

关键词：C4ISR、体系结构、验证、一致性

所属期刊栏目：27

分类号：TP302.1;E072(计算技术、计算机技术)

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：275-279