iec61508应用程序的验证和验证工作流

作者:Mirko Conrad和Guido Sandmann, MathWorks

由于它能够解决软件复杂性和生产力挑战，汽车软件工程社区广泛使用基于模型的设计来生成生产代码。世界杯预选赛小组名单最近，工程师们开始使用符合IEC 61508等外部标准的基于模型的设计。对于车载应用，应用的标准通常是IEC 61508-3。为了证明符合标准，IEC 61508-3中概述的目标和建议必须映射到基于模型的设计过程和工具上。本文讨论了使用基于模型的设计来开发需要满足IEC 61508的车载软件组件的验证和验证工作流。

本文在SAE世界大会上发表。