A Verification and Validation Workflow for IEC 61508 Applications

Because of its ability to address software complexity and productivity challenges, Model-Based Design with production code generation has been extensively used throughout the automotive software engineering community. More recently, engineers have begun to focus on compliance with external standards such as IEC 61508 and the use of Model-Based Design. 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 ModelBased Design processes and tools. This paper discusses a verification and validation workflow for developing in-vehicle software components that need to meet IEC 61508 using Model-Based Design.