Por favor, use este identificador para citar o enlazar este ítem:
http://ciateq.repositorioinstitucional.mx/jspui/handle/1020/384| Desarrollo de infraestructura para facilitar el análisis y la verificación de diagramas de actividad identificando los caminos funcionales modelados | |
| GUSTAVO ESPEJEL SALAZAR | |
| ERICK MANUEL LUGO ALVAREZ Ismael Solís Moreno | |
| Acceso Abierto | |
| Atribución-NoComercial-CompartirIgual | |
| Semántico Adaptarse Verificación Evolución Semantic Adapt Verification Evolution | |
| Los sistemas se mantienen en continua evolución, buscando satisfacer las necesidades del contexto en el que interactúan se vuelven más complejos y costosos. Por el contrario, dentro de las necesidades de un mercado demandante, las compañías buscan reducir los costos para mantener un precio competitivo. Es por esta razón que herramientas para automatizar procesos toman importancia. Al reducir los tiempos de desarrollo, es posible mantener la evolución de los sistemas y seguir con un precio competitivo. Herramientas actuales de automatización de procesos de verificación de software utilizan una semántica definida por el mismo creador de esta. En todos los proyectos, se terminan utilizando alternativas de diseño buscando adaptarse a esta semántica que no fue diseñada para un proyecto en específico. Esta carencia de adaptabilidad semántica produce que los ingenieros terminen trabajando para la herramienta y no viceversa. Es necesaria una herramienta capaz de manejar una semántica adaptable a las necesidades de cualquier proyecto; de esta manera, podemos garantizar que la herramienta trabajará para el proyecto y reducirá los costos de desarrollo. El concepto de análisis semántico lo encontramos dentro del mundo de la teoría de lenguajes y las Gramáticas Libres de Contexto (GLC). Definiendo la gramática adecuada, un diagrama de actividad se traduce a un árbol sintáctico donde cada rama representa un elemento semántico a procesar y cada hoja todos lo lexemas involucrados en el concepto. La plataforma se probó con el proyecto de TrueCourse, el sistema de gestión de vuelo más actual de General Electric (GE). La plataforma redujo en un 27% el tiempo de desarrollo, logrando adaptarse a las necesidades de cada componente y a la metodología de desarrollo basado en etapas de maduración tecnológica de la NASA (TRL por sus siglas en inglés). En proyectos donde las necesidades son cambiantes debido a su proceso de maduración, herramientas con la capacidad de adaptarse a las necesidades son importantes. Tecnologías sin esta capacidad no tienen un impacto significativo en proyectos complejos. The systems are continuously evolving. Looking to satisfy the needs of their context, they get an increment on complexity and cost in every iteration. On the contrary, in the aggressive market needs, the companies need to reduce the cost to be competitive in every iteration. One of the solutions to this situation are the process automation tools. These kinds of tools allow to handle the software evolution and keep the cost competitive to the market. However, current automation tools for the software verification process are designed with a fabric defined semantic which happen to be generic and not 100% useful for a specific project. Consequently, engineers start working for the tool instead of having the tool working for the engineers. A tool with adaptable semantics feature is needed to be able to satisfy the needs of each project and get a maximum cost reduction. The concept of semantic analysis is found in the Languages Theory and Context Free Grammars worlds. Defining a proper grammar for UML activity diagrams with extra data we can get a syntax tree where each branch represents a semantic element to process; and each leaf will contain the lexemes involved in the concept. The framework was tested with the TrueCourse project, the newest General Electric’s Flight Management System. The development time of some features was reduced in a 27% proving to be able to be adapted to the needs of each component, and to the development methodology based on the Technology Readiness Level (TRL). In a project with a maturity process based on evolution, the needs are changing every day. Consequently, the adaptability capacity of the tools is important. Technologies without this capacity will not have a significant impact in complex project because an investment should be done to adapt the project to the tools. | |
| CIATEQ, A.C. | |
| 2019 | |
| Tesis de maestría | |
| Español | |
| Público en general | |
| SISTEMAS AUTOMATIZADOS DE PRODUCCIÓN | |
| Versión aceptada | |
| acceptedVersion - Versión aceptada | |
| Aparece en las colecciones: | Maestría en Sistemas Inteligentes Multimedia |
Cargar archivos:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| EspejelSalazarGustavo MSIM 2019.pdf | Tesis de maestría en texto completo | 932.06 kB | Adobe PDF | Visualizar/Abrir |