KOSTAL亚洲研发中心获得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™来测量功能测试的模型覆盖率。

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

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

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

为了简化认证过程，工程师们使用了ISO 26262和IEC 61508的IEC认证套件。他们认证了几个工具，包括Embedded Coder, Simulink Coverage, Polyspace Bug Finder和Polysp金宝appace Code Prover。

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

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