基于MBSE的民机功能需求辨识与确认

为构建与飞行任务需求匹配的飞机系统功能架构,在民机系统概念设计阶段引入基于模型的系统工程(model-based systems engineering,MBSE)的改进方法,明确了MBSE的民机系统关键功能架构的正向设计过程。以民机典型任务场景“应急复飞”作为研究案例。通过辨识典型民机的功能需求,构建基于人机联合仿真实验的功能需求架构,记录需求的确认过程,实现捕获需求的功能黑盒解白,并利用MBSE架构中功能状态机仿真验证需求的完备性与合理性,最终确保功能设计阶段捕获功能需求过程的可追溯性。可应用于以航空器为代表的复杂系统,能将客户的模糊需求转化为可应用工程实践方法加以验证的具体功能,完善系统功能架构,满足高层级的技术需求。     

基于MBSE的航天器系统建模分析与设计研制方法探索

航天器任务具有任务复杂、高风险、高成本、高可靠性、长周期等特点, 为了适应未来更加复杂的航天器任务研制需要, 在航天器设计与研制中引入了基于模型的系统工程(model-based system engineering, MBSE)方法。提出了基于模型的航天器研制流程和适应航天器研制过程需要的6类模型体系, 分别为需求模型、功能模型、工艺模型、架构模型、产品模型以及验证模型。以月球水资源探测为假想任务背景, 给出了MBSE建模过程及其模型, 充分体现了MBSE方法在航天器设计及其集成仿真验证方面的优势。     

基于MBSE的民机审定试飞场景设计

面向适航审定的飞行试验是验证民用飞机满足设计需求、表明适航条款符合性、形成审定证据的高风险、高成本的重要取证活动。定义和设计民机审定试飞场景是进行民机适航审定飞行试验的前提。由此提出了基于适航符合性证据链的审定试飞场景设计方法及流程。以“符合性证据链”为核心，规划了逻辑严密、可追溯的适航符合性证据。通过引入基于模型的系统工程(model-based systems engineering, MBSE)方法，实现了审定试飞场景符合性证据链构建过程的模型化。为提升可操作性,以适航要求“地面航向操纵性”为典型案例,演示了审定试飞场景需求分析、设计与需求确认的过程。最终设计得到的审定试飞场景能够支持民机适航审定飞行试验的开展。     

基于X语言的起飞场景民机协同设计与仿真一体化方法

针对大型复杂产品,传统基于模型的系统工程(model-based system engineering, MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。     

基于模型的载人航天工程需求分析方法

基于模型的系统工程(model-based systems engineering, MBSE)能够提升复杂工程的总体设计能力和设计效率，在工程领域得到了广泛应用，但在载人航天工程领域尚处于起步阶段。在载人航天任务方案论证与方案设计阶段，为了规范基于模型的需求分析与系统设计工作，提出了任务需求分析的初步工作方法和流程。基于MBSE方法论和载人航天工程特点，提出了开展任务需求分析、能力需求分析、系统架构设计、系统需求分析、仿真验证、需求发布6个步骤，并以美国阿尔特弥斯计划为案例，详述了需求分析的流程。为后续开发覆盖载人航天全任务周期的数字化设计和技术管理流程奠定了基础。     

基于DoDAF的民机MBSE研制方法

针对传统的民机研制方法中面临的设计需求不完整、难以保证设计与需求一致性、设计方案难以更改等一系列问题, 结合美国国防部架构框架(Department of Defense Architecture Framework, DoDAF)的多个视角, 提出基于DoDAF的民机基于模型的系统工程研制方法。该方法参考DoDAF中不同的视点从多角度对民机研制要求进行分解与细化, 生成资源流动模型、活动模型以及系统接口模型等, 开发出信息更加立体的飞机能力模型, 指导民用飞机的设计, 证明了基于DoDAF的民机研制方法能够从多视角的角度完整、全面地分解飞机能力要求，并将其转化为具体的设计要求, 从而更好地指导民机研制, 提高民机研制效率。     

基于DoDAF的载人登月体系结构建模

针对传统文本模式存在的需求域与设计域之间信息离散、关联性差、不易追溯等问题，采用基于模型的系统工程(model-based systems engineering, MBSE)方法开展载人登月系统设计。引入美国国防部架构框架(Department of Defense Architecture Framework, DoDAF),提出载人登月总体设计体系结构可执行模型的流程和方法；采用系统建模语言(system modeling language, SysML)建立了视图模型，描述了系统架构、需求模型和逻辑接口。并开展了初步逻辑仿真验证，可为载人登月系统设计和MBSE方法应用提供参考。     

基于SysML的武器装备体系能力需求建模分析方法

为了便于不同领域研究人员之间的沟通交流，减少文本描述的歧义性，有必要采用建模的形式开展体系能力需求分析。本文根据基于模型的系统工程(model-based system engineering, MBSE)思想，采用系统建模语言(system modeling language, SysML)以及多视图产品形式，描述了武器装备体系能力需求的建模分析方法，分别对作战概念、作战场景、任务分解、作战活动、需求分类、需求分析以及指标分析等7个方面进行了描述，并选取未来空战新概念“作战云”典型空战样式，构建了“海上防御型协同制空作战场景”,验证了该体系能力需求建模分析方法的可行性。     

基于MBSE的民机系统功能建模方法

针对传统系统工程存在的迭代周期长、开发效率低、模型二义性等问题, 结合基于模型的系统工程理念, 将敏捷系统工程概念引入到民机研制过程中, 并利用系统建模语言定义了基于场景的功能建模方法, 详细分析了民机自动飞行控制系统高度控制用例的顶层功能愿景, 建立了对应的功能模型和接口描述视图。该方法以迭代的形式展开系统功能建模, 能够充分保证需求和功能模型紧密结合, 正向构建满足民机系统以需求为导向的功能建模方法, 为民机系统的架构设计工作提供基础。     

战斗机无人机编组协同系统需求捕获与验证

战斗机-无人机编组协同(fighter-drone teaming, FDT)是人员-信息-物理-智能一体化的全新作战形态, 其系统需求捕获与验证方法尚没有工程先例和经验可循, 亟需正向探索和实践。在一般的基于模型的系统工程(model-based systems engineering, MBSE)方法基础上, 提出整体纳入跨装备协同要素、将分析模型和验证模型分开构建、同步考量逻辑行为与时空关系的捕获与验证策略, 以及适用于编组协同“任务场景构建-系统行为分析-需求映射定义-模型在环验证”的流程和具体方法, 进而以典型“二带二”对地FDT为例进行应用检验。检验结果表明, 该方法可满足工程总体多专业联合工作需要, 能够高效形成编组协同系统需求清单及相应的捕获与验证依据, 从而为后续的系统设计和实现确立清晰的开发目标和设计指导。     

民用飞机高度控制系统MBSE建模方法

针对传统基于文本的系统工程方法中存在设计文档变更难度大、工程模型可读性差、模型复用性不强等问题,提出了基于美国国防部体系架构(department of defense architecture framework,DoDAF)的基于模型的系统工程(model-based systems engineering,MBS...     

基于STPA-ANP模型的民机系统安全性分析

随着民机系统复杂程度不断提高, 传统的安全性分析方法已不能完全满足危险源高效识别的要求, 为有效分析和评估民机系统安全性, 提出系统理论过程分析(system-theory process analysis, STPA)和网络分析法(analytic network process, ANP)相结合的安全性分析方法。针对STPA没有给出完整的关键致因分析与评估过程, 将STPA与ANP关键结构对应结合, 对危险控制动作进行致因分析和评估, 得到危险控制动作关键致因。以某型民机数字式飞控系统为例展开分析, 通过形式化建模验证及仿真验证, 证明该模型方法可以准确和完整地识别分析系统潜在危险并确定危险关键致因, 为民机系统安全性分析提供支持。     

面向复杂系统需求分析的DSL构建

在航空航天领域, 系统的复杂度快速增长, 这对基于模型的系统工程的开展带来巨大的挑战, 尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题, 根据领域建模的思想, 引入领域特定语言(domain specific language, DSL)的概念, 提出一种构建DSL进行需求分析的方法, 并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先, 从基于模型的系统工程方法论角度, 对工程应用中的需求捕获与分解进行了分析; 接着, 通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要, 构建了DSL的具体语法与语义; 最后, 以具体的系统为例与系统建模语言分析方法做出了对比。结果表明, 所构建的DSL在进行复杂系统的需求分析与建模时, 与实际需要契合, 在各个环节都具有针对性强、形式化的优点, 有利于保证需求分析与建模工作的正确性。