Model Based Analysis and Test Generation for Flight Software

We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines Math- Works and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation, respectively. We discuss the application of our framework to software models for a NASA flight mission

Model-based System Health Management and Contingency Planning for Autonomous UAS

Safe autonomous operations of an Unmanned Aerial System (UAS) requires that the UAS can react to unforeseen circumstances, for example, after a failure has occurred. In this paper we describe a model-based run-time architecture for autonomous on-board diagnosis, system health management, and contingency management. This architecture is being instantiated on top of NASA's Core Flight System (cFS/cFE) as amajor component of the on-board AutonomousOperating System (AOS). We will describe our diagnosis and monitoring components, which continuously provide system health status. Automated reasoning with constraint satisfaction form the core of our decision-making component, which assesses the current situation, aids in failure disambiguation, and constructs a contingency plan to mitigate the failure(s) and allow for a safe end of the mission. We will illustrate our contingency management system with two case studies, one for a fixed-wing aircraft in simulation, and one for an autonomous DJI S1000+ octo-copter

Impact of the Gut Microbiota on Atorvastatin Mediated Effects on Blood Lipids

Background and aims: The mechanisms of interindividual variation of lipid regulation by statins, such as the low-density lipoprotein cholesterol (LDL) lowering effects, are not fully understood yet. Here, we used a gut microbiota depleted mouse model to investigate the relation between the gut microbiota and the regulatory property of atorvastatin on blood lipids. Methods: Mice (C57BL/6) with intact gut microbiota or antibiotic induced abiotic mice (ABS) were put on standard chow diet (SCD) or high fat diet (HFD) for six weeks. Atorvastatin (10 mg/kg body weight/day) or a control vehicle were applied per gavage for the last four weeks of dietary treatment. Blood lipids including total cholesterol, very low-density lipoprotein, low-density lipoprotein, high-density lipoprotein and sphingolipids were measured to probe microbiota-dependent effects of atorvastatin. The expression of genes involved in hepatic and intestinal cholesterol metabolism was analyzed with qRT-PCR. The alteration of the microbiota profile was examined using 16S rRNA qPCR in mice with intact gut microbiota. Results: HFD feeding significantly increased total blood cholesterol and LDL levels, as compared to SCD in both mice with intact and depleted gut microbiota. The cholesterol lowering effect of atorvastatin was significantly attenuated in mice with depleted gut microbiota. Moreover, we observed a global shift in the abundance of several sphingolipids upon atorvastatin treatment which was absent in gut microbiota depleted mice. The regulatory effect of atorvastatin on the expression of distinct hepatic and intestinal cholesterol-regulating genes, including Ldlr, Srebp2 and Npc1l1 was altered upon depletion of gut microbiota. In response to HFD feeding, the relative abundance of the bacterial phyla Bacteroidetes decreased, while the abundance of Firmicutes increased. The altered ratio between Firmicutes to Bacteroidetes was partly reversed in HFD fed mice treated with atorvastatin. Conclusions: Our findings support a regulatory impact of atorvastatin on the gut microbial profile and, in turn, demonstrate a crucial role of the gut microbiome for atorvastatin-related effects on blood lipids. These results provide novel insights into potential microbiota-dependent mechanisms of lipid regulation by statins, which may account for variable response to statin treatment

Silencing of the Violaxanthin De-Epoxidase Gene in the Diatom Phaeodactylum tricornutum Reduces Diatoxanthin Synthesis and Non-Photochemical Quenching

Diatoms are a major group of primary producers ubiquitous in all aquatic ecosystems. To protect themselves from photooxidative damage in a fluctuating light climate potentially punctuated with regular excess light exposures, diatoms have developed several photoprotective mechanisms. The xanthophyll cycle (XC) dependent non-photochemical chlorophyll fluorescence quenching (NPQ) is one of the most important photoprotective processes that rapidly regulate photosynthesis in diatoms. NPQ depends on the conversion of diadinoxanthin (DD) into diatoxanthin (DT) by the violaxanthin de-epoxidase (VDE), also called DD de-epoxidase (DDE). To study the role of DDE in controlling NPQ, we generated transformants of P. tricornutum in which the gene (Vde/Dde) encoding for DDE was silenced. RNA interference was induced by genetic transformation of the cells with plasmids containing either short (198 bp) or long (523 bp) antisense (AS) fragments or, alternatively, with a plasmid mediating the expression of a self-complementary hairpin-like construct (inverted repeat, IR). The silencing approaches generated diatom transformants with a phenotype clearly distinguishable from wildtype (WT) cells, i.e. a lower degree as well as slower kinetics of both DD de-epoxidation and NPQ induction. Real-time PCR based quantification of Dde transcripts revealed differences in transcript levels between AS transformants and WT cells but also between AS and IR transformants, suggesting the possible presence of two different gene silencing mediating mechanisms. This was confirmed by the differential effect of the light intensity on the respective silencing efficiency of both types of transformants. The characterization of the transformants strengthened some of the specific features of the XC and NPQ and confirmed the most recent mechanistic model of the DT/NPQ relationship in diatoms

Addressing climate change with behavioral science: a global intervention tournament in 63 countries

Effectively reducing climate change requires marked, global behavior change. However, it is unclear which strategies are most likely to motivate people to change their climate beliefs and behaviors. Here, we tested 11 expert-crowdsourced interventions on four climate mitigation outcomes: beliefs, policy support, information sharing intention, and an effortful tree-planting behavioral task. Across 59,440 participants from 63 countries, the interventions’ effectiveness was small, largely limited to nonclimate skeptics, and differed across outcomes: Beliefs were strengthened mostly by decreasing psychological distance (by 2.3%), policy support by writing a letter to a future-generation member (2.6%), information sharing by negative emotion induction (12.1%), and no intervention increased the more effortful behavior—several interventions even reduced tree planting. Last, the effects of each intervention differed depending on people’s initial climate beliefs. These findings suggest that the impact of behavioral climate interventions varies across audiences and target behaviors

Addressing climate change with behavioral science:A global intervention tournament in 63 countries

Effectively reducing climate change requires marked, global behavior change. However, it is unclear which strategies are most likely to motivate people to change their climate beliefs and behaviors. Here, we tested 11 expert-crowdsourced interventions on four climate mitigation outcomes: beliefs, policy support, information sharing intention, and an effortful tree-planting behavioral task. Across 59,440 participants from 63 countries, the interventions' effectiveness was small, largely limited to nonclimate skeptics, and differed across outcomes: Beliefs were strengthened mostly by decreasing psychological distance (by 2.3%), policy support by writing a letter to a future-generation member (2.6%), information sharing by negative emotion induction (12.1%), and no intervention increased the more effortful behavior-several interventions even reduced tree planting. Last, the effects of each intervention differed depending on people's initial climate beliefs. These findings suggest that the impact of behavioral climate interventions varies across audiences and target behaviors.</p

Addressing climate change with behavioral science:A global intervention tournament in 63 countries

Effectively reducing climate change requires marked, global behavior change. However, it is unclear which strategies are most likely to motivate people to change their climate beliefs and behaviors. Here, we tested 11 expert-crowdsourced interventions on four climate mitigation outcomes: beliefs, policy support, information sharing intention, and an effortful tree-planting behavioral task. Across 59,440 participants from 63 countries, the interventions' effectiveness was small, largely limited to nonclimate skeptics, and differed across outcomes: Beliefs were strengthened mostly by decreasing psychological distance (by 2.3%), policy support by writing a letter to a future-generation member (2.6%), information sharing by negative emotion induction (12.1%), and no intervention increased the more effortful behavior-several interventions even reduced tree planting. Last, the effects of each intervention differed depending on people's initial climate beliefs. These findings suggest that the impact of behavioral climate interventions varies across audiences and target behaviors.</p

Development and validation of HERWIG 7 tunes from CMS underlying-event measurements

This paper presents new sets of parameters (“tunes”) for the underlying-event model of the HERWIG7 event generator. These parameters control the description of multiple-parton interactions (MPI) and colour reconnection in HERWIG7, and are obtained from a fit to minimum-bias data collected by the CMS experiment at s=0.9, 7, and 13Te. The tunes are based on the NNPDF 3.1 next-to-next-to-leading-order parton distribution function (PDF) set for the parton shower, and either a leading-order or next-to-next-to-leading-order PDF set for the simulation of MPI and the beam remnants. Predictions utilizing the tunes are produced for event shape observables in electron-positron collisions, and for minimum-bias, inclusive jet, top quark pair, and Z and W boson events in proton-proton collisions, and are compared with data. Each of the new tunes describes the data at a reasonable level, and the tunes using a leading-order PDF for the simulation of MPI provide the best description of the dat

MUSiC : a model-unspecific search for new physics in proton-proton collisions at root s=13TeV

Results of the Model Unspecific Search in CMS (MUSiC), using proton-proton collision data recorded at the LHC at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 35.9 fb(-1), are presented. The MUSiC analysis searches for anomalies that could be signatures of physics beyond the standard model. The analysis is based on the comparison of observed data with the standard model prediction, as determined from simulation, in several hundred final states and multiple kinematic distributions. Events containing at least one electron or muon are classified based on their final state topology, and an automated search algorithm surveys the observed data for deviations from the prediction. The sensitivity of the search is validated using multiple methods. No significant deviations from the predictions have been observed. For a wide range of final state topologies, agreement is found between the data and the standard model simulation. This analysis complements dedicated search analyses by significantly expanding the range of final states covered using a model independent approach with the largest data set to date to probe phase space regions beyond the reach of previous general searches.Peer reviewe