由于其处理软件复杂性和生产力挑战的能力，汽车软件工程社区已经广泛地使用基于模型的设计来生成产品代码。最近，工程师开始使用基于模型的设计，以符合外部标准，如IEC 61508。对于车载应用，采用的标准通常是iec61508 -3。为了证明符合标准，IEC 61508-3中提出的目标和建议必须映射到基于模型的设计过程和工具上。本文讨论了一种基于模型设计的验证和验证工作流，用于开发满足iec61508要求的车载软件组件。

版权所有©2009 by The MathWorks, Inc。经SAE国际授权出版。

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

阅读论文全文。