Abstract

VILLAPOL, María Elena. Análisis de las propiedades del establecimiento de la conexión Bluetooth Bandabase usando Redes de Petri Coloreadas. Comp. y Sist. [online]. 2012, vol.16, n.4, pp.433-446. ISSN 2007-9737.

Bluetooth permite la comunicación entre dispositivos a través de frecuencias de radio en un área de alrededor de 10 metros. La especificación Bluetooth incluye un conjunto de protocolos fundamentales y adoptados. El protocolo Bandabase es un protocolo fundamental que es responsable del establecimiento de la conexión entre un maestro y hasta siete dispositivos esclavos. Este artículo describe un modelo del protocolo de establecimiento de conexión y presenta el enfoque del análisis y los resultados. El protocolo es modelado utilizando las Redes de Petri Coloreadas. El modelo proporciona una definición clara, inequívoca y precisa de las acciones consideradas del protocolo de Bandabase, que faltan en la especificación del protocolo actual. El modelo es analizado en función de un conjunto de propiedades generales, tales como la terminación correcta, y un conjunto de propiedades específicas del protocolo Bandabase que se definen en este documento. Algunas de las propiedades se comprueban examinando el grafo de ocurrencia, y las otras se verifican mediante una lógica temporal basada en CTL. Los resultados muestran que el modelo de Bandabase satisface las propiedades definidas.

Keywords : Bluetooth; Redes de Petri Coloreadas; lógica temporal; verificación; grafo de ocurrencias.

        · abstract in English     · text in English     · English ( pdf )