How is model-based development (MBD) applied in automotive software?

Model-based development uses graphical models (Simulink, Stateflow) as primary development artifact. Implementation includes: Requirements-linked model architecture, auto-code generation (Embedded Coder) producing production code, model-in-the-loop and software-in-the-loop simulation, model verification using formal methods and testing, design review at model level, and bidirectional traceability. Benefits include early validation, executable specifications, and reduced hand-coding errors. ISO 26262 qualification of code generators enables use in safety-critical systems. Challenges include model complexity management, code efficiency, and integration with hand-written code. MBD is standard practice for powertrain and chassis control development.