Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia

En 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ási...

Full description

Autores:
García Dávalos, Alexander
Ramírez Cano, Mary Elizabeth
Tipo de recurso:
Fecha de publicación:
2006
Institución:
Universidad Autónoma de Bucaramanga - UNAB
Repositorio:
Repositorio UNAB
Idioma:
spa
OAI Identifier:
oai:repository.unab.edu.co:20.500.12749/3313
Acceso en línea:
http://hdl.handle.net/20.500.12749/3313
Palabra clave:
Data transmission systems
Computer networks
Ring nets
Computers
Systems engineering
Computer science
Protocols
Investigations
Analysis
Communication protocol
Simulation tests
Sistemas de transmisión de datos
Redes de computadores
Redes en anillo
Computadores
Ingeniería de sistemas
Ciencias computacionales
Protocolos
Investigaciones
Análisis
Herramienta de validación
Protocolo de comunicación
Pruebas de simulación
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
id UNAB2_74775c567e0c54d9e37496bbcf8dfbbb
oai_identifier_str oai:repository.unab.edu.co:20.500.12749/3313
network_acronym_str UNAB2
network_name_str Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
dc.title.translated.eng.fl_str_mv PDM-RING protocol for collision-free ring networks based on power multiplexing
title Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
spellingShingle Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
Data transmission systems
Computer networks
Ring nets
Computers
Systems engineering
Computer science
Protocols
Investigations
Analysis
Communication protocol
Simulation tests
Sistemas de transmisión de datos
Redes de computadores
Redes en anillo
Computadores
Ingeniería de sistemas
Ciencias computacionales
Protocolos
Investigaciones
Análisis
Herramienta de validación
Protocolo de comunicación
Pruebas de simulación
title_short Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
title_full Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
title_fullStr Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
title_full_unstemmed Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
title_sort Protocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potencia
dc.creator.fl_str_mv García Dávalos, Alexander
Ramírez Cano, Mary Elizabeth
dc.contributor.advisor.spa.fl_str_mv Galván, Arturo
dc.contributor.author.spa.fl_str_mv García Dávalos, Alexander
Ramírez Cano, Mary Elizabeth
dc.contributor.cvlac.*.fl_str_mv https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000191906
dc.contributor.googlescholar.*.fl_str_mv https://scholar.google.es/citations?hl=es&user=WRdA1yEAAAAJ
dc.contributor.corporatename.spa.fl_str_mv Instituto Tecnológico de Estudios Superiores de Monterrey (ITESM)
dc.contributor.researchgroup.spa.fl_str_mv Grupo de Investigación Tecnologías de Información - GTI
Grupo de Investigaciones Clínicas
dc.subject.keywords.eng.fl_str_mv Data transmission systems
Computer networks
Ring nets
Computers
Systems engineering
Computer science
Protocols
Investigations
Analysis
Communication protocol
Simulation tests
topic Data transmission systems
Computer networks
Ring nets
Computers
Systems engineering
Computer science
Protocols
Investigations
Analysis
Communication protocol
Simulation tests
Sistemas de transmisión de datos
Redes de computadores
Redes en anillo
Computadores
Ingeniería de sistemas
Ciencias computacionales
Protocolos
Investigaciones
Análisis
Herramienta de validación
Protocolo de comunicación
Pruebas de simulación
dc.subject.lemb.spa.fl_str_mv Sistemas de transmisión de datos
Redes de computadores
Redes en anillo
Computadores
Ingeniería de sistemas
Ciencias computacionales
Protocolos
Investigaciones
Análisis
dc.subject.proposal.none.fl_str_mv Herramienta de validación
Protocolo de comunicación
Pruebas de simulación
description En 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.
publishDate 2006
dc.date.issued.none.fl_str_mv 2006-03-24
dc.date.accessioned.none.fl_str_mv 2020-06-26T21:32:17Z
dc.date.available.none.fl_str_mv 2020-06-26T21:32:17Z
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.local.spa.fl_str_mv Tesis
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/TM
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12749/3313
dc.identifier.instname.spa.fl_str_mv instname:Universidad Autónoma de Bucaramanga - UNAB
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional UNAB
url http://hdl.handle.net/20.500.12749/3313
identifier_str_mv instname:Universidad Autónoma de Bucaramanga - UNAB
reponame:Repositorio Institucional UNAB
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.references.spa.fl_str_mv Garcí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
BAGHDADY, 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.
BANERJEA, 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.
BLACK, Uyless. Redes de Computadoras Protocolos, normas e interfaces. Segunda edición. Ra-ma, 1997.
BRÆ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.
CARLSON, Bruce. Communications Systems. McGraw Hill. Cuarta edición. 2001
CONTI, 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
COUCH, Leon W. Digital and analog communications systems. Prentice Hall. Sexta edición. 2001
ERIKSSON, 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
HOLZMANN, Gerard J., Design and Validation of Computer Protocols, Prentice Hall, 1991.
HOLZMANN, Gerard J., «The Model Checker Spin», IEEE Transactions on Software Engineering, Vol. 23, No. 5, Mayo 1997, pag. 279-295.
HOLZMANN Gerard J., «Using Spin», Plan 9 Programmer’s Manual Documents, Vita Nuova Holdings Ltd, York (England), 2nd edition, 2000. pag. 353-382.
HOLZMANN Gerard J., «An Analysis of Bitstate Hashing», Formal Methods in System Design, Vol. 13, No. 3, Kluwer, November 1998, pag. 287-305
HOLZMANN Gerard J., «Designing bug-free protocols with Spin», Computer Communications Journal, Vol. 20, No. 2, 1997, pag. 97-105
HOLZMANN Gerard J., «Protocol Design: Redefining the State of the Art», IEEE Software, Vol. 09, No. 1, January 1992, pag. 17-22.
LATHI, B.P. Modern digital and analog communications. Oxford Press. Tercera edición. 1998.
LIMA, 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.
NICHOLLS, 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.
PARK, 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.
PENG, 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
SHIMAMOTO, Shigeru. ONOZATO, Yoshikuni. TESHIGAWARA, Yoshimi. « Perfomance Evaluation of Power Level Division Multiple Access (PDMA) Scheme », IEEE , International Conference of Communications. 1992. pp. 1333 - 1337
SKLAR, Bernard. Digital communications: Fundamentals and Application. Prentice Hall. Segunda edición. 2001
STALLINGS, William. Comunicaciones y Redes de Computadores, Sexta Edición, Editorial Prentice Hall, Madrid (España), 2000. Pag. 182-210.
STREMLER, Ferrel G. Introduction to communication systems. Addison-Wesley. Tercera edición. 1990.
TANENBAUM, Andrew S. Redes de Computadores. Tercera Edición. Prentice Hall, 1997.
TINDELL, 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.
ISO/DIS 11898. «Road Vehicles – Interchange of Digital Information – Controller Area Network (CAN) for High Speed Communications». Febrero 1992.
ICONTEC. «Compendio – Tesis y Otros Trabajos de Grado». Imprelibros S.A, Bogotá D.C., 2004.
Berge 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).
Berge 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).
HART Communication Foundation. HART Protocol Overview http://www.hartcomm.org/ (última consulta el 3 de diciembre de 2005)
LONWORKS, 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)
Martin Timmerman PhD. Dedicated Systems - Encyclopaedia http://www.realtime-info.be/encyc/techno/terms/defini/def.htm (última consulta el 2 de diciembre de 2005)
SPIN. ON -THE-FLY, LTL MODEL CHECKING with SPIN http://spinroot.com/spin/whatispin.html (última consulta el 3 de diciembre de 2005)
Theo Ruys & G. Holzmann . SPIN Advanced tutorial http://spinroot.com/spin/Doc/Spin_tutorial_2004.pdf (última consulta el 2 de diciembre de 2005)
Theo Ruys . SPIN Beginners’ Tutorial. http://spinroot.com/spin/Doc/SpinTutorial.pdf (última consulta el 2 de diciembre de 2005)
Matt 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)
Gerard. J. Holzmann . Bibliography URL: http://spinroot.com/gerard/pubs.html (última consulta el 2 de diciembre de 2005)
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.local.spa.fl_str_mv Abierto (Texto Completo)
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
dc.rights.creativecommons.*.fl_str_mv Atribución-NoComercial-SinDerivadas 2.5 Colombia
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Abierto (Texto Completo)
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial-SinDerivadas 2.5 Colombia
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.coverage.spa.fl_str_mv Bucaramanga (Colombia)
dc.coverage.campus.spa.fl_str_mv UNAB Campus Bucaramanga
dc.publisher.grantor.spa.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
dc.publisher.faculty.spa.fl_str_mv Facultad Ingeniería
dc.publisher.program.spa.fl_str_mv Maestría en Ciencias Computacionales
institution Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv https://repository.unab.edu.co/bitstream/20.500.12749/3313/1/2005_Tesis_Garcia_Davalos_Alexander.pdf
https://repository.unab.edu.co/bitstream/20.500.12749/3313/2/2005_Modelos_Garcia_Davalos_Alexander.zip
https://repository.unab.edu.co/bitstream/20.500.12749/3313/3/2005_Tesis_Garcia_Davalos_Alexander.pdf.jpg
bitstream.checksum.fl_str_mv 4b3520f57fffe66fef3842d8775a72ea
7648e49b7b6d97b88a2b374da3cc3841
929deffff7719b17068b25b9f6f3a125
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv repositorio@unab.edu.co
_version_ 1828219953632772096
spelling Galván, Arturo328d24e3-73d6-4ffd-8daa-14cd9b0d36f1García Dávalos, Alexander03d4dd32-e776-47a5-b9b0-75a7533b77cfRamírez Cano, Mary Elizabethf3941ccc-0992-443d-8cec-bce4e4ed0a23https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000191906https://scholar.google.es/citations?hl=es&user=WRdA1yEAAAAJInstituto Tecnológico de Estudios Superiores de Monterrey (ITESM)Grupo de Investigación Tecnologías de Información - GTIGrupo de Investigaciones Clínicas2020-06-26T21:32:17Z2020-06-26T21:32:17Z2006-03-24http://hdl.handle.net/20.500.12749/3313instname:Universidad Autónoma de Bucaramanga - UNABreponame:Repositorio Institucional UNABEn 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.Instituto Tecnológico de Estudios Superiores de Monterrey ITESM1. 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.............................................................................................................164MaestríaToday 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.Modalidad Presencialapplication/pdfspahttp://creativecommons.org/licenses/by-nc-nd/2.5/co/Abierto (Texto Completo)info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial-SinDerivadas 2.5 ColombiaProtocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potenciaPDM-RING protocol for collision-free ring networks based on power multiplexingMagíster en Ciencias ComputacionalesBucaramanga (Colombia)UNAB Campus BucaramangaUniversidad Autónoma de Bucaramanga UNABFacultad IngenieríaMaestría en Ciencias Computacionalesinfo:eu-repo/semantics/masterThesisTesishttp://purl.org/redcol/resource_type/TMData transmission systemsComputer networksRing netsComputersSystems engineeringComputer scienceProtocolsInvestigationsAnalysisCommunication protocolSimulation testsSistemas de transmisión de datosRedes de computadoresRedes en anilloComputadoresIngeniería de sistemasCiencias computacionalesProtocolosInvestigacionesAnálisisHerramienta de validaciónProtocolo de comunicaciónPruebas de simulaciónGarcí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 ITESMBAGHDADY, 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.BANERJEA, 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.BLACK, Uyless. Redes de Computadoras Protocolos, normas e interfaces. Segunda edición. Ra-ma, 1997.BRÆ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.CARLSON, Bruce. Communications Systems. McGraw Hill. Cuarta edición. 2001CONTI, 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 - 1226COUCH, Leon W. Digital and analog communications systems. Prentice Hall. Sexta edición. 2001ERIKSSON, 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 - 192HOLZMANN, Gerard J., Design and Validation of Computer Protocols, Prentice Hall, 1991.HOLZMANN, Gerard J., «The Model Checker Spin», IEEE Transactions on Software Engineering, Vol. 23, No. 5, Mayo 1997, pag. 279-295.HOLZMANN Gerard J., «Using Spin», Plan 9 Programmer’s Manual Documents, Vita Nuova Holdings Ltd, York (England), 2nd edition, 2000. pag. 353-382.HOLZMANN Gerard J., «An Analysis of Bitstate Hashing», Formal Methods in System Design, Vol. 13, No. 3, Kluwer, November 1998, pag. 287-305HOLZMANN Gerard J., «Designing bug-free protocols with Spin», Computer Communications Journal, Vol. 20, No. 2, 1997, pag. 97-105HOLZMANN Gerard J., «Protocol Design: Redefining the State of the Art», IEEE Software, Vol. 09, No. 1, January 1992, pag. 17-22.LATHI, B.P. Modern digital and analog communications. Oxford Press. Tercera edición. 1998.LIMA, 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.NICHOLLS, 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.PARK, 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.PENG, 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-87SHIMAMOTO, Shigeru. ONOZATO, Yoshikuni. TESHIGAWARA, Yoshimi. « Perfomance Evaluation of Power Level Division Multiple Access (PDMA) Scheme », IEEE , International Conference of Communications. 1992. pp. 1333 - 1337SKLAR, Bernard. Digital communications: Fundamentals and Application. Prentice Hall. Segunda edición. 2001STALLINGS, William. Comunicaciones y Redes de Computadores, Sexta Edición, Editorial Prentice Hall, Madrid (España), 2000. Pag. 182-210.STREMLER, Ferrel G. Introduction to communication systems. Addison-Wesley. Tercera edición. 1990.TANENBAUM, Andrew S. Redes de Computadores. Tercera Edición. Prentice Hall, 1997.TINDELL, 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.ISO/DIS 11898. «Road Vehicles – Interchange of Digital Information – Controller Area Network (CAN) for High Speed Communications». Febrero 1992.ICONTEC. «Compendio – Tesis y Otros Trabajos de Grado». Imprelibros S.A, Bogotá D.C., 2004.Berge 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).Berge 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).HART Communication Foundation. HART Protocol Overview http://www.hartcomm.org/ (última consulta el 3 de diciembre de 2005)LONWORKS, 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)Martin Timmerman PhD. Dedicated Systems - Encyclopaedia http://www.realtime-info.be/encyc/techno/terms/defini/def.htm (última consulta el 2 de diciembre de 2005)SPIN. ON -THE-FLY, LTL MODEL CHECKING with SPIN http://spinroot.com/spin/whatispin.html (última consulta el 3 de diciembre de 2005)Theo Ruys & G. Holzmann . SPIN Advanced tutorial http://spinroot.com/spin/Doc/Spin_tutorial_2004.pdf (última consulta el 2 de diciembre de 2005)Theo Ruys . SPIN Beginners’ Tutorial. http://spinroot.com/spin/Doc/SpinTutorial.pdf (última consulta el 2 de diciembre de 2005)Matt 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)Gerard. J. Holzmann . Bibliography URL: http://spinroot.com/gerard/pubs.html (última consulta el 2 de diciembre de 2005)ORIGINAL2005_Tesis_Garcia_Davalos_Alexander.pdf2005_Tesis_Garcia_Davalos_Alexander.pdfTesisapplication/pdf986245https://repository.unab.edu.co/bitstream/20.500.12749/3313/1/2005_Tesis_Garcia_Davalos_Alexander.pdf4b3520f57fffe66fef3842d8775a72eaMD51open access2005_Modelos_Garcia_Davalos_Alexander.zip2005_Modelos_Garcia_Davalos_Alexander.zipModelos de Aprendizajeapplication/octet-stream4003https://repository.unab.edu.co/bitstream/20.500.12749/3313/2/2005_Modelos_Garcia_Davalos_Alexander.zip7648e49b7b6d97b88a2b374da3cc3841MD52open accessTHUMBNAIL2005_Tesis_Garcia_Davalos_Alexander.pdf.jpg2005_Tesis_Garcia_Davalos_Alexander.pdf.jpgIM Thumbnailimage/jpeg4626https://repository.unab.edu.co/bitstream/20.500.12749/3313/3/2005_Tesis_Garcia_Davalos_Alexander.pdf.jpg929deffff7719b17068b25b9f6f3a125MD53open access20.500.12749/3313oai:repository.unab.edu.co:20.500.12749/33132024-01-20 09:55:40.473open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Publicaciones similares