[发明专利]汽车电子器件中断安全隐患检测系统及其检测方法有效
| 申请号： | 201110096707.3 | 申请日： | 2011-04-18 |
| 公开（公告）号： | CN102193556A | 公开（公告）日： | 2011-09-21 |
| 发明（设计）人： | 何积丰;朱龙飞;史建琦 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G05B23/02 | 分类号： | G05B23/02 |
| 代理公司： | 上海麦其知识产权代理事务所(普通合伙) 31257 | 代理人： | 董红曼 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种汽车电子器件中断安全隐患检测系统，包括：代码预处理模块，其对汽车电子器件机器码进行代码切片；模型生成模块，其为切片后的代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型是否存在中断安全隐患。本发明还提供汽车电子器件中断安全隐患检测系统的检测方法，从机器码层面上进行错误检测，避免使用编译器编译高级语言可能带来的错误，对机器码切片，截取机器码局部有用的代码，很好地避免模型检查时的状态爆炸问题，并在原有正确性的基础上对汽车操作系统提出更高层次的要求。 | ||
| 搜索关键词： | 汽车 电子器件 中断 安全隐患 检测 系统 及其 方法 | ||
【主权项】：
一种汽车电子器件中断安全隐患检测系统，其特征在于，包括： 代码预处理模块，其对机器码进行代码切片；模型生成模块，其为切片后的所述代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型中是否存在中断安全隐患。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110096707.3/，转载请声明来源钻瓜专利网。
