系统与软件工程 基于模型的系统工程 统一架构建模语言标准立项修订与发展报告.docx

*

《系统与软件工程基于模型的系统工程统一架构建模语言》标准立项与发展研究报告

EnglishTitle:ResearchReportontheStandardizationDevelopmentof“SystemsandSoftwareEngineering—Model-BasedSystemsEngineering—UnifiedArchitectureModelingLanguage”

摘要

本报告旨在系统阐述《系统与软件工程基于模型的系统工程统一架构建模语言》国家标准立项的背景、目的、核心内容及其对行业发展的战略意义。当前，核心工业软件作为我国亟待突破的“卡脖子”关键技术之一，其自主可控发展关乎国家安全与高端装备制造业的转型升级。基于模型的系统工程（MBSE）作为复杂产品研制的核心方法论，正从多元探索走向统一与标准化。然而，国外主流的SysML、Modelica等建模语言及其方法论根植于其工业体系，在我国应用时存在“水土不服”、模型异构、集成困难等问题，难以支撑全生命周期一体化建模与数字孪生等先进理念的落地。

在此背景下，本标准旨在规范以我国自主可控的KARMA语言为基础的统一架构建模语言。KARMA语言是一种高抽象层次的文本式建模语言，已在航空航天等领域得到验证。本标准将定义其元元模型、元模型、具体语法及抽象语法，构建覆盖使命任务、体系架构、系统需求、概念设计等研发前端活动的统一语义表达框架。通过集成OSLC、ReqIF等标准，旨在实现研发数据与领域知识的一体化描述、决策与唯一数据源管理。本标准的制定与推广，将有力推动我国自主MBSE方法论的标准化、工具生态的构建，以及符合中国工业实践的本体库建设，为打造自主可控的数字化工程解决方案、支撑国防强国与制造强国战略提供关键基础支撑。

关键词：

基于模型的系统工程(Model-BasedSystemsEngineering,MBSE)

统一架构建模语言(UnifiedArchitectureModelingLanguage)

KARMA语言(KARMALanguage)

自主可控(IndigenousandControllable)

语义建模(SemanticModeling)

全生命周期一体化(FullLifecycleIntegration)

数字化工程(DigitalEngineering)

标准化(Standardization)

Keywords:

Model-BasedSystemsEngineering(MBSE)

UnifiedArchitectureModelingLanguage

KARMALanguage

IndigenousandControllable

SemanticModeling

FullLifecycleIntegration

DigitalEngineering

Standardization

正文

一、立项背景与战略意义

核心工业软件是支撑国家高端装备研发与制造的基石，已被列为影响我国创新发展的关键“卡脖子”技术领域。其发展水平直接关系到国家安全，特别是在航空航天、国防军工等战略性产业中，是实现装备体系化、信息化、自主化和实战化的核心保障。国家《“十四五”规划和2035年远景目标纲要》及《国防科技工业强基工程2025》等顶层设计文件，均将突破工业软件瓶颈、构建先进国防科技工业体系置于突出位置。

基于模型的系统工程（MBSE）作为应对现代复杂系统研制挑战的主流方法论，正逐步取代传统的“文档驱动”模式，成为全球工业界的共识。国际系统工程协会（INCOSE）、美国国防部（DOD）等机构大力推广，并形成了以SysML（系统建模语言）、AADL（架构分析与设计语言）、Modelica（多物理系统建模语言）等为代表的建模语言生态。过去十年，MBSE领域呈现“百花齐放”的局面，但随着达索、西门子等工业软件巨头的收购整合，MBSE方法论与工具链正加速走向统一和标准化，其内涵聚焦于标准、流程、一体化模型框架及本体的协同建设。

然而，我国在引进和应用国外MBSE体系时面临严峻挑战。这些方法论与语言基于国外工业基础与设计准则构建，与我国独特的工业体系、研发流程和标准规范存在显著差异，导致“两层皮”现象严重——即引进的方法论难以深度融入实际工程实践，模型与物理世界脱节。具体技术痛点包括：现有系统建模语言对不同学科（机、电、软、控）和层级（系统、分系统、部件）的设计要素表征存在异构性；系统架构建模语言的分析求解能力不足；架构建模（如SysML）与多学科功能样机建模（如Modelica）之间集成壁垒高，难以实现从需求到仿真验证的连续、无缝数据传递