DocumentCode
519648
Title
Research on FSM for the wireless communication
Author
Ningning, Qin ; Baoguo, Xu
Author_Institution
Sch. of Commun. & Control Eng., Jiangnan Univ., Wuxi, China
Volume
2
fYear
2010
fDate
21-24 May 2010
Abstract
The formal specification technology of communication protocols is one of the key subjects in computer communication systems. As one of description approaches which is intuitionist, comprehensible and easy to be implemented, the Finite State Machine (FSM) has been widely used in the description, realization and test of communication protocols, and can effectively improve preciseness and integrity of some system. Based on BlueStack, the design and implementing of FSM will be given in this paper.
Keywords
Bluetooth; finite state machines; formal specification; protocols; radiocommunication; BlueStack; Bluetooth; communication protocol; computer communication system; finite state machine; formal specification technology; wireless communication; Automata; Bluetooth; Communications technology; Control engineering; Formal specifications; Process design; System testing; Transfer functions; Wireless application protocol; Wireless communication; Bluetooth; FSM; wireless communication;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5821-9
Type
conf
DOI
10.1109/ICFCC.2010.5497464
Filename
5497464
Link To Document