IEC 61508的验证和确认工作流应用程序

因为它的解决软件复杂性的能力和生产力的挑战,汽车软件工程社区广泛使用基于模型的设计生产代码生成。最近,工程师们已经开始使用基于模型的设计符合外部标准IEC 61508等。对于车载应用程序,标准的应用通常是IEC 61508 - 3。为了演示标准遵从性,IEC 61508 - 3中列出的目标和建议必须映射到基于模型的设计流程和工具。论述了验证和确认工作流使用基于模型的设计开发车载软件需要满足IEC 61508的组件。

版权©2009 MathWorks公司发布的SAE国际许可。

本文提出了在SAE世界大会。

阅读论文全文。