Toward model-based engineering for space embedded systems and software

International audienceEmbedded systems development suffers from difficulties to reach cost, delay and safety requirements. The continuous increase of system complexity requires a corresponding increase in the capability of design fault-free systems. Model-based engineering aims to make complexity management easier with the construction of a virtual representation of systems enabling early prediction of behaviour and performance. In this context, Space industry has specific needs to deal with remote systems that can not be maintained on ground. In such systems, fault management includes complex detection, localisation and recovery automatic procedures that can not be performed without confidence on safety. In this way, only simulation and formal proofs can support the validation of all the possible configurations. Thus, formal description of both functional and non-functional properties with temporal logic formulae is expected to analyse and to early predict system characteristics at execution. This paper is based on various studies and experiences that are carried out in space domain on the support provided by model-based engineering in terms of: • support to needs capture and requirements analysis, • support to design, • support to early verification and validation, • down to automatic generation of code

Laurent inversion

There are well-understood methods, going back to Givental and Hori--Vafa, that to a Fano toric complete intersection X associate a Laurent polynomial f that corresponds to X under mirror symmetry. We describe a technique for inverting this process, constructing the toric complete intersection X directly from its Laurent polynomial mirror f. We use this technique to construct a new four-dimensional Fano manifold

Pyrolysis Gas Composition for a Phenolic Impregnated Carbon Ablator Heatshield

Published physical properties of phenolic impregnated carbon ablator (PICA) are compiled, and the composition of the pyrolysis gases that form at high temperatures internal to a heatshield is investigated. A link between the composition of the solid resin, and the composition of the pyrolysis gases created is provided. This link, combined with a detailed investigation into a reacting pyrolysis gas mixture, allows a consistent, and thorough description of many of the physical phenomena occurring in a PICA heatshield, and their implications, to be presented

Viral genetic variation accounts for a third of variability in HIV-1 set-point viral load in Europe

HIV-1 set-point viral load—the approximately stable value of viraemia in the first years of chronic infection—is a strong predictor of clinical outcome and is highly variable across infected individuals. To better understand HIV-1 pathogenesis and the evolution of the viral population, we must quantify the heritability of set-point viral load, which is the fraction of variation in this phenotype attributable to viral genetic variation. However, current estimates of heritability vary widely, from 6% to 59%. Here we used a dataset of 2,028 seroconverters infected between 1985 and 2013 from 5 European countries (Belgium, Switzerland, France, the Netherlands and the United Kingdom) and estimated the heritability of set-point viral load at 31% (CI 15%–43%). Specifically, heritability was measured using models of character evolution describing how viral load evolves on the phylogeny of whole-genome viral sequences. In contrast to previous studies, (i) we measured viral loads using standardized assays on a sample collected in a strict time window of 6 to 24 months after infection, from which the viral genome was also sequenced; (ii) we compared 2 models of character evolution, the classical “Brownian motion” model and another model (“Ornstein–Uhlenbeck”) that includes stabilising selection on viral load; (iii) we controlled for covariates, including age and sex, which may inflate estimates of heritability; and (iv) we developed a goodness of fit test based on the correlation of viral loads in cherries of the phylogenetic tree, showing that both models of character evolution fit the data well. An overall heritability of 31% (CI 15%–43%) is consistent with other studies based on regression of viral load in donor–recipient pairs. Thus, about a third of variation in HIV-1 virulence is attributable to viral genetic variation

Sex-specific local life-history adaptation in surface- and cave-dwelling Atlantic mollies (Poecilia mexicana)

Cavefishes have long been used as model organisms showcasing adaptive diversification, but does adaptation to caves also facilitate the evolution of reproductive isolation from surface ancestors? We raised offspring of wild-caught surface- and cave-dwelling ecotypes of the neotropical fish Poecilia mexicana to sexual maturity in a 12-month common garden experiment. Fish were raised under one of two food regimes (high vs. low), and this was crossed with differences in lighting conditions (permanent darkness vs. 12:12 h light:dark cycle) in a 2 × 2 factorial design, allowing us to elucidate potential patterns of local adaptation in life histories. Our results reveal a pattern of sex-specific local life-history adaptation: Surface molly females had the highest fitness in the treatment best resembling their habitat of origin (high food and a light:dark cycle), and suffered from almost complete reproductive failure in darkness, while cave molly females were not similarly affected in any treatment. Males of both ecotypes, on the other hand, showed only weak evidence for local adaptation. Nonetheless, local life-history adaptation in females likely contributes to ecological diversification in this system and other cave animals, further supporting the role of local adaptation due to strong divergent selection as a major force in ecological speciation

Arthropod Phylogenetics in Light of Three Novel Millipede (Myriapoda: Diplopoda) Mitochondrial Genomes with Comments on the Appropriateness of Mitochondrial Genome Sequence Data for Inferring Deep Level Relationships

Background Arthropods are the most diverse group of eukaryotic organisms, but their phylogenetic relationships are poorly understood. Herein, we describe three mitochondrial genomes representing orders of millipedes for which complete genomes had not been characterized. Newly sequenced genomes are combined with existing data to characterize the protein coding regions of myriapods and to attempt to reconstruct the evolutionary relationships within the Myriapoda and Arthropoda. Results The newly sequenced genomes are similar to previously characterized millipede sequences in terms of synteny and length. Unique translocations occurred within the newly sequenced taxa, including one half of the Appalachioria falcifera genome, which is inverted with respect to other millipede genomes. Across myriapods, amino acid conservation levels are highly dependent on the gene region. Additionally, individual loci varied in the level of amino acid conservation. Overall, most gene regions showed low levels of conservation at many sites. Attempts to reconstruct the evolutionary relationships suffered from questionable relationships and low support values. Analyses of phylogenetic informativeness show the lack of signal deep in the trees (i.e., genes evolve too quickly). As a result, the myriapod tree resembles previously published results but lacks convincing support, and, within the arthropod tree, well established groups were recovered as polyphyletic. Conclusions The novel genome sequences described herein provide useful genomic information concerning millipede groups that had not been investigated. Taken together with existing sequences, the variety of compositions and evolution of myriapod mitochondrial genomes are shown to be more complex than previously thought. Unfortunately, the use of mitochondrial protein-coding regions in deep arthropod phylogenetics appears problematic, a result consistent with previously published studies. Lack of phylogenetic signal renders the resulting tree topologies as suspect. As such, these data are likely inappropriate for investigating such ancient relationships

A highly virulent variant of HIV-1 circulating in the Netherlands

We discovered a highly virulent variant of subtype-B HIV-1 in the Netherlands. One hundred nine individuals with this variant had a 0.54 to 0.74 log10 increase (i.e., a ~3.5-fold to 5.5-fold increase) in viral load compared with, and exhibited CD4 cell decline twice as fast as, 6604 individuals with other subtype-B strains. Without treatment, advanced HIV-CD4 cell counts below 350 cells per cubic millimeter, with long-term clinical consequences-is expected to be reached, on average, 9 months after diagnosis for individuals in their thirties with this variant. Age, sex, suspected mode of transmission, and place of birth for the aforementioned 109 individuals were typical for HIV-positive people in the Netherlands, which suggests that the increased virulence is attributable to the viral strain. Genetic sequence analysis suggests that this variant arose in the 1990s from de novo mutation, not recombination, with increased transmissibility and an unfamiliar molecular mechanism of virulence

Integration of formal fault analysis in ASSERT: Case studies and lessons learnt

International audienceThe ASSERT European Integrated Project (Automated proof-based System and Software Engineering for Real-Time systems; EC FP6, IST-004033) has investigated, elaborated and experimented advanced methods based on the AltaRica language and support tool OCAS for architecture and fault approach propagation description analysis, and integrated in the complete ASSERT process. The paper describes lessons learnt from three case studies: safety critical spacecraft, autonomous deep exploration spacecraft, and civil aircraft

Quantifier l'effet de choix du site dans l'incertitude des jaugeages ADCP par transects

HMEM, Durham, New Hampshire, USA, 09-/07/2017 - 12/07/2017International audienceStage-discharge rating curves are used to relate streamflow discharge to continuously measured river stage readings to create a continuous record of streamflow discharge. The stage-discharge relationship is estimated and refined using discrete streamflow measurements over time, during which both the discharge and stage are measured. There is uncertainty in the resulting rating curve due to multiple factors including the curve-fitting process, assumptions on the form of the model used, fluvial geomorphology of natural channels, and the approaches used to extrapolate the rating equation beyond available observations. This rating curve uncertainty leads to uncertainty in the streamflow timeseries, and therefore to uncertainty in predictive models that use the streamflow data. Many different methods have been proposed in the literature for estimating rating curve uncertainty, differing in mathematical rigor, in the assumptions made about the component errors, and in the information required to implement the method at any given site. This study describes the results of an international experiment to test and compare streamflow uncertainty estimation methods from 7 research groups across 9 institutions. The methods range from simple LOWESS fits to more complicated Bayesian methods that consider hydraulic principles directly. We evaluate these different methods when applied to three diverse gauging stations using standardized information (channel characteristics, hydrographs, and streamflow measurements). Our results quantify the resultant spread of the stage-discharge Quantifying the uncertainty of discharge measurements (or "gaugings") is a challenge in the hydrometric community. A useful tool to empirically estimate the uncertainty of a gauging method is the field inter-laboratory experiment (Le Coz et al., 2016). Previous inter-laboratory experiments conducted in France (in 2009, 2010, 2011 and 2012) showed that the expanded uncertainty (with a probability level of 95%) of an ADCP gauging made of six successive transects is typically around 5% under optimum site conditions (straight reach, uniform and smooth streambed cross-section, homogeneous flow, etc.) and may be twice higher under poorer site conditions. In practice, the selected cross-section does not always match all quality requirements which may result in larger uncertainty. However, the uncertainty due to site selection is very difficult to estimate with predictive equations. From 9 to 10 November 2016, 50 teams from 8 different countries, using 50 ADCPs simultaneously, conducted more than 600 discharge measurements in steady flow conditions (~14 m3/s released by a dam). 26 cross-sections with various shapes and flow conditions were distributed over 500 meters along the Taurion River at Saint-Priest-de-Taurion, France. A specific experiment protocol, which consisted of circulating every team over half of the cross-sections, was implemented in order to quantify the impact of site selection on the discharge measurement uncertainty. Beyond the description of the experiments, uncertainty estimates are presented. The overall expanded uncertainty of a 6-transect ADCP gaugings (duration around 720 seconds) is estimated to be around 6%.The uncertainty of the discharge measurements varies among the cross-sections. These variations are well correlated to the expert judgment on the cross-section quality made by each team. First results seem to highlight a relation between uncertainty computed for each cross-section and criteria such as flow shallowness and measured discharge ratio. Further investigations are necessary to identify the criteria related to error sources that are possibly meaningful for categorizing measurement conditions and site selection. Moreover, experimental uncertainty and the uncertainty predicted by analytical methods such as QRev, QUant, OURSIN, RiverFlowUA or QMSys software will be compared