Software Quality Objectives for Source Code

International audienceThe MathWorks - Renault SA - PSA Peugeot Citroën - Delphi Diesel System - Valeo group wrote together a code quality standard from scratch. This document describes how the code standard places the proof of absence of run-time errors at the centre of its software quality model. It details how the following elements of the quality model co-exist together with the supplier code life cycle: MISRA-C coding standard, the absence of run-time errors and some code complexity metrics. Additionally, this document describes how the Automotive manufacturers and the suppliers have to agree on and achieve different Software Quality Objectives according to the code life cycle stage and the safety aspects of the application.Finally, the document illustrates that standard with the PolySpace product and details how the product can help both the automotive manufacturer and the supplier working with this standard

From In Vitro to In Vivo: A Rational Flowchart for the Selection and Characterization of Candidate Probiotic Strains in Intestinal Disorders

International audienceExperimental and clinical evidence has demonstrated the potential of probiotic strains in the prevention or treatment of inflammatory bowel disease (IBD) and irritable bowel syndrome (IBS). However, there is little data on what the methodology leading to the identification of such strains should be. In this work, we propose a new flowchart to identify strains with probiotic potential for the management of IBS and IBD, which we tested on a collection of 39 lactic acid bacteria and Bifidobacteria strains. This flowchart included in vitro tests of immunomodulatory properties on intestinal and peripheral blood mononuclear cells (PBMCs), assessment of the barrier-strengthening effect by measuring transepithelial electric resistance (TEER) and quantification of short-chain fatty acids (SCFAs) and aryl hydrocarbon receptor (AhR) agonists produced by the strains. The in vitro results were then combined in a principal component analysis (PCA) to identify strains associated with an anti-inflammatory profile. To validate our flowchart, we tested the two most promising strains identified in the PCA in mouse models of post-infectious IBS or chemically induced colitis to mimic IBD. Our results show that this screening strategy allows the identification of strains with potential beneficial effects on colonic inflammation and colonic hypersensitivity

Associations between usual diet and gut microbiota composition: results from the Milieu Interieur cross-sectional study

Background: Diet is widely recognized as one of the main modifiable drivers of gut microbiota variability, and its influence on microbiota composition is an active area of investigation.Objective: The present work aimed to explore the associations between usual diet and gut microbiota composition in a large sample of healthy French adults.Methods: Gut microbiota composition was established through sequencing of the 16S rRNA gene in stool samples from 862 healthy French adults of the Milieu Interieur study. Usual dietary consumptions were determined through the administration of a food-frequency questionnaire. The associations between dietary variables and alpha- and beta-diversity indexes and relative taxa abundances were tested using Spearman correlations, permutational ANOVAs, and multivariate analyses with linear models, respectively.Results: Foods generally considered as healthy (raw fruits, fish) were positively associated with alpha-diversity, whereas food items for which a limited consumption is generally recommended (fried products, sodas or sugary drinks, fatty sweet products, processed meats, ready-cooked meals, and desserts) were negatively associated with alpha-diversity. Fruits, fried products, ready-cooked meals, and cheese contributed to shifts within microbiota composition (beta-diversity). Our results also highlighted a number of associations between various food group intakes and abundances of specific phyla, genera, and species. For instance, the consumption of cheese was negatively associated with Akkermansia muciniphila abundance.Conclusions: This large-scale population-based study supports that the usual consumption of certain food items is associated with several gut microbial features, and extends the mechanistic arguments linking Western diet to an altered microbiota composition. These results provide new insights into the understanding of complex diet-gut microbiota relations, and their implications for host health deserve further investigation because altered microbiota diversity was consistently linked to increased risk of several health outcomes. This trial was registered at clinicaltrials.gov as NCT01699893