Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High Integrity Applications

Document Number: 2009-01-2929

Date Published: October 2009

Author(s):
Mirko Conrad - The MathWorks Inc.
Guido Sandmann - The MathWorks Inc.
Jon Friedman - The MathWorks Inc.

Abstract:
Model-Based Design with production code generation has been extensively utilized throughout the automotive software engineering community because of its ability to address complexity, productivity, and quality challenges. With new applications such as lane departure warning or electromechanical steering, engineers have begun to consider Model-Based Design to develop embedded software for applications that need to comply with safety standards such as IEC 61508.

For in-vehicle applications, IEC 61508 is often considered state-of-the-art or generally accepted rules of technology (GART) for development of high-integrity software. In order to demonstrate standards compliance, the objectives and recommendations outlined in IEC 61508-3 must be mapped onto processes and tools for Model-Based Design.

This paper discusses a verification and validation workflow for developing in-vehicle software components which need to comply with IEC 61508-3 using Model-Based Design. It discusses tool support by using a Simulink-based tool chain for Model-Based Design as an example.

File Size: 165K
Product Status: In Stock

See other papers presented at SAE 2009 Commercial Vehicle Engineering Congress & Exhibition, October 2009, Rosemont, IL, USA, Session: Model Based Design and Software Development (Part 2 of 2)

Purchase more technical papers and save! With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay. Learn more >