tut. (Universitat Autònoma de Barcelona. Departament de Microelectrònica i Sistemes Electrònics)
| Título variante: |
AI-Assisted Software Synthesis of State Machine Systems |
| Título variante: |
Síntesis asistida por IA de software de sistemas de máquinas de estados |
| Fecha: |
2026 |
| Resumen: |
La idea principal és reduir els costos d'enginyeria no recurrents mitjançant la generació automàtica de codi, superant el repte de la verificació manual que sovint limita el potencial i els avantatges que ens proporciona la IA. La recerca se centra en l'ús d'especificacions formals, concretament en un entorn de màquines d'estats (EFSM) utilitzat a l'assignatura de Sistemes encastats de la UAB, per guiar la traducció de diagrames de disseny a codi Lua executable. S'ha realitzat una comparativa de Grans Models de Llenguatge (LLMs) sota diferents estratègies de Prompt Engineering, des de regles estrictes fins a exemples. Els resultats validen una metodologia on la IA actua com a traductor estricte sense capacitat de correcció autònoma, d'aquesta manera, el codi generat reflecteix fidelment el disseny original, transferint qualsevol error del diagrama al programari i convertint la implementació en una eina eficaç per a la validació del mateix disseny. |
| Resumen: |
The main idea is to reduce non-recurring engineering costs through automatic code generation, overcoming the challenge of manual verification that often limits the potential and advantages provided by AI. The research focuses on the use of formal specifications, specifically within a state machine (EFSM) environment used in the Embedded Systems subject at UAB, to guide the translation of design diagrams into executable Lua code. A comparison of Large Language Models (LLMs) has been performed under different Prompt Engineering strategies, from strict rules to examples. The results validate a methodology where the AI acts as a strict translator without autonomous correction capability; in this way, the generated code faithfully reflects the original design, transferring any error from the diagram to the software and converting the implementation into an effective tool for the validation of the design itself. |
| Resumen: |
La idea principal es reducir los costes de ingeniería no recurrente mediante la generación automática de código, superando el reto de la verificación manual que a menudo limita el potencial y las ventajas que nos proporciona la IA. La investigación se centra en el uso de especificaciones formales, concretamente en un entorno de máquinas de estados (EFSM) utilizado en la asignatura de Sistemas Empotrados de la UAB, para guiar la traducción de diagramas de diseño a código Lua ejecutable. Se ha realizado una comparativa de Grandes Modelos de Lenguaje (LLMs) bajo diferentes estrategias de Prompt Engineering, desde reglas estrictas hasta ejemplos. Los resultados validan una metodología donde la IA actúa como un traductor estricto sin capacidad de corrección autónoma, de esta manera, el código generado refleja fielmente el diseño original, transfiriendo cualquier error del diagrama al software y convirtiendo la implementación en una herramienta eficaz para la validación del propio diseño. |
| Derechos: |
Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades.  |
| Lengua: |
Català |
| Titulación: |
Enginyeria Informàtica [2502441] |
| Plan de estudios: |
Enginyeria Informàtica [958] |
| Documento: |
Treball final de grau |
| Área temática: |
Menció Enginyeria de Computadors |
| Materia: |
Màquines d'Estats Finits Esteses (EFSM) ;
Generació de Codi ;
Grans Models de Llenguatge (LLM) ;
Intel·ligència Artificial Generativa ;
Lua ;
Sistemes Encastats ;
Enginyeria de Prompts ;
Extended Finite State Machines (EFSM) ;
Code Generation ;
Large Language Models (LLM) ;
Generative Artificial Intelligence ;
Embedded Systems ;
Prompt Engineering ;
Máquinas de Estados Finitos Extendidas (EFSM) ;
Generación de Código ;
Grandes Modelos de Lenguaje (LLM) ;
Inteligencia Artificial Generativa ;
Sistemas Empotrados ;
Ingeniería de Prompts |
visitante ::
identificación
