The Energy-Based Auto-Verification Focused on Hierarchical Model Structure for Model Based Development

Model-based development in the automotive industry supposes that multiple CAE (Computer-Aided Engineering) tools construct a physical model. Model verification is difficult in multiple CAE environment. In this research, we propose “Energy Balance Based Verification” (EBBV) to overcome this difficulty. EBBV checks whether a physical phenomenon represented by the model realizes the energy conservation law. In this paper, we create two diagrams that support EBBV. Two diagrams are hierarchical diagram and energy flow diagram. To automate the EBBV procedure with two diagrams, we develop three tools: Hierarchical tool, EF tool, Evaluation tool. Furthermore, we make an energy-based modeling guideline suitable for EBBV. Through a numerical experiment, we confirm that three tools can detect bugs in the created model according to the modeling guideline. In this numerical experiment, we use a mild hybrid electric vehicle model constructed by MATLAB / Simlink®, MapleSim®, and IPG-CarMaker®.