Early model-based verification of automotive control system implementation

Author(s):  
M. Shahbakhti ◽  
J. Li ◽  
J. K. Hedrick
Author(s):  
Mahdi Shahbakhti ◽  
Mohammad Reza Amini ◽  
Jimmy Li ◽  
Satoshi Asami ◽  
J. Karl Hedrick

Verification and validation (V&V) are essential stages in the design cycle of automotive controllers to remove the gap between the designed and implemented controller. In this paper, an early model-based methodology is proposed to reduce the V&V time and improve the robustness of the designed controllers. The application of the proposed methodology is demonstrated on a cold start emission control problem in a midsize passenger car. A nonlinear reduced order model-based controller based on singular perturbation approximation (SPA) is designed to reduce cold start hydrocarbon (HC) emissions from a spark ignition (SI) combustion engine. A model-based simulation platform is created to verify the controller robustness against sampling, quantization, and fixed-point arithmetic imprecision. In addition, the results from early model-based verification are used to identify and remove sources of errors causing propagation of numerical imprecision in the controller structure. Thus the structure of the controller is modified to avoid or to reduce the level of numerical noise in the controller design. The performance of the final modified controller is validated in real-time by testing the control algorithm on a real engine control unit. The validation results indicate the modified controller is 17–63% more robust to different implementation imprecision while it requires lower implementation cost. The proposed methodology from this paper is expected to reduce typical V&V efforts in the development of automotive controllers.


Author(s):  
Igor' Polyuschenkov

The materials on the development of asynchronous electric drive with scalar control are given. The technical solutions associated with the design of software and hardware parts of the microprocessor control system are described. When developed, tools of model-based programming technique are used.


Author(s):  
Longo Stefano ◽  
Tingli Su ◽  
Herrmann Guido ◽  
Barber Phil

Sign in / Sign up

Export Citation Format

Share Document