Model-Based Verification and Validation of Electronic Engine Controls

Model-based development (MBD) is widely adopted in the automotive industry to address the development challenges presented by the ever increasing content and complexity of in-vehicle control systems. Thus it is imperative that MBD is used efficiently and effectively. With efficiency and effectiveness in mind, we list requirements for a model-based verification and validation environment and report on the evaluation of such an environment on a representative engine idle speed control feature.