60 research outputs found
Automatic allocation of safety requirements to components of a software product line
Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design
Weaving an Assurance Case from Design: A Model-Based Approach
Assurance cases are used to demonstrate confidence in properties of interest for a system, e.g. For safety or security. A model-based assurance case seeks to bring the benefits of model-driven engineering, such as automation, transformation and validation, to what is currently a lengthy and informal process. In this paper we develop a model-based assurance approach, based on a weaving model, which allows integration between assurance case, design and process models and meta-models. In our approach, the assurance case itself is treated as a structured model, with the aim that all entities in the assurance case become linked explicitly to the models that represent them. We show how it is possible to exploit the weaving model for automated generation of assurance cases. Building upon these results, we discuss how a seamless model-driven approach to assurance cases can be achieved and examine the utility of increased formality and automation
Investigating Intra-Individual Networks of Response Inhibition and Interference Resolution using 7T MRI
Response inhibition and interference resolution are often considered subcomponents of an overarching inhibition system that utilizes the so-called cortico-basal-ganglia loop. Up until now, most previous functional magnetic resonance imaging (fMRI) literature has compared the two using between-subject designs, pooling data in the form of a meta-analysis or comparing different groups. Here, we investigate the overlap of activation patterns underlying response inhibition and interference resolution on a within-subject level, using ultra-high field MRI. In this model-based study, we furthered the functional analysis with cognitive modelling techniques to provide a more in-depth understanding of behaviour. We applied the stop-signal task and multi-source interference task to measure response inhibition and interference resolution, respectively. Our results lead us to conclude that these constructs are rooted in anatomically distinct brain areas and provide little evidence for spatial overlap. Across the two tasks, common BOLD responses were observed in the inferior frontal gyrus and anterior insula. Interference resolution relied more heavily on subcortical components, specifically nodes of the commonly referred to indirect and hyperdirect pathways, as well as the anterior cingulate cortex, and pre-supplementary motor area. Our data indicated that orbitofrontal cortex activation is specific to response inhibition. Our model-based approach provided evidence for the dissimilarity in behavioural dynamics between the two tasks. The current work exemplifies the importance of reducing inter-individual variance when comparing network patterns and the value of UHF-MRI for high resolution functional mapping
Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study
Isabelle/SACM is a tool for automated construction of model-based assurance cases with integrated formal methods, based on the Isabelle proof assistant. Assurance cases show how a system is safe to operate, through a human comprehensible argument demonstrating that the requirements are satisfied, using evidence of various provenances. They are usually required for certification of critical systems, often with evidence that originates from formal methods. Automating assurance cases increases rigour, and helps with maintenance and evolution. In this paper we apply Isabelle/SACM to a fragment of the assurance case for an autonomous underwater vehicle demonstrator. We encode the metric unit system (SI) in Isabelle, to allow modelling requirements and state spaces using physical units. We develop a behavioural model in the graphical RoboChart state machine language, embed the artifacts into Isabelle/SACM, and use it to demonstrate satisfaction of the requirements
Arabin cervical pessary for prevention of preterm birth in cases of twin-to-twin transfusion syndrome treated by fetoscopic LASER coagulation: the PECEP LASER randomised controlled trial
Abstract Background Fetoscopic LASER coagulation of the placental anastomoses has changed the prognosis of twin-twin transfusion syndrome. However, the prematurity rate in this cohort remains very high. To date, strategies proposed to decrease the prematurity rate have shown inconclusive, if not unfavourable results. Methods This is a randomised controlled trial to investigate whether a prophylactic cervical pessary will lower the incidence of preterm delivery in cases of twin-twin transfusion syndrome requiring fetoscopic LASER coagulation. Women eligible for the study will be randomised after surgery and allocated to either pessary or expectant management. The pessary will be left in place until 37 completed weeks or earlier if delivery occurs. The primary outcome is delivery before 32 completed weeks. Secondary outcomes are a composite of adverse neonatal outcome, fetal and neonatal death, maternal complications, preterm rupture of membranes and hospitalisation for threatened preterm labour. 352 women will be included in order to decrease the rate of preterm delivery before 32Â weeksâ gestation from 40% to 26% with an alpha-error of 0.05 and 80% power. Discussion The trial aims at clarifying whether the cervical pessary prolongs the pregnancy in cases of twin-twin transfusion syndrome regardless of cervical length at the time of fetoscopy. Trial registration ClinicalTrials.gov Identifier: NCT01334489 . Registered 04 December 2011
Researching COVID to enhance recovery (RECOVER) pregnancy study: Rationale, objectives and design
Importance Pregnancy induces unique physiologic changes to the immune response and hormonal changes leading to plausible differences in the risk of developing post-acute sequelae of SARS-CoV-2 (PASC), or Long COVID. Exposure to SARS-CoV-2 during pregnancy may also have long-term ramifications for exposed offspring, and it is critical to evaluate the health outcomes of exposed children. The National Institutes of Health (NIH) Researching COVID to Enhance Recovery (RECOVER) Multi-site Observational Study of PASC aims to evaluate the long-term sequelae of SARS-CoV-2 infection in various populations. RECOVER-Pregnancy was designed specifically to address long-term outcomes in maternal-child dyads. Methods RECOVER-Pregnancy cohort is a combined prospective and retrospective cohort that proposes to enroll 2,300 individuals with a pregnancy during the COVID-19 pandemic and their offspring exposed and unexposed in utero, including single and multiple gestations. Enrollment will occur both in person at 27 sites through the Eunice Kennedy Shriver National Institutes of Health Maternal-Fetal Medicine Units Network and remotely through national recruitment by the study team at the University of California San Francisco (UCSF). Adults with and without SARS-CoV-2 infection during pregnancy are eligible for enrollment in the pregnancy cohort and will follow the protocol for RECOVER-Adult including validated screening tools, laboratory analyses and symptom questionnaires followed by more in-depth phenotyping of PASC on a subset of the overall cohort. Offspring exposed and unexposed in utero to SARS-CoV-2 maternal infection will undergo screening tests for neurodevelopment and other health outcomes at 12, 18, 24, 36 and 48 months of age. Blood specimens will be collected at 24 months of age for SARS-CoV-2 antibody testing, storage and anticipated later analyses proposed by RECOVER and other investigators. Discussion RECOVER-Pregnancy will address whether having SARS-CoV-2 during pregnancy modifies the risk factors, prevalence, and phenotype of PASC. The pregnancy cohort will also establish whether there are increased risks of adverse long-term outcomes among children exposed in utero
Reporting guideline for the early stage clinical evaluation of decision support systems driven by artificial intelligence: DECIDE-AI
A growing number of artificial intelligence (AI)-based clinical decision support systems are showing promising performance in preclinical, in silico, evaluation, but few have yet demonstrated real benefit to patient care. Early stage clinical evaluation is important to assess an AI systemâs actual clinical performance at small scale, ensure its safety, evaluate the human factors surrounding its use, and pave the way to further large scale trials. However, the reporting of these early studies remains inadequate. The present statement provides a multistakeholder, consensus-based reporting guideline for the Developmental and Exploratory Clinical Investigations of DEcision support systems driven by Artificial Intelligence (DECIDE-AI). We conducted a two round, modified Delphi process to collect and analyse expert opinion on the reporting of early clinical evaluation of AI systems. Experts were recruited from 20 predefined stakeholder categories. The final composition and wording of the guideline was determined at a virtual consensus meeting. The checklist and the Explanation & Elaboration (E&E) sections were refined based on feedback from a qualitative evaluation process. 123 experts participated in the first round of Delphi, 138 in the second, 16 in the consensus meeting, and 16 in the qualitative evaluation. The DECIDE-AI reporting guideline comprises 17 AI specific reporting items (made of 28 subitems) and 10 generic reporting items, with an E&E paragraph provided for each. Through consultation and consensus with a range of stakeholders, we have developed a guideline comprising key items that should be reported in early stage clinical studies of AI-based decision support systems in healthcare. By providing an actionable checklist of minimal reporting items, the DECIDE-AI guideline will facilitate the appraisal of these studies and replicability of their findings
The near field in the mixing of a three-dimensional inclined pollutant jet with a crossflow
International audienceAn experimental investigation was carried out to study the structure of the flow field resulting from the interaction of an inclined pollutant jet with a crossflow. The study of the flow field was conducted in a wind tunnel test by means of particle image velocimetry (PIV) system. As the jet was discharged with a variable angle, the resulting flow as been found to be quite complex owing to its three-dimensional nature and the interaction between several flow regions. Results showed the dependence of the emerging jet flow structure on its ratio velocity and the Reynolds number. Extensive wind tunnel experimental results are presented; they concern the Kelvin-Helmholtz vortical structures and the effect of the velocity ratio . on the interacting zone. A three-dimensional numerical model with a second-order turbulent model (RSM) and a nonuniform grid system is used to examine the behavior of the emerging jet. The comparison of the numerical and experimental results gives satisfactory agreement
Recommended from our members
Prenatal predictors of need for cerebrospinal fluid diversion in infants following prenatal repair of open spina bifida; systematic review and meta-analysis.
OBJECTIVE: This study aimed to investigate prenatal predictors of the need for cerebrospinal fluid diversion in infants following prenatal repair of open spina bifida. DATA SOURCES: A systematic search was performed to identify relevant studies published from inception until June 2022 in the English language using the databases PubMed, Scopus, and Web of Science. STUDY ELIGIBILITY CRITERIA: We included retrospective and prospective cohort studies and randomized controlled trials reporting on prenatal repair of open spina bifida. METHODS: The random-effects model was used to pool the mean differences or odds ratios and the corresponding 95% confidence intervals. Heterogeneity was assessed using the I2 value. RESULTS: A total of 9 studies including 948 pregnancies undergoing prenatal repair of open spina bifida were included in the final analysis. Prenatal factors that were significantly associated with the need for postnatal cerebrospinal fluid diversion were gestational age at surgery â„25 weeks (odds ratio, 4.2; 95% confidence interval, 1.8-9.9; I2=54%; P=.001), myeloschisis (odds ratio, 2.2; 95% confidence interval, 1.1-4.1; I2=0.0%; P=.02), preoperative lateral ventricle width â„15 mm (odds ratio, 4.5; 95% confidence interval, 2.9-6.9; I2=0.0%; P<.0001), predelivery lateral ventricle width (mm) (mean difference, 8.3; 95% confidence interval, 6.4-10.2; I2=0.0%; P<.0001), and preoperative lesion level at T12-L2 (odds ratio, 2.5; 95% confidence interval, 1.03-6.3; I2=68%; P=.04). Factors that significantly reduced the need for postnatal shunt placement were gestational age at surgery <25 weeks (odds ratio, 0.3; 95% confidence interval, 0.15-0.6; I2=67%; P=.001) and preoperative lateral ventricle width <15 mm (odds ratio, 0.3; 95% confidence interval, 0.2-0.4; I2=0.0%; P<.0001). CONCLUSION: This study demonstrated that among fetuses that underwent surgical repair of open spina bifida, having gestational age at surgery of â„25 weeks, preoperative lateral ventricle width of â„15 mm, myeloschisis lesion type, and preoperative lesion level above L3 was predictive of the need for cerebrospinal fluid diversion during the first year of life
- âŠ