Detalle de la tesis

Autores: Hollmann, Diego Ariel.

Resumen: Esta tesis presenta dos aportes originales que se enmarcan dentro del modelado y simulación de sistemas, más precisamente, de modelos basados en el formalismo DEVS. El primer aporte consiste en un lenguaje que permite la descripción de modelos DEVS abstractos (basados en matemática y lógica) y que luego pueden ser traducidos en forma automática a diferentes lenguajes de simulación. Esto permite describir un modelo DEVS sin que sea necesario conocer el lenguaje de entrada de la herramienta de simulación que se desea utilizar. En general, se escribe el modelo directamente utilizando el lenguaje concreto, o la traducción del modelo abstracto al modelo concreto (en el simulador) se realiza manualmente. Ambas alternativas, son propensas a la inserción de errores durante el modelado y requiere que el especialista tenga nociones o conocimientos de programación para implementar sus modelos o necesita de alguien para esto. Entonces, con el lenguaje de modelado propuesto en esta tesis se evita por un lado, la incorporación de errores en la traducción de los modelos y por otro, permite al especialista modelar el sistema sin la necesidad de conocer un lenguaje de programación en particular. Podemos agregar, además, que permite usar varios simuladores para simular el modelo. La segunda contribución es una nueva metodología para validar modelos DEVS en forma rigurosa y sistemática permitiendo la semi-automatización del proceso de validación. Generalmente los modelos DEVS se validan simulándolos con alguna herramienta de simulación, comparando el comportamiento y los resultados obtenidos con los requerimientos del sistema que está siendo modelado. El número de escenarios de simulación es usualmente infinito, entonces, seleccionar cuáles de estos escenarios simular se convierte en una tarea crucial. El conjunto de escenarios seleccionados debe incluir aquellos que puedan revelar posibles errores en el modelo sin dejar ningún aspecto del mismo sin analizar y no incluir escenarios redundantes convirtiendo a la tarea de validación en un proceso eficiente (hallazgo de errores en función de la cantidad de simulaciones realizadas). Esta selección, actualmente, se realiza siguiendo la experiencia o intuición de un especialista. La metodología presentada en esta tesis se basa en una familia de criterios de simulación que permite seleccionar los escenarios de simulación de modelos DEVS en forma disciplinada, cubriendo las simulaciones más significativas. Esto se obtiene analizando la representación y estructura matemática y lógica del modelo DEVS. Para automatizar este proceso es necesario que el modelo se encuentre descripto en forma abstracta, posiblemente, utilizando el lenguaje de modelado propuesto como la primera contribución.

Grado académico: Universitario de posgrado/doctorado.

Titulo obtenido: Doctor en Informática.

Idioma: Español.

Area de conocimiento: Otras Ciencias de la Computación e Información.

Año: 2015

tesis_web: Enlace a tesis