The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software

International audienceThe TASTE tool-set results from spin-off studies of the ASSERT project, which started in 2004 with the objective to propose innovative and pragmatic solutions to develop real-time software. One of the primary targets was satellite flight software, but it appeared quickly that their characteristics were shared among various embedded systems. The solutions that we developed now comprise a process and several tools ; the development process is based on the idea that real-time, embedded systems are heterogeneous by nature and that a unique UML-like language was not helping neither their construction, nor their validation. Rather than inventing yet another "ultimate" language, TASTE makes the link between existing and mature technologies such as Simulink, SDL, ASN.1, C, Ada, and generates complete, homogeneous software-based systems that one can straightforwardly download and execute on a physical target. Our current prototype is moving toward a marketed product, and sequel studies are already in place to support, among others, FPGA systems

Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids

To each linear code over a finite field we associate the matroid of its parity check matrix. We show to what extent one can determine the generalized Hamming weights of the code (or defined for a matroid in general) from various sets of Betti numbers of Stanley-Reisner rings of simplicial complexes associated to the matroid

Strain evolution in GaN Nanowires: from free-surface objects to coalesced templates

Top-down fabricated GaN nanowires, 250 nm in diameter and with various heights, have been used to experimentally determine the evolution of strain along the vertical direction of 1-dimensional objects. X-ray diffraction and photoluminescence techniques have been used to obtain the strain profile inside the nanowires from their base to their top facet for both initial compressive and tensile strains. The relaxation behaviors derived from optical and structural characterizations perfectly match the numerical results of calculations based on a continuous media approach. By monitoring the elastic relaxation enabled by the lateral free-surfaces, the height from which the nanowires can be considered strain-free has been estimated. Based on this result, NWs sufficiently high to be strain-free have been coalesced to form a continuous GaN layer. X-ray diffraction, photoluminescence and cathodoluminescence clearly show that despite the initial strain-free nanowires template, the final GaN layer is strained

Electric control of collective atomic coherence in an Erbium doped solid

We demonstrate fast and accurate control of the evolution of collective atomic coherences in an Erbium doped solid using external electric fields. This is achieved by controlling the inhomogeneous broadening of Erbium ions emitting at 1536 nm using an electric field gradient and the linear Stark effect. The manipulation of atomic coherence is characterized with the collective spontaneous emission (optical free induction decay) emitted by the sample after an optical excitation, which does not require any previous preparation of the atoms. We show that controlled dephasing and rephasing of the atoms by the electric field result in collapses and revivals of the optical free induction decay. Our results show that the use of external electric fields does not introduce any substantial additional decoherence and enables the manipulation of collective atomic coherence with a very high degree of precision on the time scale of tens of ns. This provides an interesting resource for photonic quantum state storage and quantum state manipulation.Comment: 10 pages, 5 figure

Automating the measurement of physiological parameters: a case study in the image analysis of cilia motion

International audienceAs image processing and analysis techniques improve, an increasing number of procedures in bio-medical analyses can be automated. This brings many benefits, e.g improved speed and accuracy, leading to more reliable diagnoses and follow-up, ultimately improving patients outcome. Many automated procedures in bio-medical imaging are well established and typically consist of detecting and counting various types of cells (e.g. blood cells, abnormal cells in Pap smears, and so on). In this article we propose to automate a different and difficult set of measurements, which is conducted on the cilia of people suffering from a variety of respiratory tract diseases. Cilia are slender, microscopic, hair-like structures or organelles that extend from the surface of nearly all mammalian cells. Motile cilia, such as those found in the lungs and respiratory tract, present a periodic beating motion that keep the airways clear of mucus and dirt. In this paper, we propose a fully automated method that computes various measurements regarding the motion of cilia, taken with high-speed video-microscopy. The advantage of our approach is its capacity to automatically compute robust, adaptive and regionalized measurements, i.e. associated with different regions in the image. We validate the robustness of our approach, and illustrate its performance in comparison to the state-of-the-art

CCL2 nitration is a negative regulator of chemokine-mediated inflammation.

Chemokines promote leukocyte recruitment during inflammation. The oxidative burst is an important effector mechanism, this leads to the generation of reactive nitrogen species (RNS), including peroxynitrite (ONOO). The current study was performed to determine the potential for nitration to alter the chemical and biological properties of the prototypical CC chemokine, CCL2. Immunofluorescence was performed to assess the presence of RNS in kidney biopsies. Co-localisation was observed between RNS-modified tyrosine residues and the chemokine CCL2 in diseased kidneys. Nitration reduced the potential of CCL2 to stimulate monocyte migration in diffusion gradient chemotaxis assays (p < 0.05). This was consistent with a trend towards reduced affinity of the nitrated chemokine for its cognate receptor CCR2b. The nitrated chemokine was unable to induce transendothelial monocyte migration in vitro and failed to promote leukocyte recruitment when added to murine air pouches (p < 0.05). This could potentially be attributed to reduced glycosaminoglycan binding ability, as surface plasmon resonance spectroscopy showed that nitration reduced heparan sulphate binding by CCL2. Importantly, intravenous administration of nitrated CCL2 also inhibited the normal recruitment of leukocytes to murine air pouches filled with unmodified CCL2. Together these data suggest that nitration of CCL2 during inflammation provides a mechanism to limit and resolve acute inflammation

Deposition of tin oxide, iridium and iridium oxide films by metal-organic chemical vapor deposition for electrochemical wastewater treatment

In this research, the specific electrodes were prepared by metal-organic chemical vapor deposition (MOCVD) in a hot-wall CVD reactor with the presence of O2 under reduced pressure. The Ir protective layer was deposited by using (Methylcyclopentadienyl) (1,5-cyclooctadiene) iridium (I), (MeCp)Ir(COD), as precursor. Tetraethyltin (TET) was used as precursor for the deposition of SnO2 active layer. The optimum condition for Ir film deposition was at 300 °C, 125 of O2/(MeCp)Ir(COD) molar ratio and 12 Torr of total pressure. While that of SnO2 active layer was at 380 °C, 1200 of O2/TET molar ratio and 15 Torr of total pressure. The prepared SnO2/Ir/Ti electrodes were tested for anodic oxidation of organic pollutant in a simple three-electrode electrochemical reactor using oxalic acid as model solution. The electrochemical experiments indicate that more than 80% of organic pollutant was removed after 2.1 Ah/L of charge has been applied. The kinetic investigation gives a two-step process for organic pollutant degradation, the kinetic was zero-order and first-order with respect to TOC of model solution for high and low TOC concentrations, respectively

Volatile organic compound profiling to explore primary graft dysfunction after lung transplantation

Primary graft dysfunction (PGD) is a major determinant of morbidity and mortality following lung transplantation. Delineating basic mechanisms and molecular signatures of PGD remain a fundamental challenge. This pilot study examines if the pulmonary volatile organic compound (VOC) spectrum relate to PGD and postoperative outcomes. The VOC profiles of 58 bronchoalveolar lavage fluid (BALF) and blind bronchial aspirate samples from 35 transplant patients were extracted using solid-phase-microextraction and analyzed with comprehensive two-dimensional gas chromatography coupled to time-of-flight mass spectrometry. The support vector machine algorithm was used to identify VOCs that could differentiate patients with severe from lower grade PGD. Using 20 statistically significant VOCs from the sample headspace collected immediately after transplantation (\u3c 6 h), severe PGD was differentiable from low PGD with an AUROC of 0.90 and an accuracy of 0.83 on test set samples. The model was somewhat effective for later time points with an AUROC of 0.80. Three major chemical classes in the model were dominated by alkylated hydrocarbons, linear hydrocarbons, and aldehydes in severe PGD samples. These VOCs may have important clinical and mechanistic implications, therefore large-scale study and potential translation to breath analysis is recommended

Analytical results for generalized persistence properties of smooth processes

We present a general scheme to calculate within the independent interval approximation generalized (level-dependent) persistence properties for processes having a finite density of zero-crossings. Our results are especially relevant for the diffusion equation evolving from random initial conditions, one of the simplest coarsening systems. Exact results are obtained in certain limits, and rely on a new method to deal with constrained multiplicative processes. An excellent agreement of our analytical predictions with direct numerical simulations of the diffusion equation is found.Comment: 21 pages, 4 figures, to appear in Journal of Physics