Kostal(科世达)借助基于MathWorks的模型设计实现 ISO 26262 ASIL D 级认证

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 认证，我们为此感到非常高兴。我相信科世达将会不断地通过仿真、产品级代码生成和早期验证提高开发效率。”

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