Use MATLAB and Simulink with a reference Model-Based Design workflow to achieve the process rigor imposed by ISO 26262, a functional safety standard. Embedded Coder, Simulink model verification tools, and Polyspace® code verification tools are pre-qualified by TÜV SÜD according to ISO 26262 for ASIL A-D. The qualifications are based on an automated, application-specific verification workflow. It supports back-to-back model and code testing. In addition to C code generation, Embedded Coder ISO 26262 tool qualification use cases include its AUTOSAR and C++ code generation capabilities.