Early model-based verification of automotive control system implementation

Controller Software Verification (CSV) is the critical process used to avoid mismatch between a designed and implemented controller. Common CSV practice in the automotive industry is to test a controller after its software is fully implemented. In this paper, an early model-based CSV methodology is proposed to reduce the development time and improve the robustness of automotive controllers. The application of the proposed methodology is demonstrated on a “Cold Start Emission” control problem in passenger cars. A non-linear model-based controller is designed to reduce cold start hydrocarbon emissions from a mid-size modern passenger car. The controller robustness is analyzed by testing the controller against the major steps occurring during the software implementation process of a controller. The main focus is on the imprecision from sampling, quantization and fixed-precision arithmetic. The results from the robustness analysis are used to specify requirements for the controller implementation for passing current North American ULEV emission standard.

[1]  Pannag R. Sanketi,et al.  Coldstart modeling and optimal control design for automotive SI engines , 2009 .

[2]  Moshe Y. Vardi,et al.  Verification , 1917, Handbook of Automata Theory.

[3]  M. Weilenmann,et al.  Cold-start emissions of modern passenger cars at different low ambient temperatures and their evolution over vehicle legislation categories , 2009 .

[4]  Martin Schüßler,et al.  Model Based Calibration Methodology , 2009 .

[5]  Jon Friedman,et al.  Best Practices for Verification, Validation, and Test in Model- Based Design , 2008 .

[6]  James B. Dabney,et al.  Estimating direct return on investment of independent verification and validation , 2004, IASTED Conf. on Software Engineering and Applications.

[7]  Vivek Jaikamal.  Model-based ECU development – An Integrated MiL-SiL-HiL Approach , 2009 .

[8]  Jerzy Merkisz,et al.  Euro III / Euro IV Emissions - A Study of Cold Start and Warm Up Phases with a SI (Spark Ignition) Engine , 1999 .

[9]  Mahdi Shahbakhti,et al.  Model-Based Control via Balanced Realization for Automotive Cold Start Hydrocarbon Reduction , 2011 .

[10]  Daniel L. Kiskis,et al.  Using a Co-simulation Framework to Enable Software-in-the-Loop Powertrain System Development , 2009 .

[11]  Keith Lang,et al.  Virtual Powertrain Calibration at GM Becomes a Reality , 2010 .

[12]  Paulo Tabuada,et al.  Automatic verification of control system implementations , 2010, EMSOFT '10.

[13]  Matthias Althoff,et al.  Reachable set computation for uncertain time-varying linear systems , 2011, HSCC '11.

[14]  Silke Wagner,et al.  Control software model checking using bisimulation functions for nonlinear systems , 2008, 2008 47th IEEE Conference on Decision and Control.