Validation and implementation of Bluetooth RFCOMM protocol
Quanping Wang, Zhangdui D. Zhong, Qiang Gao · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2001
In this paper, we firstly analyze the requirements of RFCOMM protocol. Then we explain our primary experience in validation and implementation of this protocol in order to make our software stable, easy to port into embedded system and well interoperable. At last, we summarize all the experience and show the importance of validated SDL model and efficient testing techniques.