技术文章和通讯

用于IEC 61508应用的验证和验证工作流

米尔科·康拉德(Mirko Conrad)和圭多·桑德曼(Guido Sandmann)著,MathWorks


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

版权所有©2009 by The MathWorks, Inc.由SAE International出版,并获得许可。

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

阅读论文全文

2009年出版的

查看相关行业的文章