Conference article

Energy balance based Verification for Model Based Development

Kenji Sawada
University of Electro-Communications, Japan

Mamoru Sakura
University of Electro-Communications, Japan

Osamu Kaneko
University of Electro-Communications, Japan

Seiichi Shin
University of Electro-Communications, Japan

Isao Matsuda
GAIO Technology Co. Ltd., Japan,

Toru Murakami
GAIO Technology Co. Ltd., Japan,

Download article

Published in: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019

Linköping Electronic Conference Proceedings 157:21, p. 6

Show more +

Published: 2019-02-01

ISBN: 978-91-7685-122-7

ISSN: 1650-3686 (print), 1650-3740 (online)


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®.


MBD, Model verification, Multiple CAE


No references available

Citations in Crossref