Registro:
| Documento: | Tesis de Grado |
| Título: | Traducción automática de especificaciones en Spectra a modelos FSP |
| Título alternativo: | Automatic translation of Spectra specifications to FSP models |
| Autor: | Cairo, Emiliano |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Fecha de defensa: | 2025-24-10 |
| Fecha en portada: | 2025 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Gagliardi, Hernán Gabriel |
| Director Asistente: | Uchitel, Sebastián |
| Jurado: | Braberman, Víctor Adrián; Zanollo, Florencia |
| Idioma: | Español |
| Palabras clave: | SINTESIS DE CONTROLADORES; TRADUCCION AUTOMATICA; INTEGRACION DE METODOSCONTROLLER SYNTHESIS; AUTOMATIC TRANSLATION; METHOD INTEGRATION |
| Formato: | PDF |
| Handle: |
https://hdl.handle.net/20.500.12110/seminario_nCOM000868_Cairo |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000868_Cairo.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000868_Cairo |
| Ubicación: | COM 000868 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Cairo, Emiliano. (2025). Traducción automática de especificaciones en Spectra a modelos FSP. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000868_Cairo |
Resumen:
El problema de la síntesis de controladores consiste en construir automáticamente un sistema correcto por construcción que satisfaga un conjunto de objetivos, dadas ciertas suposiciones sobre su entorno. Para evaluar un nuevo algoritmo de síntesis composicional implementado en la herramienta desarrollada in-house MTSA, se necesitaban benchmarks. La colección de especificaciones de Spectra (SYNTECH) era ideal, pero su modelo de juego era incompatible con el formalismo asincrónico y basado en eventos de MTSA. Esta tesis presenta una traducción formal y automatizada. Se propuso un esquema de traducción que mapea de Spectra a un modelo MTSA que preserva la semántica original y se evaluó experimentalmente el rendimiento de la síntesis composicional sobre el benchmark traducido. Los resultados fueron mixtos: si bien el enfoque composicional demuestra ser capaz de resolver ciertas clases de problemas que son intratables para el algoritmo monolítico, su efectividad depende críticamente de la heurística y la arquitectura del problema, siendo a veces superado por este.
Abstract:
Controller synthesis is the automatic construction of a system guaranteed to be correct by design, satisfying its objectives under defined environmental assumptions. To evaluate a new compositional synthesis algorithm implemented in the in-house developed tool MT-SA, a set of benchmarks was needed. The Spectra specification collection (SYNTECH) was ideal, but its game model was incompatible with MTSA’s asynchronous, event-based formalism. This thesis presents a formal and automated translation. A translation scheme was proposed that maps from Spectra to an MTSA model that preserves the original semantics, and the performance of compositional synthesis on the translated benchmark was experimentally evaluated. The results were mixed: while the compositional approach proves capable of solving certain classes of problems that are too complex for the monolithic algorithm, its effectiveness critically depends on the heuristic and the problem architecture, sometimes being outperformed by the latter.
Citación:
---------- APA ----------
Cairo, Emiliano. (2025). Traducción automática de especificaciones en Spectra a modelos FSP. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000868_Cairo
---------- CHICAGO ----------
Cairo, Emiliano. "Traducción automática de especificaciones en Spectra a modelos FSP". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/seminario_nCOM000868_Cairo
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000868_Cairo.pdf
Distrubución geográfica
