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

Volume

1

fYear

2010

Firstpage

26

Lastpage

30

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCMS.2010.125

Filename

5421442