Autor:
Troya, Javier

Cargando...
Foto de perfil

E-mails conocidos

jtroya@uma.es
jtroya@us.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Troya

Nombre de pila

Javier

Nombre

Nombres alternativos

Afiliaciones conocidas

Universidad de Málaga, Spain
University of Malaga, Spain
University of Seville, Spain
University of Seville
Department of Computer Languages and Systems
Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 5 de 5
  • Artículo
    Towards Self-Adaptive Software for Wildfire Monitoring with Unmanned Air Vehicles
    Vílchez, Enrique; Troya, Javier; Cámara, Javier. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    Wildfires have evolved significantly over the last decades, burning increasingly large forest areas every year. Smart cyber-physical systems like small Unmanned Air Vehicles (UAVs) can help to monitor, predict, and mitigate wildfires. In this paper, we present an approach to build control software for UAVs that allows autonomous monitoring of wildfires. Our proposal is underpinned by an ensemble of artificial intelligence techniques that include: (i) Recurrent Neural Networks (RNNs) to make local UAV predictions about how the fire will spread over its surrounding area; and (ii) Deep Reinforcement Learning (DRL) to learn policies that will optimize the operation of the UAV team.
  • Artículo
    Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
    Muñoz, Paula; Troya, Javier; Vallecillo, Antonio. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Un gemelo digital es una réplica virtual de un sistema a un cierto nivel de fidelidad, sincronizados a una determinada frecuencia. Los gemelos digitales suelen emplearse para replicar sistemas físicos cuyas simulaciones son computacionalmente muy costosas. Una de las soluciones que la literatura propone a este problema es definir una jerarquía de gemelos digitales multi-fidelidad, donde dependiendo del propósito concreto, empleemos un gemelo u otro. Sin embargo, uno de los problemas que surgen es la necesidad de determinar si los distintos gemelos son equivalentes entre ellos y conforme al sistema físico. En este artículo exploramos distintos métodos para medir esta
  • Artículo
    Towards the Automation of Metamorphic Testing in Model Transformations
    Troya, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and error-prone task, this is refereed to as the oracle problem in the software testing literature. The correctness of the model transformation program is crucial for the proper generation of its output, so they should be tested. Metamorphic testing is a testing technique to alleviate the oracle problem consisting on exploiting the relations between different inputs and outputs of the program under test, so-called metamorphic relations. In this paper we give an insight into our approach to generically define metamorphic relations for model transformations, which can be automatically instantiated given any specific model transformation.
  • Artículo
    DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes
    Toro-Gálvez, Lorenzo; Moreno, Nathalie; Canal, Carlos; Troya, Javier. Actas de las XVIII Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2023), 2023-09-12.
    Las nuevas tecnologías han impulsado la evolución de las ciudades inteligentes, las cuales buscan mejorar la calidad de vida de sus habitantes y optimizar la gestión de recursos urbanos a través de soluciones innovadoras y sostenibles. En este trabajo, se aborda el diseño e implementación de una aplicación móvil para el fomento de la actividad deportiva en la ciudad de Málaga, basada en el concepto de Digital Avatars. Dicho término se basa en el modelo People as a Service, y hace referencia a entidades digitales que residen en los smartphones de los usuarios y permiten controlar la información personal compartida, proporcionando una gestión segura y colaborativa de los datos. La aplicación desarrollada en este trabajo promueve la actividad física y la interacción social entre los ciudadanos, permitiéndoles registrar sus entrenamientos, conocer todas las instalaciones deportivas disponibles en la ciudad, socializar a través de la realización de entrenamientos en grupo y competir entre ellos para conocer quién es más activo deportivamente.
  • Artículo
    An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
    Troya, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has been proposed in several works. However, it is still challenging and error prone to locate the faulty rules, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) is a technique for software debugging that uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. This paper describes a proposal for applying SBFL for locating the faulty rules in ATL model transformations. The approach aims at automatically detecting the transformation rule that makes an assertion fail.