Assessment of the Quality of Safety Cases: A Research Preview

Proceedings of the 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019.[Context and motivation] Safety-critical systems in application domains such as aerospace, automotive, healthcare, and railway are subject to assurance processes to provide confidence that the systems do not pose undue risks to people, property, or the environment. The development of safety cases is usually part of these processes to justify that a system satisfies its safety requirements and thus is dependable. [Question/problem] Although safety cases have been used in industry for over two decades, their management still requires improvement. Important weaknesses have been identified and means to assess the quality of safety cases are limited. [Principal ideas/results] This paper presents a research preview on the assessment of the quality of safety cases. We explain how the area should develop and present our preliminary work towards enabling the assessment with Verification Studio, an industrial tool for system artefact quality analysis. [Contribution] The insights provided allow researchers and practitioners to gain an understanding of why safety case quality requires further investigation, what aspects must be considered, and how quality assessment could be performed in practice.The research leading to this paper has received funding from the AMASS project (H2020-ECSEL ID 692474; Spain’s MINECO ref. PCIN-2015-262). We also thank REFSQ reviewers for their valuable comments to improve the paper

Combined In Silico, In Vivo, and In Vitro Studies Shed Insights into the Acute Inflammatory Response in Middle-Aged Mice

We combined in silico, in vivo, and in vitro studies to gain insights into age-dependent changes in acute inflammation in response to bacterial endotoxin (LPS). Time-course cytokine, chemokine, and NO2-/NO3- data from "middle-aged" (6-8 months old) C57BL/6 mice were used to re-parameterize a mechanistic mathematical model of acute inflammation originally calibrated for "young" (2-3 months old) mice. These studies suggested that macrophages from middle-aged mice are more susceptible to cell death, as well as producing higher levels of pro-inflammatory cytokines, vs. macrophages from young mice. In support of the in silico-derived hypotheses, resident peritoneal cells from endotoxemic middle-aged mice exhibited reduced viability and produced elevated levels of TNF-α, IL-6, IL-10, and KC/CXCL1 as compared to cells from young mice. Our studies demonstrate the utility of a combined in silico, in vivo, and in vitro approach to the study of acute inflammation in shock states, and suggest hypotheses with regard to the changes in the cytokine milieu that accompany aging. © 2013 Namas et al

Image informatics strategies for deciphering neuronal network connectivity

Brain function relies on an intricate network of highly dynamic neuronal connections that rewires dramatically under the impulse of various external cues and pathological conditions. Among the neuronal structures that show morphologi- cal plasticity are neurites, synapses, dendritic spines and even nuclei. This structural remodelling is directly connected with functional changes such as intercellular com- munication and the associated calcium-bursting behaviour. In vitro cultured neu- ronal networks are valuable models for studying these morpho-functional changes. Owing to the automation and standardisation of both image acquisition and image analysis, it has become possible to extract statistically relevant readout from such networks. Here, we focus on the current state-of-the-art in image informatics that enables quantitative microscopic interrogation of neuronal networks. We describe the major correlates of neuronal connectivity and present workflows for analysing them. Finally, we provide an outlook on the challenges that remain to be addressed, and discuss how imaging algorithms can be extended beyond in vitro imaging studies

EFFICACY AND SAFETY OF BOCEPREVIR-BASED THERAPY IN HCVG1 TREATMENT-EXPERIENCED PATIENTS WITH ADVANCED FIBROSIS/CIRRHOSIS: THE ITALIAN AND SPANISH NPP EARLY ACCESS PROGRAM

Background and Aims: To maximize cost/efficay of boceprevirbased triple therapy (BOC) in patients with HCV-related advanced fibrosis/cirrhosis. Methods: ITT SVR12, safety and futility rules value were evaluated in the multicenter national Italian and Spanish early access Name- Patient-Program which includes treatment-experienced patients with HCVG1-related advanced fibrosis/cirrhosis (Metavir F3/4) treated with BOC in both countries. Results: 402 patients (mean age 55 years; range 22–75), 316 (78.6%) G1b, 255 (63.4%) F4, 60 (30.9%) with oesophageal varices, 137 (34.1%) relapsers, 95 (23.6%) partial and 168 (41.8%) null responders were enrolled. Platelets count <100,000 and albumin levels <3.5 g/dl were present in 49 (12.2%) and 22 (6.3%) patients, respectively. 369 (91.8%) received at least 1 dose of BOC. Overall ITT SVR12 rates and according to prior response to P/R, fibrosis stage and TW8 HCV-RNA value to P/R/BOC are reported in the table. At multivariate analysis, the strongest predictors of SVR12 were TW8 HCV-RNA undetectability (RR, 30.8; 95% CI, 8.7–108.7) and HCV-RNA detectable but <1000 IU/mL (RR, 9.1; 95% CI, 2.6–31.8) compared to those with HCV-RNA ≥1000 IU/mL. Two patients (0.5%) died from multi-organ failure, 13 (3.2%) developed hepatic decompensation, 41 (10.2%) had severe anemia (<8.5 g/dl) and 31 (7.7%) required at least one blood transfusion. Conclusions: In treatment-experienced patients with advanced fibrosis/cirrhosis, SVR12 attained by BOC was satisfactory. Mortality, life-threatening adverse events and severe anemia rates were similar to those reported in other real-practice studies. A TW8 futility rule enables a safely discontinuation of BOC in patients who are extremely unlikely to achieve SVR, thus optimizing the effectiveness of treatment in this difficult-to-cure population

Stage-Specific Pathways of Leishmania infantum chagasi Entry and Phagosome Maturation in Macrophages

The life stages of Leishmania spp. include the infectious promastigote and the replicative intracellular amastigote. Each stage is phagocytosed by macrophages during the parasite life cycle. We previously showed that caveolae, a subset of cholesterol-rich membrane lipid rafts, facilitate uptake and intracellular survival of virulent promastigotes by macrophages, at least in part, by delaying parasitophorous vacuole (PV)-lysosome fusion. We hypothesized that amastigotes and promastigotes would differ in their route of macrophage entry and mechanism of PV maturation. Indeed, transient disruption of macrophage lipid rafts decreased the entry of promastigotes, but not amastigotes, into macrophages (P<0.001). Promastigote-containing PVs were positive for caveolin-1, and co-localized transiently with EEA-1 and Rab5 at 5 minutes. Amastigote-generated PVs lacked caveolin-1 but retained Rab5 and EEA-1 for at least 30 minutes or 2 hours, respectively. Coinciding with their conversion into amastigotes, the number of promastigote PVs positive for LAMP-1 increased from 20% at 1 hour, to 46% by 24 hours, (P<0.001, Chi square). In contrast, more than 80% of amastigote-initiated PVs were LAMP-1+ at both 1 and 24 hours. Furthermore, lipid raft disruption increased LAMP-1 recruitment to promastigote, but not to amastigote-containing compartments. Overall, our data showed that promastigotes enter macrophages through cholesterol-rich domains like caveolae to delay fusion with lysosomes. In contrast, amastigotes enter through a non-caveolae pathway, and their PVs rapidly fuse with late endosomes but prolong their association with early endosome markers. These results suggest a model in which promastigotes and amastigotes use different mechanisms to enter macrophages, modulate the kinetics of phagosome maturation, and facilitate their intracellular survival

Myofascial trigger points in cluster headache patients: a case series

Active myofascial trigger points (MTrPs) have been found to contribute to chronic tension-type headache and migraine. The purpose of this case series was to examine if active trigger points (TrPs) provoking cluster-type referred pain could be found in cluster headache patients and, if so, to evaluate the effectiveness of active TrPs anaesthetic injections both in the acute and preventive headache's treatment. Twelve patients, 4 experiencing episodic and 8 chronic cluster headache, were studied. TrPs were found in all of them. Abortive infiltrations could be done in 2 episodic and 4 chronic patients, and preemptive infiltrations could be done in 2 episodic and 5 chronic patients, both kind of interventions being successful in 5 (83.3%) and in 6 (85.7%) of the cases respectively. When combined with prophylactic drug therapy, injections were associated with significant improvement in 7 of the 8 chronic cluster patients. Our data suggest that peripheral sensitization may play a role in cluster headache pathophysiology and that first neuron afferent blockade can be useful in cluster headache management

Prevalence and clinical outcomes of dystrophin-associated dilated cardiomyopathy without severe skeletal myopathy

Aims: Dilated cardiomyopathy (DCM) associated with dystrophin gene (DMD) mutations in individuals with mild or absent skeletal myopathy is often indistinguishable from other DCM forms. We sought to describe the phenotype and prognosis of DMD associated DCM in DMD mutation carriers without severe skeletal myopathy. Methods and results: At 26 European centres, we retrospectively collected clinical characteristics and outcomes of 223 DMD mutation carriers (83% male, 33 ± 15 years). A total of 112 individuals (52%) had DCM at first evaluation [n = 85; left ventricular ejection fraction (LVEF) 34 ± 11.2%] or developed DCM (n = 27; LVEF 41.3 ± 7.5%) after a median follow-up of 96 months (interquartile range 5–311 months). DCM penetrance was 45% in carriers older than 40 years. DCM appeared earlier in males and was independent of the type of mutation, presence of skeletal myopathy, or elevated serum creatine kinase levels. Major adverse cardiac events (MACE) occurred in 22% individuals with DCM, 18% developed end-stage heart failure and 9% sudden cardiac death or equivalent. Skeletal myopathy was not associated with survival free of MACE in patients with DCM. Decreased LVEF and increased left ventricular end-diastolic diameter at baseline were associated with MACE. Individuals without DCM had favourable prognosis without MACE or death during follow-up. Conclusions: DMD-associated DCM without severe skeletal myopathy is characterized by incomplete penetrance but high risk of MACE, including progression to end-stage heart failure and ventricular arrhythmias. DCM onset is the major determinant of prognosis with similar survival regardless of the presence of skeletal myopathy

HCV co-infection in HIV positive population in British Columbia, Canada

<p>Abstract</p> <p>Background</p> <p>As HIV and hepatitis C (HCV) share some modes of transmission co-infection is not uncommon. This study used a population-based sample of HIV and HCV tested individuals to determine the prevalence of HIV/HCV co-infection, the sequence of virus diagnoses, and demographic and associated risk factors.</p> <p>Methods</p> <p>Positive cases of HIV were linked to the combined laboratory database (of negative and positive HCV antibody results) and HCV reported cases in British Columbia (BC).</p> <p>Results</p> <p>Of 4,598 HIV cases with personal identifiers, 3,219 (70%) were linked to the combined HCV database, 1,700 (53%) of these were anti-HCV positive. HCV was diagnosed first in 52% of co-infected cases (median time to HIV identification 3 1/2 years). HIV and HCV was diagnosed within a two week window in 26% of cases. Among individuals who were diagnosed with HIV infection at baseline, subsequent diagnoses of HCV infection was independently associated with: i) intravenous drug use (IDU) in males and females, Hazard Ratio (HR) = 6.64 (95% CI: 4.86-9.07) and 9.76 (95% CI: 5.76-16.54) respectively; ii) reported Aboriginal ethnicity in females HR = 2.09 (95% CI: 1.34-3.27) and iii) males not identified as men-who-have-sex-with-men (MSM), HR = 2.99 (95% CI: 2.09-4.27).</p> <p>Identification of HCV first compared to HIV first was independently associated with IDU in males and females OR = 2.83 (95% CI: 1.84-4.37) and 2.25 (95% CI: 1.15-4.39) respectively, but not Aboriginal ethnicity or MSM. HIV was identified first in 22%, with median time to HCV identification of 15 months;</p> <p>Conclusion</p> <p>The ability to link BC public health and laboratory HIV and HCV information provided a unique opportunity to explore demographic and risk factors associated with HIV/HCV co-infection. Over half of persons with HIV infection who were tested for HCV were anti-HCV positive; half of these had HCV diagnosed first with HIV identification a median 3.5 years later. This highlights the importance of public health follow-up and harm reduction measures for people identified with HCV to prevent subsequent HIV infection.</p