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

Associations between insulin and glucose concentrations and anthropometric measures of fat mass in Australian adolescents

<p>Abstract</p> <p>Background</p> <p>One of the most serious, yet common co-morbidities of obesity is insulin resistance, which if untreated may progress to type 2 diabetes. This paper describes the insulin and glucose concentration distributions, the prevalence of elevated insulin, the associations between insulin and body mass index (BMI), waist circumference, waist-to-height ratio (WHtR) and fat mass index in a representative sample of Australian adolescents.</p> <p>Methods</p> <p>Cross-sectional population-based study of adolescent boys and girls (N = 496, mean age 15.3 years) attending schools in metropolitan Sydney, Australia. Fasting venous blood collected and analysed for insulin and glucose concentrations. Height, weight, waist circumference measured, BMI and waist-to-height ratio calculated. Pubertal status self-reported.</p> <p>Results</p> <p>Glucose concentrations were normally distributed and were not associated with adiposity. Insulin concentrations were distributed logarithmically, were higher among girls than boys overall and within the same ranges of BMI and waist circumference, but were lower among girls than boys within the same ranges of fat mass adjusted for height. The prevalence of elevated insulin concentration (defined as > 100 pmol/L) was 15.9% and 17.1% among boys and girls, respectively. Correlations between insulin concentration and BMI, waist circumference, WHtR and fat mass adjusted for height were 0.53, 0.49, 0.51 and 0.55, among boys, respectively, and 0.35, 0.40, 0.42 and 0.34, among girls, respectively.</p> <p>Conclusions</p> <p>Elevated insulin is highly correlated with adiposity in adolescents. BMI and WHtR are simple measures that can be used to identify young people who should be screened for insulin resistance and other co-morbidities.</p

Autism as a disorder of neural information processing: directions for research and targets for therapy

The broad variation in phenotypes and severities within autism spectrum disorders suggests the involvement of multiple predisposing factors, interacting in complex ways with normal developmental courses and gradients. Identification of these factors, and the common developmental path into which theyfeed, is hampered bythe large degrees of convergence from causal factors to altered brain development, and divergence from abnormal brain development into altered cognition and behaviour. Genetic, neurochemical, neuroimaging and behavioural findings on autism, as well as studies of normal development and of genetic syndromes that share symptoms with autism, offer hypotheses as to the nature of causal factors and their possible effects on the structure and dynamics of neural systems. Such alterations in neural properties may in turn perturb activity-dependent development, giving rise to a complex behavioural syndrome many steps removed from the root causes. Animal models based on genetic, neurochemical, neurophysiological, and behavioural manipulations offer the possibility of exploring these developmental processes in detail, as do human studies addressing endophenotypes beyond the diagnosis itself

Space Telescope and Optical Reverberation Mapping Project. VII. Understanding the Ultraviolet Anomaly in NGC 5548 with X-Ray Spectroscopy

During the Space Telescope and Optical Reverberation Mapping Project observations of NGC 5548, the continuum and emission-line variability became decorrelated during the second half of the six-month-long observing campaign. Here we present Swift and Chandra X-ray spectra of NGC 5548 obtained as part of the campaign. The Swift spectra show that excess flux (relative to a power-law continuum) in the soft X-ray band appears before the start of the anomalous emission-line behavior, peaks during the period of the anomaly, and then declines. This is a model-independent result suggesting that the soft excess is related to the anomaly. We divide the Swift data into on- and off-anomaly spectra to characterize the soft excess via spectral fitting. The cause of the spectral differences is likely due to a change in the intrinsic spectrum rather than to variable obscuration or partial covering. The Chandra spectra have lower signal-to-noise ratios, but are consistent with the Swift data. Our preferred model of the soft excess is emission from an optically thick, warm Comptonizing corona, the effective optical depth of which increases during the anomaly. This model simultaneously explains all three observations: the UV emission-line flux decrease, the soft-excess increase, and the emission-line anomaly

Space Telescope and Optical Reverberation Mapping Project. V. Optical Spectroscopic Campaign and Emission-line Analysis for NGC 5548

We present the results of an optical spectroscopic monitoring program targeting NGC 5548 as part of a larger multiwavelength reverberation mapping campaign. The campaign spanned 6 months and achieved an almost daily cadence with observations from five ground-based telescopes. The Hβ and He ii λ4686 broad emission-line light curves lag that of the 5100 +-optical continuum by 4.17+0.36-0.36 and 0.79+0.35-0.34 days, respectively. The Hβ lag relative to the 1158 ultraviolet continuum light curve measured by the Hubble Space Telescope is ∼50% longer than that measured against the optical continuum, and the lag difference is consistent with the observed lag between the optical and ultraviolet continua. This suggests that the characteristic radius of the broad-line region is ∼50% larger than the value inferred from optical data alone. We also measured velocity-resolved emission-line lags for Hβ and found a complex velocity-lag structure with shorter lags in the line wings, indicative of a broad-line region dominated by Keplerian motion. The responses of both the Hβ and He ii emission lines to the driving continuum changed significantly halfway through the campaign, a phenomenon also observed for C iv, Lyα, He ii(+O iii]), and Si iv(+O iv]) during the same monitoring period. Finally, given the optical luminosity of NGC 5548 during our campaign, the measured Hβ lag is a factor of five shorter than the expected value implied by the R BLR-L AGN relation based on the past behavior of NGC 5548

Increased risk of miscarriage among women experiencing physical or sexual intimate partner violence during pregnancy in Guatemala City, Guatemala: cross-sectional study

<p>Abstract</p> <p>Background</p> <p>Violence against women by their male intimate partners (IPV) during pregnancy may lead to negative pregnancy outcomes. We examined the role of IPV as a potential risk factor for miscarriage in Guatemala. Our objectives were: (1) To describe the magnitude and pattern of verbal, physical and sexual violence by male intimate partners in the last 12 months (IPV) in a sample of pregnant Guatemalans; (2) To evaluate the influence of physical or sexual IPV on miscarriage as a pregnancy outcome.</p> <p>Methods</p> <p>All pregnant women reporting to the maternity of a major tertiary care public hospital in Guatemala City from June 1st to September 30th, 2006 were invited to participate in this cross-sectional study. The admitting physician assessed occurrence of miscarriage, defined as involuntary pregnancy loss up to and including 28 weeks gestation. Data on IPV, social and demographic characteristics, risk behaviours, and medical history were collected by interviewer-administered questionnaire. Laboratory testing was performed for HIV and syphilis. The relationship between IPV and miscarriage was assessed through multivariable logistic regression.</p> <p>Results</p> <p>IPV affected 18% of the 1897 pregnant Guatemalan women aged 15-47 in this sample. Verbal IPV was most common (16%), followed by physical (10%) and sexual (3%) victimisation. Different forms of IPV were often co-prevalent. Miscarriage was experienced by 10% of the sample (<it>n </it>= 190). After adjustment for potentially confounding factors, physical or sexual victimisation by a male intimate partner in the last 12 months was significantly associated with miscarriage (ORadj 1.1 to 2.8). Results were robust under a range of analytic assumptions.</p> <p>Conclusions</p> <p>Physical and sexual IPV is associated with miscarriage in this Guatemalan facility-based sample. Results cohere well with findings from population-based surveys. IPV should be recognised as a potential cause of miscarriage. Reproductive health services should be used to screen for spousal violence and link to assistance.</p

Preventive evidence into practice (PEP) study: implementation of guidelines to prevent primary vascular disease in general practice protocol for a cluster randomised controlled trial

There are significant gaps in the implementation and uptake of evidence-based guideline recommendations for cardiovascular disease (CVD) and diabetes in Australian general practice. This study protocol describes the methodology for a cluster randomised trial to evaluate the effectiveness of a model that aims to improve the implementation of these guidelines in Australian general practice developed by a collaboration between researchers, non-government organisations, and the profession.This study is funded by an Australian National Health and Medical Research Council (NHMRC) Partnership grant (ID 568978) together with the Australian National Heart Foundation, Royal Australian College of General Practitioners, and the BUPA Foundation. MH is supported by a NHMRC Senior Principle Research Fellowship

Modeling Within-Host Dynamics of Influenza Virus Infection Including Immune Responses

Influenza virus infection remains a public health problem worldwide. The mechanisms underlying viral control during an uncomplicated influenza virus infection are not fully understood. Here, we developed a mathematical model including both innate and adaptive immune responses to study the within-host dynamics of equine influenza virus infection in horses. By comparing modeling predictions with both interferon and viral kinetic data, we examined the relative roles of target cell availability, and innate and adaptive immune responses in controlling the virus. Our results show that the rapid and substantial viral decline (about 2 to 4 logs within 1 day) after the peak can be explained by the killing of infected cells mediated by interferon activated cells, such as natural killer cells, during the innate immune response. After the viral load declines to a lower level, the loss of interferon-induced antiviral effect and an increased availability of target cells due to loss of the antiviral state can explain the observed short phase of viral plateau in which the viral level remains unchanged or even experiences a minor second peak in some animals. An adaptive immune response is needed in our model to explain the eventual viral clearance. This study provides a quantitative understanding of the biological factors that can explain the viral and interferon kinetics during a typical influenza virus infection

Serotonin, genetic variability, behaviour, and psychiatric disorders - a review

Brain monoamines, and serotonin in particular, have repeatedly been shown to be linked to different psychiatric conditions such as depression, anxiety, antisocial behaviour, and dependence. Many studies have implicated genetic variability in the genes encoding monoamine oxidase A (MAOA) and the serotonin transporter (5HTT) in modulating susceptibility to these conditions. Paradoxically, the risk variants of these genes have been shown, in vitro, to increase levels of serotonin, although many of the conditions are associated with decreased levels of serotonin. Furthermore, in adult humans, and monkeys with orthologous genetic polymorphisms, there is no observable correlation between these functional genetic variants and the amount or activity of the corresponding proteins in the brain. These seemingly contradictory data might be explained if the association between serotonin and these behavioural and psychiatric conditions were mainly a consequence of events taking place during foetal and neonatal brain development. In this review we explore, based on recent research, the hypothesis that the dual role of serotonin as a neurotransmitter and a neurotrophic factor has a significant impact on behaviour and risk for neuropsychiatric disorders through altered development of limbic neurocircuitry involved in emotional processing, and development of the serotonergic neurons, during early brain development