[发明专利]从Simulink-StateFlow模型到NuSMV模型的转换方法在审
| 申请号： | 202210789598.1 | 申请日： | 2022-07-06 |
| 公开（公告）号： | CN115391173A | 公开（公告）日： | 2022-11-25 |
| 发明（设计）人： | 杜晔;吴润方;黎妹红;吴雪松;张乐 | 申请（专利权）人： | 北京交通大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F8/75 |
| 代理公司： | 北京卫平智业专利代理事务所(普通合伙) 11392 | 代理人： | 闫萍 |
| 地址： | 100044*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种从Simulink‑StateFlow模型到NuSMV模型的转换方法，包括如下步骤：对待评估系统进行需求分析，构建Simulink‑StateFlow模型；提取模型中的程序语句、自定义函数语句、逻辑顺序关系，分别构建程序语句数据表、自定义函数数据表、逻辑顺序数据表；整合模型程序及顺序，生成模型信息表；对Matlab编程语言进行分析，构建Matlab语法规则；根据语法规则对模型信息表中的程序语句进行处理，将其解析为抽象语法树；对抽象语法树进行处理，确定转换为NuSMV语句的算法；根据转换算法处理模型信息表，生成NuSMV模型。本发明大大提高了NuSMV工具对Simulink‑StateFlow模型进行模型检测的效率和准确度，实现对控制系统Simulink需求模型的安全性验证。 | ||
| 搜索关键词： | simulink stateflow 模型 nusmv 转换 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京交通大学，未经北京交通大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210789598.1/，转载请声明来源钻瓜专利网。
