跳转至

基于模型的系统工程（MBSE）

定义

基于模型的系统工程（Model-Based Systems Engineering, MBSE）是形式化地应用建模技术，以支持系统在全生命周期内的需求、设计、分析、验证与确认（V&V）活动。该定义源自 INCOSE。

MBSE is the formalized application of modeling to support system requirements, design, analysis, verification, and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases. — INCOSE SE Vision 2025/2035

关键澄清：MBSE ≠ SysML。MBSE 概念可追溯至 1960 年代，第一个真正的 MBSE 方法论来自 TRW 的 SREM（1969）。SysML 只是建模语言之一——MBSE 需要一个基于系统工程语义的数据库工具才能有效。详见 全生命周期MBSE应用。

MBSE的三大支柱

MBSE 实践依赖于语言、工具、方法三者的协同：

支柱 说明 典型代表
语言（Language） 系统建模的形式化表达 SysML v1/v2、UML、LML、Modelica、AADL
工具（Tool） 建模、仿真与管理平台 Cameo Systems Modeler、IBM Rhapsody、Capella（开源）
方法（Method） 建模流程与框架指导 OSEM、MagicGrid、SAFe MBSE、INCOSE MBSE Initiative、MBSynergy

LML（Lifecycle Modeling Language）是 SPEC Innovations 创建的语义本体，包含12个核心类和双向关系，映射到 DoDAF/UAF/SysML/BPMN。它代表了一种比 SysML 更轻量但更语义化的方法论路径。

MBSE vs 文档驱动系统工程

维度 文档驱动 SE MBSE
知识载体 多份独立文档（Word/PDF） 统一的互联模型
一致性保障 人工审查、易出错 模型内自动一致性检查
变更影响 需逐文档追溯 模型内自动追溯与影响分析
V&V 基于文档评审 模型仿真、形式化验证
团队协作 基于文档流转 基于模型的实时协同

核心转变：文档从主体变为模型的派生产物（view）。

行业实践：一线经验

通用动力（GDMS）转型教训

GDMS 自2022年起已辅导30+团队采纳MBSE/DE。核心洞察：

成功团队的特征：承认有很多要学、卷起袖子实干（不外包建模）、拉入其他学科参与、将模型作为协作/沟通工具而非文档生成器。

失败团队的典型症状：走捷径建模（快速画图但不建可重用结构）、模型组织混乱、用 Visio/PowerPoint 画图再在建模工具里重画（双倍工作量）、「我们不需要帮助」是最常见的危险信号。

Adoption ≠ Transformation：采纳工具是学习阶段，转型为数字工程企业需要领导层承诺、庆祝快速胜利、用指标展示价值、将数字线程和数字孪生整合进企业架构。详见 通用动力数字化转型经验。

David Long（INCOSE前主席）的六条原则

优先级：E then S before D and M then lastly B（Engineering > Systems > Digital > Model > Based）。六条选择框架： - 知识 > 产物 | 原则 > 符号 | 能力 > 工具 - 沟通 > 分析 | 连接 > 孤岛 | (MB)SE+(D)E > MB(SE)+D(E)

六大经典陷阱：认为这只是工具问题、照搬别人的方案、将责任交给工具供应商、追逐标准而忽视目的、忽视中层管理层、视为短跑而非马拉松。详见 迈入数字未知。

SPEC Innovations的30年启示

  • 第一个真正的MBSE方法论来自TRW的SREM（1969）
  • 工具演进路径：RDD-100 → Vitech Core/Genesys → 云原生 Innoslate
  • 2011年NASA首席工程师提出「SE工具的可扩展性需求意味着必须引入云计算」
  • 关键洞察：MBSE需要一个基于系统工程语义的公共语言——这正是LML的设计动机

SysML v2：MBSE的关键使能器

  • 文本化表示：与Git版本控制天然兼容，降低建模门槛
  • API优先：原生提供模型查询与操作API，支持工具间互操作
  • 改进的行为建模：强化状态机、活动图、交互序列
  • 标准化模型交换：减少供应商锁定
  • 变体建模：支持MOSA的多配置/多供应商变体

OUSD 已发布过渡指导（FY2025试点→FY2028强制），NDIA 简报指出过渡是「最大瓶颈」。详见 SysML v2过渡瓶颈、SysML过渡指南。

MBSE与MOSA的协同

  • 接口定义：MOSA要求模块化接口 → MBSE模型是最精确的接口定义手段
  • 独立验证：模块供应商可基于共享接口模型独立开发和验证模块
  • 竞争性采办：政府持有接口模型，降低供应商切换成本
  • SysML v2 变体建模：天然支持 MOSA 的多配置/多供应商场景

参见 接口工程演进、架构框架。

MBT（基于模型的测试）：从模型到测试执行

MBT 是 MBSE 的自然延伸——从系统模型自动生成测试用例。ALP International 的雷达原型演示了完整链路：SysML活动图 → MBTSuite 自动生成测试用例 → Python代码执行 → Pass/Fail 结果。6个测试用例全部 PASS。详见 MBSE与MBT连接需求到测试执行。

工具生态与反锁定

  • Cameo Systems Modeler（Dassault）和 IBM Rhapsody 是两大商业工具
  • Capella 是开源替代，被部分 DoD 项目采用以降低供应商锁定风险
  • Christopher Garrett（AFMC）明确指出「工具互操作性和软件供应商锁定」是数字工程的核心挑战
  • 数字工程工具对比的结论：投资开源生态，支持Capella等工具，降低供应商锁定风险（数字工程工具对比）

相关内容