[发明专利]汽车电控部件的软件正确性验证系统及其验证方法无效
| 申请号： | 201110096706.9 | 申请日： | 2011-04-18 |
| 公开（公告）号： | CN102169458A | 公开（公告）日： | 2011-08-31 |
| 发明（设计）人： | 何积丰;黄滟鸿;史建琦 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 上海麦其知识产权代理事务所(普通合伙) 31257 | 代理人： | 董红曼 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种汽车电控部件的软件正确性验证系统，包括规范定义模块，对汽车电控部件功能进行数学化定义，生成形式化规范；软件功能验证模块，利用数学定理自动证明算法，检测汽车电控部件控制软件是否满足规范定义模块生成的形式化规范。本发明还提供一种汽车电控部件的软件正确性验证系统的验证方法，将具有高可信的形式化验证应用于汽车系统的验证中，从而使汽车系统的安全性能得到更大的保障。 | ||
| 搜索关键词： | 汽车 部件 软件 正确性 验证 系统 及其 方法 | ||
【主权项】：
一种汽车电控部件的软件正确性验证系统，其特征在于，包括：规范定义模块，对汽车电控部件的功能进行数学化定义，生成形式化规范；软件功能验证模块，利用数学定理自动证明算法，检测汽车电控部件控制软件是否满足所述规范定义模块生成的形式化规范。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110096706.9/，转载请声明来源钻瓜专利网。
- 上一篇：一种污泥处理工艺
- 下一篇：一种手消毒液及其生产方法
