DocumentCode
3383586
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
Volume
3
fYear
2010
fDate
9-10 Oct. 2010
Firstpage
169
Lastpage
172
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Information Technology and Management Engineering (FITME), 2010 International Conference on
Conference_Location
Changzhou
Print_ISBN
978-1-4244-9087-5
Type
conf
DOI
10.1109/FITME.2010.5654698
Filename
5654698
Link To Document