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

Mifepristone Prevents Stress-Induced Apoptosis in Newborn Neurons and Increases AMPA Receptor Expression in the Dentate Gyrus of C57/BL6 Mice

Chronic stress produces sustained elevation of corticosteroid levels, which is why it is considered one of the most potent negative regulators of adult hippocampal neurogenesis (AHN). Several mood disorders are accompanied by elevated glucocorticoid levels and have been linked to alterations in AHN, such as major depression (MD). Nevertheless, the mechanism by which acute stress affects the maturation of neural precursors in the dentate gyrus is poorly understood. We analyzed the survival and differentiation of 1 to 8 week-old cells in the dentate gyrus of female C57/BL6 mice following exposure to an acute stressor (the Porsolt or forced swimming test). Furthermore, we evaluated the effects of the glucocorticoid receptor (GR) antagonist mifepristone on the cell death induced by the Porsolt test. Forced swimming induced selective apoptotic cell death in 1 week-old cells, an effect that was abolished by pretreatment with mifepristone. Independent of its antagonism of GR, mifepristone also induced an increase in the percentage of 1 week-old cells that were AMPA+. We propose that the induction of AMPA receptor expression in immature cells may mediate the neuroprotective effects of mifepristone, in line with the proposed antidepressant effects of AMPA receptor potentiators

Panton-Valentine Leukocidin Is Not the Primary Determinant of Outcome for Staphylococcus aureus Skin Infections: Evaluation from the CANVAS Studies

The impact of Panton-Valentine leukocidin (PVL) on the severity of complicated skin and skin structure infections (cSSSI) caused by Staphylococcus aureus is controversial. We evaluated potential associations between clinical outcome and PVL presence in both methicillin-resistant S. aureus (MRSA) and methicillin-susceptible S. aureus (MSSA) isolates from patients enrolled in two large, multinational phase three clinical trials assessing ceftaroline fosamil for the treatment of cSSSI (the CANVAS 1 and 2 programs). Isolates from all microbiologically evaluable patients with monomicrobial MRSA or MSSA infections (n = 473) were genotyped by PCR for pvl and underwent pulsed-field gel electrophoresis (PFGE). Genes encoding pvl were present in 266/473 (56.2%) isolates. Infections caused by pvl-positive S. aureus were associated with younger patient age, North American acquisition, and presence of major abscesses (P<0.001 for each). Cure rates of patients infected with pvl-positive and pvl-negative S. aureus were similar overall (93.6% versus 92.8%; P = 0.72), and within MRSA-infected (94.5% vs. 93.1%; P = 0.67) and MSSA-infected patients (92.2% vs. 92.7%; P = 1.00). This finding persisted after adjustment for multiple patient characteristics. Outcomes were also similar when USA300 PVL+ and non-USA300 PVL+ infections were compared. The results of this contemporary, international study suggest that pvl presence was not the primary determinant of outcome in patients with cSSSI due to either MRSA or MSSA

Chronic Melatonin Administration Reduced Oxidative Damage and Cellular Senescence in the Hippocampus of a Mouse Model of Down Syndrome

Previous studies have demonstrated that melatonin administration improves spatial learning and memory and hippocampal long-term potentiation in the adult Ts65Dn (TS) mouse, a model of Down syndrome (DS). This functional benefit of melatonin was accompanied by protection from cholinergic neurodegeneration and the attenuation of several hippocampal neuromorphological alterations in TS mice. Because oxidative stress contributes to the progression of cognitive deficits and neurodegeneration in DS, this study evaluates the antioxidant effects of melatonin in the brains of TS mice. Melatonin was administered to TS and control mice from 6 to 12 months of age and its effects on the oxidative state and levels of cellular senescence were evaluated. Melatonin treatment induced antioxidant and antiaging effects in the hippocampus of adult TS mice. Although melatonin administration did not regulate the activities of the main antioxidant enzymes (superoxide dismutase, catalase, glutathione peroxidase, glutathione reductase, and glutathione S-transferase) in the cortex or hippocampus, melatonin decreased protein and lipid oxidative damage by reducing the thiobarbituric acid reactive substances (TBARS) and protein carbonyls (PC) levels in the TS hippocampus due to its ability to act as a free radical scavenger. Consistent with this reduction in oxidative stress, melatonin also decreased hippocampal senescence in TS animals by normalizing the density of senescence-associated â-galactosidase positive cells in the hippocampus. These results showed that this treatment attenuated the oxidative damage and cellular senescence in the brain of TS mice and support the use of melatonin as a potential therapeutic agent for age-related cognitive deficits and neurodegeneration in adults with DS

Role of the Cellular Prion Protein in Oligodendrocyte Precursor Cell Proliferation and Differentiation in the Developing and Adult Mouse CNS

There are numerous studies describing the signaling mechanisms that mediate oligodendrocyte precursor cell (OPC) proliferation and differentiation, although the contribution of the cellular prion protein (PrPc) to this process remains unclear. PrPc is a glycosyl-phosphatidylinositol (GPI)-anchored glycoprotein involved in diverse cellular processes during the development and maturation of the mammalian central nervous system (CNS). Here we describe how PrPc influences oligodendrocyte proliferation in the developing and adult CNS. OPCs that lack PrPc proliferate more vigorously at the expense of a delay in differentiation, which correlates with changes in the expression of oligodendrocyte lineage markers. In addition, numerous NG2-positive cells were observed in cortical regions of adult PrPc knockout mice, although no significant changes in myelination can be seen, probably due to the death of surplus cells

Predictors of binge drinking in adolescents: ultimate and distal factors - a representative study

<p>Abstract</p> <p>Background</p> <p>As epidemiological surveys have shown, binge drinking is a constant and wide-spread problem behavior in adolescents. It is not rare to find that more than half of all adolescents engage in this behavior when assessing only the last 4 weeks of time independent of the urbanity of the region they live in. There have been several reviews on predictors of substance consumption in adolescents in general, but there has been less high quality research on predictors of binge drinking, and most studies have not been theoretically based. The current study aimed to analyze the ultimate and distal factors predicting substance consumption according to Petraitis' theory of triadic influence. We assessed the predictive value of these factors with respect to binge drinking in German adolescents, including the identification of influence direction.</p> <p>Methods</p> <p>In the years 2007/2008, a representative written survey of N = 44,610 students in the 9^thgrade of different school types in Germany was carried out (net sample). The return rate of questionnaires was 88% regarding all students whose teachers or school directors had agreed to participate in the study. In this survey, prevalence of binge drinking was investigated as well as potential predictors from the social/interpersonal, the attitudinal/environmental, and the intrapersonal fields (3 factors of Petraitis). In a multivariate logistic regression analysis, these variables were included after testing for multicollinearity in order to assess their ability to predict binge drinking.</p> <p>Results</p> <p>Prevalence of binge drinking in the last 30 days was 52.3% for the surveyed adolescents with a higher prevalence for boys (56.9%) than for girls (47.5%). The two most influential factors found to protect against binge drinking with <it>p </it>< .001 were low economic status and importance of religion. The four most relevant risk factors for binge drinking (<it>p </it>< .001) were life-time prevalence of school absenteeism/truancy, academic failure, suicidal thoughts, and violence at school in the form of aggressive behavior of teachers. The model of Petraitis was partly confirmed for Binge Drinking in German adolescents and the direction of influence factors was clarified.</p> <p>Conclusions</p> <p>Whereas some of the risk and protective factors for binge drinking are not surprising since they are known for substance abuse in general, there are two points that could be targeted in interventions that do not focus on adolescents alone: (a) training teachers in positive, reassuring behavior and constructive criticism and (b) a focus on high risk adolescents either because they have a lack of coping strategies when in a negative mood or because of their low academic achievement in combination with absenteeism from school.</p

Tau-dependent suppression of adult neurogenesis in the stressed hippocampus

uncorrected proofStress, a well-known sculptor of brain plasticity, is shown to suppress hippocampal neurogenesis in the adult brain; yet, the underlying cellular mechanisms are poorly investigated. Previous studies have shown that chronic stress triggers hyperphosphorylation and accumulation of the cytoskeletal protein Tau, a process that may impair the cytoskeleton-regulating role (s) of this protein with impact on neuronal function. Here, we analyzed the role of Tau on stress-driven suppression of neurogenesis in the adult dentate gyrus (DG) using animals lacking Tau (Tau-knockout; Tau-KO) and wild-type (WT) littermates. Unlike WTs, Tau-KO animals exposed to chronic stress did not exhibit reduction in DG proliferating cells, neuroblasts and newborn neurons; however, newborn astrocytes were similarly decreased in both Tau-KO and WT mice. In addition, chronic stress reduced phosphoinositide 3-kinase (PI3K)/mammalian target of rapamycin (mTOR)/glycogen synthase kinase-3 beta (GSK3 beta)/beta-catenin signaling, known to regulate cell survival and proliferation, in the DG of WT, but not Tau-KO, animals. These data establish Tau as a critical regulator of the cellular cascades underlying stress deficits on hippocampal neurogenesis in the adult brain.Portuguese Foundation for Science and Technology (FCT) Investigator grants (IF/01799/2013, IF/00883/2013, IF/01079/2014, respectively). This work was funded by FCT research grants 'PTDC/SAU-NMC/113934/2009' (IS), the Portuguese North Regional Operational Program (ON.2) under the National Strategic Reference Framework (QREN), through the European Regional Development Fund (FEDER), the Project Estratégico co-funded by FCT (PEst-C/SAU/LA0026/2013) and the European Regional Development Fund COMPETE (FCOMP-01-0124-FEDER-037298) as well as the project NORTE-01-0145-FEDER-000013, supported by the Northern Portugal Regional Operational Programme (NORTE 2020), under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (FEDER)info:eu-repo/semantics/publishedVersio

The effects of long-term total parenteral nutrition on gut mucosal immunity in children with short bowel syndrome: a systematic review

BACKGROUND: Short bowel syndrome (SBS) is defined as the malabsorptive state that often follows massive resection of the small intestine. Most cases originate in the newborn period and result from congenital anomalies. It is associated with a high morbidity, is potentially lethal and often requires months, sometimes years, in the hospital and home on total parenteral nutrition (TPN). Long-term survival without parenteral nutrition depends upon establishing enteral nutrition and the process of intestinal adaptation through which the remaining small bowel gradually increases its absorptive capacity. The purpose of this article is to perform a descriptive systematic review of the published articles on the effects of TPN on the intestinal immune system investigating whether long-term TPN induces bacterial translocation, decreases secretory immunoglobulin A (S-IgA), impairs intestinal immunity, and changes mucosal architecture in children with SBS. METHODS: The databases of OVID, such as MEDLINE and CINAHL, Cochran Library, and Evidence-Based Medicine were searched for articles published from 1990 to 2001. Search terms were total parenteral nutrition, children, bacterial translocation, small bowel syndrome, short gut syndrome, intestinal immunity, gut permeability, sepsis, hyperglycemia, immunonutrition, glutamine, enteral tube feeding, and systematic reviews. The goal was to include all clinical studies conducted in children directly addressing the effects of TPN on gut immunity. RESULTS: A total of 13 studies were identified. These 13 studies included a total of 414 infants and children between the ages approximately 4 months to 17 years old, and 16 healthy adults as controls; and they varied in design and were conducted in several disciplines. The results were integrated into common themes. Five themes were identified: 1) sepsis, 2) impaired immune functions: In vitro studies, 3) mortality, 4) villous atrophy, 5) duration of dependency on TPN after bowel resection. CONCLUSION: Based on this exhaustive literature review, there is no direct evidence suggesting that TPN promotes bacterial overgrowth, impairs neutrophil functions, inhibits blood's bactericidal effect, causes villous atrophy, or causes to death in human model. The hypothesis relating negative effects of TPN on gut immunity remains attractive, but unproven. Enteral nutrition is cheaper, but no safer than TPN. Based on the current evidence, TPN seems to be safe and a life saving solution

2011 SOSORT guidelines: Orthopaedic and Rehabilitation treatment of idiopathic scoliosis during growth

<p>Abstract</p> <p>Background</p> <p>The International Scientific Society on Scoliosis Orthopaedic and Rehabilitation Treatment (SOSORT), that produced its first Guidelines in 2005, felt the need to revise them and increase their scientific quality. The aim is to offer to all professionals and their patients an evidence-based updated review of the actual evidence on conservative treatment of idiopathic scoliosis (CTIS).</p> <p>Methods</p> <p>All types of professionals (specialty physicians, and allied health professionals) engaged in CTIS have been involved together with a methodologist and a patient representative. A review of all the relevant literature and of the existing Guidelines have been performed. Documents, recommendations, and practical approach flow charts have been developed according to a Delphi procedure. A methodological and practical review has been made, and a final Consensus Session was held during the 2011 Barcelona SOSORT Meeting.</p> <p>Results</p> <p>The contents of the document are: methodology; generalities on idiopathic scoliosis; approach to CTIS in different patients, with practical flow-charts; literature review and recommendations on assessment, bracing, physiotherapy, Physiotherapeutic Specific Exercises (PSE) and other CTIS. Sixty-five recommendations have been given, divided in the following topics: Bracing (20 recommendations), PSE to prevent scoliosis progression during growth (8), PSE during brace treatment and surgical therapy (5), Other conservative treatments (3), Respiratory function and exercises (3), Sports activities (6), Assessment (20). No recommendations reached a Strength of Evidence level I; 2 were level II; 7 level III; and 20 level IV; through the Consensus procedure 26 reached level V and 10 level VI. The Strength of Recommendations was Grade A for 13, B for 49 and C for 3; none had grade D.</p> <p>Conclusion</p> <p>These Guidelines have been a big effort of SOSORT to paint the actual situation of CTIS, starting from the evidence, and filling all the gray areas using a scientific method. According to results, it is possible to understand the lack of research in general on CTIS. SOSORT invites researchers to join, and clinicians to develop good research strategies to allow in the future to support or refute these recommendations according to new and stronger evidence.</p