龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：首都师范大学
摘要：本发明公开一种Ptolemy同步响应模型翻译的验证方法及插件，本发明提供的一种Ptolemy同步响应模型翻译的验证方法，采用自动化的翻译方式通过对各个角色进行翻译，然后组成NuSMV模型，保留了Ptolemy模型层次化的特点，避免了状态空间爆炸；并且通过查询统一的映射表进行翻译，以固定的翻译规则，使得翻译后的NuSMV模型能够统一化，避免了人为翻译过程中可能出现的模型本身以外的问题；本发明中用户甚至无需掌握模型检测工具NuSMV的具体使用方法，可以大大降低的形式化验证的工作成本；可以黑盒的进行安全性、可达性的分析，实现对Ptolemy同步响应模型的安全性、可达性、死锁等性质的验证。
主权项：1.一种Ptolemy同步响应模型翻译的验证方法，其特征在于，包括：获取Ptolemy同步响应模型；将所述Ptolemy同步响应模型翻译成NuSMV模型；其中，Ptolemy同步响应模型由多个角色构成，所述NuSMV模型由多个功能模块所组合而成，每个功能模块对应Ptolemy同步响应模型中的一个角色；分析所述NuSMV模型中的危险情况和特征信息，将其抽象为描述为CTL公式；生成Ptolemy同步响应模型验证界面；在所述Ptolemy同步响应模型验证界面添加NuSMV模型检测工具调用选项；在所述Ptolemy同步响应模型验证界面，选择NuSMV模型检测工具调用选项以调用NuSMV模型检测工具对所述CTL公式进行验证，完成对所述Ptolemy同步响应模型的性质验证。
全文数据：
权利要求：
百度查询： 首都师范大学 一种Ptolemy同步响应模型翻译的验证方法及插件
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号