Simulation of real-time systems with clock calculus

International audienceSafety–critical real-time systems need to be modeled and simulated early in the development of lifecycle. SIGNAL is a data-flow synchronous language with clocks widely used in modeling of such systems. Due to the synchronous features of SIGNAL, clock calculus is essential in compilation and simulation. This paper proposes a new methodology for clock calculus that takes data dependencies into consideration. In this way, simulation code can be directly generated by using a depth-first traversal algorithm. In addition, a clock insertion method based on clock-implication checking is presented to obtain an optimized control structure

[Seroprevalence of Toxoplasmosis among Pregnant Women in Benin: Meta-Analysis and Meta-Regression].

International audienceTo assess the seroprevalence of toxoplasmosis among pregnant women in Benin, we conducted a meta-analysis using the PRISMA criteria. Al research published between 1990 and 2018 on toxoplasmosis among pregnant women Benin were eligible. A total of five databases were investigated, and the extracted data were subjected to a meta-analysis under R 3.1 using both random effect model and fixed effect model. The overall prevalence of toxoplasma-specific IgG among pregnant women was 47% (CI 95%: 40-53) and that of specific IgM was 2% (CI 95%: 1-3). The infection rate in urban areas (52%) was significantly higher than in rural areas (33%). The two main risk factors identified by the various eligible studies were the age of the pregnant women and the consumption of raw vegetables. We show that toxoplasmosis is endemic in pregnant women in Benin, implying that primary prevention measures must be put in place by the competent authorities to control this infection

A hotspot of Toxoplasma gondii Africa 1 lineage in Benin: How new genotypes from West Africa contribute to understand the parasite genetic diversity worldwide

International audienceThrough international trades, Europe, Africa and South America share a long history of exchanges, potentially of pathogens. We used the worldwide parasite Toxoplasma gondii to test the hypothesis of a historical influence on pathogen genetic diversity in Benin, a West African country with a longstanding sea trade history. In Africa, T . gondii spatial structure is still non-uniformly studied and very few articles have reported strain genetic diversity in fauna and clinical forms of human toxoplasmosis so far, even in African diaspora. Sera from 758 domestic animals (mainly poultry) in two coastal areas (Cotonou and Ouidah) and two inland areas (Parakou and Natitingou) were tested for T . gondii antibodies using a Modified Agglutination Test (MAT). The hearts and brains of 69 seropositive animals were collected for parasite isolation in a mouse bioassay. Forty-five strains were obtained and 39 genotypes could be described via 15-microsatellite genotyping, with a predominance of the autochthonous African lineage Africa 1 (36/39). The remaining genotypes were Africa 4 variant TUB2 (1/39) and two identical isolates (clone) of Type III (2/39). No difference in terms of genotype distribution between inland and coastal sampling sites was found. In particular, contrarily to what has been described in Senegal, no type II (mostly present in Europe) was isolated in poultry from coastal cities. This result seems to refute a possible role of European maritime trade in Benin despite it was one of the most important hubs during the slave trade period. However, the presence of the Africa 1 genotype in Brazil, predominant in Benin, and genetic analyses suggest that the triangular trade was a route for the intercontinental dissemination of genetic strains from Africa to South America. This supports the possibility of contamination in humans and animals with potentially imported virulent strains.Author summary: The parasite Toxoplasma gondii is a worldwide-distributed pathogen, able to infect all warm-blooded animals. There are important differences in the clinical expression of the infection in direct relation with the parasite genetic profile. In some regions, the geographical structuration of its genetic diversity points towards a crucial role of human activities in some lineages introduction or sorting. Benin is a West African country with a history of extensive transcontinental exchanges. Our genetic study of Toxoplasma in Benin shows a surprisingly homogeneous and autochthonous diversity, which contrasts with previous studies from other West and Central African countries. In Benin, the absence of European Toxoplasma lineages may be explained by the extreme rarity of the house mouse (Mus musculus), a host species that was previously described as highly susceptible to the mouse-virulent African strains. Might Benin be the origin region for the Africa 1 lineage, our results suggest that Guinean Gulf coasts may be a starting point of this lineage towards South America, especially Brazil, during the slave trade. As a whole, the present study provides further insights into the recent evolutionary history of Toxoplasma gondii and its consequences on human and animal health

Implementation of the Data-flow Synchronous Language SIGNAL

This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the compiler lies in the use of a tree structure to solve the equations. 1 Introduction Traditionally, real-time systems have been programmed in imperative asynchronous languages like ADA, OCCAM or C together with some operating system facilities. But these tools are not satisfactory as there is considerable need of provably correct software and as systems become more and more complex. To remedy the insufficiencies of the current tools, the synchronous paradigm has been proposed and developed in[4]. Its main hypothesis is that a) operators react instantaneously with their inputs (computations have zero duration), b) time is just a succession of events (no explicit reference to a notion of physical time). The validity of the synchrony assu..