Universidad de Zaragoza Custodiado por la Biblioteca de la Universidad de Zaragoza Premis-plugin for CDSInvenio, developed by Miguel Martín Miguel Martín González
oai:zaguan.unizar.es:7027 2019-02-19
spa Rovetto Ríos, Carlos Alvino Colom Piazuelo, José Manuel Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos https://zaguan.unizar.es/record/7027/files/TESIS-2012-023.pdf La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar. 2014-11-20
7027 20190219123659.0 TESIS-2012-023 spa Rovetto Ríos, Carlos Alvino Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos Zaragoza Universidad de Zaragoza, Prensas de la Universidad 2011 233 Tesis de la Universidad de Zaragoza 2011-11 2254-7606 Presentado: 26 10 2011 Tesis-Univ. Zaragoza Zaragoza, Universidad de Zaragoza 2011 by-nc-nd Creative Commons 3.0 https://creativecommons.org/licenses/by-nc-nd/3.0/ La presente memoria se ha centrado en el desarrollo de una metodología completa para la construcción de algoritmos de encaminamiento adaptativos mínimos de tipo wormhole y que estén libres de bloqueo. El buscar una metodología completa que cubre desde la fase de especificación, pasando por el análisis y llegando hasta la síntesis que introduce correcciones en caso de haber detectado errores en el diseño original, es en sí mismo una aportación en cuanto que las aproximaciones existentes no cubren sobre todo las últimas fases. Nos hemos concentrado en los problemas de bloqueos, entendidos estos como la situación que aparece cuando un mensaje en tránsito desde un origen a un destino no puede alcanzar nunca su destino. Para abordar este problema se ha adaptado un tipo de abstracción del diseño que se denomina abstracción como sistema de asignación de recursos ó abstracción SAR. Desde un punto de vista instrumental se ha utilizado como herramienta formal, las redes de Petri, por tratarse de un paradigma de modelado formal para el que existe un rico cuerpo de resultados para todas las fases del ciclo de diseño. Se han desarrollado técnicas nuevas para la corrección de los modelos en caso de que existan bloqueos aprovechando la teoría desarrollada para la clase de redes de Petri obtenidas a través de la metodología utilizando un ejemplo para una red de interconexión en donde se aplica la metodología completamente. Este trabajo contribuye en: 1. Un nuevo enfoque de modelado para los algoritmos de encaminamientos de tipo adaptativo mínimo, desde una visión de SAR del sistema. 2. Desarrollo de una metodología de modelado formal para los sistemas de encaminamiento que asiste al diseñador desde la especificación de partida hasta la obtención de la red de Petri. 3. Caracterización de la clase de redes de Petri obtenidas a través de la metodología y que pertenece a la muy estudiada clase de redes de Petri denominadas S4PR. 4. Se define una nueva clase de redes de Petri denominada SOAR2 para la cual se definen características estructurales particulares sobre la cual razonar. redes de petri algoritmos de encaminamiento s4pr soar2 Colom Piazuelo, José Manuel dir. Universidad de Zaragoza Informática e Ingeniería de Sistemas zaguan@unizar.es 4688086 https://zaguan.unizar.es/record/7027/files/TESIS-2012-023.pdf Texto completo (spa) oai:zaguan.unizar.es:7027 driver tesis Lenguajes y sistemas informáticos Informática e Ingeniería de Sistemas TESIS URI https://zaguan.unizar.es/record/7027 SUPPORTED 0 MD5 https://zaguan.unizar.es/record/7027/files/TESIS-2012-023.md5 0 image/x.djvu 6 http://djvu.sourceforge.net/abstract.html DJVU/6 Profile information Lizardtech Document Express Enterprise 5.1 0 URI https://zaguan.unizar.es/record/7027/files/TESIS-2012-023.pdf disk Minimum View Print Visualization of DJVU requires specific software, like DjVu Browser Plugin URI http://creativecommons.org/licenses/by-nc/3.0 URI http://creativecommons.org/licenses/by-nc/3.0 license URI http://creativecommons.org/licenses/by-nc/3.0 You are free to adapt, copy, transmite or distribute the work under the following conditions: (1) You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work). (2) You may not use this work for commercial purposes (3) For any reuse or distribution, you must make clear to others the license terms of this work (4) Any of the above conditions can be waived if you get permission from the copyright holder (5) Nothing in this license impairs or restricts the author's moral rights This object is licensed under Creative Common Attribution-NonCommercial 3.0 (further details: http://creativecommons.org/licenses/by-nc/3.0/). Universidad de Zaragoza Automatizacion de Bibliotecas Edif. Matematicas, Pedro Cerbuna 12, 50009 Zaragoza auto.buz@unizar.es