A Three-level Verification Approach on Wireless Communication Controller System

摘要：

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

关键词： Formal Verification SPIN Concurrent System Wireless Communication Controller System Model Abstraction

作者: Linlin Fan Mingxue Liao Xiaoxin He

作者单位: National Key Laboratory of Science and Technology on Integrated Information System Technology, Insti National Key Laboratory of Science and Technology on Integrated Information System Technology, Insti

会议类型: 国际会议

会议名称: 2011 International Conference on Computer Science and Network Technology(2011计算机科学与网络技术国际会议 ICCSNT 2011)

会议地点: 哈尔滨

会议语种:英文

页码: 2591-2596

在线出版日期: 2011-12-24（万方平台首次上网日期，不代表论文的发表时间）