模块 12：MBSE 的未来

基于模型的系统工程并非孤立存在。它是各国政府和行业称之为数字工程（Digital Engineering, DE）的更大变革的重要组成部分。数字工程的核心理念是用互联互通、机器可读的权威事实来源取代以文档为中心的工程制品，从而贯穿系统的整个生命周期——从概念到退役。

美国国防部数字工程战略

2018 年，美国国防部发布了数字工程战略，提出五大战略目标：

1. 规范化模型的开发、集成和使用，以支持企业和项目决策。
2. 提供持久的权威事实来源。
3. 融入技术创新以改进工程实践。
4. 建立包含基础设施、政策和人才的数字工程生态系统。
5. 推动文化和人才转型，在全生命周期中采用数字工程。

MBSE 是实现目标 1 和目标 2 的核心机制：系统模型成为每位利益相关方——需求工程师、架构师、测试人员、后勤人员——共同参照和贡献的唯一事实来源。

其他国家战略

数字工程运动遍及全球：

• 英国 —— 英国国防部（MoD）发布了《国防数字战略》，强调数字孪生和基于模型的采办。国防科技实验室（Dstl）积极资助 MBSE 研究。
• 欧盟 —— 欧盟的"清洁航空"和"地平线欧洲"计划要求在跨国供应链协同系统开发中采用基于模型的方法。
• 中国 —— 中国航空航天和国防领域已大规模采用 MBSE，GB/T 和 GJB 等标准日益引用基于模型的过程。航天、轨道交通和电信领域的重大工程均要求交付 MBSE 产物。

数字线索（Digital Thread）是一种贯穿整个产品生命周期、连接数据和模型的通信框架。它实现了从最早的利益相关方需求到现场维护和最终退役的全程可追溯性。

生命周期连通性

想象一条首尾相连的模型链：

1. 需求 —— 在系统模型中以结构化方式捕获，并具备可追溯性。
2. 设计 —— 满足需求的架构模型，通过显式的 satisfy 链接关联。
3. 制造 —— 由设计衍生的制造过程模型和数字化作业指导书。
4. 运营 —— 运营模型和数字孪生，对在役系统进行监控。
5. 维护保障 —— 维修计划、备件物流和退役规划，全部可追溯至原始设计意图。

当需求变更时，数字线索让你可以正向追溯到受影响的每一项设计决策、制造步骤和测试用例。当现场故障发生时，你可以反向追溯到根源需求和设计选择。

从摇篮到坟墓的可追溯性

数字线索实现了从业者所说的"从摇篮到坟墓"的可追溯性。每一个决策、每一次变更、每一项验证结果都被关联起来。这消除了"文档交接"问题——知识在阶段边界处丢失。工程师不再是把一份 PDF 扔过墙去，而是将一个活的、可查询的模型传递给下一个阶段。

人工智能正开始在多个领域与 MBSE 交汇。虽然该领域仍在成熟中，但潜力巨大。

AI 辅助模型创建

大语言模型（LLM）和其他生成式 AI 技术可以从自然语言需求中生成系统模型草案。利益相关方写下"系统应在 -40°C 至 +85°C 的温度范围内运行"，AI 助手便生成相应的 SysML v2 requirement def 和 constraint。工程师审查、细化并批准——大幅减少了初始模型构建的手工工作量。

自动化模型验证

AI 可以检查模型的一致性：检测缺失的分配、未链接的需求、悬空的端口或约束违规——这些在大型模型中需要人工审查数小时才能发现。模式匹配算法和图分析技术特别擅长这类穷尽搜索。

模型分析与模式发现

大型模型（数千个元素）中隐含着模式：常见的架构模式、反复出现的集成问题或过度约束的子系统。机器学习技术能够挖掘这些模式，为架构师提供手动无法发现的洞察。

生成式设计

给定一组需求和约束，生成式设计算法可以探索解空间并提出候选架构方案。工程师设定边界，AI 探索可能性。这在机械 CAD（拓扑优化）中已经很常见，现在正进入系统架构领域。

SysML v2 最具深远影响的创新之一是其标准化的 API（应用程序接口）。这是建模语言首次附带正式规范，定义工具如何通过 HTTP 交换模型数据。

工具互操作性

在 SysML v1 时代，每个工具厂商都有自己的专有格式。工具间交换模型意味着有损的 XMI 导出、手动返工和挫败感。SysML v2 的 API 标准定义了对模型元素的 CRUD 操作（创建、读取、更新、删除），实现了真正的多工具协作。架构师可以在一个工具中建模结构，行为专家在另一个工具中建模动作——两个工具通过标准 API 同步。

模型即代码工作流

SysML v2 的文本表示法意味着模型可以作为纯文本文件存储。结合 API，这打开了模型即代码的工作流：

• 将模型存储在 Git 仓库中，与源代码并存。
• 使用拉取请求进行模型评审，就像代码评审一样。
• 对文本模型文件执行差异比较和合并。
• 将分支策略（功能分支、发布分支）应用于模型开发。

模型的 CI/CD

模型纳入版本控制并可通过 API 查询后，你可以构建 CI/CD 流水线，在每次提交时自动验证模型：检查约束满足情况、运行分析用例并生成文档。这与改变了软件工程的持续集成理念完全相同，现在被应用于系统工程。

软件工程已被 DevOps 所变革——这种文化和技术实践通过自动化、持续集成和持续交付来整合开发与运维。系统工程现在也在采用同样的原则。

基于模型的 CI/CD

在基于模型的 CI/CD 流水线中，系统模型的每一次变更都会触发自动化工作流：

1. 提交 —— 工程师将模型变更推送到仓库。
2. 构建 —— 流水线解析模型并检查语法有效性。
3. 验证 —— 自动化检查验证约束满足情况、需求覆盖率和接口兼容性。
4. 分析 —— 针对更新后的模型执行分析用例（质量预算、功率预算、时序分析）。
5. 报告 —— 结果发布到仪表盘；违规情况触发告警。

模型约束的自动化验证

约束检查可以自动化："每个需求是否都有至少一个 satisfy 链接？""子系统总质量是否超过分配？""所有端口是否都已连接？"这些检查在每次提交时运行，能在几分钟内捕获错误，而不是等上几周。

ModelOps

ModelOps 是将 DevOps 原则应用于模型生命周期管理的新兴术语。它涵盖模型的版本控制、模型的自动化测试、模型部署（发布经验证的基线）以及模型监控（跟踪模型健康指标随时间的变化）。ModelOps 弥合了系统工程师建模环境与组织 IT/DevOps 基础设施之间的差距。

系统工程与软件工程的融合

随着系统模型变成文本化、版本受控和 API 可访问的形式，系统工程与软件工程之间的界限日渐模糊。相同的工具（Git、CI 运行器、评审平台）服务于两个学科。这种融合创建了统一的工程工作流，其中硬件、软件和系统级关注点在同一条流水线中管理。

你已经完成了 MBSE 系列全部 12 个模块。下表总结了每个模块的核心要点。

推荐后续步骤

你的 MBSE 之旅并未就此结束。建议探索本站的以下配套系列：

• SysML v2 教程系列 —— 深入学习语言细节：语法、定义与用法、结构与行为建模、需求、约束和 API。
• 面向对象设计（OOD）系列 —— 学习支撑 SysML 和 MBSE 方法的面向对象基础概念（类、封装、继承、多态、SOLID 原则）。
• DevOps 教程系列 —— 了解 CI/CD 实践、自动化以及 ModelOps 所依托的运维文化。

社区资源

• INCOSE（国际系统工程理事会）—— incose.org —— 全球系统工程专业学会。在世界各地设有分会，举办年度研讨会，设有 MBSE 工作组。
• OMG（对象管理组织）—— omg.org —— 维护 SysML、KerML 和 SysML v2 API 规范的标准化组织。
• 会议 —— INCOSE 国际研讨会、MODELS（ACM/IEEE）、MODELSWARD、IEEE 航空航天会议，以及厂商活动（如 No Magic 世界研讨会）。