KOSTAL亚洲研发中心获得ISO 26262 ASIL D汽车软件基于模型设计开发认证

当车辆停放时，通过锁定方向盘防止盗用汽车ESCL。由于这样的危险可能导致汽车移动时错误地锁定车轮，ESCL软件必须开发为ISO 26262 ASIL D，最高的功能安全标准。

为了实现这一目标，Kostal需要满足所有ISO 26262 ASIL D的要求，包括通过包括循环（SIL）和处理器的软件 - 循环（SIL）和循环的后退测试验证软件（PIL）测试自动生成的代码。Kostal工程师需要支持迅速建立必要的框架。万博1manbetx

KOSTAL使用MATLAB进行基于模型的设计^®和仿真软万博1manbetx件^®开发ESCL应用软件，并通过ISO 26262 ASIL D认证。

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

在Simulink和s万博1manbetxtatflow中工作^®，Kostal工程师开发了ESCL软件应用层的模型，包括有限状态机来定义顺序决策逻辑。

该小组基于MathWorks汽车咨询委员会(MAAB)的指导方针创建了建模标准，并使用Simulink Check™来确保他们的模型符合标准。万博1manbetx

他们在Simulink中运行模拟以验证设计的功能万博1manbetx，并使用Simulink Coverage™测量功能测试的模型覆盖率。

通过使用Si万博1manbetxmulink Design Verifier™，他们应用了形式化的方法来识别模型中的死逻辑和其他设计错误。

工程师使用嵌入式编码器从ESCL模型中生成C代码^®．它们使用PolySpace Code Prover™和PolySpace Bug Finder™来检查生成的代码和手写代码以获取运行时错误。

然后，它们使用生成的代码耗尽背对背的PIL测试，并将测试结果与MATLAB进行比较。

为了简化认证过程，工程师使用ISO 26262和IEC 61508的IEC认证套件。它们有资格获得了几种认证工具，包括嵌入式编码器，Simulink Coverage，PolySpace Bug Finder和PolySpace代码先知。万博1manbetx

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

• 开发和认证时间减少30%。Hui说:“如果没有基于模型的设计，我们将需要至少30%的时间来开发和验证ESCL应用软件。”“通过生成满足所有速度和内存要求的高效代码，我们节省了时间和精力。”
• 80%的错误在建模阶段被识别。“采用基于模型的设计，我们在模型开发和仿真阶段中识别并解决了80％的逻辑和功能错误，”惠说。“这次早期验证，结合多层静态分析，节省了可观的验证和测试努力。”
• ISO 26262 PIL测试框架建立。“我们的应用软件采用基于模型的设计。根据ISO 26262，自动生成的代码应该使用PIL进行测试。MathWorks的工程师为我们建立了一个背靠背的PIL测试框架提供了特别的支持，”Hui说。万博1manbetx“这一框架有助于我们如期获得ISO 26262认证。”