| Subject: | Computer Science
; Engineering
|
| Title: | a three-level verification approach on wireless communication controller system |
| Author: | Fan Linlin
; Liao Mingxue
; He Xiaoxin
|
| Source: | Proceedings of 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
|
| Conference Name: | 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
|
| Conference Date: | December 24, 2011 - December 26, 2011
|
| Issued Date: | 2011
|
| Conference Place: | Harbin, China
|
| Keyword: | Communication systems
; Model checking
; Uncertainty analysis
; Wireless telecommunication systems
|
| Indexed Type: | EI
; ISTP
|
| ISBN: | 9781457715846
|
| Department: | (1) National Key Laboratory of Science and Technology on Integrated Information System Technology Institute of Software Chinese Academy of Sciences Beijing China; (2) Graduate University Chinese Academy of Sciences Beijing China
|
| Sponsorship: | IEEE
|
| Abstract: | Wireless Communication Controller System is an industrial communication system that controls multiple categories of radios to communicate with remote systems. Due to high cost and great uncertainty in this wireless system test, we present our work in terms of formally modeling, verifying and improving the system. To deal with the complexity of concurrent system verification, we propose a three-level verification method, from the lowest function view to secondary component view and then to the highest system view. By SPIN model checker, we have discovered some deadlock scenarios and boundary-value errors in the system. After being corrected, the system demonstrates well behaviors in the next step of verification. © 2011 IEEE. |
| English Abstract: | Wireless Communication Controller System is an industrial communication system that controls multiple categories of radios to communicate with remote systems. Due to high cost and great uncertainty in this wireless system test, we present our work in terms of formally modeling, verifying and improving the system. To deal with the complexity of concurrent system verification, we propose a three-level verification method, from the lowest function view to secondary component view and then to the highest system view. By SPIN model checker, we have discovered some deadlock scenarios and boundary-value errors in the system. After being corrected, the system demonstrates well behaviors in the next step of verification. © 2011 IEEE. |
| Language: | 英语
|
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/16300
|
| Appears in Collections: | 软件所图书馆_会议论文
|
|
There are no files associated with this item.
|
| Recommended Citation: | |
Fan Linlin,Liao Mingxue,He Xiaoxin. a three-level verification approach on wireless communication controller system[C]. 见:2011 International Conference on Computer Science and Network Technology, ICCSNT 2011. Harbin, China. December 24, 2011 - December 26, 2011.
|
|
|
