Institutional Repository
| emerald: an automated modeling and verification tool for component-based real-time systems | |
| Zhang Yizhou; Lin Hao; Li Guoqiang | |
| 2012 | |
| Conference Name | 12th International Conference on Quality Software, QSIC 2012 |
| Source | Proceedings - International Conference on Quality Software |
| Pages | 120-123 |
| Conference Date | August 27, 2012 - August 29, 2012 |
| Conference Place | Xi'an, Shaanxi, China |
| Indexed Type | EI |
| ISSN | 1550-6002 |
| ISBN | 9780769548333 |
| Department | (1) BASICS School of Software Shanghai Jiao Tong University China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China |
| English Abstract | Controller automata, extending timed automata, are a formal theory to model and analyze real-time systems with mutex components. Given a strict partial order over states, an ordered controller automaton can be faithfully translated into a timed automaton. We present a tool named EMERALD to translate ordered controller automata into timed automata and perform the transformation between their specifications in order to use the existing model checking engine, UPPAAL. © 2012 IEEE.; Controller automata, extending timed automata, are a formal theory to model and analyze real-time systems with mutex components. Given a strict partial order over states, an ordered controller automaton can be faithfully translated into a timed automaton. We present a tool named EMERALD to translate ordered controller automata into timed automata and perform the transformation between their specifications in order to use the existing model checking engine, UPPAAL. © 2012 IEEE. |
| Keyword | Model Checking Models Real Time Systems Verification |
| Sponsorship | Northwest Polytechnic University; The University of Hong Kong; University of L'Aquila |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15862 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Zhang Yizhou,Lin Hao,Li Guoqiang. emerald: an automated modeling and verification tool for component-based real-time systems[C],2012:120-123. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment