a three-level verification approach on wireless communication controller system

ISCAS OpenIR

	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
会议录名称	Proceedings of 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
页码	2591-2596
会议日期	December 24, 2011 - December 26, 2011
会议地点	Harbin, China
收录类别	EI ; ISTP
ISBN	9781457715846
部门归属	(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
摘要	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.
关键词	Communication Systems Model Checking Uncertainty Analysis Wireless Telecommunication Systems
主办者	IEEE
学科领域	Computer Science ; Engineering
语种	英语
内容类型	会议论文
URI标识	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:2591-2596.