一种知识与模型驱动的机载软件智能化失效模式分析方法

    公开(公告)号:CN116483705B

    公开(公告)日:2024-10-11

    申请号:CN202310411559.2

    申请日:2023-04-17

    Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法,属于计算机软件技术领域。所述方法为:通过解析和挖掘适航标准文本,构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据,构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考,扩展SysML语义,基于扩展的SysML建模机载软件系统需求。解析软件需求,利用机载软件分析知识图谱推荐适用的失效模式分析准则,依据不同失效模式类别,遍历需求模型,进行失效影响分析。本发明通过知识库构建与迭代学习,不断扩充知识库,失效模式的完备性显著得到提升,最大限度地挖掘潜在失效,提高软件质量,降低软件开发成本。

    一种考虑模型间和标准一致性的SysML模型校验方法

    公开(公告)号:CN116756005A

    公开(公告)日:2023-09-15

    申请号:CN202310627771.2

    申请日:2023-05-30

    Abstract: 一种考虑模型间和标准一致性的SysML模型校验方法,涉及一种SysML模型校验方法。获取表达各个元素之间关系的SysML树状结构;扩展标准一致性规则,满足模型间一致性校验的先验校验;构建多个筛选类,以解析后的树状结构的根节点为入口进行搜索剪枝,筛选出符合对应条件的元素列表;构建多个带有对应判断逻辑的规则校验类,对元素是否满足标准一致性进行校验判断;将已有的筛选类与对应的规则校验类进行一对多关联绑定,实现标准一致性校验;将不同元素对应的筛选类之间进行相互关联,实现模型间一致性校验。有效帮助发现冲突和不一致性、确保模型与实际系统的一致性、促进跨团队协作和沟通,提高模型的可维护性和可重用性。

    一种基于SysML模型的代码自动生成方法

    公开(公告)号:CN116909544A

    公开(公告)日:2023-10-20

    申请号:CN202310902130.3

    申请日:2023-07-21

    Abstract: 一种基于SysML模型的代码自动生成方法,属于计算机技术领域,所述方法包括如下步骤:一、根据SysML规范,对建立的SysML模型进行多层次模型校验,确保SysML模型是合法有效的;二、依据所建立的模型内容文件,结合模型内的多种视图,对SysML模型进行转换与解析;三、进行组件定义与管理;四、规格化代码映射模板构建;五、进行层次化代码自动生成,生成最终的目标语言代码。本发明可将MBSE和MDA方法进行统一协作,为SysML模型的实现提供了具体的手段,有效降低模型设计开发难度,提升了在MBSE方法中模SysML模型的设计开发能力,保障了系统模型开发实现的效率和质量。

    一种知识与模型驱动的机载软件智能化失效模式分析方法

    公开(公告)号:CN116483705A

    公开(公告)日:2023-07-25

    申请号:CN202310411559.2

    申请日:2023-04-17

    Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法,属于计算机软件技术领域。所述方法为:通过解析和挖掘适航标准文本,构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据,构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考,扩展SysML语义,基于扩展的SysML建模机载软件系统需求。解析软件需求,利用机载软件分析知识图谱推荐适用的失效模式分析准则,依据不同失效模式类别,遍历需求模型,进行失效影响分析。本发明通过知识库构建与迭代学习,不断扩充知识库,失效模式的完备性显著得到提升,最大限度地挖掘潜在失效,提高软件质量,降低软件开发成本。

    一种SysML模型生成与推荐方法

    公开(公告)号:CN116483348B

    公开(公告)日:2024-10-11

    申请号:CN202310467547.1

    申请日:2023-04-26

    Abstract: 本发明公开了一种SysML模型生成与推荐方法,所述方法通过学习已有项目需求和SysML模型,构建SysML需求图自动生成器,实现根据自然语言表达的系统需求自动化地生成SysML需求图,并通过SysML模型的需求追溯关系推荐模型,支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求,自动化地生成SysML需求图模型,并支持可视化的需求确认和变更,进而利用SysML模型的可追溯性,自动化地推荐模块图、活动图等其他SysML图模型,辅助软件系统建模和开发,提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐,还可以进一步应用于其他低代码开发过程中的模型生成和推荐。

    一种基于敏捷系统工程的故障预测和健康管理方法

    公开(公告)号:CN117472331A

    公开(公告)日:2024-01-30

    申请号:CN202311209385.8

    申请日:2023-09-19

    Abstract: 本发明公开了一种基于敏捷系统工程的故障预测和健康管理方法,所述方法基于SysML建模,将PHM系统需求、功能、逻辑、物理架构建模分析的概念融合到PHM架构设计方法中,建立了各模型间的追溯关系,当PHM系统需求发生变更时,则可以根据追溯关系,分析需求变更的影响范围,从系统工程角度以递归和迭代方式更新系统模型,支持PHM系统快速迭代升级。本发明支持PHM系统的架构引领、基于模型、数据驱动的敏捷开发模式,形成适合于PHM敏捷系统工程的标准化支撑环境,支持PHM系统的快速迭代升级,为装备的使用和维修保障提供技术手段,对保障装备系统可靠性、可用性、安全性、可维护性,促进装备系统的创新发展有着重要的意义。

    一种SysML语言的表数据语义和数据流审核方法

    公开(公告)号:CN116894441A

    公开(公告)日:2023-10-17

    申请号:CN202310929605.8

    申请日:2023-07-26

    Abstract: 本发明公开了一种SysML语言的表数据语义和数据流审核方法,所述方法通过分析基于流的敏捷分析流程,创建相应的数据流追溯流程,在该流程中生成与各个图相对应的数据表。在生成的数据表的基础上,生成数据矩阵,并对其进行数据流审核,以检验模型中图与图之间数据的一致性。根据数据流的审核结果,对模型进行迭代更新。对系统需求进行更新,在这个过程中,本发明通过增加基于表的数据描述语义,构建全局的结构化数据表,存储需求分析与建模过程中生成的数据项与数据结构,以有效支持数据流分析,进行数据一致性审核。

    一种SysML模型生成与推荐方法
    8.
    发明公开

    公开(公告)号:CN116483348A

    公开(公告)日:2023-07-25

    申请号:CN202310467547.1

    申请日:2023-04-26

    Abstract: 本发明公开了一种SysML模型生成与推荐方法,所述方法通过学习已有项目需求和SysML模型,构建SysML需求图自动生成器,实现根据自然语言表达的系统需求自动化地生成SysML需求图,并通过SysML模型的需求追溯关系推荐模型,支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求,自动化地生成SysML需求图模型,并支持可视化的需求确认和变更,进而利用SysML模型的可追溯性,自动化地推荐模块图、活动图等其他SysML图模型,辅助软件系统建模和开发,提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐,还可以进一步应用于其他低代码开发过程中的模型生成和推荐。

Patent Agency Ranking