Sistema vestible para medida de biomarcadores

Este Trabajo de Fin de Grado tiene como objetivo el desarrollo de un dispositivo que ofrezca suficiente flexibilidad y reprogramabilidad como para ser utilizado en diversas aplicaciones enfocadas a la adquisición de bioseñales y biomarcadores, es decir, se pretende crear un único dispositivo que mediante modificaciones de software y las mínimas posibles de hardware, se pueda utilizar en la adquisición de distintos parámetros y señales presentes en el cuerpo humano. En concreto, se va a ejemplificar como dicho dispositivo se puede emplear en la adquisición de la señal cardíaca y en el calculo del porcentaje del nivel de saturación de oxígeno en sangre, haciendo cambios mínimos al apartado físico. Se pretende que según la aplicación, el dispositivo diseñado pueda ser utilizado en su función de dispositivo vestible. Para lograr estos objetivos, el proyecto está basado en la tecnología SoC (System on a chip), la cual permite aglutinar gran cantidad de componentes electrónicos en un mismo empaquetado de reducido tamaño. Con la intencionalidad de simplificar el uso para un usuario final, se desarrolla una aplicación Android, la cual es capaz de comunicarse con el dispositivo creado vıa Bluetooth Low Energy, mostrar los resultados obtenidos para la medida concreta que se esté realizando y almacenar estos para su posible consulta a futuro.This Bachelor’s Thesis aims to develop a device that offers enough flexibility and reprogrammability to be used in various applications focused on the acquisition of biosignals and biomarkers, that is, it is intended to create a single device that through software modifications and the minimum possible modifications of hardware can be used in the acquisition of different parameters and signals present in the human body. Specifically, it is going to be exemplified how this device can be used in the acquisition of the cardiac signal and in the calculation of the percentage of oxygen saturation level in blood, making minimal changes to the physical section. It is intended that depending on the application, the designed device can be used in its function as a wearable device. To achieve these goals, the project is based on SoC (System on a chip) technology, which allows to agglutinate a large number of electronic components in the same small package. With the intention of simplifying the use for an end user, an Android application is developed, which is able to communicate with the device created via Bluetooth Low Energy, display the results obtained for the specific measurement being performed and store them for possible future reference

Complex scheduling models and analyses for property-based real-time embedded systems

Modern multi core architectures and parallel applications pose a significant challenge to the worst-case centric real-time system verification and design efforts. The involved model and parameter uncertainty contest the fidelity of formal real-time analyses, which are mostly based on exact model assumptions. In this dissertation, various approaches that can accept parameter and model uncertainty are presented. In an attempt to improve predictability in worst-case centric analyses, the exploration of timing predictable protocols are examined for parallel task scheduling on multiprocessors and network-on-chip arbitration. A novel scheduling algorithm, called stationary rigid gang scheduling, for gang tasks on multiprocessors is proposed. In regard to fixed-priority wormhole-switched network-on-chips, a more restrictive family of transmission protocols called simultaneous progression switching protocols is proposed with predictability enhancing properties. Moreover, hierarchical scheduling for parallel DAG tasks under parameter uncertainty is studied to achieve temporal- and spatial isolation. Fault-tolerance as a supplementary reliability aspect of real-time systems is examined, in spite of dynamic external causes of fault. Using various job variants, which trade off increased execution time demand with increased error protection, a state-based policy selection strategy is proposed, which provably assures an acceptable quality-of-service (QoS). Lastly, the temporal misalignment of sensor data in sensor fusion applications in cyber-physical systems is examined. A modular analysis based on minimal properties to obtain an upper-bound for the maximal sensor data time-stamp difference is proposed