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金宝apptatflow中工作^®， KOSTAL的工程师开发了一个ESCL软件应用层模型，其中包括一个有限状态机来定义顺序决策逻辑。

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

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

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

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

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

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

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

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