Autor:
Muñoz, Paula

Foto de perfil

E-mails conocidos

paulam@uma.es
paula.munoz.ariza@hotmail.com

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Muñoz

Nombre de pila

Paula

Nombre

Nombres alternativos

Afiliaciones conocidas

Universidad de Málaga, Spain
ITIS Software. University of Malaga, Spain
University of Malaga, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Filtros

2021 - 20245
Restablecer filtros

Ajustes

Autor: Vallecillo, Antonio ×

Resultados de la búsqueda

Mostrando 1 - 5 de 5
  • Miniatura
    Artículo
    Alineamiento de trazas de Gemelos. El Caso de Estudio de un Ascensor
    Muñoz, Paula; Arrieta, Aitor; Vallecillo, Antonio. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    Un problema a la hora de desarrollar un gemelo digital es comprobar que su comportamiento es fiel al del sistema físico que replica. Este trabajo establece medidas de fidelidad usando un algoritmo de alineamiento de trazas y las aplica al caso de estudio de un ascensor.
  • Miniatura
    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
  • Miniatura
    Artículo
    ¿Qué es un Gemelo Digital? Una Propuesta de Arquitectura para su Implementación
    Muñoz, Paula; Vallecillo, Antonio. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    En los últimos años, los gemelos digitales se han presentado como un paradigma innovador para mejorar el funcionamiento de sistemas ciberfísicos, software o procesos. El gemelo digital es una réplica virtual del sistema cuyo funcionamiento pretende optimizarse, ya sea mejorando su rendimiento, o permitiendo su mantenimiento preventivo y la detección de anomalías. Aunque existe cierto consenso en la comunidad sobre lo que son los gemelos digitales, aún hay cuestiones no resueltas sobre su definición, arquitectura y conceptos relacionados, como por ejemplo las sombras digitales. Este artículo propone una arquitectura para la implementación de gemelos digitales, y la compara con otras existentes en la literatura con el objetivo de alcanzar un entendimiento común.
  • Miniatura
    Artículo
    Generación automática de pruebas exhaustivas a partir modelos con contratos
    Díaz Gaspar, José; Muñoz, Paula; Vallecillo, Antonio. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La complejidad de los sistemas ciberfísicos hacen necesario mejores sistemas de prueba, y en particular su automatización. Este articulo propone el uso de las Pruebas basadas en modelos para la generación automática de pruebas exhaustivas a partir de las pre- y postcondiciones de las operaciones, y de sus invariantes.
  • Miniatura
    Artículo
    Monitorización en Tiempo Real de Gemelos Digitales usando Alineamiento de Trazas
    Muñoz, Paula; Troya, Javier; Vallecillo, Antonio. Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024-06-17.
    En los sistemas de gemelos digitales es crucial comprobar la fidelidad del comportamiento de los gemelos físico y digital para poder validarlos. En trabajos anteriores, propusimos el análisis de trazas para determinar la fidelidad en el comportamiento de los gemelos. En este trabajo, exploramos el uso de ventanas temporales para poder realizar este análisis en tiempo de ejecución.