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万博1manbetxtateflow工作^®，Kostal工程师开发了ESCL软件应用层的模型，包括有限状态机来定义顺序决策逻辑。

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

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

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