Research on consistency checking method of UML model in embedded system

Abstract

To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's consistency checking was come true by dynamic emulation. Finally, a case was presented to verify the feasibility of this method.