Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

The providing resources to enhance African American patients' readiness to make decisions about kidney disease (PREPARED) study: protocol of a randomized controlled trial.

BACKGROUND: Living related kidney transplantation (LRT) is underutilized, particularly among African Americans. The effectiveness of informational and financial interventions to enhance informed decision-making among African Americans with end stage renal disease (ESRD) and improve rates of LRT is unknown. METHODS/DESIGN: We report the protocol of the Providing Resources to Enhance African American Patients' Readiness to Make Decisions about Kidney Disease (PREPARED) Study, a two-phase study utilizing qualitative and quantitative research methods to design and test the effectiveness of informational (focused on shared decision-making) and financial interventions to overcome barriers to pursuit of LRT among African American patients and their families. Study Phase I involved the evidence-based development of informational materials as well as a financial intervention to enhance African American patients' and families' proficiency in shared decision-making regarding LRT. In Study Phase 2, we are currently conducting a randomized controlled trial in which patients with new-onset ESRD receive 1) usual dialysis care by their nephrologists, 2) the informational intervention (educational video and handbook), or 3) the informational intervention in addition to the option of participating in a live kidney donor financial assistance program. The primary outcome of the randomized controlled trial will include patients' self-reported rates of consideration of LRT (including family discussions of LRT, patient-physician discussions of LRT, and identification of a LRT donor). DISCUSSION: Results from the PREPARED study will provide needed evidence on ways to enhance the decision to pursue LRT among African American patients with ESRD.

Integrated vector management for malaria control in Uganda: knowledge, perceptions and policy development.

BACKGROUND: Integrated vector management (IVM) is increasingly being recommended as an option for sustainable malaria control. However, many malaria-endemic countries lack a policy framework to guide and promote the approach. The objective of the study was to assess knowledge and perceptions in relation to current malaria vector control policy and IVM in Uganda, and to make recommendations for consideration during future development of a specific IVM policy. METHODS: The study used a structured questionnaire to interview 34 individuals working at technical or policy-making levels in health, environment, agriculture and fisheries sectors. Specific questions on IVM focused on the following key elements of the approach: integration of chemical and non-chemical interventions of vector control; evidence-based decision making; inter-sectoral collaboration; capacity building; legislation; advocacy and community mobilization. RESULTS: All participants were familiar with the term IVM and knew various conventional malaria vector control (MVC) methods. Only 75% thought that Uganda had a MVC policy. Eighty percent (80%) felt there was inter-sectoral collaboration towards IVM, but that it was poor due to financial constraints, difficulties in involving all possible sectors and political differences. The health, environment and agricultural sectors were cited as key areas requiring cooperation in order for IVM to succeed. Sixty-seven percent (67%) of participants responded that communities were actively being involved in MVC, while 48% felt that the use of research results for evidence-based decision making was inadequate or poor. A majority of the participants felt that malaria research in Uganda was rarely used to facilitate policy changes. Suggestions by participants for formulation of specific and effective IVM policy included: revising the MVC policy and IVM-related policies in other sectors into a single, unified IVM policy and, using legislation to enforce IVM in development projects. CONCLUSION: Integrated management of malaria vectors in Uganda remains an underdeveloped component of malaria control policy. Cooperation between the health and other sectors needs strengthening and funding for MVC increased in order to develop and effectively implement an appropriate IVM policy. Continuous engagement of communities by government as well as monitoring and evaluation of vector control programmes will be crucial for sustaining IVM in the country.

Development and usability testing of a Web-based decision aid for families of patients receiving prolonged mechanical ventilation.

BACKGROUND: Web-based decision aids are increasingly important in medical research and clinical care. However, few have been studied in an intensive care unit setting. The objectives of this study were to develop a Web-based decision aid for family members of patients receiving prolonged mechanical ventilation and to evaluate its usability and acceptability. METHODS: Using an iterative process involving 48 critical illness survivors, family surrogate decision makers, and intensivists, we developed a Web-based decision aid addressing goals of care preferences for surrogate decision makers of patients with prolonged mechanical ventilation that could be either administered by study staff or completed independently by family members (Development Phase). After piloting the decision aid among 13 surrogate decision makers and seven intensivists, we assessed the decision aid's usability in the Evaluation Phase among a cohort of 30 surrogate decision makers using the Systems Usability Scale (SUS). Acceptability was assessed using measures of satisfaction and preference for electronic Collaborative Decision Support (eCODES) versus the original printed decision aid. RESULTS: The final decision aid, termed 'electronic Collaborative Decision Support', provides a framework for shared decision making, elicits relevant values and preferences, incorporates clinical data to personalize prognostic estimates generated from the ProVent prediction model, generates a printable document summarizing the user's interaction with the decision aid, and can digitally archive each user session. Usability was excellent (mean SUS, 80 ± 10) overall, but lower among those 56 years and older (73 ± 7) versus those who were younger (84 ± 9); p = 0.03. A total of 93% of users reported a preference for electronic versus printed versions. CONCLUSIONS: The Web-based decision aid for ICU surrogate decision makers can facilitate highly individualized information sharing with excellent usability and acceptability. Decision aids that employ an electronic format such as eCODES represent a strategy that could enhance patient-clinician collaboration and decision making quality in intensive care.

Development of a Novel c-MET-Based CTC Detection Platform.

UNLABELLED: Amplification of the MET oncogene is associated with poor prognosis, metastatic dissemination, and drug resistance in many malignancies. We developed a method to capture and characterize circulating tumor cells (CTC) expressing c-MET using a ferromagnetic antibody. Immunofluorescence was used to characterize cells for c-MET, DAPI, and pan-CK, excluding CD45(+) leukocytes. The assay was validated using appropriate cell line controls spiked into peripheral blood collected from healthy volunteers (HV). In addition, peripheral blood was analyzed from patients with metastatic gastric, pancreatic, colorectal, bladder, renal, or prostate cancers. CTCs captured by c-MET were enumerated, and DNA FISH for MET amplification was performed. The approach was highly sensitive (80%) for MET-amplified cells, sensitive (40%-80%) for c-MET-overexpressed cells, and specific (100%) for both c-MET-negative cells and in 20 HVs. Of 52 patients with metastatic carcinomas tested, c-MET CTCs were captured in replicate samples from 3 patients [gastric, colorectal, and renal cell carcinoma (RCC)] with 6% prevalence. CTC FISH demonstrated that MET amplification in both gastric and colorectal cancer patients and trisomy 7 with gain of MET gene copies in the RCC patient. The c-MET CTC assay is a rapid, noninvasive, sensitive, and specific method for detecting MET-amplified tumor cells. CTCs with MET amplification can be detected in patients with gastric, colorectal, and renal cancers. IMPLICATIONS: This study developed a novel c-MET CTC assay for detecting c-MET CTCs in patients with MET amplification and warrants further investigation to determine its clinical applicability. Mol Cancer Res; 14(6); 539-47. ©2016 AACR.