基于MBSE-MAR的作战系统间验证方法

《Journal of Systems Engineering and Electronics》：Combat system-of-systems verification method based on MBSE-MAR

　　

摘要：

为了解决战斗系统体系结构（SoS）验证中存在的模型离散化、验证元素覆盖不完整以及需求可追溯性失效等问题，本文提出了一种基于模型驱动的系统工程多粒度系统仿真验证、架构数据模型验证和需求模型验证的战斗系统验证方法。为了在架构设计元素上达成共识并避免因术语逻辑导致的偏差，本文根据国防部架构框架（DoDAF）的元模型方法构建了一个元模型数据集。模型驱动的系统工程方法被引入，以明确从需求分析、设计、分析到验证的战斗SoS的设计和验证框架。为了解决验证不足的问题，本文提出了一种自下而上的闭环系统验证方法，该方法涵盖了多粒度系统仿真验证、架构数据模型验证和需求验证。通过构建并验证了一个无人驾驶飞机系统的协同战斗SoS，证明了该验证方法能够系统且全面地验证领域模型、系统模型、SoS架构模型和需求模型，体现了该验证方法设计的合理性、标准化和有效性。该验证方法为战斗SoS提供了一个系统的验证框架，对于提高战斗系统的设计可靠性具有工程应用价值。