Revisión y adaptación de la herramienta para el cálculo de Posibles Conflictos

Este TFG analiza y mejora una herramienta para calcular posibles conflictos, realizada en el lenguaje de programación Java aprovechando las mejoras introducidas en las nuevas versiones de dicho lenguaje. El objetivo de esta herramienta es, a partir de la definición de un sistema, detectar dónde pueden producirse conflictos; es decir, discrepancias entre valores observados y valores predichos. Estas tareas son previas a su utilización en el diagnóstico basado en modelos. Esta herramienta usa algoritmos que, en sistemas medianamente complejos, requieren mucho tiempo para finalizar; principalmente debido a operaciones de búsqueda, inserción y borrado de elementos en listas considerablemente grandes. Este tiempo puede reducirse usando estructuras de datos ordenadas y aprovechando algoritmos de búsqueda que hacen estas operaciones más eficientes. Existen múltiples versiones de estos algoritmos, añadiendo cada uno de ellos características adicionales que permiten diagnosticar sistemas más complejos, por ejemplo, sistemas híbridos donde cada ecuación del modelo tiene una condición que indica cuándo se puede utilizar. En este trabajo hemos modificado las versiones existentes y aplicado las nuevas estructuras ordenadas para hacerlos más eficientes. Por otro lado, esta herramienta ofrecía también una función para representar gráficamente los posibles conflictos en forma de hipergrafos dirigidos; ésta tenía problemas de gestión de memoria (se quedaba bloqueada en sistemas muy grandes) y la representación no era demasiado clara; por lo que se tuvo que realizar una nueva versión.Grado en Ingeniería Informátic