A toolset for the development of mixed-criticality partitioned systems

The development of mixed-criticality virtualized multi-core systems poses new challenges that are being subject of active research work. There is an additional complexity: it is now required to identify a set of partitions, and allocate applications to partitions. In this job, a number of issues have to be considered, such as the criticality level of the application, security and dependability requirements, time requirements granularity, etc. MultiPARTES [11] toolset relies on Model Driven Engineering (MDE), which is a suitable approach in this setting, as it helps to bridge the gap between design issues and partitioning concerns. MDE is changing the way systems are developed nowadays, reducing development time. In general, modelling approaches have shown their benefits when applied to embedded systems. These benefits have been achieved by fostering reuse with an intensive use of abstractions, or automating the generation of boiler-plate code.

Development and implementation of an air quality integrated assessment modelling system for the Iberian Peninsula

La mejora de la calidad del aire es una tarea eminentemente interdisciplinaria. Dada la gran variedad de ciencias y partes involucradas, dicha mejora requiere de herramientas de evaluación simples y completamente integradas. La modelización para la evaluación integrada (integrated assessment modeling) ha demostrado ser una solución adecuada para la descripción de los sistemas de contaminación atmosférica puesto que considera cada una de las etapas involucradas: emisiones, química y dispersión atmosférica, impactos ambientales asociados y potencial de disminución. Varios modelos de evaluación integrada ya están disponibles a escala continental, cubriendo cada una de las etapas antesmencionadas, siendo el modelo GAINS (Greenhouse Gas and Air Pollution Interactions and Synergies) el más reconocido y usado en el contexto europeo de toma de decisiones medioambientales. Sin embargo, el manejo de la calidad del aire a escala nacional/regional dentro del marco de la evaluación integrada es deseable. Esto sin embargo, no se lleva a cabo de manera satisfactoria con modelos a escala europea debido a la falta de resolución espacial o de detalle en los datos auxiliares, principalmente los inventarios de emisión y los patrones meteorológicos, entre otros. El objetivo de esta tesis es presentar los desarrollos en el diseño y aplicación de un modelo de evaluación integrada especialmente concebido para España y Portugal. El modelo AERIS (Atmospheric Evaluation and Research Integrated system for Spain) es capaz de cuantificar perfiles de concentración para varios contaminantes (NO2, SO2, PM10, PM2,5, NH3 y O3), el depósito atmosférico de especies de azufre y nitrógeno así como sus impactos en cultivos, vegetación, ecosistemas y salud como respuesta a cambios porcentuales en las emisiones de sectores relevantes. La versión actual de AERIS considera 20 sectores de emisión, ya sea equivalentes a sectores individuales SNAP o macrosectores, cuya contribución a los niveles de calidad del aire, depósito e impactos han sido modelados a través de matrices fuentereceptor (SRMs). Estas matrices son constantes de proporcionalidad que relacionan cambios en emisiones con diferentes indicadores de calidad del aire y han sido obtenidas a través de parametrizaciones estadísticas de un modelo de calidad del aire (AQM). Para el caso concreto de AERIS, su modelo de calidad del aire “de origen” consistió en el modelo WRF para la meteorología y en el modelo CMAQ para los procesos químico-atmosféricos. La cuantificación del depósito atmosférico, de los impactos en ecosistemas, cultivos, vegetación y salud humana se ha realizado siguiendo las metodologías estándar establecidas bajo los marcos internacionales de negociación, tales como CLRTAP. La estructura de programación está basada en MATLAB®, permitiendo gran compatibilidad con software típico de escritorio comoMicrosoft Excel® o ArcGIS®. En relación con los niveles de calidad del aire, AERIS es capaz de proveer datos de media anual y media mensual, así como el 19o valor horario más alto paraNO2, el 25o valor horario y el 4o valor diario más altos para SO2, el 36o valor diario más alto para PM10, el 26o valor octohorario más alto, SOMO35 y AOT40 para O3. En relación al depósito atmosférico, el depósito acumulado anual por unidad de area de especies de nitrógeno oxidado y reducido al igual que de azufre pueden ser determinados. Cuando los valores anteriormente mencionados se relacionan con características del dominio modelado tales como uso de suelo, cubiertas vegetales y forestales, censos poblacionales o estudios epidemiológicos, un gran número de impactos puede ser calculado. Centrándose en los impactos a ecosistemas y suelos, AERIS es capaz de estimar las superaciones de cargas críticas y las superaciones medias acumuladas para especies de nitrógeno y azufre. Los daños a bosques se calculan como una superación de los niveles críticos de NO2 y SO2 establecidos. Además, AERIS es capaz de cuantificar daños causados por O3 y SO2 en vid, maíz, patata, arroz, girasol, tabaco, tomate, sandía y trigo. Los impactos en salud humana han sido modelados como consecuencia de la exposición a PM2,5 y O3 y cuantificados como pérdidas en la esperanza de vida estadística e indicadores de mortalidad prematura. La exactitud del modelo de evaluación integrada ha sido contrastada estadísticamente con los resultados obtenidos por el modelo de calidad del aire convencional, exhibiendo en la mayoría de los casos un buen nivel de correspondencia. Debido a que la cuantificación de los impactos no es llevada a cabo directamente por el modelo de calidad del aire, un análisis de credibilidad ha sido realizado mediante la comparación de los resultados de AERIS con los de GAINS para un escenario de emisiones determinado. El análisis reveló un buen nivel de correspondencia en las medias y en las distribuciones probabilísticas de los conjuntos de datos. Las pruebas de verificación que fueron aplicadas a AERIS sugieren que los resultados son suficientemente consistentes para ser considerados como razonables y realistas. En conclusión, la principal motivación para la creación del modelo fue el producir una herramienta confiable y a la vez simple para el soporte de las partes involucradas en la toma de decisiones, de cara a analizar diferentes escenarios “y si” con un bajo coste computacional. La interacción con políticos y otros actores dictó encontrar un compromiso entre la complejidad del modeladomedioambiental con el carácter conciso de las políticas, siendo esto algo que AERIS refleja en sus estructuras conceptual y computacional. Finalmente, cabe decir que AERIS ha sido creado para su uso exclusivo dentro de un marco de evaluación y de ninguna manera debe ser considerado como un sustituto de los modelos de calidad del aire ordinarios. ABSTRACT Improving air quality is an eminently inter-disciplinary task. The wide variety of sciences and stakeholders that are involved call for having simple yet fully-integrated and reliable evaluation tools available. Integrated AssessmentModeling has proved to be a suitable solution for the description of air pollution systems due to the fact that it considers each of the involved stages: emissions, atmospheric chemistry, dispersion, environmental impacts and abatement potentials. Some integrated assessment models are available at European scale that cover each of the before mentioned stages, being the Greenhouse Gas and Air Pollution Interactions and Synergies (GAINS) model the most recognized and widely-used within a European policy-making context. However, addressing air quality at the national/regional scale under an integrated assessment framework is desirable. To do so, European-scale models do not provide enough spatial resolution or detail in their ancillary data sources, mainly emission inventories and local meteorology patterns as well as associated results. The objective of this dissertation is to present the developments in the design and application of an Integrated Assessment Model especially conceived for Spain and Portugal. The Atmospheric Evaluation and Research Integrated system for Spain (AERIS) is able to quantify concentration profiles for several pollutants (NO2, SO2, PM10, PM2.5, NH3 and O3), the atmospheric deposition of sulfur and nitrogen species and their related impacts on crops, vegetation, ecosystems and health as a response to percentual changes in the emissions of relevant sectors. The current version of AERIS considers 20 emission sectors, either corresponding to individual SNAP sectors or macrosectors, whose contribution to air quality levels, deposition and impacts have been modeled through the use of source-receptor matrices (SRMs). Thesematrices are proportionality constants that relate emission changes with different air quality indicators and have been derived through statistical parameterizations of an air qualitymodeling system (AQM). For the concrete case of AERIS, its parent AQM relied on the WRF model for meteorology and on the CMAQ model for atmospheric chemical processes. The quantification of atmospheric deposition, impacts on ecosystems, crops, vegetation and human health has been carried out following the standard methodologies established under international negotiation frameworks such as CLRTAP. The programming structure isMATLAB ® -based, allowing great compatibility with typical software such as Microsoft Excel ® or ArcGIS ® Regarding air quality levels, AERIS is able to provide mean annual andmean monthly concentration values, as well as the indicators established in Directive 2008/50/EC, namely the 19th highest hourly value for NO2, the 25th highest daily value and the 4th highest hourly value for SO2, the 36th highest daily value of PM10, the 26th highest maximum 8-hour daily value, SOMO35 and AOT40 for O3. Regarding atmospheric deposition, the annual accumulated deposition per unit of area of species of oxidized and reduced nitrogen as well as sulfur can be estimated. When relating the before mentioned values with specific characteristics of the modeling domain such as land use, forest and crops covers, population counts and epidemiological studies, a wide array of impacts can be calculated. When focusing on impacts on ecosystems and soils, AERIS is able to estimate critical load exceedances and accumulated average exceedances for nitrogen and sulfur species. Damage on forests is estimated as an exceedance of established critical levels of NO2 and SO2. Additionally, AERIS is able to quantify damage caused by O3 and SO2 on grapes, maize, potato, rice, sunflower, tobacco, tomato, watermelon and wheat. Impacts on human health aremodeled as a consequence of exposure to PM2.5 and O3 and quantified as losses in statistical life expectancy and premature mortality indicators. The accuracy of the IAM has been tested by statistically contrasting the obtained results with those yielded by the conventional AQM, exhibiting in most cases a good agreement level. Due to the fact that impacts cannot be directly produced by the AQM, a credibility analysis was carried out for the outputs of AERIS for a given emission scenario by comparing them through probability tests against the performance of GAINS for the same scenario. This analysis revealed a good correspondence in the mean behavior and the probabilistic distributions of the datasets. The verification tests that were applied to AERIS suggest that results are consistent enough to be credited as reasonable and realistic. In conclusion, the main reason thatmotivated the creation of this model was to produce a reliable yet simple screening tool that would provide decision and policy making support for different “what-if” scenarios at a low computing cost. The interaction with politicians and other stakeholders dictated that reconciling the complexity of modeling with the conciseness of policies should be reflected by AERIS in both, its conceptual and computational structures. It should be noted however, that AERIS has been created under a policy-driven framework and by no means should be considered as a substitute of the ordinary AQM.

Development of a tool for designing tests based on statistics and metadata

Background: This project’s idea arose derived of the need of the professors of the department “Computer Languages and Systems and Software Engineering (DLSIIS)” to develop exams with multiple choice questions in a more productive and comfortable way than the one they are currently using. The goal of this project is to develop an application that can be easily used by the professors of the DLSIIS when they need to create a new exam. The main problems of the previous creation process were the difficulty in searching for a question that meets some specific conditions in the previous exam files; and the difficulty for editing exams because of the format of the employed text files. Result: The results shown in this document allow the reader to understand how the final application works and how it addresses successfully every customer need. The elements that will help the reader to understand the application are the structure of the application, the design of the different components, diagrams that show the workflow of the application and some selected fragments of code. Conclusions: The goals stated in the application requirements are finally met. In addition, there are some thoughts about the work performed during the development of the application and how it improved the author skills in web development.

A model of ocular dominance column development by competition for trophic factor

Recent experimental evidence has shown that application of certain neurotrophic factors (NTs) to the developing primary visual cortex prevents the development of ocular dominance (OD) columns. One interpretation of this result is that afferents from the lateral geniculate nucleus compete for postsynaptic trophic factor in an activity-dependent manner. Application of excess trophic factor eliminates this competition, thereby preventing OD column formation. We present a model of OD column development, incorporating Hebbian synaptic modification and activity-driven competition for NT, which accounts for both normal OD column development as well as the prevention of that development when competition is removed. In the “control” situation, when available NT is below a critical amount, OD columns form normally. These columns form without weight normalization procedures and in the presence of positive inter-eye correlations. In the “experimental” case, OD column development is prevented in a local neighborhood in which excess NT has been added. Our model proposes a biologically plausible mechanism for competition between neural populations that is motivated by several pieces of experimental data, thereby accounting for both normal and experimentally perturbed conditions.

Disrupted splenic architecture, but normal lymph node development in mice expressing a soluble lymphotoxin-β receptor–IgG1 fusion protein

Early in ontogeny, the secondary lymphoid organs become populated with numerous cells of mesodermal origin which forms both the lymphoid and stromal elements. The critical receptor/ligand interactions necessary for lymphoid organogenesis to occur are for the most part unknown. Although lymphotoxin-α (LTα) has been shown to be required for normal lymph node, Peyer’s patch, and splenic development, it is unclear if soluble LTα3, and/or cell-bound lymphotoxin-αβ (LTαβ) mediate these developmental events. Here we report that blocking LTαβ/lymphotoxin-β receptor (LTβR) interaction in vivo by generating mice which express a soluble LTβR–Fc fusion protein driven by the human cytomegalovirus promoter results in an array of anatomic abnormalities affecting both the spleen and Peyer’s patches, but not the lymph nodes. These results demonstrate that surface LTαβ ligand plays a critical role in normal lymphoid organ development.

Microtubule-based Endoplasmic Reticulum Motility in Xenopus laevis: Activation of Membrane-associated Kinesin during Development

The endoplasmic reticulum (ER) in animal cells uses microtubule motor proteins to adopt and maintain its extended, reticular organization. Although the orientation of microtubules in many somatic cell types predicts that the ER should move toward microtubule plus ends, motor-dependent ER motility reconstituted in extracts of Xenopus laevis eggs is exclusively a minus end-directed, cytoplasmic dynein-driven process. We have used Xenopus egg, embryo, and somatic Xenopus tissue culture cell (XTC) extracts to study ER motility during embryonic development in Xenopus by video-enhanced differential interference contrast microscopy. Our results demonstrate that cytoplasmic dynein is the sole motor for microtubule-based ER motility throughout the early stages of development (up to at least the fifth embryonic interphase). When egg-derived ER membranes were incubated in somatic XTC cytosol, however, ER tubules moved in both directions along microtubules. Data from directionality assays suggest that plus end-directed ER tubule extensions contribute ∼19% of the total microtubule-based ER motility under these conditions. In XTC extracts, the rate of ER tubule extensions toward microtubule plus ends is lower (∼0.4 μm/s) than minus end-directed motility (∼1.3 μm/s), and plus end-directed motility is eliminated by a function-blocking anti-conventional kinesin heavy chain antibody (SUK4). In addition, we provide evidence that the initiation of plus end-directed ER motility in somatic cytosol is likely to occur via activation of membrane-associated kinesin.

Tuning of activation thresholds explains flexibility in the selection and development of T cells in the thymus

Immature CD4+CD8+ thymocytes expressing T-cell antigen receptors (TCR) are selected by TCR-mediated recognition of peptides associated with major histocompatibility complex molecules on thymic stromal cells. Selection ensures reactivity of the mature cells to foreign antigens and tolerance to self. Although much has been learned about the factors that determine whether a thymocyte with a given specificity will be positively or negatively selected, selection as an aspect of the developmental process as a whole is less well-understood. Here we invoke a model in which thymocytes tune their response characteristics individually and dynamically in the course of development. Cellular development and selection are driven by receptor-mediated metabolic perturbations. Perturbation is a measure of the net intracellular change induced by external stimulation. It results from the integration of several signals and countersignals over time and therefore depends on the environment and the maturation stage of the cell. Individual cell adaptation limits the range of perturbations. Such adaptation renders thymocytes less sensitive to the level of stimulation per se, but responsive to environmental changes in that level. This formulation begins to explain the mechanisms that link developmental and selection events to each other.

Protrusive growth from giant liposomes driven by actin polymerization

Development of protrusions in the cell is indispensable in the process of cell motility. Membrane protrusion has long been suggested to occur as a result of actin polymerization immediately beneath the cell membrane at the leading edge, but elucidation of the mechanism is insufficient because of the complexity of the cell. To study the mechanism, we prepared giant liposomes containing monomeric actin (100 or 200 μM) and introduced KCl into individual liposomes by an electroporation technique. On the electroporation, the giant liposomes deformed. Most importantly, protrusive structure grew from the liposomes containing 200 μM actin at rates (ranging from 0.3 to 0.7 μm/s) similar to those obtained in the cell. The deformation occurred in a time range (30 ∼ 100 s) similar to that of actin polymerization monitored in a cuvette (ca. 50 s). Concomitant with deformation, Brownian motion of micron-sized particles entrapped in the liposomes almost ceased. From these observations, we conclude that actin polymerization in the liposomes caused the protrusive formation.

Genes Involved in Osmoregulation during Turgor-Driven Cell Expansion of Developing Cotton Fibers Are Differentially Regulated1

Cotton (Gossypium hirsutum L.) fibers are single-celled trichomes that synchronously undergo a phase of rapid cell expansion, then a phase including secondary cell wall deposition, and finally maturation. To determine if there is coordinated regulation of gene expression during fiber expansion, we analyzed the expression of components involved in turgor regulation and a cytoskeletal protein by measuring levels of mRNA and protein accumulation and enzyme activity. Fragments of the genes for the plasma membrane proton-translocating ATPase, vacuole-ATPase, proton-translocating pyrophosphatase (PPase), phosphoenolpyruvate carboxylase, major intrinsic protein, and α-tubulin were amplified by polymerase chain reaction and used as probes in ribonuclease protection assays of RNA from a fiber developmental series, revealing two discrete patterns of mRNA accumulation. Transcripts of all but the PPase accumulated to highest levels during the period of peak expansion (+12–15 d postanthesis [dpa]), then declined with the onset of secondary cell wall synthesis. The PPase was constitutively expressed through fiber development. Activity of the two proton-translocating-ATPases peaked at +15 dpa, whereas PPase activity peaked at +20 dpa, suggesting that all are involved in the process of cell expansion but with varying roles. Patterns of protein accumulation and enzyme activity for some of the proteins examined suggest posttranslational regulation through fiber development.

Towards a model-driven engineering approach of data mining

Nowadays, data mining is based on low-level specications of the employed techniques typically bounded to a specic analysis platform. Therefore, data mining lacks a modelling architecture that allows analysts to consider it as a truly software-engineering process. Here, we propose a model-driven approach based on (i) a conceptual modelling framework for data mining, and (ii) a set of model transformations to automatically generate both the data under analysis (via data-warehousing technology) and the analysis models for data mining (tailored to a specic platform). Thus, analysts can concentrate on the analysis problem via conceptual data-mining models instead of low-level programming tasks related to the underlying-platform technical details. These tasks are now entrusted to the model-transformations scaffolding.

A model driven framework for geographic knowledge discovery

Geographic knowledge discovery (GKD) is the process of extracting information and knowledge from massive georeferenced databases. Usually the process is accomplished by two different systems, the Geographic Information Systems (GIS) and the data mining engines. However, the development of those systems is a complex task due to it does not follow a systematic, integrated and standard methodology. To overcome these pitfalls, in this paper, we propose a modeling framework that addresses the development of the different parts of a multilayer GKD process. The main advantages of our framework are that: (i) it reduces the design effort, (ii) it improves quality systems obtained, (iii) it is independent of platforms, (iv) it facilitates the use of data mining techniques on geo-referenced data, and finally, (v) it ameliorates the communication between different users.

Banking Sector Soundness, Innovation, and Development: Emerging Europe and South Asia. ACES Working Papers, 2012

While most academic and practitioner researchers agree that a country’s commercial banking sector’s soundness is a very significant indicator of a country’s financial market health, there is considerably less agreement and substantial confusion surrounding what constitutes a healthy bank in the aftermath of 2007+ financial crisis. Global banks’ balance sheets, corporate governance, management compensation and bonuses, toxic assets, and risky behavior are all under scrutiny as academics and regulators alike are trying to quantify what are “healthy, safe and good practices” for these various elements of banking. The current need to quantify, measure, evaluate, and compare is driven by the desire to spot troubled banks, “bad and risky” behavior, and prevent real damage and contagion in the financial markets, investors, and tax payers as it did in the recent crisis. Moreover, future financial crisis has taken on a new urgency as vast amounts of capital flows (over $1 trillion) are being redirected to emerging markets. This study differs from existing methods in the literature as it entail designing, constructing, and validating a critical dimension of financial innovation in respect to the eight developing countries in the South Asia region as well as eight countries in emerging Europe at the country level for the period 2001 – 2008, with regional and systemic differentials taken into account. Preliminary findings reveal that higher stages of payment systems development have generated efficiency gains by reducing the settlement risk and improving financial intermediation; such efficiency gains are viewed as positive financial innovations and positively impact the banking soundness. Potential EU candidate countries: Albania; Montenegro; Serbia

Re-thinking the EU's development paradigm: views from Morocco and Tunisia. EPC Policy Brief, 12 January 2015

A decade of the European Neighbourhood Policy (ENP) and the standard model of business as usual remains. Is there a reluctance to take the prevailing development paradigm based on economic growth and question its suitability as a motor for development? Most ENP resources and most tangible results remain within a financial framework, with a concentration on market-driven reforms in relation to economic and social change. On this basis, the current atmosphere represents a historical opportunity for rethinking the EU´s development paradigm fostered in the region. Drawing on extensive field work in Morocco and Tunisia, this policy brief highlights limitations and contradictions of the EU´s socio-economic development policies.

Tacos: a table driven compiler-compiler system.

"This work was supported in part by the Advanced Research Projects Agency as administered by the Rome Air Development Center under contract no. US AF 30(602)4144."

The structure of an electromagnetically driven shock,

"Prepared for the Air Force Ballistic Missile Division, Headquarters Air Research and Development Command, under Contract AF (04(647)-309, Thermonuclear Propulsion Research."