Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/14686
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | María Elena, Villapol | - |
dc.date.accessioned | 2013-03-23T01:27:24Z | - |
dc.date.available | 2013-03-23T01:27:24Z | - |
dc.date.issued | 2012-12-10 | - |
dc.identifier.citation | Revista Computación y Sistemas; Vol. 16 No. 4 | es |
dc.identifier.issn | 1405-5546 | - |
dc.identifier.uri | http://www.repositoriodigital.ipn.mx/handle/123456789/14686 | - |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Instituto Politécnico Nacional - Centro de Investigación en Computación (CIC). | es |
dc.language.iso | en_US | es |
dc.publisher | Revista Computación y Sistemas; Vol. 16 No. 4 | es |
dc.relation.ispartofseries | Revista Computación y Sistemas;Vol. 16 No. 4 | - |
dc.subject | Keywords: Bluetooth, Colored Petri Nets, temporal logic, verification, occurrence graph. | es |
dc.title | Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets | es |
dc.title.alternative | Análisis de las propiedades del establecimiento de la conexión Bluetooth Bandabase usando Redes de Petri Coloreadas | es |
dc.type | Article | es |
dc.description.especialidad | Investigación en Computación | es |
dc.description.tipo | es | |
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.