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.
Excepté là où spécifié autrement, la license de ce document est décrite en tant que Attribution-NonCommercial-NoDerivatives 4.0 International