The Design of the Data Link Layer Protocol of Bluetooth using the Formal Method Technique

Tarnay Katalin prof. <tarnayk@irt.vein.hu>

Veszprémi Egyetem, Információs Rendszerek tanszék

Harmatné Medve Anna <medve@almos.vein.hu>

Veszprémi Egyetem, Információs Rendszerek Tanszék

Dulai Tibor <dtibor@vekoll.vein.hu>

Veszprõmi Egyetem, Információs Rendszerek Tanszék

Network created by the devices communicating to each other is an essential concept of the connection in the age of the informational revolution. In several cases, especially between mobile devices, the connection via wire is not possible or very expensive.

Many wireless technologies have been developed. The radio wave connection has more advantages than others do, because the communicating devices do not need to be visible to each other, the technology is robust and offers quick and cheap transmission. Such radio connection is the basis of Bluetooth technology. It communicates in the ISM band at 2.4 GHz applying FSSH and offers transmission in 10 meters distance at the speed of 1 Mbps.

After presenting the short range wireless networks I will describe the data link layer of Bluetooth making use of formal method techniques. These techniques are suitable for present dynamic, real-time, interactive distributed systems like protocols.

Keywords: protocol engineering, wireless networks, formal method techniques, SDL, Bluetooth