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.

Investigating the Tradespace between Increased Automation and Optimal Manning on Aircraft Carrier Decks

With increasing prevalence and capabilities of autonomous systems as part of complex heterogeneous manned-unmanned environments (HMUEs), an important consideration is the impact of the introduction of automation on the optimal assignment of human personnel. The US Navy has implemented optimal staffing techniques before in the 1990's and 2000's with a "minimal staffing" approach. The results were poor, leading to the degradation of Naval preparedness. Clearly, another approach to determining optimal staffing is necessary. To this end, the goal of this research is to develop human performance models for use in determining optimal manning of HMUEs. The human performance models are developed using an agent-based simulation of the aircraft carrier flight deck, a representative safety-critical HMUE. The Personnel Multi-Agent Safety and Control Simulation (PMASCS) simulates and analyzes the effects of introducing generalized maintenance crew skill sets and accelerated failure repair times on the overall performance and safety of the carrier flight deck. A behavioral model of four operator types (ordnance officers, chocks and chains, fueling officers, plane captains, and maintenance operators) is presented here along with an aircraft failure model. The main focus of this work is on the maintenance operators and aircraft failure modeling, since they have a direct impact on total launch time, a primary metric for carrier deck performance. With PMASCS I explore the effects of two variables on total launch time of 22 aircraft: 1) skill level of maintenance operators and 2) aircraft failure repair times while on the catapult (referred to as Phase 4 repair times). It is found that neither introducing a generic skill set to maintenance crews nor introducing a technology to accelerate Phase 4 aircraft repair times improves the average total launch time of 22 aircraft. An optimal manning level of 3 maintenance crews is found under all conditions, the point at which any additional maintenance crews does not reduce the total launch time. An additional discussion is included about how these results change if the operations are relieved of the bottleneck of installing the holdback bar at launch time.

Teaching yoga to seniors: essential considerations to enhance safety and reduce risk in a uniquely vulnerable age group.

BACKGROUND: Seniors age 65 and older represent the fastest-growing sector of the population and, like many Americans, are increasingly drawn to yoga. This presents both an extraordinary opportunity and a serious challenge for yoga instructors who must be both a resource and guardians of safety for this uniquely vulnerable group. A typical class of seniors is likely to represent the most diverse mix of abilities of any age group. While some may be exceedingly healthy, most fit the profile of the average older adult in America, 80% of whom have at least one chronic health condition and 50% of whom have at least two. OBJECTIVES: This article discusses the Therapeutic Yoga for Seniors program, offered since 2007 at Duke Integrative Medicine to fill a critical need to help yoga instructors work safely and effectively with the increasing number of older adults coming to yoga classes, and explores three areas that pose the greatest risk of compromise to older adult students: sedentary lifestyle, cardiovascular disease, and osteoporosis. To provide a skillful framework for teaching yoga to seniors, we have developed specific Principles of Practice that integrate the knowledge gained from Western medicine with yogic teachings.

A Framework to Support the Sharing and Reuse of Computable Phenotype Definitions Across Health Care Delivery and Clinical Research Applications.

INTRODUCTION: The ability to reproducibly identify clinically equivalent patient populations is critical to the vision of learning health care systems that implement and evaluate evidence-based treatments. The use of common or semantically equivalent phenotype definitions across research and health care use cases will support this aim. Currently, there is no single consolidated repository for computable phenotype definitions, making it difficult to find all definitions that already exist, and also hindering the sharing of definitions between user groups. METHOD: Drawing from our experience in an academic medical center that supports a number of multisite research projects and quality improvement studies, we articulate a framework that will support the sharing of phenotype definitions across research and health care use cases, and highlight gaps and areas that need attention and collaborative solutions. FRAMEWORK: An infrastructure for re-using computable phenotype definitions and sharing experience across health care delivery and clinical research applications includes: access to a collection of existing phenotype definitions, information to evaluate their appropriateness for particular applications, a knowledge base of implementation guidance, supporting tools that are user-friendly and intuitive, and a willingness to use them. NEXT STEPS: We encourage prospective researchers and health administrators to re-use existing EHR-based condition definitions where appropriate and share their results with others to support a national culture of learning health care. There are a number of federally funded resources to support these activities, and research sponsors should encourage their use.

The Effects of Brominated Flame Retardants on Thyroid Hormone Homeostasis in Human Placenta Tissues and Cell Culture

Polybrominated diphenyl ethers (PBDEs) are a class of brominated flame retardants (BFRs) that have been heavily used in consumer products such as furniture foams, plastics, and textiles since the mid-1970’s. BFRs are added to products in order to meet state flammability standards intended to increase indoor safety in the event of a fire. The three commercial PBDE mixtures, Penta-, Octa-, and DecaBDE, have all been banned in the United States, however, limited use of DecaBDE is still permitted. PBDEs were phased out of production and added to the Stockholm Convention due to concerns over their environmental persistence and toxicity. Human exposure to PBDEs occurs primarily through the inadvertent ingestion of contaminated house dust, as well as though dietary sources. Despite the phase-out and discontinued use of PBDEs, human exposure to this class of chemicals is likely to continue for decades due to the continued use of treated products and existing environmental reservoirs of PBDEs. Extensive research over the years has shown that PBDEs disrupt thyroid hormone (TH) levels and neurodevelopmental endpoints in rodent and fish models. Additionally, there is growing epidemiological evidence linking PBDE exposure in humans to altered TH homeostasis and neurodevelopmental impairments in children. Due to the importance of THs throughout gestation, there is a great need to understand the effects of BFRs on the developing fetus. Specifically, the placenta plays a critical role in the transport, metabolism, and delivery of THs to the fetal compartment during pregnancy and is a likely target for BFR bioaccumulation and endocrine disruption. The central hypothesis of this dissertation research is that BFRs disrupt the activity of TH sulfotransferase (SULT) enzymes, thereby altering TH concentrations in the placenta.

In the first aim of this dissertation research, the concentrations of PBDEs and 2,4,6-TBP were measured in a cohort of 102 placenta tissue samples from an ongoing pregnancy cohort in Durham, NC. Methods were developed for the extraction and analysis of the BFR analytes. It was found that 2,4,6-TBP was significantly correlated with all PBDE analytes, indicating that 2,4,6-TBP may share common product applications with PBDEs or that 2,4,6-TBP is a metabolite of PBDE compounds. Additionally, this was the first study to measure 2,4,6-TBP in human placenta tissues.

In the second aim of this dissertation research, the placenta tissue concentrations of THs, as well as the endogenous activity of deiodinase (DI) and TH SULT enzymes were quantified using the same cohort of 102 placenta tissue samples. Enzyme activity was detected in all samples and this was the first study to measure TH DI and SULT activity in human placenta tissues. Enzyme activities and TH concentrations were compared with BFR concentrations measured in Aim 1. There were few statistically significant associations observed for the combined data, however, upon stratifying the data set based on infant sex, additional significant associations were observed. For example, among males, those with the highest concentrations of BDE-99 in placenta had T3 levels 0.80 times those with the lowest concentration of BDE-99 (95% confidence interval (CI): 0.59, 1.07). Whereas females with the highest concentrations of BDE-99 in placenta had T3 levels 1.50 times those with the lowest concentration of BDE-99 (95% CI: 1.10, 2.04). Additionally, all BFR analyte concentrations were higher in the placenta of males versus females and they were significantly higher for 2,4,6-TBP and BDE-209. 3,3’-T2 SULT activity was significantly higher in female placenta tissues, while type 3 DI activity was significantly higher in male placenta tissues. This research is the first to show sex-specific differences in the bioaccumulation of BFRs in human placenta tissue, as well as differences in TH concentrations and endogenous DI and SULT activity. The underlying mechanisms of these observed sex differences warrant further investigation.

In the third aim of this dissertation research, the effects of BFRs were examined in a human choriocarcinoma placenta cell line, BeWo. Michaelis-Menten parameters and inhibition curves were calculated for 2,4,6-TBP, 3-OH BDE-47, and 6-OH BDE-47. 2,4,6-TBP was shown to be the most potent inhibitor of 3,3’-T2 SULT activity with a calculated IC50 value of 11.6 nM. It was also shown that 2,4,6-TBP and 3-OH BDE-47 exhibit mixed inhibition of 3,3’-T2 sulfation in BeWo cell homogenates. Next, a series of cell culture exposure experiments were performed using 1, 6, 12, and 24 hour exposure durations. Once again, 2,4,6-TBP was shown to be the most potent inhibitor of basal 3,3’-T2 SULT activity by significantly decreasing activity at the high and medium dose (1 M and 0.5 M, respectively) at all measured time points. Interestingly, BDE-99 was also shown to inhibit basal 3,3’-T2 SULT activity in BeWo cells following the 24 hour exposure, despite exhibiting no inhibitory effects in the BeWo cell homogenate experiments. This indicates that BDE-99 must act through a pathway other than direct enzyme inhibition. Following exposures, the TH concentrations in the cell culture growth media and mRNA expression of TH-related genes were also examined. There was no observed effect of BFR treatment on these endpoints. Future work should focus on determining the downstream biological effects of TH SULT disruption in placental cells, as well as the underlying mechanisms of action responsible for reductions in basal TH SULT activity following BFR exposure.

This was one of the first studies to measure BFRs in a cohort of placenta tissue samples from the United States and the first study to measure THs, DI activity, and SULT activity in human placenta tissues. This research provides a novel contribution to our growing understanding of the effects of BFRs on TH homeostasis within the human placenta, and provides further evidence for sex-specific differences within this important organ. Future research should continue to investigate the effects of environmental contaminants on TH homeostasis within the placenta, as this represents the most critical and vulnerable stage of human development.