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

• 作者: 修胜龙 曾熠 罗爱民 罗雪山
• 来源期刊: 系统工程与电子技术
• 学科: 军事
• 关键词: C4ISR 体系结构 验证 一致性
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 军用系统分析
• 页码范围: 275-279
• 页数: 5页
• 分类号: TP302.1|E072
• 字数: 3789字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.2005.02.025

摘要

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