| Title: | emerald: an automated modeling and verification tool for component-based real-time systems |
| Author: | Zhang Yizhou
; Lin Hao
; Li Guoqiang
|
| Source: | Proceedings - International Conference on Quality Software
|
| Conference Name: | 12th International Conference on Quality Software, QSIC 2012
|
| Conference Date: | August 27, 2012 - August 29, 2012
|
| Issued Date: | 2012
|
| Conference Place: | Xi'an, Shaanxi, China
|
| Keyword: | Model checking
; Models
; Real time systems
; Verification
|
| 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
|
| Sponsorship: | Northwest Polytechnic University; The University of Hong Kong; University of L'Aquila
|
| 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. |
| 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. |
| Language: | 英语
|
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/15862
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Zhang Yizhou,Lin Hao,Li Guoqiang. emerald: an automated modeling and verification tool for component-based real-time systems[C]. 见:12th International Conference on Quality Software, QSIC 2012. Xi'an, Shaanxi, China. August 27, 2012 - August 29, 2012.
|
|
|
