Title :
Unifying Modeling and Simulation Based on UML Timing Diagram and UPPAAL
Author :
Cui, Kangle ; Yang, Zongyuan ; Xie, Jinkui ; Wan, Kaiyu
Author_Institution :
Dept. of Comput. Sci., East China Normal Univ., Shanghai, China
Abstract :
The modeling, simulation and verification of real-time systems can be unified and the efficiency of system development can be improved if the UML timing diagram model can be translated into the timed automata model. The conversion rules and the algorithm are given in this paper. A coffee machine control system is given as an example in which we give the UML timing diagram model and translate it to timed automata model in UPPAAL, then we verify the accessibility, the security and the activity of the system by UPPAAL.
Keywords :
Unified Modeling Language; automata theory; real-time systems; UML timing diagram; UPPAAL; coffee machine control system; real-time systems; timed automata model; Automata; Computational modeling; Computer science; Computer simulation; Machine control; Power system modeling; Real time systems; Time factors; Timing; Unified modeling language; UML timing diagram; UPPAAL; real-time system; timed automata;
Conference_Titel :
Computer Modeling and Simulation, 2010. ICCMS '10. Second International Conference on
Conference_Location :
Sanya, Hainan
Print_ISBN :
978-1-4244-5642-0
Electronic_ISBN :
978-1-4244-5643-7
DOI :
10.1109/ICCMS.2010.125
