公开(公告)号：CN116483705B

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

申请号：CN202310411559.2

申请日：2023-04-17

Applicant: 哈尔滨工业大学

Inventor： 王甜甜 ,  杨培豪 ,  金勤超 ,  王亦平 ,  吴翔虎 ,  苏小红 ,  王克朝 ,  陈源龙

IPC: G06F11/36 ,  G06F16/36 ,  G06N5/02

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

公开(公告)号：CN114816431B

公开(公告)日：2024-07-09

申请号：CN202210569302.5

申请日：2022-05-24

Applicant: 哈尔滨工业大学

Inventor： 王甜甜 ,  吴翔虎 ,  苏小红 ,  王克朝 ,  陈源龙

IPC: G06F8/41

Abstract: 本发明公开了一种SysML语言的安全可靠语义扩展和建模方法，所述方法通过扩展需求图的安全和可靠语义、增加冗余语义、失效模式和影响分析语义、故障树语义，并构建可视化模型，使得SysML语言既支持自动从系统模型中提取安全可靠分析的相关信息，也支持利用安全可靠分析进一步完善系统模型，从而将基于模型的系统工程和安全可靠分析过程有效地融合，有助于确保安全分析和系统设计之间的一致性，解决当前设计复杂安全关键系统的问题。

公开(公告)号：CN116756005A

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

申请号：CN202310627771.2

申请日：2023-05-30

Applicant: 哈尔滨工业大学

Inventor： 金勤超 ,  王甜甜 ,  吴翔虎 ,  王亦平 ,  杨培豪 ,  苏小红 ,  王克朝

IPC: G06F11/36 ,  G06F8/75 ,  G06F8/35 ,  G06F8/36

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

公开(公告)号：CN116610294A

公开(公告)日：2023-08-18

申请号：CN202310448889.9

申请日：2023-04-24

Applicant: 哈尔滨工业大学

Inventor： 杨培豪 ,  王甜甜 ,  刘茁 ,  宋子洋 ,  万振楠 ,  苏畅 ,  王克朝 ,  吴翔虎

IPC: G06F8/20 ,  G06F8/34

Abstract: 本发明公开了一种基于Modelica语言的Autosar模型库构建方法，所述方法包括如下步骤：一、根据Autosar规范，将Autosar系统模型库进行设计分解；二、基于Modelica语言对Autosar中数据类型进行构建；三、基于Modelica语言构建Autosar基本建模元素，以面向对象的思想处理Autosar中各元素定义信息以及各元素之间静态结构关系；四、基于Modelica语言对Autosar建模元素进行图形化表示；五、通过Modelica语言支持Autosar模型各元素的动态行为交互；六、基于Modelica语言支持Autosar系统模型参数值、变量类型动态修改与数据标定。本发明可有效地降低Autosar模型开发难度，准确地表示Autosar模型信息，提升模型动态设计能力，提高设计效率。

公开(公告)号：CN115168226A

公开(公告)日：2022-10-11

申请号：CN202210884562.1

申请日：2022-07-25

Applicant: 哈尔滨工业大学

Inventor： 吴翔虎 ,  陶永超 ,  刘颖

IPC: G06F11/36

Abstract: 基于数据与关键字驱动的软件测试用例自动执行方法，具体涉及基于数据与关键字驱动的嵌入式软件测试用例自动执行方法，为解决由于嵌入式软件的复杂性导致嵌入式软件的测试用例测试准确率不高，测试效果不好的问题，包括建立模型工程；初始化系统资源，生成具体测试数据；建立软件测试模型；对测试模型进行约束设计；将关键字与测试模型绑定；配置覆盖策略，利用绑定关键字后的测试模型和具体测试数据生成测试用例；对生成的测试用例进行筛选、确认，对得到的测试用例整合作为测试用例执行集；将测试用例执行集与测试环境绑定，绑定成功后用每个测试环境遍历测试用例执行集；利用绑定的关键字驱动每个测试用例自动化执行。属于图形化建模领域。

公开(公告)号：CN103957233B

公开(公告)日：2017-03-15

申请号：CN201410116628.8

申请日：2014-03-26

Applicant: 哈尔滨工业大学

Inventor： 吴翔虎 ,  曲明成 ,  陶永超 ,  刘志强

IPC: H04L29/08 ,  H04L7/00 ,  G06F9/455

Abstract: 基于处理器分核以及虚拟机的实时通信平台，涉及网络技术领域，为由Windows操作系统、TCP/IP协议、以太网构建的分布式系统提供实时通信能力。它包括运行于校时主节点的子系统以及运行于校时从节点的子系统；前者包含实时通信协议栈主站模块、时间同步算法主站模块和RTX设备驱动模块；后者包含支持实时虚拟通信机的VMM模块、实时协议栈从站模块以及时间同步算法从站模块。实现使用实时通信平台来完成数据的实时、确定传输；保证应用之间的数据实时有效性，为分布式系统的实时数据交互提供支持；在实时通信的基础上提供了高精度实时时钟功能，通过内置的校时机制提供系统级高精度时间，保证分布式系统内每个节点的时钟一致性，为分布式系统提供一致的时间标尺。