Execution time distributions in embedded safety-critical systems using extreme value theory

Several techniques have been proposed to upper-bound the worst-case execution time behaviour of programs in the domain of critical real-time embedded systems. These computing systems have strong requirements regarding the guarantees that the longest execution time a program can take is bounded. Some of those techniques use extreme value theory (EVT) as their main prediction method. In this paper, EVT is used to estimate a high quantile for different types of execution time distributions observed for a set of representative programs for the analysis of automotive applications. A major challenge appears when the dataset seems to be heavy tailed, because this contradicts the previous assumption of embedded safety-critical systems. A methodology based on the coefficient of variation is introduced for a threshold selection algorithm to determine the point above which the distribution can be considered generalised Pareto distribution. This methodology also provides an estimation of the extreme value index and high quantile estimates. We have applied these methods to execution time observations collected from the execution of 16 representative automotive benchmarks to predict an upper-bound to the maximum execution time of this program. Several comparisons with alternative approaches are discussed.The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under the PROXIMA Project (grant agreement 611085). This study was also partially supported by the Spanish Ministry of Science and Innovation under grants MTM2012-31118 (2013-2015) and TIN2015-65316-P. Jaume Abella is partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013- 14717.Peer ReviewedPostprint (author's final draft

Measurement-Based Worst-Case Execution Time Estimation Using the Coefficient of Variation

Extreme Value Theory (EVT) has been historically used in domains such as finance and hydrology to model worst-case events (e.g., major stock market incidences). EVT takes as input a sample of the distribution of the variable to model and fits the tail of that sample to either the Generalised Extreme Value (GEV) or the Generalised Pareto Distribution (GPD). Recently, EVT has become popular in real-time systems to derive worst-case execution time (WCET) estimates of programs. However, the application of EVT is not straightforward and requires a detailed analysis of, and customisation for, the particular problem at hand. In this article, we tailor the application of EVT to timing analysis. To that end, (1) we analyse the response time of different hardware resources (e.g., cache memories) and identify those that may lead to radically different types of execution time distributions. (2) We show that one of these distributions, known as mixture distribution, causes problems in the use of EVT. In particular, mixture distributions challenge not only properly selecting GEV/GPD parameters (i.e., location, scale and shape) but also determining the size of the sample to ensure that enough tail values are passed to EVT and that only tail values are used by EVT to fit GEV/GPD. Failing to select these parameters has a negative impact on the quality of the derived WCET estimates. We tackle these problems, by (3) proposing Measurement-Based Probabilistic Timing Analysis using the Coefficient of Variation (MBPTA-CV), a new mixture-distribution aware, WCET-suited MBPTA method that builds on recent EVT developments in other fields (e.g., finance) to automatically select the distribution parameters that best fit the maxima of the observed execution times. Our results on a simulation environment and a real board show that MBPTA-CV produces high-quality WCET estimates.The research leading to these results has received funding from the European Community’s FP7 [FP7/2007- 2013] under the PROXIMA Project (www.proxima-project.eu), grant 611085. This work has also been par- tially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella was partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship RYC-2013-14717.Peer ReviewedPostprint (author's final draft

Editor gráfico multiplataforma para modelar redes de recurso

Las tecnologías de comunicaciones y redes están avanzando en forma drástica, afectando directamente a organizaciones, grupos, comunidades y sociedades. Muchas actividades que en el pasado han requerido la presencia física y la interacción directa entre los participantes pueden ser hoy realizadas en forma distribuida con la ayuda de las tecnologías avanzadas de la información. En este trabajo se describen algunas de estas tecnologías como son los Trabajos Cooperativos Soportados por Computadoras, se describe brevemente el proyecto que se esta llevando adelante en nuestra universidad y las características relevadas para el desarrollo del editor gráfico multiplataforma que modela redes de recursos, modulo del proyecto en ejecución.Red de Universidades con Carreras en Informática (RedUNCI

Editor gráfico multiplataforma para modelar redes de recurso

Las tecnologías de comunicaciones y redes están avanzando en forma drástica, afectando directamente a organizaciones, grupos, comunidades y sociedades. Muchas actividades que en el pasado han requerido la presencia física y la interacción directa entre los participantes pueden ser hoy realizadas en forma distribuida con la ayuda de las tecnologías avanzadas de la información. En este trabajo se describen algunas de estas tecnologías como son los Trabajos Cooperativos Soportados por Computadoras, se describe brevemente el proyecto que se esta llevando adelante en nuestra universidad y las características relevadas para el desarrollo del editor gráfico multiplataforma que modela redes de recursos, modulo del proyecto en ejecución.Red de Universidades con Carreras en Informática (RedUNCI

Construction of a recycled plastic filament winder for 3D printing.

The work presented here exposes the development and design of a new machine: the recycled plastic filament winder understood as an innovative DIY tool that enables and provides new solutions for the recycling and reuse of plastic, creating customized filaments that can be used in 3D printing, for instance. It is a cost-effective and sustainable solution that helps reduce waste and environmental pollution. The construction of this machine makes possible to create 3D printing filament from discarded plastic. It can be understood as one more option among the existing solutions that, in a profitable and sustainable way, contribute to reduce waste and environmental pollution. Thus, the construction of this winder joins the set of machines that allow to extend the useful life of plastic materials, trying to prevent them from ending up in landfills or seas and oceans; in short, to reduce the amount of plastic waste that every year pollute the ecosystem and the environment. The winder works by taking plastic from disposed containers such as bottles, caps, jerry cans, etc. These containers need to be previously shredded into small plastic shavings or flakes, which are then fed into an extruder machine, where they are melted and, through the winder, this molten mass of plastic is transformed into a thread or filament that can be used in 3D printing. In addition, this winder design also gives users the opportunity to create customized filament since the color, texture and thickness of the filament can be controlled.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Influence of cavity preparation technique (rotary vs. ultrasonic) on microleakage and marginal fit of six end-root filling materials

Objectives: To evaluate in vitro the effect of cavity preparation with microburs and diamond-coated ultrasonic tips on the microleakage and marginal fit of six end-root filling materials. Study Design. The following materials were assessed: amalgam (Amalcap), zinc oxide eugenol (IRM), glass ionomer (Vitrebond), compomer (Cavalite), mineral particle aggregate (MTA) and composite (Clearfil). Cavity preparation was performed with microburs or diamond ultrasonic tips in single-root teeth. The seal was evaluated in two experiments: a microleakage assay on the passage of dye to the interface; and a scanning electron microscopy study and analysis of epoxy resin replicas, measuring the size of gaps in the interface between filling material and cavity walls. Multifactorial ANOVA, multiple comparison test and Student?s t test were used for statistical analyses of the data, considering p<0.05 to be significant. Results: Clearfil and MTA achieved a hermetic seal. Leakage and interface gap size was greater with Cavalite than with Clearfil and MTA, followed by Vitrebond and IRM. The worst seal was obtained with Amalcap. The use of diamond-coated ultrasonic tips improved the seal and reduced the gap when using materials that did not hermetically seal the cavity (Amalcap, IRM, Cavalite, Vitrebond). The preparation technique did not affect materials that achieved a hermetic seal (Clearfil, MTA). Conclusions: Clearfil and MTA obtained a hermetic seal due to their excellent marginal fit and are the most recommended materials for clinical use, taking account of their sealing capacity. Ultrasonic cavity preparation is preferable because it improves the seal and marginal fit of materials that do not achieve a hermetic seal of the cavity (Amalcap, IRM, Cavalite, Vitrebond)

Formation of soy protein-based superabsorbent materials through optimization of a thermal processing

Superabsorbent materials are used in a wide range of products (e.g. personal care, controlled-release of nutrients in agriculture). The present study pretends the development of biodegradable materials from a natural source, a soy protein isolate, which eventually would help to diminish the environmental issues associated to the use of common synthetic materials. Moreover, the present work focuses on the modulation of the water uptake exclusively through the modification of the parameters of the thermal processes carried out during the development of those materials. Firstly, the protein isolate is blended with the plasticizer (glycerol) in a 1/1 ratio. Then, the homogeneous blend is injected using different mould temperatures and, subsequently, the bioplastics obtained are submitted to a dehydrothermal treatment (tdeshid) consisting on the storage of the samples at 50 ºC for a certain time (tdeshid). When the mould temperature is 70 ºC, superabsorbent materials are always obtained at tdeshid, shorter than 12 h. Conversely, viscoelastic properties increase as DHT treatment is longer, reducing the swelling that takes place during water absorption, and resulting more compact matrices. Thus, the present study proves how thermal processing modulation can solely determine the superabsorbent ability of soy protein-based biodegradable materials.Los materiales superabsorbentes son aplicables en campos tan diversos como productos de higiene personal o liberación controlada de nutrientes en agricultura. El presente estudio pretende el desarrollo de materiales biodegradables a partir de una materia prima natural, un aislado de proteína de soja, cuya aplicación supondría una disminución en el uso de materiales sintéticos, repercutiendo beneficiosamente en el medio ambiente; y la modulación de su capacidad de absorción de agua, que se modificará exclusivamente variando las condiciones de los procesos térmicos a los que son sometidas durante su obtención. En primer lugar, el aislado se mezcla con glicerina (plastificante)en una proporción 1/1, para después inyectar la masa homogénea utilizando diferentes temperaturas de moldeo (Tmold). Posteriormente, son sometidas a un tratamiento deshidrotérmico. o almacenamiento a 50ºC, durante cierto periodo de tiempo (tdeshid). Cuando la Tmold utilizada es 70ºC, se obtienen siempre materiales superabsorbentes, cuando el tdeshid seleccionado sea menos de 12h. Por otra parte, las propiedades viscoelásticas aumentan con la duración del tratamiento deshidrotérmico, provocando un menor hinchamiento durante la absorción de agua, resultando matrices menos porosas. Así, el presente estudio permite comprobar cómo modulando exclusivamente las condiciones de procesado pueden conseguirse capacidades superabsorbentes para materiales biodegradables basados en soja.Ministerio de Economía y Competitividad de España-CTQ2015-71164-

Consortin, a trans-Golgi network cargo receptor for the plasma membrane targeting and recycling of connexins

Targeting of numerous transmembrane proteins to the cell surface is thought to depend on their recognition by cargo receptors that interact with the adaptor machinery for anterograde traffic at the distal end of the Golgi complex. We report here on consortin, a novel integral membrane protein that is predicted to be intrinsically disordered, i.e. that contains large segments whose native state is unstructured. We identified consortin as a binding partner of connexins, the building blocks of gap junctions. Consortin is located at the trans-Golgi network (TGN), in tubulovesicular transport organelles, and at the plasma membrane. It directly interacts with the TGN clathrin adaptors GGA1 and GGA2, and disruption of this interaction by expression of a consortin mutant lacking the acidic cluster-dileucine (DXXLL) GGA interaction motif causes an intracellular accumulation of several connexins. RNA interference-mediated silencing of consortin expression in HeLa cells blocks the cell surface targeting of these connexins, which accumulate intracellularly, whereas partial depletion and redistribution of the consortin pool slows down the intracellular degradation of gap junction plaques. Altogether, our results show that, by studying connexin trafficking, we have identified the first TGN cargo receptor for the targeting of transmembrane proteins to the plasma membrane. The identification of consortin provides in addition a potential target for therapies aimed at diseases in which connexin traffic is altered, including cardiac ischemia, peripheral neuropathies, cataracts and hearing impairment. Sequence accession numbers. GenBank: Human CNST cDNA, NM_152609; mouse Cnst cDNA, NM_14610

Clinical Outcomes of Patients with Chronic Neuropathic Form of Gaucher Disease in the Spanish Real-World Setting: A Retrospective Study

Gaucher disease type 3; Clinical manifestations; MutationsEnfermedad de Gaucher tipo 3; Manifestaciones clínicas; MutacionesMalaltia de Gaucher tipus 3; Manifestacions clíniques; MutacionsThis was a retrospective, multicenter study that aimed to report the characteristics of type 3 Gaucher disease (GD3) patients in Spain, including the genotype, phenotype, therapeutic options, and treatment responses. A total of 19 patients with GD3 from 10 Spanish hospitals were enrolled in the study (14 men, 5 women). The median age at disease onset and diagnosis was 1 and 1.2 years, respectively, and the mean age at follow-up completion was 12.37 years (range: 1-25 years). Most patients exhibited splenomegaly (18/19) and hepatomegaly (17/19) at the time of diagnosis. The most frequent neurological abnormalities at onset were psychomotor retardation (14/19) and extrinsic muscle disorders (11/19), including oculomotor apraxia, supranuclear palsy, and strabismus. The L444P (c.1448T>C) allele was predominant, with the L444P (c.1448T>C) homozygous genotype mainly associated with visceral manifestations like hepatosplenomegaly, anemia, and thrombocytopenia. All patients received enzyme replacement therapy (ERT); other treatments included miglustat and the chaperone (ambroxol). Visceral manifestations, including hepatosplenomegaly and hematological and bone manifestations, were mostly controlled with ERT, except for kyphosis. The data from this study may help to increase the evidence base on this rare disease and contribute to improving the clinical management of GD3 patients.This research was funded by Sanofi Spain

Producción y cálida de forraje de dos variedades de ballico (lolium multiflorum) en el sur de sonora

EI presente trabajo se IIevó a cabo con objeto de evaluar el efecto de diferentes fechas de siembra sobre la producción, contenido de proteína cruda y digestibilidad de la materia seca de ballico italiano y tetraploide en la zona sur del estado de Sonora