买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉大连理工大学申请的专利一种在SysML v2中实现符合SACM的安全案例创建的方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120216389B 。

龙图腾网通过国家知识产权局官网在2025-08-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510696426.3，技术领域涉及：G06F11/3668；该发明授权一种在SysML v2中实现符合SACM的安全案例创建的方法及系统是由王楹铨;杨睿哲;管嘉鹏;王浩驰;王明承;赵旭东;魏然;赵珺设计研发完成，并于2025-05-28向国家知识产权局提交的专利申请。

本一种在SysML v2中实现符合SACM的安全案例创建的方法及系统在说明书摘要公布了：本申请公开了一种在SysMLv2中实现符合SACM的安全案例创建的方法及系统，方法包括：分别创建符合SACM标准的基于EMF的SACM安全案例模型和SysMLv2安全案例模型；分别对基于EMF的SACM安全案例模型和SysMLv2安全案例模型引用的外部文件执行验证规则；分别对引用的外部文件执行验证规则后的基于EMF的SACM安全案例模型与SysMLv2安全案例模型执行正向转换和逆向转换。利用本申请的方案，能够验证引用的外部文件是否满足定义的安全性约束，从而增强了整个安全案例的可信度和可靠性。同时，通过分别执行基于EMF的SACM安全案例模型与SysMLv2安全案例模型间的正向转换和逆向转换，能够实现安全案例模型在SysMLv2平台与EMF平台之间的无损双向迁移，保证了模型语义的一致性。

本发明授权一种在SysML v2中实现符合SACM的安全案例创建的方法及系统在权利要求书中公布了：1.一种在SysMLv2中实现符合SACM的安全案例创建的方法，其特征在于，包括： 分别创建符合SACM标准的基于EMF的SACM安全案例模型和SysMLv2安全案例模型； 分别对基于EMF的SACM安全案例模型和SysMLv2安全案例模型引用的外部文件执行验证规则； 分别对引用的外部文件执行验证规则后的基于EMF的SACM安全案例模型与SysMLv2安全案例模型执行正向转换和逆向转换； 其中，在对引用的外部文件执行验证规则后的基于EMF的SACM安全案例模型与SysMLv2安全案例模型执行正向转换的过程中，执行以下步骤： 定义SACM元模型与SysMLv2间的映射规则； 根据SACM元模型与SysMLv2间的映射规则，将SACM元模型映射为相应的SysMLv2定义； 调用Epsilon生成语言EGL引擎通过映射得到的相应的SysMLv2定义形成基于EMF的SACM安全案例模型对应的SysMLv2安全案例模型； 在对引用的外部文件执行验证规则后的基于EMF的SACM安全案例模型与SysMLv2安全案例模型执行逆向转换的过程中，执行以下步骤： 调用Epsilon模型生成EMG生成程序生成对应的EMG脚本； 执行EMG脚本调用SACM元模型形成SysMLv2安全案例模型对应的基于EMF的SACM安全案例模型。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人大连理工大学，其通讯地址为：116086 辽宁省大连市甘井子区凌工路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。