Modeling of the Bluetooth(TM) Protocols

Industry is developing a technology specification called Bluetooth, which is designed for small form factor, low-cost, short range radio links between mobile PCs, mobile phones and other portable devices. Within this specification are various layered protocols. Three (3) of these are investigated for protocol modeling, validation, and verification.
Baseband
Link Manager Protocol (LMP)
Logical Link Control Adaptation Protocol (L2CAP)

To accomplish these tasks we will create a validation model for these three protocols using the Specification and Description Language (SDL) and related tools.

The IEEE 802.15 working group began the standardization of the Bluetooth specification. As part of its standardization effort, SDLs were requested for inclusion into the IEEE 802.15.1 draft standard. NIST then changed to modeling and verifying the Bluetooth protocols using SDL and SDL related tools, rather than continuing with PROMELA and SPIN.

The results have and will be submitted to the Bluetooth Special Interest Group and the IEEE 802.15 Task group 1 as appropriate.

David Cypher (david.cypher@nist.gov)

LAST UPDATE: March 16, 2000