Show simple item record

dc.contributor.advisorGalván, Arturo
dc.contributor.authorGarcía Dávalos, Alexander
dc.contributor.authorRamírez Cano, Mary Elizabeth
dc.date.accessioned2020-06-26T21:32:17Z
dc.date.available2020-06-26T21:32:17Z
dc.date.issued2006-03-24
dc.identifier.urihttp://hdl.handle.net/20.500.12749/3313
dc.description.abstractEn la actualidad el reto de las comunicaciones es satisfacer la demanda de transmisión de gran cantidad de datos en el menor tiempo posible. Esto implica, que los protocolos que se diseñan deben usar de forma eficiente el medio de transmisión, maximizando el ancho de banda disponible. Ejemplos clásicos de esta situación se presentan en la transmisión de vídeo de alta calidad ó el control en redes industriales. En particular en el sector de las telecomunicaciones, se ha invertido gran cantidad de tiempo y esfuerzo en maximizar el aprovechamiento de los medios físicos de comunicación, sin importar su naturaleza, este hecho conlleva a que la investigación en este campo nunca termine y se hagan esfuerzos y propuestas cada vez mejores que buscan transmitir mayor cantidad de datos en el menor tiempo posible. El presente trabajo es una propuesta en este sentido, ya que trata acerca del diseño de un nuevo protocolo de comunicaciones denominado PDM-Ring que hace uso eficiente del medio físico y minimiza la pérdida de datos basándose en la tecnología multiplexación por división de potencia, concepto que tienen amplia aplicación en el campo de la comunicación por radio, pero que gracias a los avances tecnológicos que ofrecen los nuevos dispositivos electrónicos tales como, alta capacidad de almacenamiento y gran velocidad, es posible ahora aplicar en las redes cableadas. Es importante aclarar que, el protocolo propuesto será implementado en un nuevo dispositivo electrónico de comunicaciones que está en proceso de construcción, pero que no hizo parte del trabajo, por tanto, el interés fundamental en este proyecto fue demostrar que el diseño del protocolo PDM-Ring para redes en anillo sin colisiones y basado en Multiplexación de Potencia es correcto, es decir, el protocolo no posee inconsistencias y su implementación es completamente viable desde el punto de vista lógico. Para la validación del protocolo propuesto se utilizo una herramienta de validación automatizada qe se denomina SPIN y los resultados obtenidos en este proceso permiten afirmar que el diseño del protocolo propuesto es correcto.
dc.description.sponsorshipInstituto Tecnológico y de Estudios Superiores de Monterrey ITESM
dc.description.tableofcontents1. INTRODUCCIÓN..............................................................................................7 1.1. ANTECEDENTES .....................................................................................7 1.2. PROBLEMA...............................................................................................8 1.3. JUSTIFICACIÓN .....................................................................................10 1.3.1 Costos en hardware y materiales. ....................................................10 1.3.2 Mejora en el tiempo de transmisión..................................................12 1.3.3 Mejora en gestión de calidad de los datos .......................................14 1.4. OBJETIVOS ............................................................................................16 1.4.1 General.............................................................................................16 1.4.2 Específicos .......................................................................................16 1.5. HIPOTESIS .............................................................................................17 1.6. ORGANIZACIÓN DEL DOCUMENTO.....................................................18 2. MARCO TEÓRICO.........................................................................................19 2.1. PDM (Power Division Multiplex - Multiplex por División de Potencia)......22 2.2. Dispositivo DCIH .....................................................................................25 3. METODOLOGÍA.............................................................................................27 3.1. DISEÑO DEL PROTOCOLO PDM-RING................................................29 3.2. SERVICIOS.............................................................................................30 3.3. ASUNCIONES.........................................................................................31 3.4. SUB-NIVEL INTERMEDIO ......................................................................32 3.4.1 Requerimientos: ...............................................................................32 3.4.2 Vocabulario. .....................................................................................32 3.4.3 Formato de Mensajes.......................................................................33 3.4.4 Reglas de Procedimiento. ................................................................33 3.4.5 Diagramas de Flujo ..........................................................................36 3.4.6 Bucket ..............................................................................................40 3.5. SUB-NIVEL DE ENLACE DATOS...........................................................43 3.5.1 Vocabulario. .....................................................................................44 3.5.2 Formato de Mensajes.......................................................................45 3.5.3 Reglas de Procedimiento. ................................................................47 3.5.4 Diagramas de Flujo. .........................................................................49 3.6. VALIDACIÓN DEL PROTOCOLO PDM-RING........................................72 3.6.1 SPIN. ................................................................................................72 3.6.2 Propiedades del sub-nivel Intermedio. .............................................76 3.6.3 Propiedades del sub-nivel de Enlace. ..............................................79 3.7. SIMULACIÓN Y VALIDACIÓN CON SPIN..............................................84 3.7.1 Modelo del Sub-nivel Intermedio ......................................................84 3.7.2 Modelo del Sub-nivel de Enlace. ......................................................85 3.8. RESULTADOS ........................................................................................89 3.8.1 Resultados de Verificación del Protocolo del Sub-nivel Intermedio..89 3.8.2 Resultados de Verificación del Protocolo del Sub-nivel de Enlace...91 4. CONCLUSIONES...........................................................................................95 2 5. TRABAJOS FUTUROS...................................................................................96 BIBLIOGRAFÍA......................................................................................................97 ANEXO A.............................................................................................................100 ANEXO B.............................................................................................................136 ANEXO C.............................................................................................................151 ANEXO D.............................................................................................................164spa
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/*
dc.titleProtocolo PDM-RING para redes en anillo-Sin colisiones y basado en multiplexación de potenciaspa
dc.title.translatedPDM-RING protocol for collision-free ring networks based on power multiplexingeng
dc.degree.nameMagíster en Ciencias Computacionales
dc.coverageBucaramanga (Colombia)
dc.publisher.grantorUniversidad Autónoma de Bucaramanga UNAB
dc.rights.localAbierto (Texto Completo)spa
dc.publisher.facultyFacultad Ingenierías
dc.publisher.programMaestría en Ciencias Computacionales
dc.description.degreelevelMaestría
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.localTesisspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.subject.keywordsData transmission systems
dc.subject.keywordsComputer networks
dc.subject.keywordsRing nets
dc.subject.keywordsComputers
dc.subject.keywordsSystems Engineering
dc.subject.keywordsComputer science
dc.subject.keywordsProtocols
dc.subject.keywordsInvestigations
dc.subject.keywordsAnalysis
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga - UNAB
dc.identifier.reponamereponame:Repositorio Institucional UNAB
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2
dc.relation.referencesGarcía Dávalos, Alexander, Ramírez Cano, Mary Elizabeth (2006). Protocolo PDM-RING para redes en anillo sin colisiones y basado en multiplexación de potencia. Bucaramanga (Colombia) : Universidad Autónoma de Bucaramanga UNAB, Instituto Tecnológico y de Estudios Superiores de Monterrey ITESM
dc.relation.referencesBAGHDADY, Elie J. «New development in FM Reception and their application to the realization of a system of “Power division multiplex” ». Communications, IEEE Transactions on [legacy, pre - 1988]. Volume: 7 , Issue: 3 . Sep 1959. pag. 147 - 161.
dc.relation.referencesBANERJEA, Anindo. FERRARI, Domenico. MAAH, Bruce A., MORAN, Mark. VERMA, Dinesh C. y ZHANG, Hui. « The Tenet Real - Time Protocol Suite: Design, Implementation, and Experiences». Networking, IEEE/ACM Transactions on. Volume: 4 , Issue: 1 . Feb. 1996. pag. 1 – 10.
dc.relation.referencesBLACK, Uyless. Redes de Computadoras Protocolos, normas e interfaces. Segunda edición. Ra-ma, 1997.
dc.relation.referencesBRÆK, Rolv. «SDL basics ». Computer Networks and ISDN Systems. Volume 28 , Issue 12 (June 1996) Special issue on SDL and MSC. 1996. Elsevier Science Publishers B. V. Amsterdam (The Netherlands). Pag. 1585 – 1602.
dc.relation.referencesCARLSON, Bruce. Communications Systems. McGraw Hill. Cuarta edición. 2001
dc.relation.referencesCONTI, M. y DONATIELLO L. « Design an Analysis of RT – Ring: a protocol for supporting real-time communications ». Industrial Electronics, IEEE Transactions on . Volume: 49 , Issue: 6 . Dec. 2002. pp 1214 - 1226
dc.relation.referencesCOUCH, Leon W. Digital and analog communications systems. Prentice Hall. Sexta edición. 2001
dc.relation.referencesERIKSSON, Christer. THANE, Henrik. GUSTAFSSON, Mikael. «A Communication Protocol for Hard and Soft Real-Systems», IEEE Real-Time Systems, 1996. Proceedings of the Eighth Euromicro Workshop on . 12-14 June 1996. pag. 187 - 192
dc.relation.referencesHOLZMANN, Gerard J., Design and Validation of Computer Protocols, Prentice Hall, 1991.
dc.relation.referencesHOLZMANN, Gerard J., «The Model Checker Spin», IEEE Transactions on Software Engineering, Vol. 23, No. 5, Mayo 1997, pag. 279-295.
dc.relation.referencesHOLZMANN Gerard J., «Using Spin», Plan 9 Programmer’s Manual Documents, Vita Nuova Holdings Ltd, York (England), 2nd edition, 2000. pag. 353-382.
dc.relation.referencesHOLZMANN Gerard J., «An Analysis of Bitstate Hashing», Formal Methods in System Design, Vol. 13, No. 3, Kluwer, November 1998, pag. 287-305
dc.relation.referencesHOLZMANN Gerard J., «Designing bug-free protocols with Spin», Computer Communications Journal, Vol. 20, No. 2, 1997, pag. 97-105
dc.relation.referencesHOLZMANN Gerard J., «Protocol Design: Redefining the State of the Art», IEEE Software, Vol. 09, No. 1, January 1992, pag. 17-22.
dc.relation.referencesLATHI, B.P. Modern digital and analog communications. Oxford Press. Tercera edición. 1998.
dc.relation.referencesLIMA, M.R., LEITE J.C.B., LOQUES O. G. « A Real-Time Communication Protocol », Real Time, 1990. Proceedings. Euromicro '90 Workshop on . 6-8 June 1990. pp 129 - 134.
dc.relation.referencesNICHOLLS, K. JACOBSON V. ZHANG L. « A Two-bit Differentiated Services Architecture for the Internet ». IETF RFC 2638, July 1999. Disponible en la URL: http://irl.cs.ucla.edu/papers/twobit.pdf.
dc.relation.referencesPARK, Jung Woo. PARK Hyeok Gi. KWON, WOOK Hyun. «A Real - Time Communication Protocol with Contention-resolving Algorithm for Programmable Controllers». Industrial Electronics, Control and Instrumentation, 1994. IECON '94., 20th International Conference on , Volume: 2 , 5-9 Sept. 1994. pp 1159 – 1164.
dc.relation.referencesPENG, H. TAHAR, S. KHENDEK, F., «SPIN vs. VIS: a case study on the formal verification of the ATMR protocol», Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. York, UK , 2000. pag. 79-87
dc.relation.referencesSHIMAMOTO, Shigeru. ONOZATO, Yoshikuni. TESHIGAWARA, Yoshimi. « Perfomance Evaluation of Power Level Division Multiple Access (PDMA) Scheme », IEEE , International Conference of Communications. 1992. pp. 1333 - 1337
dc.relation.referencesSKLAR, Bernard. Digital communications: Fundamentals and Application. Prentice Hall. Segunda edición. 2001
dc.relation.referencesSTALLINGS, William. Comunicaciones y Redes de Computadores, Sexta Edición, Editorial Prentice Hall, Madrid (España), 2000. Pag. 182-210.
dc.relation.referencesSTREMLER, Ferrel G. Introduction to communication systems. Addison-Wesley. Tercera edición. 1990.
dc.relation.referencesTANENBAUM, Andrew S. Redes de Computadores. Tercera Edición. Prentice Hall, 1997.
dc.relation.referencesTINDELL, K. W. HANSSON, H. y WELLINGS A. J. « Analisys Real-Time Communications: Controller Area Network (CAN) ». IEEE. Real-Time Systems Symposium, 1994., Proceedings. , 7-9 Dec. 1994. pp 259 - 263.
dc.relation.referencesISO/DIS 11898. «Road Vehicles – Interchange of Digital Information – Controller Area Network (CAN) for High Speed Communications». Febrero 1992.
dc.relation.referencesICONTEC. «Compendio – Tesis y Otros Trabajos de Grado». Imprelibros S.A, Bogotá D.C., 2004.
dc.relation.referencesBerge J., «Ethernet in Process Control», Technical article, The Industrial Ethernet Book, Issue 3, June 2000. http://ethernet.industrial-networking.com/ieb/articles.asp (última consulta marzo 3 de 2006).
dc.relation.referencesBerge J., «FieldBus, Ethernet and the Reality of Convergence», Technical article, The Industrial Ethernet Book, Issue 23, November 2004. http://ethernet.industrial-networking.com/ieb/articles.asp (última consulta marzo 3 de 2006).
dc.relation.referencesHART Communication Foundation. HART Protocol Overview http://www.hartcomm.org/ (última consulta el 3 de diciembre de 2005)
dc.relation.referencesLONWORKS, White Paper. «Determinism in Industrial Computer Control Network Applications». Echelon, Enero1995. http://www.echelon.com/support/documentation/bulletin/005-0060-01A.pdf (consultada el 11 de noviembre de 2003)
dc.relation.referencesMartin Timmerman PhD. Dedicated Systems - Encyclopaedia http://www.realtime-info.be/encyc/techno/terms/defini/def.htm (última consulta el 2 de diciembre de 2005)
dc.relation.referencesSPIN. ON -THE-FLY, LTL MODEL CHECKING with SPIN http://spinroot.com/spin/whatispin.html (última consulta el 3 de diciembre de 2005)
dc.relation.referencesTheo Ruys & G. Holzmann . SPIN Advanced tutorial http://spinroot.com/spin/Doc/Spin_tutorial_2004.pdf (última consulta el 2 de diciembre de 2005)
dc.relation.referencesTheo Ruys . SPIN Beginners’ Tutorial. http://spinroot.com/spin/Doc/SpinTutorial.pdf (última consulta el 2 de diciembre de 2005)
dc.relation.referencesMatt Dwyer, John Hatcliff.Kansas State University. CIS 842: Specification and Verification of Reactive Systems Lecture SPIN-INTRO: Introduction To SPIN URL: http://spinroot.com/spin/Doc/SpinIntro.pdf (última consulta el 2 de diciembre de 2005)
dc.relation.referencesGerard. J. Holzmann . Bibliography URL: http://spinroot.com/gerard/pubs.html (última consulta el 2 de diciembre de 2005)
dc.description.cvlachttps://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000191906
dc.description.googlescholarhttps://scholar.google.es/citations?hl=es&user=WRdA1yEAAAAJ
dc.subject.lembSistemas de transmisión de datosspa
dc.subject.lembRedes de computadoresspa
dc.subject.lembRedes en anillospa
dc.subject.lembComputadoresspa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembCiencias computacionalesspa
dc.subject.lembProtocolosspa
dc.subject.lembInvestigacionesspa
dc.subject.lembAnálisisspa
dc.contributor.corporatenameInstituto Tecnológico de Estudios Superiores de Monterrey (ITESM)
dc.description.abstractenglishToday the challenge of communications is to meet the demand for transmission of large amounts of data in the shortest possible time. This implies, that the protocols that are designed must use the transmission medium efficiently, maximizing the available bandwidth. Classic examples of This situation occurs in the transmission of high quality video or the control in industrial networks. Particularly in the telecommunications sector, a great deal of time and effort has been invested in maximizing the use of the physical means of Communication, regardless of its nature, this fact leads to research in this field never ending and increasingly better efforts and proposals are made that seek to transmit as much data in the shortest possible time. The present work is a proposal in this sense, since it deals with the design of a new communications protocol called PDM-Ring that makes efficient use of the physical medium and minimizes data loss based on power division multiplexing technology, a concept that has wide application in the field of radio communication, but thanks to technological advances offered by new electronic devices such as high storage capacity and high speed, is now possible apply in wired networks. It is important to clarify that the proposed protocol will be implemented in a new electronic communications device that is under construction, but that he did not do part of the work, therefore, the fundamental interest in this project was to demonstrate that the design of the PDM-Ring protocol for ring networks without collisions and based on Power Multiplexing is correct, that is, the protocol does not have inconsistencies and its implementation is completely viable from a logical point of view. For the validation of the proposed protocol, an automated validation tool called SPIN was used and the results obtained in this process allow us to affirm that the design of the proposed protocol is correct.
dc.subject.proposalProtocolos
dc.subject.proposalHerramienta de validación
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/2.5/co/