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 Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach

In this work the WiMax MAC Protocol for Dynamic Service Flow management and their transactions is analyzed by showing this several pitfalls of the specification and how this can affect the implementation of the protocol using Colored Petri Nets (CPNs). A detailed description of the protocol is developed at level of transactions it supports, and at level of service flows. The modeling and analysis of the protocol are important to improve the current specification and to support the reuse of the concepts in emerging networks. We show the potentialities of using a transaction oriented approach in the description of this kind of protocols. The contributions of this paper are focused on providing a clear description of the protocol, presentation of the model, validation and analysis of the model according to the generation of the Dynamic Service Flow management transactions protocol language, as well as the determination of regular expressions Language.Sociedad Argentina de Informática e Investigación Operativa (SADIO

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

Optimal Feedback-Based Adaptive Wimax Mac For Improving Quality Of Video

WiMax based on IEEE 802.16 is an emerging wireless broadband communication technology for metropolitan area networking and is regarded as a strong competitor of cable access technologies. Among other functionalities, WiMax includes a rich set of MAC layer features that allows it to adapt to changing network and channel conditions. A well-known mechanism that has been incorporated in the physical layer of WiMax is the forward error correction (FEC). In this paper, we make use this feature to construct MAC protocol data units (MPDUs) in an adaptive manner based on the feedback about the channel conditions. We consider video as the application and use a well accepted mean opinion score (MOS) model for evaluating the video at the user end. We conduct simulation experiments to verify the performance of our adaptive MAC schemes. Simulation results reveal that the proposed adaptive scheme is able to adapt to the changing channel conditions, so the MOS for the video quality and network efficiency improve when the scheme is implemented no matter what the status of the channel is. ©2010 IEEE

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

PERFORMANCE COMPARISON OF MESH ROUTING PROTOCOLS IN AN EXPERIMENTAL NETWORK WITH BANDWIDTH RESTRICTIONS IN THE BORDER ROUTER

In recent years, a new technology known as wireless mesh networks (WMNs) has emerged as an adaptable and economicalextension of wired networks, which, in some scenarios and applications, may provide a more affordable and versatilesolution than other wired or wireless technologies. In this paper, we propose to use WMNs to provide Internet access tolow-income people living in Caracas city. Caracas has a geographical distribution such that almost every middle-classand wealthy neighborhood is located next to at least one poor neighborhood, so poor families may access the Internetvia one or more Internet Service Providers contracted by a neighbor living in a surrounding middle-class or wealthyneighborhood. Computers in poor neighborhoods can connect to the mesh networks via wireless adaptors. As a first step,we investigate the performance of the mesh network for Babel, B.A.T.M.A.N., and OLSR routing protocols as a functionof the throughput and packet loss rate for different test scenarios defined according to the number of mesh nodes and thebandwidth constraints applied by the border router. The results show that when the bandwidth is more limited, all therouting protocols provide similar values of throughput; as the bandwidth restrictions are relaxed, Babel and B.A.T.M.A.N.,perform better than OLSR for large number of users. For small network sizes, the routing protocols behave similarly.RESUMENEn los últimos años, una nueva tecnología conocida como Redes Inalámbricas Malladas (WMNs – Wireless Mesh Networks)ha emergido como una extensión adaptable y económica de las redes cableadas que, en algunos escenarios y aplicaciones,pueden ofrecer soluciones más versátiles y costeables que otras tecnologías de redes cableadas o inalámbricas. En esteartículo, se propone usar las WMNs para proveer acceso a Internet a personas de bajos ingresos que viven en la ciudad deCaracas. Caracas tiene una distribución geográfica en la cual la mayoría de las urbanizaciones pudientes y de clase media seencuentran adyacentes a un vecindario de bajos recursos, en donde sus habitantes podrían acceder a Internet vía uno o másproveedores de servicios contratados por un vecino ubicado en una urbanización con mayores recursos. Los computadoresen los vecindarios de bajos recursos se pueden conectar a la red mallada a través de adaptadores inalámbricos. Como primerpaso, se investigó acerca del desempeño de las redes malladas para los protocolos de enrutamiento Babel, B.A.T.M.A.N.,y OLSR en función del throughput y la tasa de pérdida para diferentes escenarios definidos de acuerdo al número denodos mallados, y a las restricciones del ancho de banda aplicadas por el enrutador de borde. Los resultados muestran quecuando al ancho de banda es más limitado, todos los protocolos de enrutamiento proveen valores similares de throughput;a medida que las restricciones de ancho de banda se relajan, Babel y B.A.T.M.A.N. tienen mejor desempeño que OLSRpara un elevado número de usuarios. Para redes pequeñas, todos los protocolos poseen conductas similares.Palabras Clave: Redes Malladas, Protocolos de enrutamiento proactivos, OLSR, B.A.T.M.A.N., Babel

Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16. An Aproach

In this work the WiMax MAC Protocol for Dynamic Service Flow management and their transactions is analyzed by showing this several pitfalls of the specification and how this can affect the implementation of the protocol using Colored Petri Nets (CPNs). A detailed description of the protocol is developed at level of transactions it supports, and at level of service flows. The modeling and analysis of the protocol are important to improve the current specification and to support the reuse of the concepts in emerging networks. We show the potentialities of using a transaction oriented approach in the description of this kind of protocols. The contributions of this paper are focused on providing a clear description of the protocol, presentation of the model, validation and analysis of the model according to the generation of the Dynamic Service Flow management transactions protocol language, as well as the determination of regular expressions Language.Sociedad Argentina de Informática e Investigación Operativa (SADIO