日立新技术,自动验证汽车控制系统的安全要求

2016-10-02 20:57:28来源: 技术在线 关键字:日立新技术  自动验证  汽车控制系统

日立制作所与日立汽车系统公司2016年9月26日宣布共同开发了一项新技术,该技术可针对设计开发汽车控制系统时制定的安全要求,用计算机自动验证这些要求是否存在遗漏。第三方测试认证机构——德国TUV SUD已确认该技术可有效应对功能安全标准ISO26262。

安全要求的定位。图片来自日立

此次开发的技术的要点。图片来自日立 

汽车控制系统开发中的要求定义包括主功能(自动驾驶系统等)相关要求,以及构成主功能的控制系统发生故障时也能确保安全的安全要求。这些安全要求一直是使用英语和日语记述,但由于一句话或一个单词有多种意思和解释,表达经常含糊不清,并不统一。而且,安全要求的记述还有可能发生遗漏,即便是专业技术人员,也要花费大量时间进行内容确认和验证。

此次的技术在记述安全要求时,运用严密的数学性命题逻辑(推断表达正确性的数学逻辑学之一)来定义,通过这种方法,使输入到验证工具里的内容更为明确。而且,还采用了能以简单的公式书写要求事项内容的章法结构,设计者可以轻松读写。安全要求方面,针对希望系统具备的安全,将概略作为“上游要求”记述,将实现安全所需要的动作及处理等详细内容作为“下流要求”记述。下游要求包括ECU(电子控制单元)、传感器、致动器、通信、软件的构成及处理,如果详细记述,就会导致要求事项的数量增加。因此,验证工具会自动验证上游要求和下游要求,并判断是否存在遗漏。

另外,在相似系统之间或者同一系统内的构成部件之间,安全要求的记述内容往往十分相似,因此,将已经通过验证工具证明“没有遗漏”的部分逻辑公式作为常见模式进行再利用。比如,如果在相同条件下使用的传感器B也需要进行传感器A那样的异常检测,便可将传感器B的参数输入传感器A生成的模式中,由此自动生成新要求事项的逻辑公式。通过对已验证模式进行再利用,不仅可以防止新要求事项的遗漏,而且不需要增加新的书写内容,可以提高作业效率。

据介绍,日立在电动助力转向器的控制系统中采用此次的技术,结果证实,可以记述和验证要求定义书中出现的所有安全要求事项。而且,与以前用英文记述时相比,记述量减少了30%,计算机自动验证将用肉眼需要花费约60分钟的验证作业缩短到了约6分钟。

关键字:日立新技术  自动验证  汽车控制系统

编辑:鲁迪 引用地址:http://www.eeworld.com.cn/qcdz/article_2016100216191.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。

上一篇:混动只是通往纯电技术路线上的一种过渡?
下一篇:可变压缩比! 英菲尼迪VC-T 2.0T发动机

关注eeworld公众号 快捷获取更多信息
关注eeworld公众号
快捷获取更多信息
关注eeworld服务号 享受更多官方福利
关注eeworld服务号
享受更多官方福利
推荐阅读
全部
日立新技术
自动验证
汽车控制系统

小广播

独家专题更多

迎接创新的黄金时代 无创想,不奇迹
迎接创新的黄金时代 无创想,不奇迹
​TE工程师帮助将不可能变成可能,通过技术突破,使世界更加清洁、安全和美好。
TTI携TE传感器样片与你相见,一起传感未来
TTI携TE传感器样片与你相见,一起传感未来
TTI携TE传感器样片与你相见,一起传感未来
富士通铁电随机存储器FRAM主题展馆
富士通铁电随机存储器FRAM主题展馆
馆内包含了 纵览FRAM、独立FRAM存储器专区、FRAM内置LSI专区三大部分内容。 
电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2017 EEWORLD.com.cn, Inc. All rights reserved