由于其解决软件复杂性和生产力挑战的能力，汽车软件工程界已广泛使用基于模型的设计来生成生产代码。最近，工程师已开始按照IEC 61508等外部标准使用基于模型的设计。对于车内应用，t应用的标准通常是IEC 61508-3。为了证明符合标准，IEC 61508-3中概述的目标和建议必须映射到基于模型的设计过程和工具上。本文讨论了使用基于模型的设计来开发需要满足以下要求的车载软件组件的验证和确认工作流IEC 61508。
版权所有©2009，由MathWorks，Inc.出版，SAE International许可。
本论文在SAE世界大会上发表。
阅读全文.
