A Verification and Validation Workflow for IEC 61508 Applications
By Mirko Conrad and Guido Sandmann, MathWorks
Because of its ability to address software complexity and productivity challenges, the automotive software engineering community has extensively used Model-Based Design for production code generation. More recently, engineers have begun using Model-Based Design in compliance with external standards such as IEC 61508. For in-vehicle applications, the standard applied is typically IEC 61508-3. To demonstrate standard compliance, the objectives and recommendations outlined in IEC 61508-3 have to be mapped onto Model- Based Design processes and tools. This paper discusses a verification and validation workflow using Model-Based Design to develop in-vehicle software components that need to meet IEC 61508.
Copyright © 2009 by The MathWorks, Inc. Published by SAE International, with permission.
This paper was presented at SAE World Congress.