MBSE需求如何真正闭环：从SysML关系到可复查的验证证据
一、先写清楚模型要帮助谁作决定
一套系统模型包含许多图，并不代表团队已经知道该交付什么。立项时先问三个问题：谁使用模型，在哪个阶段使用，凭它决定什么。若任务是检查控制逻辑，重点应落在状态、触发条件和接口；若任务是评估性能，才需要进一步约定计算模型、参数和比较依据。新航路仿真笔记将这一步称为“先确定证据用途”：模型能回答的问题、依赖的信息和不能回答的问题一起写入任务边界。本文采用SysML 1.7术语讨论方法，不假定某个建模工具自动支持全部关系，也不把文中示例视为实际设备的安全设计。
工业机器人实验室实拍；系统模型的范围应与具体工程决策对应。
二、把一句要求拆成对象、条件、动作和判据
“低压时及时停机”很难直接验证。教学示例可以改成：在指定运行模式中，测量值持续低于约定阈值并达到确认时间后，控制器在约定响应期限内撤销运行命令。阈值、确认时间和期限先保留为待双方确认的参数，不随意填入看似专业的数字；同时写清测点、单位、信号质量、计时起点和复位条件。需要区分“撤销命令”和“设备实际停止”：后者还涉及执行机构和惯性，不能用同一条控制器测试替代。每个术语有明确对象，需求才具备讨论实现与验收的基础。
工程图纸审阅现场；需求中的测点、边界和动作应有一致定义。
三、关系存在，不等于需求已经通过
在SysML 1.7中，satisfy与verify表达不同的追溯关系：前者连接拟满足需求的设计元素，后者连接检查需求的验证用例。建立关系能帮助定位设计与验证责任，却不会自动产生一次成功的执行记录。可以把状态分成需求已澄清、设计已关联、用例已审查、执行已完成和结果已判定；其中任何一项缺失都不应显示为“已满足”。实际建模时，图上的连线和验证结果分别管理，并保存判定时间、采用的需求版本及证据入口，避免模型越画越完整，结论却仍无法复查。
工程资料与工具实拍；设计关联和执行证据需要分别管理。
四、一行追溯记录要能找到真正的证据
最小追溯记录可以包含：需求ID、需求版本、负责元素、接口或参数、验证用例ID、验证方法、执行记录ID、结果和遗留限制。示例REQ-LP-01关联控制器低压状态机，用例TC-LP-03检查持续低压后的命令撤销；执行记录则必须另外指向具体配置、输入、日志和判定。记录中的编号只是教学用命名，不能冒充已有项目数据。若交付仅有PDF，接收方应能从编号定位原始记录；若同时交付模型工程，还要检查元素ID和导出记录之间的对应，避免同名元素在创建副本后产生歧义。
OpenModelica工程目录与源码界面，展示工程文件与对象组织的实际软件场景。
五、不要只验证最容易通过的正常工况
低压保护示例至少需要讨论持续低压、短时扰动、阈值附近波动、输入失效和复位过程。每个工况都注明前置状态、输入序列、计时方式、观察对象和预期结果，不能仅用一条“结果正常”概括。若信号质量不可信，控制器应采取什么策略需要另行设计，不能由验证人员临时猜测。仿真能够检查指定模型与配置下的行为；涉及真实安全功能时，仍应按项目适用要求安排硬件、软件及系统层面的验证。工况清单的价值，是让遗漏和责任边界在执行前就能被看见。
示波器与信号测试台实拍；时序与边界工况需要明确观察方法。
六、需求一改，先看哪些证据失去适用性
假设低压确认时间或测量滤波方法改变，受影响的不只是需求文字，还可能包括状态机守卫、参数配置、测试输入、计时判据和旧的结果结论。变更审查应沿追溯关系查找候选影响，再由工程人员确认，不能把工具列出的所有关联都机械认定为必须重做。对于确实需要重验的项目，旧记录保留并标明适用版本，新结果使用新的执行编号。这样既能避免旧证据被覆盖，也能解释为何某项需求在上一版本通过、在当前版本仍待确认。
OpenModelica官方调试界面，包含变量与调用记录等排查信息。
七、交付前，从接收方路径走一遍
审查模型时，不妨随机选一条关键需求，从文字追到负责元素，再追到用例、配置和原始结果，最后核对判据与结论是否一致。接收方应当能够分辨哪些检查已经执行，哪些只是设计了用例，以及哪些依赖暂未获得的数据。模型工程、工具版本、导出文件和必要使用权限一并说明；无法打开原工程时，也要交付可阅读的关系清单。一个有帮助的通过条件是“指定需求可在交付环境中追溯到指定版本的执行证据”，它比“完成若干张图”更接近工程使用价值。
工程人员检查电子部件实拍；接收方应能按交付资料复核关键对象。
八、让MBSE交付围绕决策与证据展开
企业研发和科研项目准备MBSE外协时，可以先提交任务对象、最关心的决策、现有需求与接口，以及希望获得的验证证据。对模型范围、命名规则、关系维护和验收路径先形成共识，再确定需要哪些图与分析。新航路围绕MBSE/SysML、Modelica/FMI和数字孪生整理这类工程方法，关注的核心是把需求、模型和可复查结果接起来。本文给出的追溯字段与工况组织方式可作为需求讨论起点，具体阈值、工具能力和责任划分仍由真实项目条件决定。
自动化产线实拍；需求、系统行为与验证证据最终服务于工程使用。
参考资料
[1] OMG Systems Modeling Language 1.7，需求与验证关系
https://www.omg.org/spec/SysML/1.7/
[2] OpenModelica User’s Guide 1.26.0
https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/index.html
第三方工程照片与官方软件界面按许可使用；图中设备、模型及曲线不是本文的客户案例或实测记录。 工程摄影按Pexels License使用；完整摄影作者、原始页面、许可和图片哈希保存在素材权利台账。 软件界面取自OpenModelica User’s Guide v1.26.0，© Open Source Modelica Consortium (OSMC)，CC BY 4.0，原图未修改。 https://openmodelica.org/doc/OpenModelicaUsersGuide/v1.26.0/omedit.html https://creativecommons.org/licenses/by/4.0/
方案数据来源：下一代数字孪生建模仿真实验室
本文含AI辅助生成内容。
