一种在SysML v2中实现符合SACM的安全案例创建的方法及系统

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