IEC 61508应用程序的验证和验证工作流程

由Mirko Conrad和Guido Sandmann，Mathworks

由于其能够解决软件复杂性和生产力挑战，汽车软件工程界广泛使用基于模型的生产代码生成设计。最近，工程师已经开始使用基于模型的设计，符合IEC 61508等外部标准。对于车载应用，所应用的标准通常是IEC 61508-3。为了证明标准合规性，IEC 61508-3中概述的目标和建议必须映射到基于模型的设计过程和工具。本文讨论了使用基于模型的设计进行验证和验证工作流，以开发需要符合IEC 61508的车载软件组件。

本文呈现在SAE世界大会上。