Modelado del establecimiento de la conexión entre dos dispositivos bluetooth usando las redes de petri coloreadas

Bluetooth es una tecnología de comunicación que proporciona comunicación entre dispositivos vía radio frecuencias en un área de alrededor de los 10 metros. La especificación de Bluetooth incluye un conjunto de protocolos, adoptados y propios, organizados de forma jerárquica. Uno de los protocolos propios de esta tecnología es el bandabase. El establecimiento de una conexión es parte de la funciones de dicho protocolo. La especificación de este procedimiento es poco clara y ambigua y hace poco uso de herramientas para la descripción de protocolos tales como las tablas de estado. En este trabajo, las Redes de Petri Coloreadas (Coloured Petri Nets, CPNs), las cuales son una técnica formal, se utilizan para modelar el establecimiento de una conexión entre dos dispositivos Bluetooth, uno maestro y otro esclavo. Dicho modelo es entonces validado y depurado usando la técnica del grafo de estado. El análisis inicial muestra que el modelo se comporta acorde a lo esperado dadas las asunciones del modelo y las hechas para fines del análisis. La mayor contribución de este trabajo es el haber logrado una especificación clara y precisa del procedimiento a través del uso de la CPNs

Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets

Abstract: Bluetooth provides communication between devices via radio frequency with a range of around 10 meters. The Bluetooth specification includes a set of adopted and fundamental protocols. Baseband is a fundamental protocol that is responsible for the connection establishment among a master and up to seven slave devices. This paper describes a model of the Baseband connection establishment protocol and presents the analysis approach and results. The protocol is modeled using Colored Petri Nets. The model provides a clear, unambiguous and precise definition of the considered features of the baseband protocol, which is missing in the current protocol specification. The model is analyzed for a set of general properties, such as correct termination, and a set of Baseband protocol’s specific properties defined in this paper. Some of the properties are checked by querying the occurrence graph, and the others are verified using a CTL-like temporal logic. The results show that the Baseband model satisfies the defined properties

Cloud UCV

La computación en la nube llega a la Universidad. Proyecto, consideraciones y avances.&nbsp

Visualización de la actividad cardiaca

Esbozo del uso de los monitores cardiacos con el bluetooth 4.0 con el objeto de poder monitorear la actividad física de los atletas, usando una tecnología de comunicación de bajo costo y consumo de energía