Kostal借助基于MathWorks的模型设计实现 ISO 26262 ASIL D 级认证
将 MathWorks 工具延伸用于产品级代码生成和验证,满足功能安全标准

  中国北京 – 2016 年 2 月 23 日 – MathWorks今日宣布,作为汽车电子产品供应商的德国 Kostal(科世达)集团下属的子公司 - 科世达亚洲研发中心已采用基于MathWorks的模型设计为其新的电子转向柱锁模块按时完成 ISO 26262 功能安全认证。科世达将 Simulink 用于早期验证和确认,用 Embedded Coder生成产品级代码,从而开发出符合汽车安全完整性等级 D 级(ASIL D)的模块。此认证等级要求在整个开发流程中采用最高水准的验证和确认做法,并达到所有 ISO 26262 等级中最严格的开发工具资质。

  科世达亚洲研发中心是中国国内首家汽车类产品达到 ISO 26262 ASIL D 级认证的公司。来自 MathWorks 的整合工具链(包括 Simulink 和 Embedded Coder)让科世达的工程师们能够快速推进其软件开发流程并如期实现 ISO 26262 目标。科世达亚洲研发中心的团队在仿真环境中对模型执行系统化的验证,使用 Simulink Verification and Validation 进行模型标准检查,然后使用 Embedded Coder 完成处理器在环测试和产品级代码生成。在开发和集成阶段,使用 Polyspace Bug Finder 和 Polyspace Code Prover 对软件的稳健性进行了验证。

  ISO 26262 认证认可了科世达的电子转向柱锁模块满足标准中规定的苛刻标准,并为第三方提供了一种评估潜在供应商能力的独立手段。经过认证的电子转向柱锁模块已由上汽通用汽车有限公司批准,即将投产。

  “我们的目标是满足这样一种挑战,即在不牺牲速度或预算的情况下开发出高完整性汽车电器和电子系统。”科世达亚洲研发中心平台与流程经理程晖说。“基于模型的设计与产品级代码生成功能让我们的新电子转向柱锁模块可以快速成功地满足 ASIL D 级要求。现在,我们的客户可以放心将该模块集成到他们的系统中,而不会影响他们自己的汽车设计和认证目标。”

  MathWorks 汽车行业经理金文思说:“MathWorks能够帮助科世达通过应用MathWorks 工具,得到 ISO 26262 认证,我们为此感到非常高兴。我相信科世达将会不断地通过仿真、产品级代码生成和早期验证提高开发效率。”

  

proxy.png

图:科世达电子转向柱锁模块


通知公告
编辑观点
理事会
参考资料
版权声明

凡《网络安全与数据治理》(原《信息技术与网络安全》)录用的文章,如作者没有关于汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权等版权的特殊声明,即视作该文章署名作者同意将该文章的汇编权、翻译权、印刷权及电子版的复制权、信息网络传播权与发行权授予本刊,本刊有权授权本刊合作数据库、合作媒体等合作伙伴使用。同时,本刊支付的稿酬已包含上述使用的费用,特此声明。

《网络安全与数据治理》(原《信息技术与网络安全》)编辑部