25 research outputs found

    A collision detection algorithm for telerobotic arms

    Get PDF
    The telerobotic manipulator's collision detection algorithm is described. Its applied structural model of the world environment and template representation of objects is evaluated. Functional issues that are required for the manipulator to operate in a more complex and realistic environment are discussed

    Verifying Architectural Design Rules of the Flight Software Product Line

    Get PDF
    This paper presents experiences of verifying architectural design rules of the NASA Core Flight Software (CFS) product line implementation. The goal of the verification is to check whether the implementation is consistent with the CFS architectural rules derived from the developer's guide. The results indicate that consistency checking helps a) identifying architecturally significant deviations that were eluded during code reviews, b) clarifying the design rules to the team, and c) assessing the overall implementation quality. Furthermore, it helps connecting business goals to architectural principles, and to the implementation. This paper is the first step in the definition of a method for analyzing and evaluating product line implementations from an architecture-centric perspective

    Architecture-Based Unit Testing of the Flight Software Product Line

    Get PDF
    This paper presents an analysis of the unit testing approach developed and used by the Core Flight Software (CFS) product line team at the NASA GSFC. The goal of the analysis is to understand, review, and reconunend strategies for improving the existing unit testing infrastructure as well as to capture lessons learned and best practices that can be used by other product line teams for their unit testing. The CFS unit testing framework is designed and implemented as a set of variation points, and thus testing support is built into the product line architecture. The analysis found that the CFS unit testing approach has many practical and good solutions that are worth considering when deciding how to design the testing architecture for a product line, which are documented in this paper along with some suggested innprovennents

    Connecting Research and Practice: An Experience Report on Research Infusion with SAVE

    Get PDF
    NASA systems need to be highly dependable to avoid catastrophic mission failures. This calls for rigorous engineering processes including meticulous validation and verification. However, NASA systems are often highly distributed and overwhelmingly complex, making the software portion of these systems challenging to understand, maintain, change, reuse, and test. NASA's systems are long-lived and the software maintenance process typically constitutes 60-80% of the total cost of the entire lifecycle. Thus, in addition to the technical challenges of ensuring high life-time quality of NASA's systems, the post-development phase also presents a significant financial burden. Some of NASA's software-related challenges could potentially be addressed by some of the many powerful technologies that are being developed in software research laboratories. Many of these research technologies seek to facilitate maintenance and evolution by for example architecting, designing and modeling for quality, flexibility, and reuse. Other technologies attempt to detect and remove defects and other quality issues by various forms of automated defect detection, architecture analysis, and various forms of sophisticated simulation and testing. However promising, most such research technologies nevertheless do not make the transition from the research lab to the software lab. One reason the transition from research to practice seldom occurs is that research infusion and technology transfer is difficult. For example, factors related to the technology are sometimes overshadowed by other types of factors such as reluctance to change and therefore prohibits the technology from sticking. Successful infusion might also take very long time. One famous study showed that the discrepancy between the conception of the idea and its practical use was 18 years plus or minus three. Nevertheless, infusing new technology is possible. We have found that it takes special circumstances for such research infusion to succeed: 1) there must be evidence that the technology works in the practitioner's particular domain, 2) there must be a potential for great improvements and enhanced competitive edge for the practitioner, 3) the practitioner has to have strong individual curiosity and continuous interest in trying out new technologies, 4) the practitioner has to have support on multiple levels (i.e. from the researchers, from management, from sponsors etc), and 5) to remain infused, the new technology has to be integrated into the practitioner's processes so that it becomes a natural part of the daily work. NASA IV&V's Research Infusion initiative sponsored by NASA's Office of Safety & Mission Assurance (OSMA) through the Software Assurance Research Program (SARP), strives to overcome some of the problems related to research infusion

    Convalescent plasma in patients admitted to hospital with COVID-19 (RECOVERY): a randomised controlled, open-label, platform trial

    Get PDF
    SummaryBackground Azithromycin has been proposed as a treatment for COVID-19 on the basis of its immunomodulatoryactions. We aimed to evaluate the safety and efficacy of azithromycin in patients admitted to hospital with COVID-19.Methods In this randomised, controlled, open-label, adaptive platform trial (Randomised Evaluation of COVID-19Therapy [RECOVERY]), several possible treatments were compared with usual care in patients admitted to hospitalwith COVID-19 in the UK. The trial is underway at 176 hospitals in the UK. Eligible and consenting patients wererandomly allocated to either usual standard of care alone or usual standard of care plus azithromycin 500 mg once perday by mouth or intravenously for 10 days or until discharge (or allocation to one of the other RECOVERY treatmentgroups). Patients were assigned via web-based simple (unstratified) randomisation with allocation concealment andwere twice as likely to be randomly assigned to usual care than to any of the active treatment groups. Participants andlocal study staff were not masked to the allocated treatment, but all others involved in the trial were masked to theoutcome data during the trial. The primary outcome was 28-day all-cause mortality, assessed in the intention-to-treatpopulation. The trial is registered with ISRCTN, 50189673, and ClinicalTrials.gov, NCT04381936.Findings Between April 7 and Nov 27, 2020, of 16 442 patients enrolled in the RECOVERY trial, 9433 (57%) wereeligible and 7763 were included in the assessment of azithromycin. The mean age of these study participants was65·3 years (SD 15·7) and approximately a third were women (2944 [38%] of 7763). 2582 patients were randomlyallocated to receive azithromycin and 5181 patients were randomly allocated to usual care alone. Overall,561 (22%) patients allocated to azithromycin and 1162 (22%) patients allocated to usual care died within 28 days(rate ratio 0·97, 95% CI 0·87–1·07; p=0·50). No significant difference was seen in duration of hospital stay (median10 days [IQR 5 to >28] vs 11 days [5 to >28]) or the proportion of patients discharged from hospital alive within 28 days(rate ratio 1·04, 95% CI 0·98–1·10; p=0·19). Among those not on invasive mechanical ventilation at baseline, nosignificant difference was seen in the proportion meeting the composite endpoint of invasive mechanical ventilationor death (risk ratio 0·95, 95% CI 0·87–1·03; p=0·24).Interpretation In patients admitted to hospital with COVID-19, azithromycin did not improve survival or otherprespecified clinical outcomes. Azithromycin use in patients admitted to hospital with COVID-19 should be restrictedto patients in whom there is a clear antimicrobial indication

    Using Automation to Improve the Flight Software Testing Process

    No full text
    One of the critical phases in the development of a spacecraft attitude control system (ACS) is the testing of its flight software. The testing (and test verification) of ACS flight software requires a mix of skills involving software, knowledge of attitude control, and attitude control hardware, data manipulation, and analysis. The process of analyzing and verifying flight software test results often creates a bottleneck which dictates the speed at which flight software verification can be conducted. In the development of the Microwave Anisotropy Probe (MAP) spacecraft ACS subsystem, an integrated design environment was used that included a MAP high fidelity (HiFi) simulation, a central database of spacecraft parameters, a script language for numeric and string processing, and plotting capability. In this integrated environment, it was possible to automate many of the steps involved in flight software testing, making the entire process more efficient and thorough than on previous missions. In this paper, we will compare the testing process used on MAP to that used on other missions. The software tools that were developed to automate testing and test verification will be discussed, including the ability to import and process test data, synchronize test data and automatically generate HiFi script files used for test verification, and an automated capability for generating comparison plots. A summary of the benefits of applying these test methods on MAP will be given. Finally, the paper will conclude with a discussion of re-use of the tools and techniques presented, and the ongoing effort to apply them to flight software testing of the Triana spacecraft ACS subsystem

    Feasibility and preliminary effects of an integrated hospital-to-home transitional care intervention for older adults with stroke and multimorbidity: A study protocol

    No full text
    Background: Stroke is a major life-altering event and the leading cause of death and disability in Canada. Most older adults who have suffered a stroke will return home and require ongoing rehabilitation in the community. Transitioning from hospital to home is reportedly very stressful and challenging, particularly if stroke survivors have multiple chronic conditions. New interventions are needed to improve the quality of transitions from hospital to home for this vulnerable population. Objectives: The primary objective of this study is to examine the feasibility of implementing a new 6-month transitional care intervention supported by a web-based app. The secondary objective is to explore its preliminary effects. Design: A single arm, pre/post, pragmatic feasibility study of 20–40 participants in Ontario, Canada. Participants will be community-dwelling older adults (≥55 years) with a confirmed stroke diagnosis, ≥2 co-morbid conditions, and referred to a hospital-based outpatient stroke rehabilitation centre. The 6-month transitional care intervention will be delivered by an interprofessional (IP) team and involve care coordination/system navigation, self-management education and support, home visits, telephone contacts, IP team meetings and a web-based app. Primary evaluation of the intervention will be based on feasibility outcomes (e.g. acceptability, fidelity). Preliminary intervention effects will be based on 6-month changes in health outcomes, patient experience, provider experience and cost. Conclusions: Information on the feasibility and preliminary effects of this newly-developed intervention will be used to optimize the design and methods for a future pragmatic trial to test the effectiveness and implementation of the intervention in other contexts and settings

    Contribution of prepregnancy body mass index and gestational weight gain to caesarean birth in Canada

    No full text
    Abstract Background Overweight and obese women are known to be at increased risk of caesarean birth. This study estimates the contribution of prepregnancy body mass index (BMI) and gestational weight gain (GWG) to caesarean births in Canada. Methods We analyzed data from women in the Canadian Maternity Experiences Survey who had a singleton term live birth in 2005-2006. Adjusted odds ratios for caesarean birth across BMI and GWG groups were derived, separately for nulliparous women and parous women with and without a prior caesarean. Population attributable fractions of caesarean births associated with above normal BMI and excess GWG were calculated. Results The overall caesarean birth rate was 25.7%. Among nulliparous and parous women without a previous caesarean birth, rates in obese women were 45.1% and 9.7% respectively, and rates in women who gained above their recommended GWG were 33.5% and 8.0% respectively. Caesarean birth was more strongly associated with BMI than with GWG. However, due to the high prevalence of excess GWG (48.8%), the proportion of caesareans associated with above normal BMI and excess GWG was similar [10.1% (95% CI: 9.9-10.2) and 10.9% (95% CI: 10.7-11.1) respectively]. Overall, one in five (20.2%, 95% CI: 20.0-20.4) caesarean births was associated with above normal BMI or excess GWG. Conclusions Overweight and obese BMI and above recommended GWG are significantly associated with caesarean birth in singleton term pregnancies in Canada. Strategies to reduce caesarean births must include measures to prevent overweight and obese BMI prior to conception and promote recommended weight gain throughout pregnancy

    Contribution of prepregnancy body mass index and gestational weight gain to adverse neonatal outcomes: population attributable fractions for Canada

    No full text
    Abstract Background Low or high prepregnancy body mass index (BMI) and inadequate or excess gestational weight gain (GWG) are associated with adverse neonatal outcomes. This study estimates the contribution of these risk factors to preterm births (PTBs), small-for-gestational age (SGA) and large-for-gestational age (LGA) births in Canada compared to the contribution of prenatal smoking, a recognized perinatal risk factor. Methods We analyzed data from the Canadian Maternity Experiences Survey. A sample of 5,930 women who had a singleton live birth in 2005-2006 was weighted to a nationally representative population of 71,200 women. From adjusted odds ratios, we calculated population attributable fractions to estimate the contribution of BMI, GWG and prenatal smoking to PTB, SGA and LGA infants overall and across four obstetric groups. Results Overall, 6% of women were underweight (<18.5 kg/m2) and 34.4% were overweight or obese (≥25.0 kg/m2). More than half (59.4%) gained above the recommended weight for their BMI, 18.6% gained less than the recommended weight and 10.4% smoked prenatally. Excess GWG contributed more to adverse outcomes than BMI, contributing to 18.2% of PTB and 15.9% of LGA. Although the distribution of BMI and GWG was similar across obstetric groups, their impact was greater among primigravid women and multigravid women without a previous PTB or pregnancy loss. The contributions of BMI and GWG to PTB and SGA exceeded that of prenatal smoking. Conclusions Maternal weight, and GWG in particular, contributes significantly to the occurrence of adverse neonatal outcomes in Canada. Indeed, this contribution exceeds that of prenatal smoking for PTB and SGA, highlighting its public health importance
    corecore