Institutional Repository
| a three-level verification approach on wireless communication controller system | |
| Fan Linlin; Liao Mingxue; He Xiaoxin | |
| 2011 | |
| Conference Name | 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011 |
| Source | Proceedings of 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011 |
| Pages | 2591-2596 |
| Conference Date | December 24, 2011 - December 26, 2011 |
| Conference Place | Harbin, China |
| 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 |
| 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.; 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. |
| Keyword | Communication Systems Model Checking Uncertainty Analysis Wireless Telecommunication Systems |
| Sponsorship | IEEE |
| Subject | Computer Science ; Engineering |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16300 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Fan Linlin,Liao Mingxue,He Xiaoxin. a three-level verification approach on wireless communication controller system[C],2011:2591-2596. |
| 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