-
公开(公告)号:CN116909544A
公开(公告)日:2023-10-20
申请号:CN202310902130.3
申请日:2023-07-21
Applicant: 哈尔滨工业大学
Abstract: 一种基于SysML模型的代码自动生成方法,属于计算机技术领域,所述方法包括如下步骤:一、根据SysML规范,对建立的SysML模型进行多层次模型校验,确保SysML模型是合法有效的;二、依据所建立的模型内容文件,结合模型内的多种视图,对SysML模型进行转换与解析;三、进行组件定义与管理;四、规格化代码映射模板构建;五、进行层次化代码自动生成,生成最终的目标语言代码。本发明可将MBSE和MDA方法进行统一协作,为SysML模型的实现提供了具体的手段,有效降低模型设计开发难度,提升了在MBSE方法中模SysML模型的设计开发能力,保障了系统模型开发实现的效率和质量。
-
公开(公告)号:CN116483705A
公开(公告)日:2023-07-25
申请号:CN202310411559.2
申请日:2023-04-17
Applicant: 哈尔滨工业大学
Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法,属于计算机软件技术领域。所述方法为:通过解析和挖掘适航标准文本,构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据,构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考,扩展SysML语义,基于扩展的SysML建模机载软件系统需求。解析软件需求,利用机载软件分析知识图谱推荐适用的失效模式分析准则,依据不同失效模式类别,遍历需求模型,进行失效影响分析。本发明通过知识库构建与迭代学习,不断扩充知识库,失效模式的完备性显著得到提升,最大限度地挖掘潜在失效,提高软件质量,降低软件开发成本。
-
公开(公告)号:CN116610294B
公开(公告)日:2024-12-06
申请号:CN202310448889.9
申请日:2023-04-24
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于Modelica语言的Autosar模型库构建方法,所述方法包括如下步骤:一、根据Autosar规范,将Autosar系统模型库进行设计分解;二、基于Modelica语言对Autosar中数据类型进行构建;三、基于Modelica语言构建Autosar基本建模元素,以面向对象的思想处理Autosar中各元素定义信息以及各元素之间静态结构关系;四、基于Modelica语言对Autosar建模元素进行图形化表示;五、通过Modelica语言支持Autosar模型各元素的动态行为交互;六、基于Modelica语言支持Autosar系统模型参数值、变量类型动态修改与数据标定。本发明可有效地降低Autosar模型开发难度,准确地表示Autosar模型信息,提升模型动态设计能力,提高设计效率。
-
公开(公告)号:CN116483348B
公开(公告)日:2024-10-11
申请号:CN202310467547.1
申请日:2023-04-26
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种SysML模型生成与推荐方法,所述方法通过学习已有项目需求和SysML模型,构建SysML需求图自动生成器,实现根据自然语言表达的系统需求自动化地生成SysML需求图,并通过SysML模型的需求追溯关系推荐模型,支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求,自动化地生成SysML需求图模型,并支持可视化的需求确认和变更,进而利用SysML模型的可追溯性,自动化地推荐模块图、活动图等其他SysML图模型,辅助软件系统建模和开发,提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐,还可以进一步应用于其他低代码开发过程中的模型生成和推荐。
-
公开(公告)号:CN117787217A
公开(公告)日:2024-03-29
申请号:CN202311822885.9
申请日:2023-12-27
Applicant: 哈尔滨工业大学
IPC: G06F40/151 , G06F8/20 , G06F8/30 , G06F8/71
Abstract: 本发明公开了一种基于XML的ARXML文件转换方法,所述方法包括如下步骤:一、获得AUTOSAR工具中XML项目配置文件对应的XSD模式定义文件;二、从ARXML对应的XSD模式定义文件中,人工抽取最小合法子集,获得包含ARXML模式定义最小合法子集的XSD文件;三、将XSD文件中的元素类型封装为程序代码中的类,支持对XSD模式定义下XML文件内容的序列化和反序列操作;四、设计ARXML文件转换代码,实现ARXML文件与AUTOSAR工具XML项目配置文件之间的双向转换。通过本发明,不同的AUTOSAR工具软件能够快速实现对ARXML文件的功能支持,提升不同AUTOSAR工具之间的互操作性。
-
公开(公告)号:CN117472331A
公开(公告)日:2024-01-30
申请号:CN202311209385.8
申请日:2023-09-19
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种基于敏捷系统工程的故障预测和健康管理方法,所述方法基于SysML建模,将PHM系统需求、功能、逻辑、物理架构建模分析的概念融合到PHM架构设计方法中,建立了各模型间的追溯关系,当PHM系统需求发生变更时,则可以根据追溯关系,分析需求变更的影响范围,从系统工程角度以递归和迭代方式更新系统模型,支持PHM系统快速迭代升级。本发明支持PHM系统的架构引领、基于模型、数据驱动的敏捷开发模式,形成适合于PHM敏捷系统工程的标准化支撑环境,支持PHM系统的快速迭代升级,为装备的使用和维修保障提供技术手段,对保障装备系统可靠性、可用性、安全性、可维护性,促进装备系统的创新发展有着重要的意义。
-
公开(公告)号:CN116894441A
公开(公告)日:2023-10-17
申请号:CN202310929605.8
申请日:2023-07-26
Applicant: 哈尔滨工业大学
IPC: G06F40/30 , G06F40/177
Abstract: 本发明公开了一种SysML语言的表数据语义和数据流审核方法,所述方法通过分析基于流的敏捷分析流程,创建相应的数据流追溯流程,在该流程中生成与各个图相对应的数据表。在生成的数据表的基础上,生成数据矩阵,并对其进行数据流审核,以检验模型中图与图之间数据的一致性。根据数据流的审核结果,对模型进行迭代更新。对系统需求进行更新,在这个过程中,本发明通过增加基于表的数据描述语义,构建全局的结构化数据表,存储需求分析与建模过程中生成的数据项与数据结构,以有效支持数据流分析,进行数据一致性审核。
-
公开(公告)号:CN116483348A
公开(公告)日:2023-07-25
申请号:CN202310467547.1
申请日:2023-04-26
Applicant: 哈尔滨工业大学
Abstract: 本发明公开了一种SysML模型生成与推荐方法,所述方法通过学习已有项目需求和SysML模型,构建SysML需求图自动生成器,实现根据自然语言表达的系统需求自动化地生成SysML需求图,并通过SysML模型的需求追溯关系推荐模型,支持模型驱动的系统工程中智能化的模型复用。本发明可以根据自然语言需求,自动化地生成SysML需求图模型,并支持可视化的需求确认和变更,进而利用SysML模型的可追溯性,自动化地推荐模块图、活动图等其他SysML图模型,辅助软件系统建模和开发,提高软件系统的开发效率和质量。本发明也适用于UML模型的生成和推荐,还可以进一步应用于其他低代码开发过程中的模型生成和推荐。
-
-
-
-
-
-
-