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.