SciELO - Scientific Electronic Library Online

 
vol.16 issue4Fast Object Recognition for Grasping Tasks using Industrial RobotsDistributed-Based Transversal Filter Approach for Spectrally Encoded Multi-Gb/s CDMA Systems author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Computación y Sistemas

Print version ISSN 1405-5546

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 1405-5546.

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 )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License