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.
|
|
|