关键词: MBSE, 有无人协同作战, 系统设计与验证, SysML, 作战仿真建模

Abstract:

The traditional model-based systems engineering (MBSE) method has problems of failing to fully exhibit complex combat logics in manned-unmanned collaborative combat system modeling, neglecting the scenario constraints in interface modeling, and requiring long-term and costly algorithm verification. In order to solve the problems, a methodology and design tool based on MBSE was proposed. An integrated verification method of a system's operational logic, interface design, and algorithmic design was constructed, thus providing a digital and rapidly iterative verification approach for system simulation. A verification environment for multiple key algorithm simulations was established, effectively reducing the economic cost of building verification environments. The design and verification practices were completed in a typical manned-unmanned collaborative combat system. By integrating the MBSE design tool Modelook and the battlefield simulation design tool, the method enabled the integrated verification of the system's operational logic, data interaction models, and key algorithm models described by SysML. Experimental results demonstrate that this method can provide the system with a digital, low-cost, and agile iterative model simulation verification early in the design phase, enhancing comprehensive capabilities of digital prototype from a functional logic level to a level integrating functional logic and key algorithms.

Key words: model-based systems engineering(MBSE), featuring manned-unmanned collaborative combat, design and verification of a typical system, SysML, combat simulation modeling