Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/14686
Título : | Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets |
Otros títulos : | Análisis de las propiedades del establecimiento de la conexión Bluetooth Bandabase usando Redes de Petri Coloreadas |
Autor : | María Elena, Villapol |
Palabras clave : | Keywords: Bluetooth, Colored Petri Nets, temporal logic, verification, occurrence graph. |
Fecha de publicación : | 10-dic-2012 |
Editorial : | Revista Computación y Sistemas; Vol. 16 No. 4 |
Citación : | Revista Computación y Sistemas; Vol. 16 No. 4 |
Citación : | Revista Computación y Sistemas;Vol. 16 No. 4 |
Resumen : | 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. |
URI : | http://www.repositoriodigital.ipn.mx/handle/123456789/14686 |
ISSN : | 1405-5546 |
Aparece en las colecciones: | Revistas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
433_Art. 5_46.pdf | 862.4 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.