RESUMEN TESIS
      El uso de las redes inalámbricas tiene un impacto creciente en la industria moderna (sistemas de automoción y fabricación industrial, sistemas distribuidos de supervisión y control...). Especialmente las redes inalámbricas han penetrado de forma rápida en las redes de control que dan soporte a servicios públicos estratégicos (suministro de gas y electricidad, suministro y saneamiento de aguas). Estas redes están formadas por distintas estaciones remotas, una estación central donde se procesa, almacena y controla la información de la instalación y varios clientes remotos que también supervisan y controlan la instalación remotamente. 
      Para comunicar las estaciones remotas con la estación central se utilizan infraestructuras de comunicaciones heterogéneas según las posibilidades y ubicación: xDSL, HFC, WiMAX, GPRS, UMTS, HSDP. Para que el sistema sea eficiente y útil, especialmente en momentos de emergencia, los usuarios ubicados en las estaciones remotas necesitan intercambiar información entre sí o con la estación central. En estos casos, en las estaciones remotas, los propios usuarios que están supervisando el funcionamiento de la instalación haciendo uso de sus dispositivos inalámbricos pueden crear de forma espontánea una red ad hoc móvil útil para el intercambio de información en el caso de que origen y destino no se alcancen directamente.
      El objetivo global de la tesis es analizar el comportamiento de las MANET en entornos de tipo industrial, tomando como ejemplo una red para el control y supervisión de la red de saneamiento de una gran ciudad, y estudiar cómo afecta a su funcionamiento y a los servicios ofrecidos el movimiento de los nodos. 
      Aunque son muchos los avances realizados en el estudio de las redes ad hoc en los últimos años, aún quedan muchos aspectos que necesitan ser estudiados y mejorados. 
      Pocos han sido los trabajos que evalúen las redes ad hoc con modelos formales. En algún caso, se ha modelado en detalle un protocolo de encaminamiento en una red ad hoc y se ha evaluado cómo la movilidad afecta al comportamiento del protocolo, pero no se ha estudiado la topología exacta de la red. En otros casos, no se construye la red ad hoc completa nodo por nodo, ya que el tamaño del modelo es muy elevado para poder obtener una solución numérica exacta, y se modela en detalle qué sucede en un nodo concreto modelando el resto de la red de forma simplificada. No existen por tanto modelos formales que tengan en cuenta la red completa con conocimiento de toda la topología y donde los nodos sean móviles. 
      Esto ha sido determinante para el planteamiento del primer objetivo, el diseño de modelos matemáticos que permitan representar el comportamiento de las redes ad hoc que pueden generarse en ambientes industriales para evaluar las prestaciones de las mismas y si los servicios típicos pueden ser ofrecidos y en qué condiciones.
      Sin tener en cuenta la topología de la red, no es posible conocer la ruta exacta que debe escogerse cuando se solicite una comunicación entre origen y destino, por tanto es imposible saber si el movimiento de un nodo de la ruta provocará una ruptura y la pérdida de la misma, dado que no se sabe si el nodo que se ha movido pertenece o no a la ruta activa. 
      Por ello, teniendo en cuenta las características de los sistemas de monitorización mencionados, en esta tesis se ha definido un escenario (número de nodos, tamaño del área, velocidad de los nodos, movilidad, rango de transmisión radio...) y ha sido modelado, utilizando las redes de actividad estocástica (SAN), el funcionamiento de una red ad hoc completa, de la que se conoce toda la topología, que hace uso de un protocolo de encaminamiento reactivo para determinar si la red es capaz de ofrecer los servicios típicos que los sistemas que rigen estas instalaciones deben ofrecer (imágenes o streaming de video y alertas) teniendo en cuenta además que los nodos son móviles. En cuanto a la metodología utilizada, en este caso destacar el desarrollo incremental de los modelos y la validación progresiva de los mismos, contrastando los resultados obtenidos en cada etapa.
      El segundo objetivo es contrastar y verificar los resultados obtenidos, por lo que se plantea la creación de un banco de pruebas donde se puedan realizar medidas que complementen los resultados de los modelos formales.
      Por tanto, para completar el estudio realizado mediante los modelos formales se ha creado un banco de pruebas en el que se han llevado a cabo experimentos con un protocolo de encaminamiento reactivo y varios nodos evaluando el comportamiento durante la transmisión de streaming de video. A su vez se han realizado modificaciones en los parámetros por defecto del protocolo para adaptar su funcionamiento a la aplicación que se ha evaluado mejorando notablemente los resultados. Destacar la evaluación del banco de pruebas en un entorno controlado que permite realizar experimentos repetibles.
      En general, en pocas ocasiones se tienen en cuenta las aplicaciones de la red bajo estudio, y por tanto los resultados obtenidos no pueden trasladarse al funcionamiento de una red real. En este trabajo, se ha considerado el entorno y la situación en la que se encuentran estas redes. De este modo, conociendo los requisitos temporales de las redes industriales de alcance metropolitano y cómo funciona el protocolo de encaminamiento durante la transmisión de la información típica utilizada en estos sistemas, se ha podido determinar en qué medida las redes ad hoc móviles generados en estos entornos pueden cumplir con estos requisitos.