Model-Based Adaptation of Software Communicating via FIFO Buffers

Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to deadlock or other undesirable behaviour when combined. Adaptation techniques aim at automatically generating new components called adapters. All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Most of the existing solutions in this field assume that peers interact synchronously using rendezvous communication. However, many application areas rely on asynchronous communication models where peers interact exchanging messages via buffers. Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems. In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Situational-Context: A Unified View of Everything Involved at a Particular Situation

As the interest in the Web of Things increases, specially for the general population, the barriers to entry for the use of these technologies should decrease. Current applications can be developed to adapt their behaviour to predefined conditions and users preferences, facilitating their use. In the future,Web of Things software should be able to automatically adjust its behaviour to non-predefined preferences or context of its users. In this vision paper we define the Situational-Context as the combination of the virtual profiles of the entities (things or people) that concur at a particular place and time. The computation of the Situational-Context allow us to predict the expected system behaviour and the required interaction between devices to meet the entities’ goals, achieving a better adjustment of the system to variable contexts.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Statistical analysis and comparison of 2T and 3T1D e-DRAM minimum energy operation

Bio-medical wearable devices restricted to their small-capacity embedded-battery require energy-efficiency of the highest order. However, minimum-energy point (MEP) at sub-threshold voltages is unattainable with SRAM memory, which fails to hold below 0.3V because of its vanishing noise margins. This paper examines the minimum-energy operation point of 2T and 3T1D e-DRAM gain cells at the 32-nm technology node with different design points: up-sizing transistors, using high- V th transistors, read/write wordline assists; as well as operating conditions (i.e., temperature). First, the e-DRAM cells are evaluated without considering any process variations. Then, a full-factorial statistical analysis of e-DRAM cells is performed in the presence of threshold voltage variations and the effect of upsizing on mean MEP is reported. Finally, it is shown that the product of the read and write lengths provides a knob to tradeoff energy-efficiency for reliable MEP energy operation.Peer ReviewedPostprint (author's final draft

Dynamically programmable virtual profiles as a service

Many devices in our daily environments are being connected to the network, building what has been called the Web of Things. Although these things offer a web interface to interact with, this interaction must be performed manually and for each one of them. In a near future in which we will be surrounded by dozens of connected devices, technology must evolve to make the interactions automatically and adapt the behavior of these devices considering the needs and context of their users. To this extent, in previous work we proposed the Internet of People model to empower the smartphones with the capability of automatically inferring virtual profiles of their owners. However, in order to build complete virtual profiles with information about the user’s environment and context, we also need the contribution of these surrounding devices. In this paper, we propose a framework in which users and smart devices are integrated seamlessly and in real time, allowing programmatic adaptation and update of both virtual user profiles and connected devices. We present the architecture of this framework and define how the virtual profiles should be, coming from our experience in the field. Virtual profiles are the key element in the way to an effective Programmable World, in which everyday things connected to the network can be programmatically adapted to their users.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Strategies to enhance the 3T1D-DRAM cell variability robustness beyond 22 nm

3T1D cell has been stated as a valid alternative to be implemented on L1 memory cache to substitute 6T, highly affected by device variability as technology dimensions are reduced. In this work, we have shown that 22 nm 3T1D memory cells present significant tolerance to high levels of device parameter fluctuation. Moreover, we have observed that when variability is considered the write access transistor becomes a significant detrimental element on the 3T1D cell performance. Furthermore, resizing and temperature control have been presented as some valid strategies in order to mitigate the 3T1D cell variability.Peer ReviewedPostprint (author's final draft

Coordinating heterogeneous IoT devices by means of the centralized vision of the SDN controller

The IoT (Internet of Things) has become a reality during recent years. The desire of having everything connected to the Internet results in clearly identified benefits that will impact on socio economic development. However, the exponential growth in the number of IoT devices and their heterogeneity open new challenges that must be carefully studied. Coordination among devices to adapt them to their users' context usually requires high volumes of data to be exchanged with the cloud. In order to reduce unnecessary communications and network overhead, this paper proposes a novel network architecture based on the Software-Defined Networking paradigm that allows IoT devices coordinate and adapt them within the scope of a particular context.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Investigation of the Bauschinger effect in copper

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1961.Includes bibliographical references (leaf 34).by Jose Roberto Canal.M.S

Procesamiento de Eventos Complejos para la determinación de rutas en ciudades inteligentes

Una de las principales características de una ciudad inteligente es la publicación de datos abiertos que monitorizan diferentes aspectos de la misma, desde sistemas de movilidad a niveles de polen. Sin embargo, esta información se ofrece a los ciudadanos de forma genérica y carente de contexto. Sin el concurso de las personas en la generación y recogida de información, no es posible tener en cuenta sus preferencias y necesidades, ni el uso que hacen de los servicios. Para reducir este fenómeno y contextualizar los datos abiertos con información acerca de los ciudadanos, diseñamos anteriormente la arquitectura de referencia People as a Service, que permite recopilar información de los usuarios a partir de sus smartphones. En este trabajo vamos un paso más allá en la integración de un motor de inferencia para esta arquitectura usando la tecnología de Procesamiento de Eventos Complejos. En particular, recopilamos información de los sensores del smartphone para analizarla, transformándola en conocimiento sobre los hábitos del usuario. La posterior combinación de este conocimiento con los datos abiertos de la ciudad, permitirá que sus servicios puedan adaptarse a cada persona.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Formalización de una arquitectura de computación móvil basada en Linda

Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de sensores y además están dotados de conexión ya sea a la red o mediante alguna otra tecnología. Sin embargo, estos dispositivos, a pesar de lo que indique su nombre, precisan de una configuración e interacción con ellos completamente manual y específica. Lo ideal sería aprovechar esos sensores e “inteligencia” para adaptar su comportamiento automáticamente a las necesidades de los usuarios. En este ámbito, proponemos el diseño de una arquitectura de computación móvil ”People as a Service”, que confiere a los dispositivos móviles (como los smartphones) la capacidad de inferir y compartir un perfil virtual del usuario. Más allá, hemos establecido un método de interacción programática para que el dispositivo móvil, ahora con la información e inteligencia necesarias, ejerza de interfaz con estos dispositivos de IoT configurándolos de forma automática y dinámica. En este trabajo proponemos una primera aproximación para formalizar estas interacciones dinámicas mediante un enfoque basado en espacios de tuplas distribuidos y compartidos, basado en Linda.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech