The Research And Implementation Of The Bluetooth Serial Port Emluator Protocol

As a layer in Bluetooth protocol suite, the serial port emluator protocol is between the L2CAP layer and application layer, offers support of the serial-using-application by serial port emulator based on the L2CAP. First, this paper goes deep into the Bluetooth protocol suite and serial port emulator protocol, then explain the formal method of developing protocol software which is using the formal method SDL language and message sequence diagram.The old method in the development of protocol software is still in use by reading protocol specification and then coding manually, which is time-consuming and cannot ensure good quality of source code. The formal method of developing protocol has better quality and efficiency than the old method.This paper explain the description and implement of Bluetooth serial port emulator protocol, and analyzes in detail on specifying, validating and code generation by SDL and MSC. Some specific methods of specification and validation are compared and practical ones are recommended.Compared with traditional ways, the formal method of development can reduce developing time and improve the code quality dramatically. However, some disadvantages have to be solved to make it more useful in protocol software development.