Detecting unknown attacks in wireless sensor networks that contain mobile nodes

As wireless sensor networks are usually deployed in unattended areas, security policies cannot be updated in a timely fashion upon identification of new attacks. This gives enough time for attackers to cause significant damage. Thus, it is of great importance to provide protection from unknown attacks. However, existing solutions are mostly concentrated on known attacks. On the other hand, mobility can make the sensor network more resilient to failures, reactive to events, and able to support disparate missions with a common set of sensors, yet the problem of security becomes more complicated. In order to address the issue of security in networks with mobile nodes, we propose a machine learning solution for anomaly detection along with the feature extraction process that tries to detect temporal and spatial inconsistencies in the sequences of sensed values and the routing paths used to forward these values to the base station. We also propose a special way to treat mobile nodes, which is the main novelty of this work. The data produced in the presence of an attacker are treated as outliers, and detected using clustering techniques. These techniques are further coupled with a reputation system, in this way isolating compromised nodes in timely fashion. The proposal exhibits good performances at detecting and confining previously unseen attacks, including the cases when mobile nodes are compromised.

Integración de la calidad del aire en la planificación física

En esta tesis se presenta una nueva aproximación para la realización de mapas de calidad del aire, con objeto de que esta variable del medio físico pueda ser tenida en cuenta en los procesos de planificación física o territorial. La calidad del aire no se considera normalmente en estos procesos debido a su composición y a la complejidad de su comportamiento, así como a la dificultad de contar con información fiable y contrastada. Además, la variabilidad espacial y temporal de las medidas de calidad del aire hace que sea difícil su consideración territorial y exige la georeferenciación de la información. Ello implica la predicción de medidas para lugares del territorio donde no existen datos. Esta tesis desarrolla un modelo geoestadístico para la predicción de valores de calidad del aire en un territorio. El modelo propuesto se basa en la interpolación de las medidas de concentración de contaminantes registradas en las estaciones de monitorización, mediante kriging ordinario, previa homogeneización de estos datos para eliminar su carácter local. Con el proceso de eliminación del carácter local, desaparecen las tendencias de las series muestrales de datos debidas a las variaciones temporales y espaciales de la calidad del aire. La transformación de los valores de calidad del aire en cantidades independientes del lugar de muestreo, se realiza a través de parámetros de uso del suelo y de otras variables características de la escala local. Como resultado, se obtienen unos datos de entrada espacialmente homogéneos, que es un requisito fundamental para la utilización de cualquier algoritmo de interpolación, en concreto, del kriging ordinario. Después de la interpolación, se aplica una retransformación de los datos para devolver el carácter local al mapa final. Para el desarrollo del modelo, se ha elegido como área de estudio la Comunidad de Madrid, por la disponibilidad de datos reales. Estos datos, valores de calidad del aire y variables territoriales, se utilizan en dos momentos. Un momento inicial, donde se optimiza la selección de los parámetros más adecuados para la eliminación del carácter local de las medidas y se desarrolla cada una de las etapas del modelo. Y un segundo momento, en el que se aplica en su totalidad el modelo desarrollado y se contrasta su eficacia predictiva. El modelo se aplica para la estimación de los valores medios y máximos de NO2 del territorio de estudio. Con la implementación del modelo propuesto se acomete la territorialización de los datos de calidad del aire con la reducción de tres factores clave para su efectiva integración en la planificación territorial o en el proceso de toma de decisiones asociado: incertidumbre, tiempo empleado para generar la predicción y recursos (datos y costes) asociados. El modelo permite obtener una predicción de valores del contaminante objeto de análisis en unas horas, frente a los periodos de modelización o análisis requeridos por otras metodologías. Los recursos necesarios son mínimos, únicamente contar con los datos de las estaciones de monitorización del territorio que, normalmente, están disponibles en las páginas web viii institucionales de los organismos gestores de las redes de medida de la calidad del aire. Por lo que respecta a las incertidumbres de la predicción, puede decirse que los resultados del modelo propuesto en esta tesis son estadísticamente muy correctos y que los errores medios son, en general, similares o menores que los encontrados con la aplicación de las metodologías existentes. ABSTRACT This thesis presents a new approach for mapping air quality, so that this variable of physical environment can be taken into account in physical or territorial planning. Ambient air quality is not normally considered in territorial planning mainly due to the complexity of its composition and behavior and the difficulty of counting with reliable and contrasted information. In addition, the wide spatial and temporal variability of the measurements of air quality makes his territorial consideration difficult and requires georeferenced information. This involves predicting measurements in the places of the territory where there are no data. This thesis develops a geostatistical model for predicting air quality values in a territory. The proposed model is based on the interpolation of measurements of pollutants from the monitoring stations, using ordinary kriging, after a detrending or removal of the local character of sampling values process. With the detrending process, the local character of the time series of sampling data, due to temporal and spatial variations of air quality, is removed. The transformation of the air quality values into site-independent quantities is performed using land use parameters and other characteristic parameters of local scale. This detrending of the monitoring data process results in a spatial homogeneous input set which is a prerequisite for a correct use of any interpolation algorithm, particularly, ordinary kriging. After the interpolation step, a retrending or retransformation is applied in order to incorporate the local character in the final map at places where no monitoring data is available. For the development of this model, the Community of Madrid is chosen as study area, because of the availability of actual data. These data, air quality values and local parameters, are used in two moments. A starting point, to optimize the selection of the most suitable indicators for the detrending process and to develop each one of the model stages. And a second moment, to fully implement the developed model and to evaluate its predictive power. The model is applied to estimate the average and maximum values of NO2 in the study territory. With the implementation of the proposed model, the territorialization of air quality data is undertaken with the reduction in three key factors for the effective integration of this parameter in territorial planning or in the associated decision making process: uncertainty, time taken to generate the prediction and associated resources (data and costs). This model allows the prediction of pollutant values in hours, compared to the implementation time periods required for other modeling or analysis methodologies. The required resources are also minimal, only having data from monitoring stations in the territory, that are normally available on institutional websites of the authorities responsible for air quality networks control and management. With regard to the prediction uncertainties, it can be concluded that the results of the proposed model are statistically very accurate and the mean errors are generally similar to or lower than those found with the application of existing methodologies.

MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems

Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs. A promising solution is to incorporate mechanisms that establish multiple partitions with strict temporal and spatial separation between the individual partitions. In this approach, subsystems with different levels of criticality can be placed in different partitions and can be verified and validated in isolation. The MultiPARTES FP7 project aims at supporting mixed- criticality integration for embedded systems based on virtualization techniques for heterogeneous multicore processors. A major outcome of the project is the MultiPARTES XtratuM, an open source hypervisor designed as a generic virtualization layer for heterogeneous multicore. MultiPARTES evaluates the developed technology through selected use cases from the offshore wind power, space, visual surveillance, and automotive domains. The impact of MultiPARTES on the targeted domains will be also discussed. In a number of ongoing research initiatives (e.g., RECOMP, ARAMIS, MultiPARTES, CERTAINTY) mixed-criticality integration is considered in multicore processors. Key challenges are the combination of software virtualization and hardware segregation and the extension of partitioning mechanisms to jointly address significant non-functional requirements (e.g., time, energy and power budgets, adaptivity, reliability, safety, security, volume, weight, etc.) along with development and certification methodology.

Evaluación del ruido ambiental en espacios naturales protegidos: implicaciones para su gestión

Esta Tesis Doctoral trata sobre la caracterización acústica de los ecosistemas naturales y la evaluación del impacto ambiental del ruido antropogénico sobre sus potenciales receptores en estos lugares, incluidos los receptores no humanos y sus efectos ecológicos, además, analiza las implicaciones para su gestión a distintas escalas y se lleva a cabo una valoración económica. Este trabajo ofrece soluciones para caracterizar los paisajes sonoros de forma compatible con distintas escalas de trabajo, nivel de esfuerzo técnico y en contextos de recursos limitados que haga viable su tratamiento como cualquier otra variable ambiental en el ámbito de la conservación y gestión del medio natural. Se han adaptado herramientas y metodologías propias de disciplinas como la acústica ambiental, bioacústica y ecología del paisaje, para servir a los objetivos específicos de la evaluación y gestión de los paisajes sonoros y el ruido ambiental en amplias extensiones geográficas. Se ha establecido un método general de muestreo sistemático para trabajo de campo y también se han adaptado métodos de modelización informática, que permiten analizar escenarios sonoros dinámicos en el tiempo y en el espacio, desde localizaciones puntuales hasta la escala del paisaje. Es posible elaborar cartografía ambiental con esta información y se ha representado gráficamente la zona de influencia de distintas fuentes de ruido sobre la calidad de distintos hábitats faunísticos. Se recomienda el uso del indicador del nivel de presión sonora equivalente (Leq) por su operatividad en medición y modelización, y su adaptabilidad a cualquier dimensión espacial y temporal que se requiera, por ejemplo en función del paisaje, actividades o especies que se establezcan como objeto de análisis. Se ha comprobado que las voces y conversaciones de parte de los excursionistas en zonas de reposo, observación y descanso (Laguna Grande de Peñalara) es la fuente de ruido que con mayor frecuencia identifican los propios visitantes (51%) y causa un incremento del nivel de presión sonora equivalente de unos 4,5 dBA sobre el nivel correspondiente al ambiente natural (Lnat). También se ha comprobado que carreteras con bajo nivel de tráfico (IMD<1000) pueden causar estrés fisiológico sobre la fauna y afectar a la calidad de sus hábitats. La isófona de 30 dBA del índice Leq (24h) permite dividir a los corzos de la zona de estudio en dos grupos con diferente nivel de estrés fisiológico, más elevado en los que se sitúan más cerca de la carretera con mayor volumen de tráfico y se expone a mayores niveles de ruido. Por otro lado, ha sido posible delimitar una zona de exclusión para la nidificación de buitre negro alrededor de las carreteras, coincidente con la isófona Leq (24h) de 40 dBA que afecta al 11% de su hábitat potencial. Además se ha llevado a cabo una novedosa valoración económica de la contaminación acústica en espacios naturales protegidos, mediante el análisis de la experiencia sonora de los visitantes del antiguo Parque Natural de Peñalara, y se ha constatado su disposición al pago de una entrada de acceso a estos lugares (aproximadamente 1 euro) si redundara en una mejora de su estado de conservación. En conclusión, los espacios naturales protegidos pueden sufrir un impacto ambiental significativo causado por fuentes de ruido localizadas en su interior pero también lejanas a ellos, que se sitúan fuera del ámbito de competencias de sus gestores. Sucesos sonoros como el sobrevuelo de aviones pueden incrementar en aproximadamente 8 dBA el nivel de referencia Lnat en las zonas tranquilas del parque. Se recomienda llevar a cabo una gestión activa del medio ambiente sonoro y se considera necesario extender la investigación sobre los efectos ecológicos del ruido ambiental a otros lugares y especies animales. ABSTRACT This PhD Thesis deals with acoustic characterization of natural ecosystems and anthropogenic noise impact assessment on potential receivers, including non-human receivers and their ecological effects. Besides, its management implications at different scales are analyzed and an economic valuation is performed. This study provides solutions for characterizing soundscapes in a compatible way with different working scales, level of technical effort and in a context of limited resources, so its treatment becomes feasible as for any other environmental variable in conservation and environmental management. Several tools and methodologies have been adapted from a variety of disciplines such as environmental acoustics, bioacoustics and landscape ecology, to better serve the specific goals of assessing and managing soundscapes and environmental noise in large areas. A procedure has been established for systematic field measurement surveys and noise common computer modelling methods have also been adapted in order to analyze dynamic soundscapes across time and space, from local to landscape scales. It is possible to create specific thematic cartography as for instance delimiting potential influence zone from different noise sources on animal habitats quality. Use of equivalent continuous sound pressure level index (Leq) is recommended because it provides great flexibility in operation for noise measurement and modelling, and because of its adaptability to any required temporal and spatial dimension, for instance landscape, activities or the target species established as study subjects. It has been found that human voices and conversations in a resting and contemplation area (Laguna Grande de Peñalara) is the most frequently referred noise source by national park visitors (51 %) when asked. Human voices alter this recreational area by increasing the sound pressure level approximately 4.5 dBA over the natural ambient level (Lnat). It has also been found that low traffic roads (AADT<1000 ) may cause physiological stress on wildlife and affect the quality of their habitats. It has also been possible to define a road-effect zone by noise mapping, which suggests an effective habitat loss within the Leq (24h) 30 dBA isophone in case of Roe deer and also divide the study area in two groups with different physiological stress level, higher for those exposed to higher noise levels and traffic volume. On the other hand, it has been possible to determine an exclusion area for Cinereous vulture nesting surrounding roads which is coincident with the Leq (24h) 40 dBA isophone and affects 11 % of the vulture potential habitat. It has also been performed an economic estimation of noise pollution impact on visitors’ perception and results showed that visitors would be willing to pay an entrance fee of approximately 1 euro if such payment is really bringing an improvement of the conservation status. In conclusion, protected areas may be significantly affected by anthropogenic noise sources located within the park borders but perturbations may also be caused by large-distance noise sources outside the park managers’ jurisdiction. Aircraft overflight events disrupted quietness and caused Leq increases of almost 8 dBA during a monitoring period with respect to Lnat reference levels in the park quiet areas. It is recommended to actively manage the acoustic environment. Finally, further research on ecological impacts of environmental noise needs to be extended to other species and places.

Génesis, evolución y presente actual del sistema científico tecnológico de la ciudad de Madrid y su área metropolitana

La ciudad de Madrid y su área metropolitana han sido y son ahora también, uno de los más importantes polos de actividad científico-tecnológica de España. Madrid concentra en una región uniprovincial una gran parte de las instituciones públicas de investigación y desarrollo del país. La mayor parte se concentran en la ciudad de Madrid y el resto en el área metropolitana inmediata en un reducido espacio territorial. Madrid ha sido un lugar de primer nivel para localización y producción científico-tecnológica nacional: desde los inicios de la Edad de la Ilustración en la época de Carlos III, posteriormente en el siglo XIX, en el periodo del “Cajalismo” de principios del XX, con la JAE (Junta de Ampliación de Estudios) hasta 1939, con el CSIC “Consejo Superior de Investigaciones Científicas” desde 1939 hasta ahora y en la actualidad con los organismos ministeriales de Ciencia e Tecnología y con “MADRID NETWORK”, la agencia regional de desarrollo de parques científico-tecnológicos. Ha habido una secuencia temporal y espacial en la ubicación de las sedes de instituciones científico-técnicas en la ciudad a través del tiempo. En esta tesis doctoral se ha analizado la creación de este sistema y sus características básicas. Se ha evaluado si se ha formado un conjunto de áreas significativas en la ciudad que permitan hablar de un proyecto, o un grupo de proyectos, que han formado el sistema científico-técnico de Madrid. Al final se ha analizado cómo es en la actualidad este sistema, por medio de un estudio de la nueva red de parques científicos tecnológicos y si este último proyecto del sistema científico tecnológico de Madrid está concluido o si por el contrario está pendiente de terminar y desarrollar en estos momentos a principios del siglo XXI. Se ha estudiado los sectores y actividades a los que se dedican las empresas y organismos públicos presentes en los parques. ABSTRACT: The city of Madrid and its metropolitan area have been, and now are too, one of the most important scientific and technical activity poles of Spain. Madrid concentrates in a single-province region a great part of the public Research and Development institutions of the country. The majority are concentrated in the city of Madrid and the rest in the immediate metropolitan area in a limited territorial space. Madrid has been a first level place for location and national scientific and technical production: since the beginnings of the Age of Enlightenment in the Carlos III epoch, during the XIX century, in the “Cajalismo” period at first of the XX century, With JAE “Junta de Ampliación de Estudios” until 1939, with CSIC “Consejo Superior de Investigaciones Científicas” since 1939 up to now and nowadays with the Ministerial agencies of Science and Technology and with “MADRID NETWORK” the regional agency for the development of scientific and technical parks. There has been a temporal and spatial sequence in location of the scientific and technical headquarters and institutions in the city over time. In this doctoral thesis it has been analyzed the building this system and its basic characteristics. It has been evaluated if it has formed a set of significant areas in the city that lead us to talk about one project, or a group of projects, that have formed the scientific and technical system of Madrid. At the end is has been analyzed how is this system actually, by means of a study of the new network of scientific and technologic parks and if this last project of the Madrid´s scientific and technologic system is finished or, on the other hand, it is waiting to be finished, and be developed, in this moment, at the beginning of the XXI century. It has studied the sectors and activities to which are dedicated the companies and public organism that stay in the parks.

Ecología de la dispersión de plantas en los bosques secos del suroccidente Ecuatoriano

La importancia del proceso de dispersión de semillas en la estructura y dinámica de los ecosistemas es ampliamente reconocida. Sin embargo, para los bosques tropicales estacionalmente secos los estudios relacionados con este proceso son aún escasos y dispersos en comparación con los bosques tropicales lluviosos. En este trabajo se estudió la importancia de los síndromes de dispersión de semillas en la estructuración de comunidades, mediante el análisis de los patrones de dispersión de semillas en el espacio y tiempo para comunidades de leñosas en los bosques secos del suroccidente Ecuatoriano. Esta área forma parte de la región Tumbesina, una de las áreas de endemismo más importantes del mundo, pero también uno de los hotspots más amenazados. El clima se caracteriza por una estación seca que va de mayo a noviembre y una estación lluviosa que se extiende desde diciembre a abril. Para toda esta zona se estima una temperatura promedio anual entre 20° y 26°C y una precipitación promedio anual entre 300 y 700 mm. El trabajo de campo se desarrolló entre febrero de 2009 y septiembre de 2012. El primer paso fue la recopilación de información sobre las especies leñosas nativas de los bosques secos del suroccidente de Ecuador, que permitiera asignar a cada especie a un síndrome de dispersión para determinar el espectro de síndromes de dispersión de semillas. Luego, utilizando la información disponible de 109 parcelas establecidas previamente a lo largo de cuatro cantones de la provincia de Loja que conservan bosques secos en buen estado, se analizó la relación entre el síndrome de dispersión y condiciones ambientales. La relación de los síndromes de dispersión con los patrones espaciales de las especies y con los patrones de la lluvia y banco de semillas se estudió dentro de una parcela permanente de 9 ha, en la Reserva Ecológica Arenillas. Dentro de esta parcela se estableció un transecto de aproximadamente 3,4 km, que se recorrió mensualmente para colectar excretas de cérvidos y analizar el rol de este grupo como dispersor de semillas. Una gran variedad de plantas en los bosques secos tropicales del suroccidente de Ecuador requirió la asistencia de animales para la dispersión de semillas. Sin embargo, un análisis del espectro de dispersión considerando no solo la riqueza, sino también la abundancia relativa de especies, permitió determinar que a pesar de la alta variedad de especies zoócoras, la mayor parte de la comunidad correspondía a individuos anemócoros, que no proveen ninguna recompensa para la dispersión por animales. Este patrón puede deberse a la abundancia relativa de hábitats adecuados para especies con diferente síndrome de dispersión. Las condiciones ambientales afectaron la estructura del espectro de dispersión en la comunidad de bosque seco neotropical estudiada. El análisis de la importancia relativa del síndrome de dispersión y de la heterogeneidad espacial en la formación de patrones espaciales de árboles adultos permitió determinar que la heterogeneidad ambiental ejercía un efecto adicional (y en algunos el único) en la formación de patrones agregados de la mayoría de especies estudiadas. Los resultados señalaron diferencias en los patrones espaciales de las especies dependiendo del síndrome de dispersión, pero también una gran variación en los patrones espaciales incluso entre especies del mismo síndrome de dispersión. El análisis simultáneo de los patrones de la lluvia de semillas y banco de semillas de una comunidad de leñosas y su relación con la vegetación establecida indicaron que la lluvia de semillas era temporalmente variable en número de especies y abundancia de semillas, y dependía del síndrome de dispersión. El síndrome de dispersión también influyó en la formación de bancos de semillas, siendo las especies con capacidad de dispersión limitada (autócoras) las de mayor riqueza de especies y abundancia de semillas. Los cérvidos también se consideraron como un elemento clave en el proceso de dispersión de semillas. Al menos ocho especies leñosas fueron dispersadas legítimamente vía endozoócora. La mayoría de las especies dispersadas presentaron diásporas sin adaptaciones obvias para la dispersión, por lo que la ingestión de semillas por cérvidos se constituye en una vía potencial para la dispersión de sus semillas a largas distancias y, con ello, mejora la posibilidad de colonizar nuevos sitios y mantener el flujo genético. Los resultados de este estudio aportan nuevas evidencias para el entendimiento de la importancia de los procesos de dispersión de semillas en la estructura de los bosques secos neotropicales. Uno de los principales hallazgos a partir de estos cuatro capítulos es que los patrones espaciales de las especies, así como las estrategias que utilizan para dispersarse y hacer frente a las condiciones adversas (es decir, lluvia o banco de semillas) llevan consigo un efecto del síndrome de dispersión, y que la intensidad ese efecto depende a la vez de las condiciones ambientales del lugar. ABSTRACT The importance of seed dispersal process in the estructuring and ecosystem dynamic is widely recongnized. However, for seasonally tropical dry forest studies related to this process are still scarce and scattered compared to tropical rain forests. The present research deals with the importance of seed dispersal syndromes as a driver in the community structure, focusing its attention to temporal and spatial patterns of seed dispersal in woody communities of seasonally dry forest at Southwestern Ecuador. This area is part of the Tumbesian region, one of the most important areas of endemism, but also one of the most threatened areas around the world. Climate is characterized by a dry season from May to November, and a rainy season from December to April. For the whole area an average temperature between 20 ° and 26 ° C, and an average annual rainfall between 300 and 700 mm are estimated. Fieldwork was carried out between February 2009 and September 2012. During a first step information about native woody species of dry forests of southwestern Ecuador was gathered, enabling to assign a dispersal syndrome to each species to determine the seed dispersal spectrum. In a second step, available information from 109 established plots along four municipalities in Loja province, which hold the highest and best conserved dry forest remanants, was analyzed to establish the relationship between dispersal syndromes and environmental conditions. The relationships between dispersal syndromes and species spatial patterns; and between dispersal syndromes and seed rain and seed bank patterns, were studied within a permanent plot of 9 ha, in the Arenillas Ecological Reserve. Within this plot one transect of approximately 3.4 km was set to collect monthly deer droppings, which were used to latter analyze the rol of this group as seed dispersers. The results showed that a large variety of plants in tropical dry forest of Southwestern Ecuador require animal assistance to dispers their seeds. However, an analysis of seed dispersal spectrum considering not only species richness, but also the relative abundance of species, allowed to determine that despite the high variety of zoochorous species, most individuals in the community corresponds to anemochoruos species. This shift may be due to the relative abundance of habitats that are suitable for species with different dispersal syndromes. Moreover, quantitative data analysis showed that environmental conditions affect the structure of seed dispersal spectrum in the studied community. The analysis of relative importance of dispersal syndrome, and the environmental heterogeneity on formation of adult trees spatial patterns, indicated that environmental heterogeneity exert an additional (or was the only) effect limiting the distribution of most species in this forest. The findings showed differences in spatial patterns related to dispersal syndrome, but also showed a large variation in spatial patterns even among species sharing the same dispersal syndrome. Simultaneous analysis of seed rain and seed bank patterns of a woody community, and their relationship with established vegetation, suggested that seed rain is temporally variable in species number and seeds abundance, and that variation is related to the dispersal syndrome. Dispersal syndrome also influenced on the formation of seed banks, being species with limited dispersal abilities (autochorous) the ones with highest species richness and seed abundance. Deer were found as a key element in the seed dispersal process. At least to eight woody species were dispersed legitimately by ingestion. Diaspores of most dispersed species had no obvious adaptations to seed dispersal, therefore, seed ingestion by deer represents a potential pathway for long-distance dispersal, and hence, improves the chances to colonizing new sites and to maintain gene flow. Overall, these results provide new evidence for understanding the importance of seed dispersal processes in the structure of Neotropical dry forests. One of the major findings from these four chapters is that spatial patterns of species, and the strategies used to disperse their seeds and to deal with the adverse conditions (i.e. seed rain or seed bank) are related with dispersal syndromes, and the intensity of that relation depends in turn, on environmental conditions.

Multisensor data fusion for accurate modelling of mobile objects

In the last decade, multi-sensor data fusion has become a broadly demanded discipline to achieve advanced solutions that can be applied in many real world situations, either civil or military. In Defence,accurate detection of all target objects is fundamental to maintaining situational awareness, to locating threats in the battlefield and to identifying and protecting strategically own forces. Civil applications, such as traffic monitoring, have similar requirements in terms of object detection and reliable identification of incidents in order to ensure safety of road users. Thanks to the appropriate data fusion technique, we can give these systems the power to exploit automatically all relevant information from multiple sources to face for instance mission needs or assess daily supervision operations. This paper focuses on its application to active vehicle monitoring in a particular area of high density traffic, and how it is redirecting the research activities being carried out in the computer vision, signal processing and machine learning fields for improving the effectiveness of detection and tracking in ground surveillance scenarios in general. Specifically, our system proposes fusion of data at a feature level which is extracted from a video camera and a laser scanner. In addition, a stochastic-based tracking which introduces some particle filters into the model to deal with uncertainty due to occlusions and improve the previous detection output is presented in this paper. It has been shown that this computer vision tracker contributes to detect objects even under poor visual information. Finally, in the same way that humans are able to analyze both temporal and spatial relations among items in the scene to associate them a meaning, once the targets objects have been correctly detected and tracked, it is desired that machines can provide a trustworthy description of what is happening in the scene under surveillance. Accomplishing so ambitious task requires a machine learning-based hierarchic architecture able to extract and analyse behaviours at different abstraction levels. A real experimental testbed has been implemented for the evaluation of the proposed modular system. Such scenario is a closed circuit where real traffic situations can be simulated. First results have shown the strength of the proposed system.

Determining electric vehicle charging point locations considering drivers' daily activities

In this paper the daily temporal and spatial behavior of electric vehicles (EVs) is modelled using an activity-based (ActBM) microsimulation model for Flanders region (Belgium). Assuming that all EVs are completely charged at the beginning of the day, this mobility model is used to determine the percentage of Flemish vehicles that cannot cover their programmed daily trips and need to be recharged during the day. Assuming a variable electricity price, an optimization algorithm determines when and where EVs can be recharged at minimum cost for their owners. This optimization takes into account the individual mobility constraint for each vehicle, as they can only be charged when the car is stopped and the owner is performing an activity. From this information, the aggregated electric demand for Flanders is obtained, identifying the most overloaded areas at the critical hours. Finally it is also analyzed what activities EV owners are underway during their recharging period. From this analysis, different actions for public charging point deployment in different areas and for different activities are proposed.

A framework for mixed-criticality partitioned real-time embedded systems

Los sistemas empotrados son cada día más comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos específicamente a esta clase de sistemas es más necesario que nunca. A diferencia de lo que ocurría hasta hace poco, en la actualidad los avances tecnológicos en el campo de los microprocesadores de los últimos tiempos permiten el desarrollo de equipos con prestaciones más que suficientes para ejecutar varios sistemas software en una única máquina. Además, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones económicas. Estos sistemas software se diseñan e implementan de acuerdo con unos estándares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria también la certificación del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicación más crítica, lo que hace que los costes se disparen. La virtualización se ha postulado como una tecnología muy interesante para contener esos costes. Esta tecnología permite que un conjunto de máquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada partición pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las características de la partición donde su aplicación va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporación de una nueva partición a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnología actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseñado e implementado un entorno dirigido específicamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automáticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Además, el diseño del entorno de desarrollo se ha basado en la ingeniería guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. Así pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, así como para validar los resultados y generar los artefactos necesarios para el compilado, construcción y despliegue del mismo. Además, en el diseño del entorno de desarrollo, la extensión e integración del mismo con herramientas de validación ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generación de nuevos artefactos tales como documentación o diferentes lenguajes de programación, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseñado para ser independiente de los requisitos de las aplicaciones así como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirán en el sistema particionado que resulte de su ejecución. Las restricciones al particionado se han diseñado con una capacidad expresiva suficiente para que, con un pequeño grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales más comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automáticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicación. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecución y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada partición define qué aplicaciones deben ejecutar en ella así como los recursos que necesita la partición para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemáticamente a través de grafos coloreados. En dichos grafos, un coloreado propio de los vértices representa un particionado del sistema correcto. El algoritmo se ha diseñado también para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con éxito en dos casos de uso industriales: el satélite UPMSat-2 y un demostrador del sistema de control de una turbina eólica. Además, el algoritmo se ha validado mediante la ejecución de numerosos escenarios sintéticos, incluyendo algunos muy complejos, de más de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.

Visualization of α9 acetylcholine receptor expression in hair cells of transgenic mice containing a modified bacterial artificial chromosome

The α9 acetylcholine receptor (α9 AChR) is specifically expressed in hair cells of the inner ear and is believed to be involved in synaptic transmission between efferent nerves and hair cells. Using a recently developed method, we modified a bacterial artificial chromosome containing the mouse α9 AChR gene with a reporter gene encoding green fluorescent protein (GFP) to generate transgenic mice. GFP expression in transgenic mice recapitulated the known temporal and spatial expression of α9 AChR. However, we observed previously unidentified dynamic changes in α9 AChR expression in cochlear and vestibular sensory epithelia during neonatal development. In the cochlea, inner hair cells persistently expressed high levels of α9 AChR in both the apical and middle turns, whereas both outer and inner hair cells displayed dynamic changes of α9 AChR expression in the basal turn. In the utricle, we observed high levels of α9 AChR expression in the striolar region during early neonatal development and high levels of α9 AChR in the extrastriolar region in adult mice. Further, simultaneous visualization of efferent innervation and α9 AChR expression showed that dynamic expression of α9 AChR in developing hair cells was independent of efferent contacts. We propose that α9 AChR expression in developing auditory and vestibular sensory epithelia correlates with maturation of hair cells and is hair-cell autonomous.

In situ detection of activated Bruton’s tyrosine kinase in the Ig signaling complex by phosphopeptide-specific monoclonal antibodies

Bruton’s tyrosine kinase (Btk) is a critical transducer of signals originating from the B cell antigen receptor (BCR). Dosage, sequential phosphorylation, and protein interactions are interdependent mechanisms influencing Btk function. Phosphopeptide-specific mAbs recognizing two distinct phosphotyrosine modifications were used to quantify Btk activation by immunofluorescent techniques during B cell stimulation. In a population of cultured B cells stimulated by BCR crosslinking and analyzed by flow cytometry, transient phosphorylation of the regulatory Btk tyrosine residues (551Y and 223Y) was detected. The kinetics of phosphorylation of the residues were temporally distinct. Tyrosine 551, a transactivating substrate site for Src-family kinases, was maximally phosphorylated within ≈30 seconds of stimulation as monitored by flow cytometry. Tyrosine 223, an autophosphorylation site within the SH3 domain, was maximally phosphorylated at ≈5 minutes. Btk returned to a low tyrosine phosphorylation level within 30 minutes, despite persistent elevation of global tyrosine phosphorylation. Colocalization of activated Btk molecules with the crosslinked BCR signaling complex was observed to coincide with the period of maximal Btk tyrosine phosphorylation when stimulated B cells were analyzed with confocal microscopy. The results of these in situ temporal and spatial analyses imply that Btk signaling occurs in the region of the Ig receptor signaling complex, suggesting a similar location for downstream targets of its activity.

Characterization of MADS homeotic genes in the fern Ceratopteris richardii

The MADS genes encode a family of transcription factors, some of which control the identities of floral organs in flowering plants. To understand the role of MADS genes in the evolution of floral organs, five MADS genes (CMADS1, 2, 3, 4, and 6) were cloned from the fern Ceratopteris richardii, a nonflowering plant. A gene tree of partial amino acid sequences of seed plant and fern MADS genes showed that the fern genes form three subfamilies. All members of one of the fern MADS subfamilies have additional amino-terminal amino acids, which is a synapomorphic character of the AGAMOUS subfamily of the flowering plant MADS genes. Their structural similarity indicates a sister relationship between the two subfamilies. The temporal and spatial patterns of expression of the five fern MADS genes were assessed by Northern blot analyses and in situ hybridizations. CMADS1, 2, 3, and 4 are expressed similarly in the meristematic regions and primordia of sporophyte shoots and roots, as well as in reproductive structures, including sporophylls and sporangial initials, although the amount of expression in each tissue is different in each gene. CMADS6 is expressed in gametophytic tissues but not in sporophytic tissues. The lack of organ-specific expression of MADS genes in the reproductive structures of the fern sporophyte may indicate that the restriction of MADS gene expression to specific reproductive organs and the specialization of MADS gene functions as homeotic selector genes in the flowering plant lineage were important in floral organ evolution.

Dynamic localization of a cytoplasmic signal transduction response regulator controls morphogenesis during the Caulobacter cell cycle

We present evidence that a bacterial signal transduction cascade that couples morphogenesis with cell cycle progression is regulated by dynamic localization of its components. Previous studies have implicated two histidine kinases, DivJ and PleC, and the response regulator, DivK, in the regulation of morphogenesis in the dimorphic bacterium Caulobacter crescentus. Here, we show that the cytoplasmic response regulator, DivK, exhibits a dynamic, cyclical localization that culminates in asymmetric distribution of DivK within the two cell types that are characteristic of the Caulobacter cell cycle; DivK is dispersed throughout the cytoplasm of the progeny swarmer cell and is localized to the pole of the stalked cell. The membrane-bound DivJ and PleC histidine kinases, which are asymmetrically localized at the opposite poles of the predivisional cell, control the temporal and spatial localization of DivK. DivJ mediates DivK targeting to the poles whereas PleC controls its release from one of the poles at times and places that are consistent with the activities and location of DivJ and PleC in the late predivisional cell. Thus, dynamic changes in subcellular location of multiple components of a signal transduction cascade may constitute a novel mode of prokaryotic regulation to generate and maintain cellular asymmetry.

Spatially independent activity patterns in functional MRI data during the Stroop color-naming task

A method is given for determining the time course and spatial extent of consistently and transiently task-related activations from other physiological and artifactual components that contribute to functional MRI (fMRI) recordings. Independent component analysis (ICA) was used to analyze two fMRI data sets from a subject performing 6-min trials composed of alternating 40-sec Stroop color-naming and control task blocks. Each component consisted of a fixed three-dimensional spatial distribution of brain voxel values (a “map”) and an associated time course of activation. For each trial, the algorithm detected, without a priori knowledge of their spatial or temporal structure, one consistently task-related component activated during each Stroop task block, plus several transiently task-related components activated at the onset of one or two of the Stroop task blocks only. Activation patterns occurring during only part of the fMRI trial are not observed with other techniques, because their time courses cannot easily be known in advance. Other ICA components were related to physiological pulsations, head movements, or machine noise. By using higher-order statistics to specify stricter criteria for spatial independence between component maps, ICA produced improved estimates of the temporal and spatial extent of task-related activation in our data compared with principal component analysis (PCA). ICA appears to be a promising tool for exploratory analysis of fMRI data, particularly when the time courses of activation are not known in advance.

Pulmonary malformation in transgenic mice expressing human keratinocyte growth factor in the lung.

Expression of human keratinocyte growth factor (KGF/FGF-7) was directed to epithelial cells of the developing embryonic lung of transgenic mice disrupting normal pulmonary morphogenesis during the pseudoglandular stage of development. By embryonic day 15.5(E15.5), lungs of transgenic surfactant protein C (SP-C)-KGF mice resembled those of humans with pulmonary cystadenoma. Lungs were cystic, filling the thoracic cavity, and were composed of numerous dilated saccules lined with glycogen-containing columnar epithelial cells. The normal distribution of SP-C proprotein in the distal regions of respiratory tubules was disrupted. Columnar epithelial cells lining the papillary structures stained variably and weakly for this distal respiratory cell marker. Mesenchymal components were preserved in the transgenic mouse lungs, yet the architectural relationship of the epithelium to the mesenchyme was altered. SP-C-KGF transgenic mice failed to survive gestation to term, dying before E17.5. Culturing mouse fetal lung explants in the presence of recombinant human KGF also disrupted branching morphogenesis and resulted in similar cystic malformation of the lung. Thus, it appears that precise temporal and spatial expression of KGF is likely to play a crucial role in the control of branching morphogenesis during fetal lung development.