Navegación

Búsqueda

Búsqueda avanzada

El autor Cristina Vicente-Chicote ha publicado 8 artículo(s):

1 - Aplicando DSDM al Diseño, Implementación y Verificación de Software para Drones: Una Primera Aproximación

Hasta hace poco, el uso de sistemas de vuelo no tripulados (Unmanned Aerial Vehicles, UAV), también conocidos como drones, estaba limitado al campo militar. Sin embargo, en la actualidad, su uso en el ámbito civil y de la investigación prolifera con rapidez. En este artículo se presenta una primera aproximación al diseño de alto nivel tanto de la infraestructura (diseño físico) como de las misiones (diseño lógico) de los UAV utilizando un enfoque dirigido por modelos. El objetivo de este trabajo es ofrecer a los diseñadores un conjunto de herramientas que faciliten el diseño, la documentación y la implementación, así como la verificación temprana y formal de las restricciones físicas, lógicas y legales que deben guiar la construcción de estos sistemas.

Autores: Enrique Moguel / Cristina Vicente-Chicote / Juan Hernández / Juan Carlos Preciado / Fernando Sánchez-Figueroa / 
Palabras Clave: dron - DSDM - UAV

2 - Visualizaciones de Datos Adaptativas: Un Enfoque Basado en Modelos Orientado a Mejorar la Experiencia del Usuario

En la actualidad, son cada vez más las aplicaciones que utilizan técnicas de visualización de datos para presentar información a los usuarios. La complejidad de estas técnicas aumenta a medida que es necesario tener en cuenta factores como la creciente variedad de dispositivos de visualización disponibles en el mercado, la gran cantidad y diversidad de las fuentes de datos de interés y los distintos perfiles de usuario y casos de uso en los que estas técnicas encuentran aplicación. En este trabajo se muestra cómo el uso combinado de técnicas basadas en modelos y de desarrollo de software adaptativo, facilita el diseño e implementación de los sistemas de visualización, dotándoles de capacidad para adaptarse, en tiempo de ejecución, a situaciones y requisitos de usuario cambiantes. Como parte central del artículo se ha incluido un caso de estudio a través del cual se van presentando los principales elementos de la propuesta y en base al cual se hace una primera valoración de sus beneficios.

Autores: Rober Morales-Chaparro / Juan F. Inglés-Romero / Fernando Sánchez-Figueroa / Cristina Vicente-Chicote / 
Palabras Clave: Sistemas Adaptativos - Visualización de Datos - visualligence - VML

3 - Generación Automática de Vistas de Control para Herramientas de Desarrollo de Software Dirigido por Modelos en Eclipse

Este trabajo presenta un entorno de modelado que permite generar automáticamente vistas de control para herramientas de Desarrollo de Software Dirigido por Modelos (DSDM) en Eclipse. Estas vistas muestran, a través de un diagrama de flujo, el proceso que deben seguir los usuarios para llevar a cabo una determinada tarea. El propósito de las vistas generadas es facilitar la integración de varias herramientas relacionadas con la gestión (creación, validación, transformación, etc.) de modelos, mejorando su usabilidad, sobre todo, para usuarios no expertos en los procesos de DSDM con Eclipse.

Autores: Domingo J. Pérez-Sánchez / Juan F. Inglés-Romero / Cristina Vicente-Chicote / 
Palabras Clave:

4 - Prototyping Component-Based Self-Adaptive Systems with Maude

Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. Maude is a high-performance reflective language and system, supporting both equational and rewriting logic specification and programming for a wide range of applications. In this paper we describe our experience in using Maude for prototyping component-based self-adaptive systems so that they can be formally simulated and analyzed. In order to illustrate the benefits of using Maude in this context, a case study in the robotics domain is presented.

Autores: Juan F. Inglés-Romero / Cristina Vicente-Chicote / Javier Troya / Antonio Vallecillo / 
Palabras Clave: component-based architecture - Maude - prototyping - Self-Adaptation

5 - Adaptación Dinámica de Calidades de Servicio en Middleware DDS: Un Enfoque Dirigido por Modelos

Los sistemas distribuidos, en particular los utilizados en aplicaciones críticas, deben garantizar determinados requisitos de seguridad y rendimiento en tiempo de ejecución. En este sentido, los middleware basados en el estándar DDS permiten el desarrollo de aplicaciones distribuidas en las que es posible configurar una amplia variedad de parámetros relacionados con la calidad de servicio (QoS). Sin embargo, la configuración de estos parámetros en aplica-ciones cuyo contexto de ejecución es altamente dinámico e impredecible supone un gran reto, ya que los recursos disponibles y la carga de trabajo de estos sistemas pueden fluctuar sensiblemente a lo largo de la ejecución. En este artículo proponemos un enfoque dirigido por modelos para la adaptación automática, segura, transparente y en tiempo de ejecución de los atributos de QoS en middleware basado en DDS, que permite optimizar el rendimiento del sistema en función de los recursos disponibles en cada momento.

Autores: Juan F. Ingles-Romero / Adrián Romero-Garcés / Cristina Vicente-Chicote / Jesús Martínez Cruz / 
Palabras Clave: Calidad de Servicio - DDS - MDE - Middleware - Software Adaptativo

6 - Early analysis of resource consumption patterns in mobile applications (Summary)

The success or failure of a mobile application largely depends on the resources it consumes. A resource-intensive application will quickly be rejected by its users. One of the most important aspects that determines this consumption is the software architecture applied in its development. However, which architecture is the most efficient depends on the application’s behaviour.

With the aim of providing mobile developers information on what architectural style consumes fewer resources for each application, in this work we analysed the resources consumed by two applications, each of them built with two different architectures (a server-centric architecture and a mobile-centric architecture) in order to identify under which situation each architecture is more efficient. We observed that, for these cases, as the number of interactions with external entities grows, the more efficient becomes a server-centric architecture. Instead, a mobile-centric architecture is more efficient if the data to be shared has to be updated frequently or if there are few external entities involved.

In addition, by generalizing the analysis of the two applications, a conceptual framework was created with which to analyse the consumption pattern of any applications in their early development phases. This framework can be used to estimate a particular application’s consumption with different architectures, or to predict its consumption under future evolution of the app.

Autores: Javier Berrocal / Jose Garcia-Alonso / Cristina Vicente-Chicote / Juan Hernández / Tommi Mikkonen / Carlos Canal / Juan M. Murillo / 
Palabras Clave:

7 - RoQME: Dealing with Non-Functional Properties through Global Robot QoS Metrics

Non-functional properties are an essential part of any software solution. There is a lot of literature on what non-functional properties are but, unfortunately, there is also a lot of disagreement and different points of view on how to deal with them. Non-functional properties, such as safety or dependability, become particularly relevant in the context of robotics. In the EU H2020 RobMoSys Project, non-functional properties are treated as first-class citizens and considered key added-value services. In this vein, the RoQME Integrated Technical Project, funded by RobMoSys, aims at contributing a model-driven tool-chain for dealing with system-level non-functional properties, enabling the specification of global robot Quality of Service (QoS) metrics. The estimation of these metrics at runtime, in terms of the contextual information available, can then be used for different purposes, such as robot behavior adaptation or benchmarking.

Autores: Cristina Vicente-Chicote / Javier Berrocal / José Manuel García-Alonso / Juan Hernández / Antonio Bandera / Jesús Martínez / Adrián Romero-Garcés / Roberto Font / Juan Francisco Inglés-Romero / 
Palabras Clave: MDE - Non-functional Properties - QoS metrics - Service Robotics

8 - Modelado y estimación de métricas sobre propiedades no funcionales. Informe de Resultados del Proyecto RoQME

Este trabajo presenta los resultados obtenidos durante la ejecución del Proyecto RoQME en relación con: (1) el modelado de métricas asociadas a propiedades no funcionales en sistemas robóticos (p. ej., rendimiento, seguridad, grado de interacción/aceptación por parte de los usuarios, etc.); y (2) la generación, a partir de los modelos anteriores, de la infraestructura necesaria para estimar dichas métricas en tiempo de ejecución. Las métricas estimadas pueden ser de utilidad, por ejemplo, para adaptar el comportamiento o la arquitectura del robot, o como fuente de datos para realizar algún tipo de benchmarking.

Autores: Cristina Vicente-Chicote / Daniel García-Pérez / Pablo García-Ojeda / Juan F. Inglés-Romero / Juan Adrian Romero-Garcés / Jesús Martínez / 
Palabras Clave: MDE - métricas - Propiedades no funcionales - Robótica - RoQME