[发明专利]一种面向安全性验证的模型转换方法、介质及设备在审
| 申请号： | 202010500339.3 | 申请日： | 2020-06-04 |
| 公开（公告）号： | CN111813656A | 公开（公告）日： | 2020-10-23 |
| 发明（设计）人： | 张伟;柴关华;郭栋;曲以堃;薛琼;牟迪 | 申请（专利权）人： | 中国航天系统科学与工程研究院 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航天科技专利中心 11009 | 代理人： | 程何 |
| 地址： | 100048*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种面向安全性验证的模型转换方法、介质及设备，属于模型检验技术领域，解决软件安全性验证待验系统建模困难问题。本发明提供的面向安全性验证模型转换方法，首先，利用AADL模型对待验系统进行建模，描述软件体系结构的动态行为；然后，将AADL组件类型转换成NuSMV子模块，将AADL组件实现中的具体内容转换成与AADL组件类型相对应的NuSMV子模块体中的具体内容；最后在NuSMV的main模块中添加AADL中具体的执行语义。本发明通过面向安全性验证的模型转换方法，能够有效提高模型检验软件安全性领域建模效率，解决了模型检验技术中难以准确建模问题。 | ||
| 搜索关键词： | 一种 面向 安全性 验证 模型 转换 方法 介质 设备 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航天系统科学与工程研究院，未经中国航天系统科学与工程研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010500339.3/，转载请声明来源钻瓜专利网。
