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

Patiromer versus placebo to enable spironolactone use in patients with resistant hypertension and chronic kidney disease (AMBER): a phase 2, randomised, double-blind, placebo-controlled trial

BACKGROUND: Spironolactone is effective at reducing blood pressure in patients with uncontrolled resistant hypertension. However, the use of spironolactone in patients with chronic kidney disease can be restricted by hyperkalaemia. We evaluated use of the potassium binder patiromer to allow more persistent use of spironolactone in patients with chronic kidney disease and resistant hypertension. METHODS: In this phase 2 multicentre, randomised, double-blind, placebo-controlled study, we enrolled participants aged 18 years and older with chronic kidney disease (estimated glomerular filtration rate 25 to ≤45 mL/min per 1·73 m2) and uncontrolled resistant hypertension from 62 outpatient centres in ten countries (Bulgaria, Croatia, Georgia, Hungary, Ukraine, France, Germany, South Africa, the UK, and the USA). Patients meeting all eligibility criteria at the final screening visit were stratified by local serum potassium measurement (4·3 to <4·7 mmol/L vs 4·7 to 5·1 mmol/L) and history of diabetes. Participants were randomly assigned (1:1) with an interactive web response system to receive either placebo or patiromer (8·4 g once daily), in addition to open-label spironolactone (starting at 25 mg once daily) and their baseline blood pressure medications. Participants, the study team that administered treatments and measured blood pressure, and the investigators were masked to assigned treatment groups. Dose titrations were permitted after 1 week (patiromer) and 3 weeks (spironolactone). The primary endpoint was the between-group difference at week 12 in the proportion of patients on spironolactone. Efficacy endpoints and safety were assessed in all randomised patients (intention to treat). The study was registered with Clinicaltrials.gov, NCT03071263. FINDINGS: Between Feb 13, 2017, and Aug 20, 2018, we screened 574 patients. 295 (51%) of 574 patients met all inclusion criteria and were randomly assigned to spironolactone in addition to double-blind treatment with either placebo (n=148) or patiromer (n=147). At week 12, 98 (66%) of 148 patients in the placebo group and 126 (86%) of 147 patients in the patiromer group remained on spironolactone (between-group difference 19·5%, 95% CI 10·0-29·0; p<0·0001). Adverse events were mostly mild or moderate in severity and occurred in 79 (53%) of 148 patients in the placebo group and 82 (56%) of 147 patients in the patiromer group. INTERPRETATION: In patients with resistant hypertension and chronic kidney disease, patiromer enabled more patients to continue treatment with spironolactone with less hyperkalaemia. Persistent spironolactone enablement in this population of patients has clinical relevance for the treatment of resistant hypertension. FUNDING: Relypsa, a Vifor Pharma Group Company

Hypercontractive measures, Talagrand's inequality, and influences

We survey several Talagrand type inequalities and their application to influences with the tool of hypercontractivity for both discrete and continuous, and product and non-product models. The approach covers similarly by a simple interpolation the framework of geometric influences recently developed by N. Keller, E. Mossel and A. Sen. Geometric Brascamp-Lieb decompositions are also considered in this context

Infestation of Tracheal Mites (Acari: Tarsonemidae) in Feral and Managed Colonies of Honey Bees (Hymenoptera: Apidae)

This is Oregon Agricultural Station Technical Paper No. 9890.We tested a population dynamics model that predicts that swarming of honey bees, Apis mellifera L., is a regulatory process of tracheal mites, Acarapis woodi (Rennie), parasitism. If the model is correct, then feral colonies that are free to swarm should have fewer numbers of infested worker bees, infested workers should have fewer numbers of mites, and fewer feral colonies should be infested than colonies in beeyards that are prevented from swarming by beekeeping techniques. We found that this situation occurred in the Willamette Valley, OR

Hyperbaric treatment for children with autism: a multicenter, randomized, double-blind, controlled trial

<p>Abstract</p> <p>Background</p> <p>Several uncontrolled studies of hyperbaric treatment in children with autism have reported clinical improvements; however, this treatment has not been evaluated to date with a controlled study. We performed a multicenter, randomized, double-blind, controlled trial to assess the efficacy of hyperbaric treatment in children with autism.</p> <p>Methods</p> <p>62 children with autism recruited from 6 centers, ages 2–7 years (mean 4.92 ± 1.21), were randomly assigned to 40 hourly treatments of either hyperbaric treatment at 1.3 atmosphere (atm) and 24% oxygen ("treatment group", n = 33) or slightly pressurized room air at 1.03 atm and 21% oxygen ("control group", n = 29). Outcome measures included Clinical Global Impression (CGI) scale, Aberrant Behavior Checklist (ABC), and Autism Treatment Evaluation Checklist (ATEC).</p> <p>Results</p> <p>After 40 sessions, mean physician CGI scores significantly improved in the treatment group compared to controls in overall functioning (p = 0.0008), receptive language (p < 0.0001), social interaction (p = 0.0473), and eye contact (p = 0.0102); 9/30 children (30%) in the treatment group were rated as "very much improved" or "much improved" compared to 2/26 (8%) of controls (p = 0.0471); 24/30 (80%) in the treatment group improved compared to 10/26 (38%) of controls (p = 0.0024). Mean parental CGI scores significantly improved in the treatment group compared to controls in overall functioning (p = 0.0336), receptive language (p = 0.0168), and eye contact (p = 0.0322). On the ABC, significant improvements were observed in the treatment group in total score, irritability, stereotypy, hyperactivity, and speech (p < 0.03 for each), but not in the control group. In the treatment group compared to the control group, mean changes on the ABC total score and subscales were similar except a greater number of children improved in irritability (p = 0.0311). On the ATEC, sensory/cognitive awareness significantly improved (p = 0.0367) in the treatment group compared to the control group. Post-hoc analysis indicated that children over age 5 and children with lower initial autism severity had the most robust improvements. Hyperbaric treatment was safe and well-tolerated.</p> <p>Conclusion</p> <p>Children with autism who received hyperbaric treatment at 1.3 atm and 24% oxygen for 40 hourly sessions had significant improvements in overall functioning, receptive language, social interaction, eye contact, and sensory/cognitive awareness compared to children who received slightly pressurized room air.</p> <p>Trial Registration</p> <p>clinicaltrials.gov NCT00335790</p

Search for CP Violation in the Decay Z -> b (b bar) g

About three million hadronic decays of the Z collected by ALEPH in the years 1991-1994 are used to search for anomalous CP violation beyond the Standard Model in the decay Z -> b \bar{b} g. The study is performed by analyzing angular correlations between the two quarks and the gluon in three-jet events and by measuring the differential two-jet rate. No signal of CP violation is found. For the combinations of anomalous CP violating couplings, ${\hat{h}}_b = {\hat{h}}_{Ab}g_{Vb}-{\hat{h}}_{Vb}g_{Ab}$ and $h^{\ast}_b = \sqrt{\hat{h}_{Vb}^{2}+\hat{h}_{Ab}^{2}}$, limits of \hat{h}_b < 0.59$and$h^{\ast}_{b} < 3.02$ are given at 95\% CL.Comment: 8 pages, 1 postscript figure, uses here.sty, epsfig.st

Nitazoxanide Stimulates Autophagy and Inhibits mTORC1 Signaling and Intracellular Proliferation of Mycobacterium tuberculosis

Tuberculosis, caused by Mycobacterium tuberculosis infection, is a major cause of morbidity and mortality in the world today. M. tuberculosis hijacks the phagosome-lysosome trafficking pathway to escape clearance from infected macrophages. There is increasing evidence that manipulation of autophagy, a regulated catabolic trafficking pathway, can enhance killing of M. tuberculosis. Therefore, pharmacological agents that induce autophagy could be important in combating tuberculosis. We report that the antiprotozoal drug nitazoxanide and its active metabolite tizoxanide strongly stimulate autophagy and inhibit signaling by mTORC1, a major negative regulator of autophagy. Analysis of 16 nitazoxanide analogues reveals similar strict structural requirements for activity in autophagosome induction, EGFP-LC3 processing and mTORC1 inhibition. Nitazoxanide can inhibit M. tuberculosis proliferation in vitro. Here we show that it inhibits M. tuberculosis proliferation more potently in infected human THP-1 cells and peripheral monocytes. We identify the human quinone oxidoreductase NQO1 as a nitazoxanide target and propose, based on experiments with cells expressing NQO1 or not, that NQO1 inhibition is partly responsible for mTORC1 inhibition and enhanced autophagy. The dual action of nitazoxanide on both the bacterium and the host cell response to infection may lead to improved tuberculosis treatment