基于模型的系统工程（MBSE）及MWORKS实践 课件 2 MBSE教材讲义 第二章 MBSE语言、工具、方法论.pptx

立足航天、面向工业、服务行业基于模型的系统工程及MWORKS实践聂兰顺教授2024年11月08日

立足航天、面向工业、服务行业MBSE语言、工具和方法聂兰顺教授2024年11月08日

SysML(SystemModelingLanguage，系统建模语言)，是目前MBSE方法中应用最为广泛的主流系统架构设计建模语言，支持对复杂系统开展规范化分析、设计、验证和确认工作。多领域物理统一建模语言Modelica从原理上统一了之前的各种多领域建模机制，其已成为复杂系统仿真建模通用语言。SysML提供基础建模元素，涵盖一套面向任何复杂系统的基础建模框架，抽象层级比较高。同时，它具备扩展功能。目前二者局限性：在设计模型与仿真模型之间的互操作性、统一描述与转换等功能上仍有不足；系统设计与虚拟验证之间尚未贯通，不能满足一体化设计与验证、全阶段模型一致性要求等；无法支持CPS的时序任务分析与设计、信息流专业设计与验证、CPS分布式架构的设计与复用、SOA（面向服务的架构）软件建模、通用总线协议描述与分析等专用需求。因此适用于CPS的领域专用方法、工具作补充满足CPS一体化设计与验证的流程、规范、工具需求。MBSE语言概述

SysMLSysML提供了9张视图，从不同的维度描述系统，9张视图从需求、行为、结构和参数描述同一个系统。需求图（RequirementDiagram）：用来定义和跟踪系统的功能与非功能性要求，以及它们与其他模型元素的关系；用例图（UseCaseDiagram）：用来描述系统的用例，即表示系统的功能、参与者、用例和关系的图形符号，以及它们的范围和目标；块定义图（BlockDefinitionDiagram，BDD）：用来描述系统中的块，即表示系统的部件、模块、接口或约束等的抽象概念，以及它们的属性、操作和关联；内部块图（InternalBlockDiagram，IBD）：用来描述块的内部结构，即表示块的端口、组件、连接器、流程和分配等的图形符号；参数图（ParametricDiagram）：用来描述块的参数约束，即表示块的参数、方程式、值和绑定等的图形符号；包图（PackageDiagram）：用来描述系统中的包，即系统的组织单元，以及它们的依赖和嵌套关系；活动图（ActivityDiagram）：用来描述系统的活动，即表示系统的输入、输出、控制和数据流等的图形符号，以及它们的条件和并发性；序列图（SequenceDiagram）：用来描述系统的交互，即表示系统中的对象、角色、消息和生命线等的图形符号，以及它们的时间顺序和条件；状态机图（StateMachineDiagram）：用来描述系统的状态，即表示系统中的对象、事件、状态、转换和动作等的图形符号，以及它们的触发条件和效果。MBSE语言概述

用例图SysML视图需求图行为图参数图结构图活动图状态机图序列图块定义图内部块图MBSE语言概述包图其他图形通用建模元素表格、矩阵SysML模型的基本元素

ModelicaModelica技术是代表性的数字化设计与验证技术，已经成为世界公认的MBSE和CPS的核心关键支撑技术：系统多领域统一建模仿真。Modelica是一种开放、面向对象的以方程为基础的语言，适用于大规模复杂异构物理系统建模，包括：机械、电子、电力、液压、热、控制及面向过程的子系统模型；用数学方程描述不同领域的物理规律和现象，基于语言内在的组件连接机制实现模型构成和多领域集成，通过求解微分或代数方程实现仿真运行；Modelica的最大特点是支持物理建模。OpenModelingLanguageObjectOrientedMultiEngineeringAcausalModeling28MBSE语言概述

Modelica标准库简表28名称描述UsersGuideModelica（标准）库的使用指南Blocks基本输入输出控制框图模型库（连续、离散、逻辑、表格）Electrical电类模型库（模电、数电、电机等）Math数学函数库（如sin、cos）以及矩阵和向量的运算函数库Mechanics一维和三维机械模型库（多体、平移、转动等）Media媒介性质模型库Thermal模拟热交换和简单管路热流的热力学组件模型库Utilities用于编写脚本等的工具函数库（针对文件、流、字符串、系统等的一些操作）Constants数学和自然界中的一些常量或符号（如p、e、R、S等）Icons图标库SIunits基于ISO标准的国际单位制StateGraph用于离散和响应系统建模的层次状态机模型库

MBSE语言概述28??连接器：描述组件与其他组件的接口变量??行为描述：描述模型物理行为的方程或算法

MBSE工具概述