基于模型的设计实现ISO 26262 ASIL D级认证分析和介绍

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

科世达电子转向柱锁模块

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

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

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

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

KOSTAL（科世达）集团是一家成立于1912年的德国家族企业。凭借在汽车领域长达数十年的经验，同时不断进行高水平的创新和开发专长整合，使得科世达在汽车系统集成领域独领风骚。在上一财年，科世达实现了高达21亿欧元的销售额。
关于科世达的更多信息，请访问kostal.com。

MathWorks 是数学计算软件领域世界领先的开发商。它所推出的 MATLAB 是一种用于算法开发、数据分析、可视化和数值计算的程序设计环境，称为“科学计算的语言”。Simulink是一种图形环境，可用于对多域动态系统和嵌入式系统进行仿真和基于模型设计。全球的工程师和科学家们都依赖于  MathWorks 公司所提供的这些产品系列，来加快在汽车、航空、电子、金融服务、生物医药以及其他行业的发明、创新及开发的步伐。