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

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

Physical and rehabilitation medicine (PRM) care pathways: Adults with severe traumatic brain injury

AbstractThis document is part of a series of guidelines documents designed by the French Physical and Rehabilitation Medicine Society (SOFMER) and the French Federation of PRM (FEDMER). These reference documents focus on a particular pathology (here patients with severe TBI). They describe for each given pathology patients’ clinical and social needs, PRM care objectives and necessary human and material resources of the pathology-dedicated pathway. ‘Care pathways in PRM’ is therefore a short document designed to enable readers (physician, decision-maker, administrator, lawyer, finance manager) to have a global understanding of available therapeutic care structures, organization and economic needs for patients’ optimal care and follow-up. After a severe traumatic brain injury, patients might be divided into three categories according to impairment's severity, to early outcomes in the intensive care unit and to functional prognosis. Each category is considered in line with six identical parameters used in the International Classification of Functioning, Disability and Health (World Health Organization), focusing thereafter on personal and environmental factors liable to affect the patients’ needs

Multi-domain comparison of safety standards

International audienceThis paper presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, automation, automotive, nuclear, railway and space. This work, performed in the context of the CG2E ("Club des Grandes Entreprises de l'Embarqué"), aims at identifying the main similarities and dissimilarities, for potential cross-domain harmonization. We strive to find the most comprehensive 'trans-sectorial' approach, within a large number of industrial domains. Exhibiting the 'true goals' of their numerous applicable standards, related to the safety of system and software, is a first important step towards harmonization, sharing common approaches, methods and tools whenever possible

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

Easy and accurate reconstruction of whole HIV genomes from short-read sequence data

Abstract Next-generation sequencing has yet to be widely adopted for HIV. The difficulty of accurately reconstructing the consensus sequence of a quasispecies from reads (short fragments of DNA) in the presence of rapid between- and within-host evolution may have presented a barrier. In particular, mapping (aligning) reads to a reference sequence leads to biased loss of information; this bias can distort epidemiological and evolutionary conclusions. De novo assembly avoids this bias by effectively aligning the reads to themselves, producing a set of sequences called contigs. However contigs provide only a partial summary of the reads, misassembly may result in their having an incorrect structure, and no information is available at parts of the genome where contigs could not be assembled. To address these problems we developed the tool shiver to preprocess reads for quality and contamination, then map them to a reference tailored to the sample using corrected contigs supplemented with existing reference sequences. Run with two commands per sample, it can easily be used for large heterogeneous data sets. We use shiver to reconstruct the consensus sequence and minority variant information from paired-end short-read data produced with the Illumina platform, for 65 existing publicly available samples and 50 new samples. We show the systematic superiority of mapping to shiver ’s constructed reference over mapping the same reads to the standard reference HXB2: an average of 29 bases per sample are called differently, of which 98.5% are supported by higher coverage. We also provide a practical guide to working with imperfect contigs

Androgen signaling negatively controls group 2 innate lymphoid cells

Prevalence of asthma is higher in women than in men, but the mechanisms underlying this sex bias are unknown. Group 2 innate lymphoid cells (ILC2s) are key regulators of type 2 inflammatory responses. Here, we show that ILC2 development is greatly influenced by male sex hormones. Male mice have reduced numbers of ILC2 progenitors (ILC2Ps) and mature ILC2s in peripheral tissues compared with females. In consequence, males exhibit reduced susceptibility to allergic airway inflammation in response to environmental allergens and less severe IL-33-driven lung inflammation, correlating with an impaired expansion of lung ILC2s. Importantly, orchiectomy, but not ovariectomy, abolishes the sex differences in ILC2 development and restores IL-33-mediated lung inflammation. ILC2Ps express the androgen receptor (AR), and AR signaling inhibits their differentiation into mature ILC2s. Finally, we show that hematopoietic AR expression limits IL-33-driven lung inflammation through a cell-intrinsic inhibition of ILC2 expansion. Thus, androgens play a crucial protective role in type 2 airway inflammation by negatively regulating ILC2 homeostasis, thereby limiting their capacity to expand locally in response to IL-33.PMC546100

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