Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre

6 pagesInternational audienceWe discuss the results obtained during the development of a formal verification toolchain for AADL based on a model driven engineering approach. Our approach is characterized by the use of the pivot language FIACRE to facilitate verification activities and transformations between models. We quickly analyse the first return on experience and present ongoing work started in the scope of the Quarteft project to improve the verification chain.Nous présentons les résultats obtenus durant le développement d’une chaîne de vérifi-cation formelle pour le langage d’architecture AADL basé sur une approche ingénierie dirigéepar les modèles. Notre approche se caractérise par l’utilisation du langage pivot FIACRE pourfaciliter les activités de vérification et de transformations entre modèles. Nous commentonsles premiers retours d’expérience issus de la mise en oeuvre de cette chaîne de vérification etprésentons en conclusion les travaux en cours dans le cadre du projet Quarteft qui visent àl’améliore

Unilateral gradient flow of the Ambrosio-Tortorelli functional by minimizing movements

Motivated by models of fracture mechanics, this paper is devoted to the analysis of unilateral gradient flows of the Ambrosio-Tortorelli functional, where unilaterality comes from an irreversibility constraint on the fracture density. In the spirit of gradient flows in metric spaces, such evolutions are defined in terms of curves of maximal unilateral slope, and are constructed by means of implicit Euler schemes. An asymptotic analysis in the Mumford-Shah regime is also carried out. It shows the convergence towards a generalized heat equation outside a time increasing crack set.Comment: accepted in Ann. Inst. H. Poincar\'e, Anal. Nonli

Genome-wide analysis of the AP2/ERF superfamily in apple and transcriptional evidence of ERF involvement in scab pathogenesis

The APETALA2 (AP2)/ETHYLENE RESPONSE FACTOR (ERF) superfamily of transcriptional regulators is involved in several growth, development and stress responses processes in higher plants. Currently, the available information on the biological roles of AP2/ERF genes is derived from Arabidopsis thaliana. In the present work, we have investigated genomic and transcriptional aspects of AP2/ERF genes in the economically important perennial species, Malus ×domestica. We have identified 259 sequences containing at least one ERF domain in apple genome. The vast majority of the putative proteins display predicted nuclear localization, compatible with a biological role in transcription regulation. The AP2 and ERF families are greatly expanded in apple. Whole-genome analyses in other plant species have identified a single genomic sequence with divergent ERF, whereas in apple seven soloists are present. In the apple genome, the most noteworthy expansion occurred in sub-groups V, VIII and IX of the ERF family. Expression profiling analyses have revealed the association of ripening-involved ERF genes to scab (Venturia inequalis) pathogenesis in the susceptible Gala cultivar, indicating that gene expansion processes were accompanied by functional divergence. The presented analyses of AP2/ERF genes in apple provide evidences of shared ethylene-mediated signaling pathways in ripening and disease responses

Formal Verification of AADL models with Fiacre and Tina

9 pagesInternational audienceThis paper details works undertaken in the scope of the Spices project concerning the behavioral verification of AADL models. We give a high-level view of the tools involved and describe the successive transformations performed by our verification process. We also report on an experiment carried out in order to evaluate our framework and give the first experimental results obtained on real-size models. This demonstrator models a network protocol in charge of data communications between an airplane and ground stations. From this study we draw a set of conclusions about the integration of model-checking tools in an industrial development process

A variational approach to the local character of G-closure: the convex case

This article is devoted to characterize all possible effective behaviors of composite materials by means of periodic homogenization. This is known as a $G$-closure problem. Under convexity and $p$-growth conditions ($p>1$), it is proved that all such possible effective energy densities obtained by a $\Gamma$-convergence analysis, can be locally recovered by the pointwise limit of a sequence of periodic homogenized energy densities with prescribed volume fractions. A weaker locality result is also provided without any kind of convexity assumption and the zero level set of effective energy densities is characterized in terms of Young measures. A similar result is given for cell integrands which enables to propose new counter-examples to the validity of the cell formula in the nonconvex case and to the continuity of the determinant with respect to the two-scale convergence.Comment: 24 pages, 1 figur

Mobilizing in borderline citizenship regimes : a comparative analysis of undocumented migrants’ collective actions

This article seeks to explain how and why groups and networks of undocumented migrants mobilizing in Berlin, Montréal, and Paris since the beginning of the 2000s construct different types of claims. The authors explore the relationship between undocumented migrants and state authorities at the local level through the concept of the citizenship regime and its specific application to undocumented migrants (which they describe as the “borderline citizenship regime”). Despite their common formal exclusion from citizenship, nonstatus migrants experience different degrees and forms of exclusion in their daily lives, in terms of access to certain rights and services, recognition, and belonging within the state (whether through formally or nonformally recognized means). As a result, they have an opportunity to create different, specific forms of leeway in the society in which they live. The concurrence of these different degrees of exclusion and different forms of leeway defines specific conditions of mobilization. The authors demonstrate how the content of their claims is influenced by these conditions of mobilization

Sub-microscopic malaria cases and mixed malaria infection in a remote area of high malaria endemicity in Rattanakiri province, Cambodia: implication for malaria elimination

BACKGROUND: Malaria microscopy and rapid diagnostic tests are insensitive for very low-density parasitaemia. This insensitivity may lead to missed asymptomatic sub-microscopic parasitaemia, a potential reservoir for infection. Similarly, mixed infections and interactions between Plasmodium species may be missed. The objectives were first to develop a rapid and sensitive PCR-based diagnostic method to detect low parasitaemia and mixed infections, and then to investigate the epidemiological importance of sub-microscopic and mixed infections in Rattanakiri Province, Cambodia. METHODS: A new malaria diagnostic method, using restriction fragment length polymorphism analysis of the cytochrome b genes of the four human Plasmodium species and denaturing high performance liquid chromatography, has been developed. The results of this RFLP-dHPLC method have been compared to 1) traditional nested PCR amplification of the 18S rRNA gene, 2) sequencing of the amplified fragments of the cytochrome b gene and 3) microscopy. Blood spots on filter paper and Giemsa-stained blood thick smears collected in 2001 from 1,356 inhabitants of eight villages of Rattanakiri Province have been analysed by the RFLP-dHPLC method and microscopy to assess the prevalence of sub-microscopic and mixed infections. RESULTS: The sensitivity and specificity of the new RFLP-dHPLC was similar to that of the other molecular methods. The RFLP-dHPLC method was more sensitive and specific than microscopy, particularly for detecting low-level parasitaemia and mixed infections. In Rattanakiri Province, the prevalences of Plasmodium falciparum and Plasmodium vivax were approximately two-fold and three-fold higher, respectively, by RFLP-dHPLC (59% and 15%, respectively) than by microscopy (28% and 5%, respectively). In addition, Plasmodium ovale and Plasmodium malariae were never detected by microscopy, while they were detected by RFLP-dHPLC, in 11.2% and 1.3% of the blood samples, respectively. Moreover, the proportion of mixed infections detected by RFLP-dHPLC was higher (23%) than with microscopy (8%). CONCLUSIONS: The rapid and sensitive molecular diagnosis method developed here could be considered for mass screening and ACT treatment of inhabitants of low-endemicity areas of Southeast Asia

Tunable Chemokine Production by Antigen Presenting Dendritic Cells in Response to Changes in Regulatory T Cell Frequency in Mouse Reactive Lymph Nodes

BACKGROUND: Although evidence exists that regulatory T cells (Tregs) can suppress the effector phase of immune responses, it is clear that their major role is in suppressing T cell priming in secondary lymphoid organs. Recent experiments using two photon laser microscopy indicate that dendritic cells (DCs) are central to Treg cell function and that the in vivo mechanisms of T cell regulation are more complex than those described in vitro. PRINCIPAL FINDINGS: Here we have sought to determine whether and how modulation of Treg numbers modifies the lymph node (LN) microenvironment. We found that pro-inflammatory chemokines -- CCL2 (MCP-1) and CCL3 (MIP-la) -- are secreted in the LN early (24 h) after T cell activation, that this secretion is dependent on antigen-specific DC-T cell interactions, and that it was inversely related to the frequency of Tregs specific for the same antigen. Furthermore, we demonstrate that Tregs modify the chemoattractant properties of antigen-presenting DCs, which, as the frequency of Tregs increases, fail to produce CCL2 and CCL3 and to attract antigen-specific T cells. CONCLUSIONS: These results substantiate a major role of Tregs in LN patterning during antigen-specific immune responses

The forgotten role of food cultures

Fermentation is one of if not the oldest food processing technique, yet it is still an emerging field when it comes to its numerous mechanisms of action and potential applications. The effect of microbial activity on the taste, bioavailability and preservation of the nutrients and the different food matrices has been deciphered by the insights of molecular microbiology. Among those roles of fermentation in the food chain, biopreservation remains the one most debated. Presumably because it has been underestimated for quite a while, and only considered - based on a food safety and technological approach - from the toxicological and chemical perspective. Biopreservation is not considered as a traditional use, where it has been by design - but forgotten - as the initial goal of fermentation. The 'modern' use of biopreservation is also slightly different from the traditional use, due mainly to changes in cooling of food and other ways of preservation, Extending shelf life is considered to be one of the properties of food additives, classifying - from our perspective - biopreservation wrongly and forgetting the role of fermentation and food cultures. The present review will summarize the current approaches of fermentation as a way to preserve and protect the food, considering the different way in which food cultures and this application could help tackle food waste as an additional control measure to ensure the safety of the food