INVESTIGADORES
UCHITEL Sebastian
convenios, asesorías y/o servicios tecnológicos
Título:
Diagnóstico de errores en herramienta de síntesis de controladores
Autor/es:
SEBASTIAN UCHITEL; MATIAS DURAN; FLORENCIA ZANOLLO
Fecha inicio:
2019-01-01
Fecha finalización:
2020-11-01
Campo de Aplicación:
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Descripción:
La herramienta MTSA desarrollada por el Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software implementa técnicas novedosas de análisis y síntesis de modelos de comportamiento de sistemas reactivos. Entre estas se encuentra una técnica muy novedosa de síntesis de controladores de eventos discretos basado en la construcción "on-th-fly" del modelo de comportamiento mediante heurísticas "best-first-search". La Universidad de Waseda está utilizando MTSA para realizar pruebas de concepto en una colaboración con Mitrubishi Corp. En este contexto encontraron algunas dificultades de modelado y algunos errores de la herramienta y solicitaron asesoramiento para resolverlos.
