A Bluetooth L2CAP protokolljának elemzése és formális leírása

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

Az információs forradalom korszakában a kapcsolattatás elengedhetetlen fogalma az egymással kommunikáló eszközök által kialakított hálózat. Számos esetben - ez a mobil készülékek esetén fokozottan érvényes - a kábelekkel történõ összeköttetés többnyire lehetetlen, vagy nagyon költséges beruházást igényel.

A kábeles csatlakozás kiküszöbölésére több technológia fejlõdött ki, a rádiós átvitel azonban számos tényezõben elõnyösebbnek bizonyult a többivel szemben, nem követeli meg a kommunikáló felek egymásra való rálátását, robosztus, viszonylag gyors átvitelt valósít meg olcsón. Ilyen rádiós kapcsolatra épül a Bluetooth technológia, mely a 2.4 GHz-es ISM sávban FSSH-t alkalmazva legfeljebb 10 m-re történõ, maximálisan 1 Mbps sebességû átvitelt valósít meg.

Elõadásomban a rövidtávú vezetéknélküli hálózatok bemutatása után a Bluetooth adatkapcsolati rétegét írom le formális nyelvek segítségével, melyekkel könnyen ábrázolhatók olyan dinamikus, valós idejû, interaktív elosztott rendszerek, mint a protokollok.

Kulcsszavak: protokoll technológia, vezetéknélküli hálózatok, formális nyelvek, SDL, Bluetooth