IoT@run-time: a model-based approach to support deployment and self-adaptations in IoT systems

Today, most Internet of Things (IoT) systems leverage edge and fog computing to meet increasingly restrictive requirements and improve quality of service (QoS). Although these multi-layer architectures can improve system performance, their design is challenging because the dynamic and changing IoT environment can impact the QoS and system operation. In this thesis, we propose a modeling-based approach that addresses the limitations of existing studies to support the design, deployment, and management of self-adaptive IoT systems. We have designed a domain specific language (DSL) to specify the self-adaptive IoT system, a code generator that generates YAML manifests for the deployment of the IoT system, and a framework based on the MAPE-K loop to monitor and adapt the IoT system at runtime. Finally, we have conducted several experimental studies to validate the expressiveness and usability of the DSL and to evaluate the ability and performance of our framework to address the growth of concurrent adaptations on an IoT system.Hoy en día, la mayoría de los sistemas de internet de las cosas (IoT, por su sigla en inglés) aprovechan la computación en el borde (edge computing) y la computación en la niebla (fog computing) para cumplir requisitos cada vez más restrictivos y mejorar la calidad del servicio. Aunque estas arquitecturas multicapa pueden mejorar el rendimiento del sistema, diseñarlas supone un reto debido a que el entorno de IoT dinámico y cambiante puede afectar a la calidad del servicio y al funcionamiento del sistema. En esta tesis proponemos un enfoque basado en el modelado que aborda las limitaciones de los estudios existentes para dar soporte en el diseño, el despliegue y la gestión de sistemas de IoT autoadaptables. Hemos diseñado un lenguaje de dominio específico (DSL) para modelar el sistema de IoT autoadaptable, un generador de código que produce manifiestos YAML para el despliegue del sistema de IoT y un marco basado en el bucle MAPE-K para monitorizar y adaptar el sistema de IoT en tiempo de ejecución. Por último, hemos llevado a cabo varios estudios experimentales para validar la expresividad y usabilidad del DSL y evaluar la capacidad y el rendimiento de nuestro marco para abordar el crecimiento de las adaptaciones concurrentes en un sistema de IoT.Avui dia, la majoria dels sistemes d'internet de les coses (IoT, per la sigla en anglès) aprofiten la informàtica a la perifèria (edge computing) i la informàtica a la boira (fog computing) per complir requisits cada cop més restrictius i millorar la qualitat del servei. Tot i que aquestes arquitectures multicapa poden millorar el rendiment del sistema, dissenyar-les suposa un repte perquè l'entorn d'IoT dinàmic i canviant pot afectar la qualitat del servei i el funcionament del sistema. En aquesta tesi proposem un enfocament basat en el modelatge que aborda les limitacions dels estudis existents per donar suport al disseny, el desplegament i la gestió de sistemes d'IoT autoadaptatius. Hem dissenyat un llenguatge de domini específic (DSL) per modelar el sistema d'IoT autoadaptatiu, un generador de codi que produeix manifestos YAML per al desplegament del sistema d'IoT i un marc basat en el bucle MAPE-K per monitorar i adaptar el sistema d'IoT en temps d'execució. Finalment, hem dut a terme diversos estudis experimentals per validar l'expressivitat i la usabilitat del DSL i avaluar la capacitat i el rendiment del nostre marc per abordar el creixement de les adaptacions concurrents en un sistema d'IoT.Tecnologies de la informació i de xarxe

Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning

Case-Based planning can fruitfully exploit knowledge gained by solving a large number of problems, storing the corresponding solutions in a plan library and reusing them for solving similar planning problems in the future. Case-based planning is extremely effective when similar reuse candidates can be efficiently chosen. In this paper, we study an innovative technique based on planning problem features for efficiently retrieving solved planning problems (and relative plans) from large plan libraries. A problem feature is a characteristic of the instance that can be automatically derived from the problem specification, domain and search space analyses, and different problem encodings. Since the use of existing planning features are not always able to effectively distinguish between problems within the same planning domain, we introduce a new class of features. An experimental analysis in this paper shows that our features-based retrieval approach can significantly improve the performance of a state-of-the-art case-based planning system

Monitorización y periodización del rendimiento desde la fisioterapia deportiva ¿Hacia dónde vamos?

ABSTRACT Introduction The concept of monitoring and periodization is a vision that has been developed in the last decade, where it is sought to have control of the internal and external load in athletes of different sports disciplines produced by the process of interaction with variables of prescription of exercise that cause changes at the physiological, biochemical, biomechanical, muscular, and neuromuscular levels, causing tension in the subsystems of human body movement, generating specific adaptations to a given load, which can be measured through the use of specific technology or indirect tests. Methodology Review of the literature with the combination of keywords such as Monitoring, Performance, sports training load, Periodization in databases such as Pubmed, Ebsco, Medline, Scopus, Science Direct Results, it was possible to identify 65 articles that refer to the existence of technological tools to carry out a monitoring process ion and periodization from rehabilitation, prevention, load control, recovery and sports readaptation that allow the generation of statistical data and create profiles from each area of ​​action of the sports physiotherapist. Conclusion Physiotherapy is a profession in charge of many sports processes that must be monitored and generate data that allow processes to be standardized, create specific monitoring profiles to facilitate decision-making from the biomedical team and research in high-performance sports merging practice with the scientific evidence.RESUMEN Introducción El concepto de monitorización y periodización es un visión que se ha desarrollado en la última década, donde se busca que se pueda tener un control de la carga interna y externa en los deportistas de distintas disciplinas deportivas producidas por el proceso de interacción con variables de prescripción de ejercicio que causan modificaciones a nivel fisiológico, bioquímico, biomecanico, muscular, neuromuscular  ocasionando la tensión en los subsistemas del movimiento corporal humano generando adaptaciones especificas ante una carga determinada la cual puede ser medida mediante el uso de tecnología especifica o test indirectos Metodología Revisión de la literatura con la combinación de palabras clave como Monitoring, Performance, sports training load, Periodization en bases de datos como Pubmed, Ebsco, Medline, Scopus, Science Direct Resultados se pudo identificar 65 artículos que referencian la existencia  de herramientas tecnológicas para realizar un proceso de monitorización y periodización desde la rehabilitación , prevención, control de carga, recuperación y readaptación deportiva que permiten la generación de datos estadísticos y crear perfiles desde cada área de actuación del fisioterapeuta deportivo. Conclusión la fisioterapia es una profesión encargada de muchos procesos deportivos que deben ser monitorizados y generen datos que permitan estandarizar procesos, crear perfiles de seguimiento específicos para facilitar la toma de decisiones desde el equipo biomédico e investigaciones en el deporte de alto rendimiento fusionando la practica con la evidencia científica

Existence of solutions to a semilinear elliptic boundary value problem with augmented Morse index bigger than two

Building on the construction of least energy sign-changing solutions to variational semilinear elliptic boundary value problems introduced in [A. Castro, J. Cossio and J.M. Neuberger, Sign changing solutions for a superlinear Dirichlet problem, Rocky Mountain J. Math. 27 (1997), 1041--1053], we prove the existence of a solution with augmented Morse index at least three when a sublevel of the corresponding action functional has nontrivial topology. We provide examples where the set of least energy sign changing solutions is disconnected, hence has nontrivial topology

Adversarial Attacks on Remote User Authentication Using Behavioural Mouse Dynamics

Mouse dynamics is a potential means of authenticating users. Typically, the authentication process is based on classical machine learning techniques, but recently, deep learning techniques have been introduced for this purpose. Although prior research has demonstrated how machine learning and deep learning algorithms can be bypassed by carefully crafted adversarial samples, there has been very little research performed on the topic of behavioural biometrics in the adversarial domain. In an attempt to address this gap, we built a set of attacks, which are applications of several generative approaches, to construct adversarial mouse trajectories that bypass authentication models. These generated mouse sequences will serve as the adversarial samples in the context of our experiments. We also present an analysis of the attack approaches we explored, explaining their limitations. In contrast to previous work, we consider the attacks in a more realistic and challenging setting in which an attacker has access to recorded user data but does not have access to the authentication model or its outputs. We explore three different attack strategies: 1) statistics-based, 2) imitation-based, and 3) surrogate-based; we show that they are able to evade the functionality of the authentication models, thereby impacting their robustness adversely. We show that imitation-based attacks often perform better than surrogate-based attacks, unless, however, the attacker can guess the architecture of the authentication model. In such cases, we propose a potential detection mechanism against surrogate-based attacks.Comment: Accepted in 2019 International Joint Conference on Neural Networks (IJCNN). Update of DO

Research and Formative Action on the Effects of Self-Control on Stress and Decision-Making in People with Eating Disorders

Previous research has shown deficits in stress management and decision-making in teen college girls with Eating Disorders (ED). The aim of this research is to relate the impact of self-control on stress and decision-making in this population group in order to design an educational and training project to reduce these difficulties. For this purpose, qualitative research was carried out by means of semi-structured interviews with adolescent patients suffering from ED between 18 and 22 years of age and with various specialists in the mentioned disorder. The interviews were analysed from a quantitative and qualitative perspective using MAXQDA software. The results show that a lack of adaptive self-control can both directly and indirectly affect stress management and decision-making. Meanwhile, demanding self-control or, conversely, impulsive behaviours, tend to increase the problems in the variables studied. On the other hand, the academic field as well as social and family relationships should be mentioned as possible negative elements that interfere with stress management and decision-making. Finally, the creation of specific educational projects on self-control could improve variables such as stress management and decision-making in this population group. To achieve these objectives, training for the education community and clinicians would also be beneficial