In the present work a modular simulation-based technique for the automatic verification of logic control functions is introduced and exploited to define a structured bottom-up methodology for the testing of the overall control functions of process and power plants. The proposed method has been implemented in a CACSD environment which uses the Matlab toolboxes Simulink and Stateflow for the cont...

Modern ECUs contain ten thousands of engine parameters that need to be tuned. Calibration of all these parameters is time consuming and complex. Simulation on a PC could help to automate and speed up the calibration process, in particular if simulation runs much faster (e. g. 20 times) than real-time. However, engine calibration is typically performed by an OEM, while the ECU code is owned by t...