2. MBSE与仿真联动验证的核心概念

在MBSE（基于模型的系统工程）中，系统模型与仿真模型是两类性质不同、却必须协同工作的模型资产。理解它们的差异、联系以及“一致性”的含义，是开展联动验证的前提。本节围绕系统模型、仿真模型、模型一致性、联动验证，以及验证与确认的区别与联系五个核心概念展开。

系统模型：描述“系统是什么”

系统模型是MBSE的主干模型，通常以SysML语言承载，回答的是系统的结构、行为、需求和参数约束问题。它包含需求图、用例图、块定义图、内部块图、状态机图、活动图、序列图、参数图等视图。系统模型的核心价值在于：它是系统唯一权威的“描述源”，需求、架构、接口、行为都在这里定义和追溯。

例如，一个无人机飞控系统的系统模型中，块定义图会定义“飞控计算机”“IMU”“电机驱动”等模块及其端口；内部块图会给出它们之间的供电、总线、信号连接；参数图会给出“姿态角误差→控制增益→电机转速”的约束关系。这些内容都是逻辑与语义层面的描述，不直接求解微分方程，也不产生随时间变化的数值曲线。

仿真模型：描述“系统如何随时间演化”

仿真模型是可执行的数学模型，回答的是“在给定输入和初始条件下，系统状态如何随时间变化”。它可以是连续时间模型（如用Modelica、Simulink搭建的飞控动力学模型），也可以是离散事件模型（如任务调度仿真），还可以是联合仿真中的多物理域模型。

仿真模型的关键要素包括：状态变量、微分/代数方程、求解器设置（步长、容差）、输入激励、初始条件、输出观测量。例如，飞控仿真模型中，状态变量为姿态角、角速度、电机转速；输入为期望姿态指令；输出为实际姿态响应曲线。仿真模型必须“可运行”，否则无法产生验证所需的证据。

模型一致性：联动验证的桥梁

系统模型与仿真模型之间不是自动等价的。模型一致性指的是：仿真模型在结构、接口、参数和行为语义上与系统模型保持对应，且这种对应关系可追溯、可检查。一致性通常包含四个层次：

• 结构一致性：仿真模型的模块划分与系统模型的块定义一致，如“飞控计算机”在两边都存在且职责相同。
• 接口一致性：端口名称、数据类型、单位、方向一致，如系统模型定义“姿态指令：弧度”，仿真模型不能使用“度”。
• 参数一致性：质量、惯量、增益、限幅等参数值在两边一致，或明确标注映射来源。
• 行为一致性：状态机迁移、活动图流程与仿真逻辑对应，如“解锁→自检→起飞”的状态顺序不能颠倒。

一致性不是一次性检查，而是随模型迭代持续维护的。工程上常用映射表、模型转换规则或专用工具来建立和检查这种对应关系。

联动验证：让系统模型与仿真模型互相驱动

联动验证是指以系统模型为需求与架构基准，驱动仿真模型的构建、执行与结果回写，并用仿真结果反过来校验系统模型是否满足需求。其典型闭环是：系统模型中的需求与参数→生成或配置仿真模型→执行仿真→采集结果→与需求指标比对→回写验证结论到系统模型。

例如，系统模型要求“姿态稳定时间≤2s”。联动验证时，从系统模型导出该指标作为仿真判据，运行飞控仿真，得到姿态响应曲线，测量稳定时间。若为1.6s，则判据通过，验证结论回写到需求元素；若为2.4s，则不通过，需修改控制参数或架构，并同步更新两个模型。这个过程体现了“模型驱动验证”的核心思想。

验证与确认：区别与联系

验证（Verification）和确认（Validation）常被合称为V&V，但两者回答的问题不同。验证回答“我们是否正确地构建了系统”，即系统模型和仿真模型是否满足所定义的需求和规格；确认回答“我们是否构建了正确的系统”，即系统是否满足用户的实际期望和任务目标。

在联动验证语境下，验证通常体现为：仿真结果与系统模型中的需求指标比对，如稳定时间、超调量、跟踪误差是否达标。确认则更靠前或更靠后：靠前是需求确认，检查系统模型中的需求是否真实反映用户任务；靠后是运行确认，在更高保真度或实物环境中检验系统是否真正可用。

两者的联系在于：验证是确认的基础，确认是验证的归宿。没有验证，确认缺乏证据；没有确认，验证可能只是“精确地做错了事”。在MBSE流程中，验证活动主要发生在系统模型与仿真模型的联动闭环内，确认活动则需要引入用户场景、任务剖面和运行环境。下表给出一个简明的对照。

在实际项目中，建议把一致性检查纳入模型迭代流程：每次系统模型变更后，自动或半自动地检查仿真模型的接口、参数和行为是否同步；每次仿真完成后，把验证结论回写到需求元素，形成可追溯的验证链。这样，MBSE与仿真才真正“联动”起来，而不是两套模型各自为政。