Uso de Redes de Petri Coloreadas para la Formalización y Análisis de la Activación de Operaciones de la Capa MAC/Física Alternativa (AMP) en Bluetooth 3.0

Abstract

Bluetooth es una tecnología de comunicación inalámbrica de radio frecuencia (RF), que permite la comunicación a corto alcance de voz y data, ya que funciona en la banda de frecuencia comprendida entre 2.4 y 2.485 GHz. Bluetooth 3.0 incorpora la posibilidad de utilizar una capa MAC/Física Alternativa (AMP, Alternate MAC/PHYs) para la transferencia de datos, y contempla el uso de un Capa de Adaptación del Protocolo (PAL, Protocol Adaptation Layer), la cual puede hacer uso de IEEE 802.11 para la transmisión de datos. Por otro lado las Redes de Petri Coloreadas (Colored Petri Nets, CPNs) son una técnica formal utilizada para modelar sistemas, en particular protocolos de comunicación. En esta investigación se modeló la máquina de estados asociada a la activación de operaciones AMP usando las CPNs. Las operaciones de la capa AMP involucran un movimiento de canales en la capas de Adaptación y Control de Enlace Lógico (L2CAP, Logical Link and Adaptation Protocol). Bajo la asunciones realizadas la activación de operación AMP funcionó como era esperado y no se obtuvo ninguna anomalía en su comportamiento.