a three-level verification approach on wireless communication controller system
文献类型：会议论文
| 作者 | Fan Linlin ; Liao Mingxue ; He Xiaoxin |
| 出版日期 | 2011 |
| 会议名称 | 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011 |
| 会议日期 | December 24, 2011 - December 26, 2011 |
| 会议地点 | Harbin, China |
| 关键词 | Communication systems Model checking Uncertainty analysis Wireless telecommunication systems |
| 页码 | 2591-2596 |
| 中文摘要 | 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. |
| 收录类别 | EI ; ISTP |
| 会议主办者 | IEEE |
| 会议录 | Proceedings of 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
 |
| 学科主题 | Computer Science ; Engineering |
| 语种 | 英语 |
| ISBN号 | 9781457715846 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16300]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。