Title :
Research on consistency checking method of UML model in embedded system
Author :
Gu, Weijie ; Wang, Jishui ; Shi, Erying ; Qian, Yuexia
Author_Institution :
Dept. of Inf. Eng., Changzhou Inst. of Mechatron. Technol., Changzhou, China
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.
Keywords :
Unified Modeling Language; embedded systems; UML model; consistency checking method; embedded system; Light emitting diodes; Unified modeling language; Consistency checking; Executable UML; State-event table;
Conference_Titel :
Future Information Technology and Management Engineering (FITME), 2010 International Conference on
Conference_Location :
Changzhou
Print_ISBN :
978-1-4244-9087-5
DOI :
10.1109/FITME.2010.5654698
