C4ISR体系结构验证评估

摘要

针对C4ISR系统体系结构验证评估问题,从语法、语义和语用3方面入手建立了体系结构信息模型,确定了体系结构验证评估的内容层次;从设计完整性、数据引用正确性、数据对齐性、关系一致性方面进行体系结构语法验证,从行为逻辑正确性和符合性方面进行体系结构语义验证评估,从性能和效能方面进行体系结构语用验证评估;最后分析了支撑各项体系结构验证评估的形式化方法、仿真模拟方法和综合评估方法.