[发明专利]交通信号时序逻辑验证方法、装置及电子设备在审
| 申请号： | 202210946016.6 | 申请日： | 2022-08-08 |
| 公开（公告）号： | CN115410402A | 公开（公告）日： | 2022-11-29 |
| 发明（设计）人： | 黄滟鸿;史建琦;田苗 | 申请（专利权）人： | 上海丰蕾信息科技有限公司 |
| 主分类号： | G08G1/097 | 分类号： | G08G1/097 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 支宇鑫 |
| 地址： | 200062 上海市*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种交通信号时序逻辑验证方法、装置及电子设备。其中，上述方法包括：获取目标驱动组件对应的目标文件，所述目标驱动组件为基于可视化仿真工具构建的用于控制交通信号控制的驱动组件；将所述目标文件进行解析，并根据解析结果构建预设类型的规则集合；基于预设转换模式将所述预设类型的规则集合转换为参考时间自动机；根据预设的符号执行算法对所述参考时间自动机进行简化，得到目标时间自动机；基于所述目标时间自动机验证目标驱动组件中的交通信号时序逻辑是否满足标准模板库的规则。本发明解决了相关技术中难以有效判断通过Simulink开发的交通信号控制的嵌入式系统，是否支持处理连续时间上实值信号的变化情况的技术问题。 | ||
| 搜索关键词： | 交通信号 时序 逻辑 验证 方法 装置 电子设备 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海丰蕾信息科技有限公司，未经上海丰蕾信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210946016.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种冷拉膜用包装工装及包装方法
- 下一篇：一种物流任务的分配方法及装置
