DxPCs 2.0 - Ampliación de la plataforma para diagnosis basada en modelos

Abstract

Este TFG tiene como objetivo el análisis y la mejora de una herramienta de diagnosis basada en modelos con Posibles Conflictos, escrita en el lenguaje de programación Java. La finalidad de la herramienta es detectar dónde y cuándo pueden producirse errores en un sistema mediante una diagnosis completa siguiendo el método de la Diagnosis Basada en Modelos con Posibles Conflictos. Para el cálculo de los PCs la herramienta se apoya en otra de cálculo de CPCs. La versión existente de la herramienta que se va a mejorar sólo tiene la capacidad de modelar sistemas continuos. La mejora consistirá en añadir la capacidad a la herramienta de modelar sistemas híbridos, pudiendo realizar así una diagnosis completa sobre ambos tipos de sistemas. Además se introducirán nuevos algoritmos para mejorar la eficiencia de la herramienta.