Energy balance based Verification for Model Based Development
Kenji Sawada, Mamoru Sakura, Osamu Kaneko, Seiichi Shin, Isao Matsuda, Toru Murakami · Linköping electronic conference proceedings · 2019
In model-based development (MBD), it is necessary to design a multiple physical model.Integration testing of such models is not easy because of its cross-sectional development.In this paper, we propose a new unit/integration test method "energy balance based verification" based on the law of energy conservation for MBD.The key idea is that the law of energy conservation will hold for no error models.The proposed method is composed of two diagrams.The first is a hierarchical diagram considering the type of energy.The second is an energy flow diagram based on the hierarchized diagram.Also, we develop model verification tools.Through the numerical experiments, we show that the proposed method and verification tools have the possibility of judging whether the model is normal or not.In the numerical experiments, we use a mild hybrid electric vehicle model that is developed via multiple CAE: MATLAB/Simlink®, MapleSim®, and IPG-CarMaker®.