目录
一、MBSE 是什么?
MBSE(Model-Based Systems Engineering)即“基于模型的系统工程”,是一种通过模型作为系统开发全过程核心表达手段的系统工程方法论。MBSE用可视化、结构化、可追溯的方式描述系统需求、设计、分析和验证内容。
本质:以“模型”代替传统的“文档驱动”工程方法,提升系统复杂性管理能力与生命周期一致性。
二、MBSE vs 传统文档式系统工程
维度 | 文档式工程 | MBSE |
主要媒介 | 文本文档(Word/PDF) | 可执行模型(SysML/UML等) |
变更影响分析 | 靠人工查阅 | 可自动追踪依赖与影响 |
可视化程度 | 弱,信息分散 | 高,结构清晰可视 |
协作能力 | 多文档易分裂 | 模型集中共享、协同建模 |
自动化支持 | 难以复用/自动化 | 支持验证、代码/测试生成 |
生命周期贯通 | 易断裂 | 从需求 → 验证一致 |
三、MBSE 的核心价值
1.结构化表达系统需求与设计逻辑
2.实现系统生命周期的跨阶段贯通
3.支持系统级验证与一致性检查
4.保障系统复杂性可管理与可追踪
5.支持自动化建模 → 自动代码生成、测试建模、仿真分析等
四、MBSE 的核心组成(四大要素)
模块 | 说明 |
需求建模(Requirements) | 建模系统目标、用户期望、性能约束等 |
功能建模(Functional) | 描述系统的行为能力、用例场景、交互逻辑 |
架构建模(Architecture) | 系统结构分解、组件之间连接关系 |
验证与确认(Verification & Validation) | 验证模型对需求的响应,驱动测试用例设计与覆盖 |
五、MBSE 的典型建模语言
SysML(系统建模语言)
SysML 是 UML 的扩展,适配系统工程场景,具备以下模型图:
图类型 | 说明 |
Requirements Diagram | 需求图,建模系统需求、约束、验证关系 |
Use Case Diagram | 用例图,描述用户视角系统功能 |
Activity Diagram | 活动图,表示系统流程与逻辑 |
Sequence Diagram | 序列图,交互过程时序关系 |
Block Definition Diagram | 块定义图,组件结构、接口、属性 |
Internal Block Diagram | 内部块图,组件内部连接与数据流 |
State Machine Diagram | 状态图,系统状态转移逻辑 |
Parametric Diagram | 参数图,性能建模与仿真依赖关系 |
SysML 是目前 MBSE 实施中最广泛使用的语言标准。
六、MBSE 开发流程(简化视图)
[需求获取]
↓
[需求模型建立] → Requirements Diagram
↓
[行为建模] → Use Case, Activity, Sequence
↓
[结构建模] → Block Definition, Internal Block
↓
[接口建模 + 参数建模]
↓
[模型验证 + 仿真]
↓
[测试建模 + 工具生成]
七、主流 MBSE 工具链
工具 | 特点 | 适用领域 |
MagicDraw + Cameo Systems Modeler | 工业级建模工具,支持完整SysML | 国防、航空航天、工业制造 |
Enterprise Architect(EA) | 轻量级、性价比高 | 教育、IT系统、初创项目 |
IBM Rhapsody | 强调嵌入式集成 | 航空、军工 |
Capella(基于Arcadia) | 空客开源建模工具,支持五层架构 | 航空电子、电气系统 |
Modelica + OpenModelica | 强调建模仿真 | 控制系统、热力学建模 |
Matlab Simulink | 数学建模+实时仿真 | 自动控制、信号处理 |
八、MBSE 在行业中的典型应用
行业 | 应用场景 |
航空航天 | 飞控系统、卫星地面控制、雷达系统建模 |
智能制造 | MES系统、PLC控制系统、智能工厂平台 |
汽车电子 | ADAS、自动驾驶控制栈、电子电气架构 |
国防工业 | 军事指挥系统、C4ISR系统、战场仿真 |
通信行业 | 基站系统建模、5G网络架构设计 |
医疗设备 | 医疗成像系统、手术导航系统设计 |
能源行业 | 智能电网、风电/核电控制建模 |
九、MBSE + 数字孪生 + AI 的融合趋势
发展方向 | 描述 |
数字孪生驱动 | 模型不仅用于设计,还与实物系统同步运行 |
AI 生成建模 | 利用自然语言/流程图生成初步 SysML 模型 |
自动测试/代码生成 | 模型到代码到测试一体化 |
模型云协作 | Web建模 + Git协作 + 模型审查流程 |
与 DevSecOps 结合 | 模型驱动的 CI/CD、测试、合规校验自动化 |
十、总结
MBSE = 模型语言 + 建模方法 + 工具平台 + 工程过程
它是当前工程复杂性管理、跨专业团队协作、自动化设计验证的关键手段,也是实现数字化转型、智能化研发的基础支撑。
十一、附一套标准MBSE 项目开发范式
1.推荐工具链(可选)
模块 | 工具推荐 | 说明 |
建模平台 | Cameo Systems Modeler、EA、Capella | 主力 SysML 支持平台 |
配置管理 | Git / GitLab / SVN + Model Version Control | 管理模型变更、协同建模 |
需求管理 | IBM DOORS、Jama、ReqIF Studio | 需求可追踪性、验证链 |
模型验证 | Cameo Simulation Toolkit、Modelica | 行为仿真与一致性检查 |
任务协同 | Jira、Trello、Confluence | 任务拆解 + 知识记录 |
自动测试生成 | TestConductor(Simulink)、Cameo Test Case | 从模型生成测试用例 |
模型到代码 | Papyrus RT、Cameo Code Engineering | 支持部分代码生成 |
2.MBSE 项目标准流程(分阶段)
1. 启动准备阶段
2. 系统需求建模阶段
3. 功能与行为建模阶段
4. 结构架构建模阶段
5. 接口与参数建模阶段
6. 模型验证与一致性检查阶段
7. 测试/代码/文档自动化阶段
8. 模型版本归档与移交
3.任务拆解(交付内容 + 参与角色)
阶段 | 主要任务 | 关键交付物 | 参与角色 |
项目启动 | 工具环境配置、建模约定制定 | 模型仓库结构、建模规则文档 | 系统架构师、MBSE工程师 |
需求建模 | 用例分析、需求链构建 | SysML Requirement 图、用例图 | 产品经理、需求分析师 |
行为建模 | 系统行为流程、场景设计 | 活动图、序列图 | 系统设计师、测试工程师 |
架构建模 | 系统分层、组件分配 | Block Definition 图、内部连接图 | 架构师、开发工程师 |
接口建模 | 接口定义、参数建模 | Interface Block 图、参数图 | 架构师、验证工程师 |
验证仿真 | 状态验证、行为执行 | 状态图、行为仿真记录 | MBSE 仿真工程师 |
自动生成 | 测试生成、代码映射 | 测试用例模型、接口 API 说明 | 测试开发、软件开发 |
管理维护 | 模型版本控制、变更追踪 | 模型快照、变更影响报告 | 配置管理员、审查人 |
4.核心建模图谱建议(SysML)
模型分类 | 推荐图类型 | 用途说明 |
需求建模 | Requirements Diagram | 定义需求、追踪验证 |
功能建模 | Use Case、Activity Diagram | 功能分解、行为流程 |
行为建模 | Sequence、State Machine | 通信流程、状态响应 |
架构建模 | Block Definition、Internal Block | 结构分解、模块连接 |
接口建模 | Interface Block、Parametric | 模块通信、性能建模 |
验证建模 | Allocation + TestCase 图 | 建立需求→测试追踪链 |
5.版本管理与协同规范
内容 | 建议做法 |
模型版本管理 | Git 仓库 + 模型增量 commit(推荐 XMI / MDZIP) |
分支管理 | Feature 分支 + 合并审查(类似代码协作) |
命名规范 | 统一命名规则(模块_图名_编号),便于跨团队索引 |
模型审查机制 | 每阶段设模型审查会,采用模型审查清单(MRC) |
文档化同步 | 建议将模型导出为 HTML / PDF 图文结构文档供审阅 |
6.示例输出成果包结构(建议)
MBSE_Project/
├── 01_Requirements/
│ └── system_requirements.mdzip
├── 02_UseCases/
│ └── uc_diagrams.mdzip
├── 03_Functional_Behavior/
├── 04_Architecture/
├── 05_Interfaces/
├── 06_Verification/
├── 07_Tests_Generated/
├── 08_Release_Packages/
│ ├── docs/
│ ├── html_export/
│ └── version_snapshots/
├── README.md
├── VERSION_LOG.md
└── LICENSE
7.注意事项与最佳实践
-
全过程模型一致性检查:推荐使用工具内建校验规则,或手动定义约束检查(如 OCL)
-
需求到设计的 Traceability:通过 SysML 的 «satisfy» «verify» «derive» 实现端到端追溯
-
从模型生成测试 / 接口文档:最大化模型价值
-
安全性与权限分层建模:重要模型可按层划分敏感性与协作权
十二、附电动汽车行业 MBSE 实战案例
1.项目背景
项目名称: EVSmartDrive 智能电动车驾驶系统 项目目标: 为新型电动车提供支持 ACC 自适应强制安全距离驾驶和自动站车的核心控制系统
MBSE 目的: 通过基于模型的工程模式,在需求分析、功能设计、结构分析、交互接口和測试管理方面完成整套数字化模型。
2.MBSE 工作流程
1. 需求分析
2. 功能展示 & 行为模型
3. 结构与组件分析
4. 接口 & 参数模型
5. 状态 & 实时控制模型
6. 验证 & 測试配置
3.核心 SysML 模型设计
(1)需求图 (Requirement Diagram)
-
安全距离系统需求:车速、前车距离、动态响应时间
-
站车时需观测定位点,定位精度达到±0.1m
(2)用例图 (Use Case Diagram)
-
ACC 驾驶模式
-
自动站车模式
-
手动切换、强制控制互拟
(3)活动图 (Activity Diagram)
-
车速输入 → PID 管理 → 到达目标距离
-
前方相机识别、驱动控制线路
(4)结构图 (Block Definition Diagram)
组件 | 描述 |
SensorBlock | 包括车速传感器、混合传感器 |
ControlLogicBlock | 内部包括 PID 调节、状态机切换 |
BrakeActuatorBlock | 刷车、动力转换、支持给压 |
(5)内部块图 (IBD)
显示 SensorBlock 输出 → ControlLogicBlock 输入 → BrakeActuatorBlock 执行操作
(6)状态图 (State Machine)
-
[Idle] → [Cruise Active] → [Following] → [Stop-and-Go] → [Standby]
(7)参数图 (Parametric Diagram)
-
统一加速算法规则
-
速度调节公式
4.验证系统
-
需求、功能、状态之间接运 <> <> <>
-
根据用例生成測试场景,调用模型演练
5.配套工具 & 版本管理
功能 | 工具 |
模型编辑 | Cameo Systems Modeler |
行为演练 | Cameo Simulation Toolkit |
版本管理 | Git + MDZIP 文件 |
需求管理 | Jama / DOORS |
測试调用 | Simulink (MBD 融合) |
6.项目构成文件结构
EVSmartDrive_MBSE/
├── 01_Requirements/
│ └── EV_ACC_Requirements.mdzip
├── 02_UseCases/
├── 03_Behaviors/
├── 04_Structures/
├── 05_Parametrics/
├── 06_Verification/
├── 07_Test_Models/
├── 08_Exports/
│ ├── html_docs/
│ ├── simulation_logs/
│ └── reviews/
└── README.md
7.结论
通过 MBSE 方式对 EVSmartDrive 车载系统进行需求分析、功能定义、结构设计、接口组织和验证建模,利用模型控制处理复杂交互,托管设计结果,支撑数字化产品创新。
扩展阅读:
【软件系统架构】系列四:嵌入式技术 | 【软件系统架构】系列四:嵌入式技术 |
【软件系统架构】系列四:嵌入式软件开发流程全解析(包含示例) | 【软件系统架构】系列四:嵌入式软件开发流程全解析(包含示例) |
【软件系统架构】系列四:嵌入式软件-DO-178B 安全认证标准 | 【软件系统架构】系列四:嵌入式软件-DO-178B 安全认证标准 |
【软件系统架构】系列四:嵌入式软件-CMMI 安全认证标准及认证所需资源模板 | 【软件系统架构】系列四:嵌入式软件-CMMI 安全认证标准及认证所需资源模板 |
【软件系统架构】系列四:嵌入式软件-M2M(Machine to Machine)系统详解及开发模板 | 【软件系统架构】系列四:嵌入式软件-M2M(Machine to Machine)系统详解及开发模板 |
【软件系统架构】系列四:嵌入式软件-NPU(神经网络处理器)系统及模板 | 【软件系统架构】系列四:嵌入式软件-NPU(神经网络处理器)系统及模板 |
【软件系统架构】系列四:嵌入式软件-M2M 与 NPU 技术对比及协同设计方案 | 【软件系统架构】系列四:嵌入式软件-M2M 与 NPU 技术对比及协同设计方案 |
【软件系统架构】系列四:嵌入式微处理器(MPU) | 【软件系统架构】系列四:嵌入式微处理器(MPU) |
【软件系统架构】系列四:嵌入式微控制器(MCU) | 【软件系统架构】系列四:嵌入式微控制器(MCU) |
【软件系统架构】系列四:数字信号处理器(DSP) | 【软件系统架构】系列四:数字信号处理器(DSP) |
【软件系统架构】系列四:SoC(System on Chip,片上系统) | 【软件系统架构】系列四:SoC(System on Chip,片上系统) |
【软件系统架构】系列四:MPU vs MCU vs DSP vs SoC 嵌入式处理器选型终极指南 | 【软件系统架构】系列四:MPU vs MCU vs DSP vs SoC 嵌入式处理器选型终极指南 |
【软件系统架构】系列四:嵌入式微处理器 | 【软件系统架构】系列四:嵌入式微处理器 |
【软件系统架构】系列四:多核处理器架构与调度(Deep Dive) | 【软件系统架构】系列四:多核处理器架构与调度(Deep Dive) |
【软件系统架构】系列四:嵌入式软件与操作系统 | 【软件系统架构】系列四:嵌入式软件与操作系统 |
【软件系统架构】系列四:嵌入式软件与操作系统 | 【软件系统架构】系列四:嵌入式软件与操作系统 |
【软件系统架构】系列四:嵌入式协议栈架构详解 | 【软件系统架构】系列四:嵌入式协议栈架构详解 |
【软件系统架构】系列四:嵌入式中间件设计全景解析 | 【软件系统架构】系列四:嵌入式中间件设计全景解析 |
【软件系统架构】系列四:嵌入式 SDK 框架设计指南 | 【软件系统架构】系列四:嵌入式 SDK 框架设计指南 |
【软件系统架构】系列四:AI 模型在嵌入式设备部署指南 | 【软件系统架构】系列四:AI 模型在嵌入式设备部署指南 |
【软件系统架构】系列四:嵌入式操作系统 | 【软件系统架构】系列四:嵌入式操作系统 |
【软件系统架构】系列四:嵌入式实时操作系统(RTOS) | 【软件系统架构】系列四:嵌入式实时操作系统(RTOS) |
【软件系统架构】系列四:设备驱动与板级支持包(BSP) | 【软件系统架构】系列四:设备驱动与板级支持包(BSP) |
【软件系统架构】系列五:OSI/RM 七层模型和TCP/IP分层模型深入解析 | 【软件系统架构】系列五:OSI/RM 七层模型和TCP/IP分层模型深入解析 |
【软件系统架构】系列五:TCP/IP 协议栈 | 【软件系统架构】系列五:TCP/IP 协议栈 |
【软件系统架构】系列五:LwIP协议-轻量级开源TCP/IP协议栈 | 【软件系统架构】系列五:LwIP协议-轻量级开源TCP/IP协议栈 |
【软件系统架构】系列五:通信方式&同步方式 | 【软件系统架构】系列五:通信方式&同步方式 |
【软件系统架构】系列五:深入解析物联网网络分类及其在智能锁系统中的应用架构设计 | 【软件系统架构】系列五:深入解析物联网网络分类及其在智能锁系统中的应用架构设计 |
【软件系统架构】系列五:IP地址 | 【软件系统架构】系列五:IP地址 |
【软件系统架构】系列五:网络存储技术 | 【软件系统架构】系列五:网络存储技术 |
【软件系统架构】系列五:RAID技术(冗余磁盘阵列)深入解析 | 【软件系统架构】系列五:RAID技术(冗余磁盘阵列)深入解析 |
【软件系统架构】系列六:计算机语言深入解析 | 【软件系统架构】系列六:计算机语言深入解析 |
【软件系统架构】系列六:常用编程语言语法速查表(入门版) | 【软件系统架构】系列六:常用编程语言语法速查表(入门版) |
【软件系统架构】系列六:多语言 “Hello, World!“ 对比大全 | 【软件系统架构】系列六:多语言 “Hello, World!“ 对比大全 |
【软件系统架构】系列六:多语言入门题集(共30题)+ 答案详解 | 【软件系统架构】系列六:多语言入门题集(共30题)+ 答案详解 |
【软件系统架构】系列六:多媒体系统深入解析 | 【软件系统架构】系列六:多媒体系统深入解析 |
【软件系统架构】系列六:系统工程 | 【软件系统架构】系列六:系统工程 |