Title :
Research on FSM for the wireless communication
Author :
Ningning, Qin ; Baoguo, Xu
Author_Institution :
Sch. of Commun. & Control Eng., Jiangnan Univ., Wuxi, China
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;
Conference_Titel :
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5821-9
DOI :
10.1109/ICFCC.2010.5497464
