[发明专利]机动车电子器件中断安全隐患检测系统及其检测方法在审
| 申请号： | 201610619804.9 | 申请日： | 2016-07-30 |
| 公开（公告）号： | CN106294135A | 公开（公告）日： | 2017-01-04 |
| 发明（设计）人： | 王亮 | 申请（专利权）人： | 桐城市祥瑞机动车辆检测有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 重庆百润洪知识产权代理有限公司50219 | 代理人： | 高姜 |
| 地址： | 231400 安徽省安庆市桐*** | 国省代码： | 安徽;34 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种机动车电子器件中断安全隐患检测系统，包括：代码预处理模块，其对汽车电子器件机器码进行代码切片；模型生成模块，其为切片后的代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型是否存在中断安全隐患。本发明还提供机动车电子器件中断安全隐患检测系统的检测方法，从机器码层面上进行错误检测，避免使用编译器编译高级语言可能带来的错误，对机器码切片，截取机器码局部有用的代码，很好地避免模型检查时的状态爆炸问题，并在原有正确性的基础上对汽车操作系统提出更高层次的要求。 | ||
| 搜索关键词： | 机动车 电子器件 中断 安全隐患 检测 系统 及其 方法 | ||
【主权项】：
一种机动车电子器件中断安全隐患检测系统，其特征在于，包括：代码预处理模块，其对机器码进行代码切片；模型生成模块，其为切片后的所述代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型中是否存在中断安全隐患。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于桐城市祥瑞机动车辆检测有限公司，未经桐城市祥瑞机动车辆检测有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610619804.9/，转载请声明来源钻瓜专利网。
- 上一篇：主动式窗口散热无线数据接收器
- 下一篇：窗口散热式无线数据接收器
