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

被引：12

作者：

修胜龙

罗雪山

罗爱民

曾熠

机构：

[1] 国防科技大学C

[2] ISR技术国防科技重点实验室

[3] ISR技术国防科技重点实验室湖南长沙

[4] 湖南长沙

来源：

系统工程与电子技术 | 2005年 / 02期

关键词：

C4ISR; 体系结构; 验证; 一致性;

D O I：

暂无

中图分类号：

E211 [作战指挥];

学科分类号：

1105 ;

摘要：

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

引用

页码：275 / 279

页数：5