由于其处理软件复杂性和生产力挑战的能力,汽车软件工程社区已经广泛地使用基于模型的设计来生成产品代码。最近,工程师已经开始使用基于模型的设计,以符合IEC 61508等外部标准。对于车内应用,通常采用IEC 61508-3标准。为了证明符合标准,在IEC 61508-3中概述的目标和建议必须映射到基于模型的设计过程和工具上。本文讨论了使用基于模型的设计来开发满足IEC 61508要求的车载软件组件的验证和验证工作流程。
版权所有©2009 by The MathWorks, Inc.由SAE International出版,并获得许可。
本文在SAE世界大会上发表。