Représentation et manipulation de programmes dans un atelier de génie logiciel

Étude de la représentation de programmes dans un atelier de génie logiciel et des principaux concepts de l'édition syntaxique. Justification de l'utilité de la manipulation structurée des programmes, avant de présenter les spécifications externes d'un éditeur dirigé par la syntaxique. Étude des diverses techniques permettant d'effectuer une analyse contextuelle incrémentale d'un programme, mise en œuvre après chacune de ses modifications. Les différents concepts étudiés ont fait l'objet d'un prototype, réalisé dans le cadre du projet d'atelierADELE

A Study on Components and Assembly Primitives in B

. This paper is the result of a reflexion coming from the usage and learning of the language B. It tries to better explain and understand the assembly primitives includes and uses of the language. It presents a high-level notion of components and develops a "component algebra". This algebra is specialized to deal with the B-components. The B assembly primitives are re-expressed in this basic formalism. Some problems about independence of concepts in the B methodology are pointed out and are discussed. 1 Introduction Specifications, like programs, must be modular because very large formal texts are not understandable for a human being. So, the study of modules and modularization is one of the issues in software engineering. The three main objectives of modularization [BHK90] are : information hiding, compositionality of module operations and reusability of modules. If the specification methodology encompasses the need for formal proofs to ensure consistency, as it is the case in the B ..

Tocilizumab plus dexamethasone versus dexamethasone in patients with moderate-to-severe COVID-19 pneumonia: A randomised clinical trial from the CORIMUNO-19 study group

International audienceBackground: In moderate-to-severe COVID-19 pneumonia, dexamethasone (DEX) and tocilizumab (TCZ) reduce the occurrence of death and ventilatory support. We investigated the efficacy and safety of DEX+TCZ in an open randomized clinical trial.Methods: From July 24, 2020, through May 18, 2021, patients with moderate-to-severe COVID-19 pneumonia requiring oxygen (>3 L/min) were randomly assigned to receive DEX (10 mg/d 5 days tapering up to 10 days) alone or combined with TCZ (8 mg/kg IV) at day 1, possibly repeated with a fixed dose of 400 mg i.v. at day 3. The primary outcome was time from randomization to mechanical ventilation support or death up to day 14, analysed on an intent-to-treat basis using a Bayesian approach. ClinicalTrials.gov number, NCT04476979.Findings: A total of 453 patients were randomized, 3 withdrew consent, 450 were analysed, of whom 226 and 224 patients were assigned to receive DEX or TCZ+DEX, respectively. At day 14, mechanical ventilation or death occurred in 32/226 (14%) and 27/224 (12%) in the DEX and TCZ+DEX arms, respectively (hazard ratio [HR] 0·85, 90% credible interval [CrI] 0·55 to 1·31). At day 14, the World health Organization (WHO) clinical progression scale (CPS) was significantly improved in the TCZ+DEX arm (OR 0·69, 95% CrI, 0·49 to 0.97). At day 28, the cumulative incidence of oxygen supply independency was 82% in the TCZ+DEX arms and 72% in the DEX arm (HR 1·36, 95% CI 1·11 to 1·67). On day 90, 24 deaths (11%) were observed in the DEX arm and 18 (8%) in the TCZ+DEX arm (HR 0·77, 95% CI 0·42-1·41). Serious adverse events were observed in 25% and 21% in DEX and TCZ+DEX arms, respectively.Interpretation: Mechanical ventilation need and mortality were not improved with TCZ+DEX compared with DEX alone. The safety of both treatments was similar. However, given the wide confidence intervals for the estimate of effect, definitive interpretation cannot be drawn.Funding: Programme Hospitalier de Recherche Clinique [PHRC COVID-19-20-0151, PHRC COVID-19-20-0029], Fondation de l'Assistance Publique - Hôpitaux de Paris (Alliance Tous Unis Contre le Virus) and from Fédération pour la Recherche Médicale" (FRM). Tocilizumab was provided by Roche

Effect of anakinra versus usual care in adults in hospital with COVID-19 and mild-to-moderate pneumonia (CORIMUNO-ANA-1): a randomised controlled trial

International audienc

Sarilumab in adults hospitalised with moderate-to-severe COVID-19 pneumonia (CORIMUNO-SARI-1): An open-label randomised controlled trial

International audienc

Effect of Tocilizumab vs Usual Care in Adults Hospitalized With COVID-19 and Moderate or Severe Pneumonia

International audienceImportance Severe pneumonia with hyperinflammation and elevated interleukin-6 is a common presentation of coronavirus disease 2019 (COVID-19).Objective To determine whether tocilizumab (TCZ) improves outcomes of patients hospitalized with moderate-to-severe COVID-19 pneumonia.Design, Setting, and Particpants This cohort-embedded, investigator-initiated, multicenter, open-label, bayesian randomized clinical trial investigating patients with COVID-19 and moderate or severe pneumonia requiring at least 3 L/min of oxygen but without ventilation or admission to the intensive care unit was conducted between March 31, 2020, to April 18, 2020, with follow-up through 28 days. Patients were recruited from 9 university hospitals in France. Analyses were performed on an intention-to-treat basis with no correction for multiplicity for secondary outcomes.Interventions Patients were randomly assigned to receive TCZ, 8 mg/kg, intravenously plus usual care on day 1 and on day 3 if clinically indicated (TCZ group) or to receive usual care alone (UC group). Usual care included antibiotic agents, antiviral agents, corticosteroids, vasopressor support, and anticoagulants.Main Outcomes and Measures Primary outcomes were scores higher than 5 on the World Health Organization 10-point Clinical Progression Scale (WHO-CPS) on day 4 and survival without need of ventilation (including noninvasive ventilation) at day 14. Secondary outcomes were clinical status assessed with the WHO-CPS scores at day 7 and day 14, overall survival, time to discharge, time to oxygen supply independency, biological factors such as C-reactive protein level, and adverse events.Results Of 131 patients, 64 patients were randomly assigned to the TCZ group and 67 to UC group; 1 patient in the TCZ group withdrew consent and was not included in the analysis. Of the 130 patients, 42 were women (32%), and median (interquartile range) age was 64 (57.1-74.3) years. In the TCZ group, 12 patients had a WHO-CPS score greater than 5 at day 4 vs 19 in the UC group (median posterior absolute risk difference [ARD] −9.0%; 90% credible interval [CrI], −21.0 to 3.1), with a posterior probability of negative ARD of 89.0% not achieving the 95% predefined efficacy threshold. At day 14, 12% (95% CI −28% to 4%) fewer patients needed noninvasive ventilation (NIV) or mechanical ventilation (MV) or died in the TCZ group than in the UC group (24% vs 36%, median posterior hazard ratio [HR] 0.58; 90% CrI, 0.33-1.00), with a posterior probability of HR less than 1 of 95.0%, achieving the predefined efficacy threshold. The HR for MV or death was 0.58 (90% CrI, 0.30 to 1.09). At day 28, 7 patients had died in the TCZ group and 8 in the UC group (adjusted HR, 0.92; 95% CI 0.33-2.53). Serious adverse events occurred in 20 (32%) patients in the TCZ group and 29 (43%) in the UC group (P = .21).Conclusions and Relevance In this randomized clinical trial of patients with COVID-19 and pneumonia requiring oxygen support but not admitted to the intensive care unit, TCZ did not reduce WHO-CPS scores lower than 5 at day 4 but might have reduced the risk of NIV, MV, or death by day 14. No difference on day 28 mortality was found. Further studies are necessary for confirming these preliminary results.Trial Registration ClinicalTrials.gov Identifier: NCT0433180

Rare predicted loss-of-function variants of type I IFN immunity genes are associated with life-threatening COVID-19

BackgroundWe previously reported that impaired type I IFN activity, due to inborn errors of TLR3- and TLR7-dependent type I interferon (IFN) immunity or to autoantibodies against type I IFN, account for 15-20% of cases of life-threatening COVID-19 in unvaccinated patients. Therefore, the determinants of life-threatening COVID-19 remain to be identified in similar to 80% of cases.MethodsWe report here a genome-wide rare variant burden association analysis in 3269 unvaccinated patients with life-threatening COVID-19, and 1373 unvaccinated SARS-CoV-2-infected individuals without pneumonia. Among the 928 patients tested for autoantibodies against type I IFN, a quarter (234) were positive and were excluded.ResultsNo gene reached genome-wide significance. Under a recessive model, the most significant gene with at-risk variants was TLR7, with an OR of 27.68 (95%CI 1.5-528.7, P=1.1x10(-4)) for biochemically loss-of-function (bLOF) variants. We replicated the enrichment in rare predicted LOF (pLOF) variants at 13 influenza susceptibility loci involved in TLR3-dependent type I IFN immunity (OR=3.70[95%CI 1.3-8.2], P=2.1x10(-4)). This enrichment was further strengthened by (1) adding the recently reported TYK2 and TLR7 COVID-19 loci, particularly under a recessive model (OR=19.65[95%CI 2.1-2635.4], P=3.4x10(-3)), and (2) considering as pLOF branchpoint variants with potentially strong impacts on splicing among the 15 loci (OR=4.40[9%CI 2.3-8.4], P=7.7x10(-8)). Finally, the patients with pLOF/bLOF variants at these 15 loci were significantly younger (mean age [SD]=43.3 [20.3] years) than the other patients (56.0 [17.3] years; P=1.68x10(-5)).ConclusionsRare variants of TLR3- and TLR7-dependent type I IFN immunity genes can underlie life-threatening COVID-19, particularly with recessive inheritance, in patients under 60 years old