由于其解决软件复杂性和生产力挑战的能力，汽车软件工程社区已经广泛地将基于模型的设计用于生产代码生成。最近，工程师们开始使用符合外部标准(如IEC 61508)的基于模型的设计。对于车载应用，一般采用IEC 61508-3标准。为了演示标准的遵从性，IEC 61508-3中概述的目标和建议必须映射到基于模型的设计过程和工具中。本文讨论了使用基于模型的设计来开发满足IEC 61508要求的车载软件组件的验证和确认工作流程。

MathWorks, Inc.版权所有经许可由SAE国际出版。

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

阅读论文全文。