Kostal Asia R＆D中心接收ISO 26262 ASIL D，用于使用基于模型的设计开发的汽车软件认证

一辆汽车ESCL防止盗窃通过锁定方向盘时，车辆停放。由于这种系统如果在汽车行驶时错误地锁住了车轮可能会造成危险，因此ESCL软件必须按照ISO 26262 ASIL D的最高功能安全标准进行开发。

为了实现这一目标，KOSTAL需要满足所有ISO 26262 ASIL D要求，包括通过对软件在环(SIL)和处理器在环(PIL)的自动生成代码进行测试的连续测试来验证软件。KOSTAL的工程师需要支持以迅速建立必要的框架金宝app。

Kostal使用模型的模型设计与MATLAB^®和模拟金宝app^®开发ESCL应用程序软件并将其证明ISO 26262 ASIL D.

该公司与MathWorks工程师合作，建立了一个PIL测试框架，并为新的模型设计的软件开发团队成员提供培训。

在Simulink和S金宝apptateFlow工作^®， KOSTAL工程师开发了一个ESCL软件应用层模型，其中包含一个有限状态机来定义顺序决策逻辑。

本集团根据Mathworks汽车咨询板（MAAB）指南创建了建模标准，并使用了Simulink Check™，以确保其模型符合标准。金宝app

它们在Simulink中运行模拟以验证设计的功能金宝app，并使用Simulink Coverage™来测量功能测试的模型覆盖范围。

使用Simu金宝applink Design Verifier™，它们应用了正式方法来识别模型中的死亡逻辑和其他设计错误。

工程师们使用Embedded Coder从ESCL模型中生成C代码^®。他们使用Polyspace Code Prover™和Polyspace Bug Finder™来检查生成的代码和手写的运行时错误。

然后，他们使用生成的代码进行背靠背PIL测试，并在MATLAB中比较测试结果。

为了简化认证过程，工程师使用了ISO 26262和IEC 61508认证套件。他们鉴定了一些用于认证的工具，包括Embedded Coder、Simulink Coverage、Polyspace Bug Finder和Pol金宝appyspace Code Prover。

ESCL是ISO 26262 ASIL D认证，并已被中国最大的汽车制造商批准生产。基于模型的设计现在是需要在KOSTAL的功能安全认证的项目的首选方法。

• 开发和认证时间减少30％。“如果没有基于模型的设计，我们将需要至少30％的时间来开发和认证ESCL应用软件，”惠。“我们通过生成满足所有速度和内存要求的有效代码来节省时间和精力。”
• 在建模阶段确定的80％错误。“使用基于模型的设计，我们在模型开发和仿真阶段识别并解决了80%的逻辑和功能错误，”Hui说。“这种早期验证，结合Polyspace静态分析，节省了大量验证和测试工作。”
• ISO 26262成立的PIL测试框架。“我们对应用程序软件使用基于模型的设计。根据ISO 26262，应使用PIL测试自动生成的代码。Hui说，Mathworks工程师为我们提供了卓越的支持，建立了背靠背的PIL测试框架。金宝app“这一框架在我们实现ISO 26262认证时有助于按计划获得认证。”