RT info:eu-repo/semantics/bachelorThesis
T1 DxPCs 2.0 - Ampliación de la plataforma para diagnosis basada en modelos
A1 Matesanz Niño, Mario
A2 Universidad de Valladolid. Escuela Técnica Superior de Ingeniería Informática
K1 [Pendiente de asignar]
AB Este TFG tiene como objetivo el análisis y la mejora de una herramienta dediagnosis basada en modelos con Posibles Conflictos, escrita en el lenguajede programación Java. La finalidad de la herramienta es detectar dónde ycuándo pueden producirse errores en un sistema mediante una diagnosiscompleta siguiendo el método de la Diagnosis Basada en Modelos conPosibles Conflictos. Para el cálculo de los PCs la herramienta se apoya en otrade cálculo de CPCs.La versión existente de la herramienta que se va a mejorar sólo tiene lacapacidad de modelar sistemas continuos. La mejora consistirá en añadir lacapacidad a la herramienta de modelar sistemas híbridos, pudiendo realizarasí una diagnosis completa sobre ambos tipos de sistemas. Además seintroducirán nuevos algoritmos para mejorar la eficiencia de la herramienta.
YR 2016
FD 2016
LK http://uvadoc.uva.es/handle/10324/20927
UL http://uvadoc.uva.es/handle/10324/20927
LA spa
DS UVaDOC
RD 23-nov-2024