Autor:
Varela Vaca, Angel Jesus

Foto de perfil

E-mails conocidos

ajvarela@us.es

Fecha de nacimiento

ORCID

0000-0001-9953-6005

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Varela Vaca

Nombre de pila

Angel Jesus

Nombre

Nombres alternativos

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

Afiliaciones conocidas

University of Seville
Universidad de Sevilla, Spain
University of Seville, Spain
Universidad de Sevilla, Sevilla, Spain

Páginas web conocidas

http://www.idea.us.es/staff/angel-jesus-varela-vaca-phd/
Página completa del ítem
Notificar un error en este autor

Filtros

2017 - 201922020 - 20243
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 5 de 5
  • Miniatura
    Artículo
    FABIOLA: Arquitectura para la Optimización de Problemas en entornos de Big Data
    Parody, Luisa; Varela Vaca, Angel Jesus; 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.
  • Miniatura
    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, Carlos; G.Rosado, David; Varela Vaca, Angel Jesus; Gómez López, Maria 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.
  • Miniatura
    Artículo
    Análisis de los datos y coreografia de múltiples procesos en entornos logísticos
    Cisneros Carreño, Kevin Daniel; Varela Vaca, Angel Jesus; Parody, Luisa; Gómez López, Maria Teresa. Actas de las XIV Jornadas 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.
  • Miniatura
    Artículo
    Advisory. Una herramienta para identificar los riesgos de seguridad
    Márquez Trujillo, Antonio Germán; Varela Vaca, Angel Jesus; 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.
  • Miniatura
    Artículo
    Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning
    Blanco, Carlos; G.Rosado, David; Varela Vaca, Angel Jesus; Gómez López, Maria Teresa; Fernandez-Medina, Eduardo. Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024-06-17.
    In the last years, Cyber-physical systems (CPS) have at- tracted substantial mainstream, especially in the industrial sector, since they have become the focus of cyber-attacks. CPS are complex systems that encompass a great variety of hardware and software components with a countless number of configurations and features. For this reason, the construction, validation, and diagnosis of security in CPS become a major challenge. An invalid security requirement for the CPS can pro- duce partial or incomplete configuration, even misconfigurations, and hence catastrophic consequences. Therefore, it is crucial to ensure the val- idation of the security requirements specification from the earlier design stages. To this end, OntoCarmen is proposed, a semantic approach that enables the automatic verification and diagnosis of security requirements according to the ENISA and OWASP recommendations. Our approach provides a mechanism for the specification of security requirements on top of ontologies, and automatic diagnosis through semantic axioms and SPARQL rules. The approach has been validated using security require- ments from a real case study.