Autor:
Varela Vaca, Ángel Jesús

Cargando...
Foto de perfil

E-mails conocidos

ajvarela@us.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Varela Vaca

Nombre de pila

Ángel Jesús

Nombre

Nombres alternativos

Varela-Vaca, Angel Jesus
Varela Vaca, Angel Jesus
Varela-Vaca, Ángel Jesús
Varela Vaca, Angel Jesus
Varela-Vaca, Ángel

Afiliaciones conocidas

University of Seville
Universidad de Sevilla, Spain
University of Seville, Spain
Universidad de Sevilla, Sevilla, Spain
Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 4 de 4
  • Artículo
    Advisory. Una herramienta para identificar los riesgos de seguridad
    Márquez Trujillo, Antonio Germán; Varela Vaca, Ángel Jesús; Galindo, José A.. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    En el desarrollo de un proyecto software actual es frecuente delegar parte de la funcionalidad en librerías o dependencias de terceros. Este uso extensivo de dependencias puede introducir problemas de seguridad en el software que estamos desarrollando y que cada vez afecta a más proyectos software dada la necesidad de conocer cada una de las vulnerabilidades de estas dependencias. Para aliviar este problema, presentamos Advisory, una herramienta que aplica técnicas de análisis automático de la variabilidad al análisis de seguridad de proyectos software.
  • Artículo
    Onto-CARMEN: un enfoque basado en ontologías para el razonamiento y el metamodelado de requisitos de seguridad de los sistemas ciberfísicos
    Blanco Bueno, Carlos; Garcia Rosado, David; Varela Vaca, Ángel Jesús; Gómez-López, María Teresa; Fernandez-Medina, Eduardo. 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 sistemas ciberfísicos (CPS) están atrayendo una gran atención, especialmente en el sector industrial, ya que se han convertido en el foco de los ciberataques. Los CPS son sistemas complejos que engloban una gran variedad de componentes de hardware y software con un número incontable de configuraciones y características. Un requisito de seguridad no válido puede producir una configuración parcial o incompleta, incluso errónea, con las consiguientes consecuencias catastróficas. Por lo tanto, es crucial garantizar la validación en la especificación de los requisitos de seguridad desde las primeras etapas de diseño. Con este fin, se propone Onto-CARMEN, un enfoque semántico que proporciona un mecanismo para la especificación de los requisitos de seguridad en la parte superior de las ontologías, y el diagnóstico automático a través de axiomas semánticos y reglas SPARL. El enfoque se ha validado utilizando los requisitos de seguridad de un caso de estudio real.
  • Artículo
    FABIOLA: Arquitectura para la Optimización de Problemas en entornos de Big Data
    Parody, Luisa; Varela Vaca, Ángel Jesús; Gasca, Rafael M.. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    Dentro de las organizaciones, los problemas de optimización pueden encontrarse en numerosos ejemplos, tales como minimizar los costes de producción, los errores producidos, o maximizar la fidelidad de los clientes. La resolución de estos problemas es un reto que conlleva un esfuerzo extra. Hoy en día, los problemas de Big Data se suman a estos problems de optimización en dichas empresas. Desafortunadamente, afrontar estos problemas en la pequeña y mediana empresa es extremadamente difícil o incluso imposible. En este artículo, proponemos la arquitectura llamada Fabiola, que permite describir los datos distribuidos y estructurados en problemas de optimización que pueden ser paralelizados. Además, Fabiola aplica las técnicas de Programación con Restricciones para poder devolver la solución a dichos problemas de optimización.
  • Artículo
    Análisis de los datos y coreografia de múltiples procesos en entornos logísticos
    Cisneros Carreño, Kevin Daniel; Varela Vaca, Ángel Jesús; Parody, Luisa; Gómez-López, María Teresa. Actas de las XIV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2018), 2018-09-17.
    Los procesos de negocio permiten la descripción de mode- los colaborativos donde varios procesos y sus instancias se puedan core- ografiar. Un ejemplo de la dificultad que implican dichos procesos se encuentra en los entornos log??sticos, donde instancias de diferentes pro- cesos y con diferentes cardinalidades deben de trabajar para alcanzar un objetivo común. En este trabajo se identifican el conjunto de retos a resolver para facilitar la incorporación de la ingeniería de los procesos de negocio a entornos logísticos. En el artículo se analizan además los trabajos previos, y se esboza una solución basada en el análisis de los artefactos de datos involucrados y la capacidad del modelado orientado a actividades de los procesos de negocios.