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

由于其能够应对软件复杂性和生产力挑战的能力，汽车软件工程社区已广泛使用基于模型的设计来生成生产代码。最近，工程师已经开始使用基于模型的设计按照外部标准（例如IEC 61508）。对于车载应用程序，应用的标准应用通常为IEC 61508-3。为了证明标准合规性，必须将IEC 61508-3中概述的目标和建议映射到基于模型的设计过程和工具上。本文讨论了使用基于模型设计的验证和验证工作流程，以开发需要满足IEC 61508的车载软件组件。

版权所有©2009，由Mathworks，Inc。允许SAE International出版。

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

阅读完整的纸。