Arquitecturas Software y Variabilidad
URI permanente para esta colección:
Artículos en la categoría Arquitecturas Software y Variabilidad publicados en las Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018).
Notificar un error en esta colección
Examinar
Envíos recientes
Resumen Artículo Relevante: Reverse engineering language product lines from existing DSL variants.Méndez-Acuña, David; Galindo, José A.. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.-Título: Reverse engineering language product lines from existing DSL variants. -Autores: David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry -Revista de publicación: Journal of Systems and Software -Volumen 133. Noviembre de 2017. Páginas 145-158 -DOI: 10.1016/j.jss.2017.05.042 Indicios de calidad: JCR-IF: 2,444(22/106).JCR-Q: Q1. JCR-T: T1. JCR-Category/year: COMPUTER SCIENCE, SOFTWARE ENGINEERING - 2016. 9 citas según gscholarArtículo MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos softwareGalindo, José A.; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad lo que puede permitir tener un mejor tiempo de respuesta para poder configurar un producto de acuerdo a sus especificaciones concretas en un escenario de uso determinado. La investigación en líneas de producto software se ha centrado en las últimas décadas en proponer procesos, técnicas, herramientas y métodos para gestionar la variabilidad a todos los niveles: desde los requisitos, hasta la generación de código. En este sentido, se han desarrollado distintas técnicas que pueden ser utilizadas en distintos escenarios más allá de la gestión de líneas de producto software. Es el caso del conocido como análisis automático de modelos de características. En este proyecto se usaron técnicas que provienen de este área para afrontar un reto tecnológico en un consorcio con empresas que usaban distintos algoritmos para detectar movimientos en sistemas de vídeo vigilancia. En concreto, se usaron técnicas de modelado y selección de casos de prueba usando modelos de características. La aportación tecnológica permitió una reducción considerable de los costes en la producción de algoritmos de detección de movimientos y la mejora en la detección de fallos en los sistemas. El consorcio estuvo formado por dos empresas francesas e INRIA donde trabajaban varios de los autores del trabajo en el momento de la ejecución del proyecto. Además, se contó con el asesoramiento de la Universidad de Sevilla. keywords{líneas de producto software, modelos de características, selección de pruebasArtículo RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de RecomendaciónRodas, Jorge L.; Galindo, José A.; Benavides Cuevas, David Felipe. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto particular, estas configuraciones pueden ser desplegadas en distintos entornos de despliegue lo cual es una decisión crítica para el correcto funcionamiento de la misma. Por ejemplo, determinar en qué dispositivo móvil se va a ejecutar correctamente nuestra app, es una tarea difícil de resolver. En este artículo presentamos RESDEC, un prototipo de herramienta para asistir al ingeniero de software en la toma de decisiones para el despliegue. Concretamente RESDEC provee algoritmos de recomendación para tres escenarios de despliegue distintos.Artículo Aplicabilidad de la Caracterización de Benchmarks a Modelos de VariabilidadMunoz Guerra, Daniel Jesus; Fuentes Fernandez, Lidia. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Los Benchmarks utilizados para comparar el rendimiento de diferentes sistemas presentan una alta variabilidad que puede ser representada en modelos de variabilidad como los feature models. En este artículo presentamos las ventajas de la caracterización de Benchmarks (dada por sus cargas de trabajo), junto a los problemas de escalabilidad y complejidad de selección por objetivos de los Feature Models. Para solucionar esos problemas, formalizamos un modelo de caracterización de paquetes de cargas de trabajo para Feature Models, basándonos en ocho atributos abstractos (operaciones matemáticas, memoria, ...). Este modelo y sus ventajas son evaluados en el eco-asistente HADAS, junto a un Benchmark PHP, y al Benchmark de sistemas empotrados BEEBS, obteniendo una capacidad de selección más intuitiva, y un decremento en el tiempo de obtención de configuraciones válidas y sus métricas en HADAS, con respecto a la representación estándar.Resumen An Infrastructure Modelling Tool for Cloud ProvisioningSandobalín, Julio; Insfrán Pelozo, Emilio; Abrahao Gonzales, Silvia. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Autores: Julio Sandobalin, Emilio Insfran, Silvia Abrahao (Universitat Politècnica de València y Escuela Politécnica Nacional Quito, Ecuador) Conferencia: The 14th IEEE International Conference on Services Computing Jun 25, 2017 - Jun 30, 2017 Honolulu, Hawaii, USA Páginas: 8 Editorial: IEEE Electronic ISSN: 2474-2473 DOI: 10.1109/SCC.2017.52 Indicios de calidad de acuerdo al GII-GRIN-SCIE (GGS) Conference Rating: GGS Class 2; GGS Rating A; Qualified Classes CORE:A, LiveSHINE:A; Collected Classes A, A.Artículo Generating Test Systems in Simulink Models for Testing Product Lines with ASTERYSCOArrieta, Aitor; Etxeberria, Leire; Zander, Justyna. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Simulink models are commonly employed to simulate and test complex systems such as Cyber-Physical Systems (CPSs). These systems are becoming highly configurable, and techniques from the product line engineering context (e.g., feature models) are being acquired by industrial practitioners to model the variability. Having variability in these systems means that there might be several configurations to test. Selecting relevant configurations by considering feature models following combinatorial techniques has been widely investigated by the software engineering community. However, efficiently testing each configuration has attracted little attention, which is not that trivial. One important aspect when testing such systems is automation. This tool paper presents ASTERYSCO, which aims at automatically generating test system instances in Simulink for testing specific configurations of configurable CPSs.Artículo vEXgine: Extendiendo el Motor de Ejecución de CVLHorcas Aguilera, José Miguel; Pinto, Mónica; Fuentes Fernandez, Lidia. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.El Lenguaje CVL (textit{Common Variability Language}) carece de una herramienta flexible que permita poner en práctica las necesidades industriales del modelado de la variabilidad en Líneas de Producto Software. Las herramientas existentes que proporcionan soporte para CVL son prototipos incompletos, o se centran principalmente en la especificación de la variabilidad, sin llegar a resolverla sobre modelos reales. Además, no existe una API que permita la interacción directa con el motor CVL para extenderlo o usarlo en una aplicación independiente. Este artículo presenta vEXgine, una implementación adaptable y extensible del motor de ejecución de la variabilidad de CVL.Artículo Entorno de Validación Configurable para Software Embebido Refactorizado y su Aplicación en AscensoresSagardui, Goiuria; Etxeberria, Leire; Agirre, Joseba Andoni; Arrieta, Aitor; Nicolas, Carlos F.; Martin, Jose Maria. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Los ascensores son sistemas complejos que integran además de software, componentes eléctricos, mecánicos, etc. La complejidad de estos sistemas es aumentada además al tener en cuenta la variabilidad: un ascensor puede ser instalado en edificios de más o menos pisos, puede tener diferente puertas, los actuadores y sensores pueden variar, etc. La validación del software de estos sistemas es compleja en diferentes aspectos. Este artículo presenta un trabajo industrial para la validación de software embebido congurable refactorizado en el contexto del sector del transporte vertical.Artículo A Data-Interoperability Aware Software ArchitectureHumanes, Héctor; Yagüe, Agustín; Perez, Jennifer; Garbajosa, Juan; Burgas, Llorenç; Colomer, Joan; Melendez, Joaquim; Pous, Carles. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.Making heterogeneous data sources homogeneous manually and off-line can become a high time-consuming task. This paper presents a software architecture that extends the standardized-based architectures for heterogeneous sensors with components to also support devices and data that are not compliant with standards. The defined architecture is based on Internet of Things (IoT) layered architectures that establish perception, network, middleware, application, and business as main layers. To define the architecture, an architectural framework was used; this framework supports the identification of non-compliant data, providing then a different processing path. This proposed architecture covers a wide spectrum of data interoperability addressing the IoT challenge of ``Interoperability and Standardization''. The implemented solution proved that the processing time between data acquisition and the feeding of analysis algorithms can be reduced from 100% to approximately to 1% with systems based on the proposed architecture compared with those that manage data manually and off-line.