一种基于MBSE的运载火箭逻辑架构一致性验证方法及装置制造方法及图纸

本发明专利技术涉及一种基于MBSE的运载火箭逻辑架构一致性验证方法，本发明专利技术对运载火箭系统逻辑架构进行仿真，对各个相关子系统建立了状态机，状态机图可表征一个对象在生命周期内所经历的各种状态，以及引起状态变化的事件，同时对功能按照状态进行划分。自动生成的时序图描述了对象与对象之间传递消息以及功能执行的先后顺序。建立的架构图表示一个系统的内部组成以及各个组成负责执行的功能，并显示系统的周边对象以及与周边的数据接口。本发明专利技术通过对架构模型的状态机或者时序图来对系统架构进行评判，验证状态机图和工作场景的一致性，以及功能的分解的正确性；以此来检验是否正确理解用户需求，从而在早期发现问题，减少更改，降低研制成本。低研制成本。低研制成本。

【技术实现步骤摘要】
一种基于MBSE的运载火箭逻辑架构一致性验证方法及装置


[0001]本专利技术属于运载火箭基于模型的系统工程领域，主要涉及一种基于MBSE的运载火箭逻辑架构一致性验证方法及装置。

技术介绍

[0002]运载火箭研制是一项复杂的系统工程，涉及学科多，相关方多，系统复杂。基于模型的系统工程(ModelBasedSystemEngineering，MBSE)已成为国内外工程界解决复杂系统设计问题的研究与应用热点，在国内一些企业和研究机构得到广泛的技术研究及应用。MBSE通过对运载火箭架构建模、架构验证，在研发设计的早期，对系统架构开展仿真分析，验证运载火箭在当前的功能定义及架构划分条件下，在接受到各个信号之后，能否完成相应的工作场景。
[0003]现有技术中，运载火箭系统逻辑架构决定了模型架构及功能划分是否符合预期，若能对运载火箭架构模型提前进行验证，则能在早期发现问题，保证正确理解用户需求，减少更改，降低成本。

技术实现思路

[0004]本专利技术的目的是通过对运载火箭系统逻辑架构进行仿真，用时序图来分析现有的架构及功能划分本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于MBSE的运载火箭逻辑架构一致性验证方法，其特征在于，包括建立系统逻辑架构：根据需求分析系统工作场景，按照工作场景对系统功能进行分析，形成系统功能架构；对系统功能架构进行逻辑子系统划分与功能分配，形成系统逻辑架构；对系统逻辑架构中的各个子系统建立状态机：定义状态与状态之间的转化信息、各个状态下可允许执行的功能、状态转化时传递的所属逻辑架构的功能交换信息；进行状态机仿真验证：对子系统发送信号，触发子系统执行相应功能，以及子系统向外部发送信号；期间，伴随着各个子系统状态的转化，状态机中显示系统状态随信号的转换过程；根据状态机中发送的信号生成运行场景时序图；一致性验证：分析运行场景时序图是否与相关方的期望一致，验证状态机、逻辑架构、时序图三者的一致性。2.根据权利要求1所述的一种基于MBSE的运载火箭逻辑架构一致性验证方法，其特征在于，所述一致性验证步骤中，状态机中通过不同的颜色显示系统状态随着信号的转换过程。3.根据权利要求1所述的一种基于MBSE的运载火箭逻辑架构一致性验证方法，其特征在于，所述系统工作场景包括安全自毁场景，在所述安全自毁场景中，涉及的子系统包括控制系统、地面支持系统和安全自毁系统；控制系统执行导航计算和自毁条件判定，当满足自毁条件时给安全自毁系统发送自毁指令；或者由地面支持系统给自毁系统发送自毁指令。4.根据权利要求3所述的一种基于MBSE的运载火箭逻辑架构一致性验证方法，其特征在于，对所述安全自毁系统逻辑架构中的各个相关方建立状态机，进行如下定义：安全自毁系统在接受到地面支持系统或者控制系统的自毁指令后，进入到自毁状态，并在安全自毁系统内部发送自毁信号；来自地面支持系统或者控制系统的自毁指令即为安全自毁系统飞行状态向自毁状态转换的触发器。5.根据权利要求4...

【专利技术属性】
技术研发人员：熊双武，朱佩婕，闾三宇，张行，阮彩霞，马道远，胡文强，龚卿青，
申请(专利权)人：航天科工火箭技术有限公司，
类型：发明
国别省市：