Search NASA⌕ Search

SEARCH · Search NASA

Results for “Health Behavior”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 595 records · Page 33

Anomaly Detection for Next-Generation Space Launch Ground Operations

NASA is developing new capabilities that will enable future human exploration missions while reducing mission risk and cost. The Fault Detection, Isolation, and Recovery (FDIR) project aims to demonstrate the utility of integrated vehicle health management (IVHM) tools in the domain of ground support equipment (GSE) to be used for the next generation launch vehicles. In addition to demonstrating the utility of IVHM tools for GSE, FDIR aims to mature promising tools for use on future missions and document the level of effort - and hence cost - required to implement an application with each selected tool. One of the FDIR capabilities is anomaly detection, i.e., detecting off-nominal behavior. The tool we selected for this task uses a data-driven approach. Unlike rule-based and model-based systems that require manual extraction of system knowledge, data-driven systems take a radically different approach to reasoning. At the basic level, they start with data that represent nominal functioning of the system and automatically learn expected system behavior. The behavior is encoded in a knowledge base that represents "in-family" system operations. During real-time system monitoring or during post-flight analysis, incoming data is compared to that nominal system operating behavior knowledge base; a distance representing deviation from nominal is computed, providing a measure of how far "out of family" current behavior is. We describe the selected tool for FDIR anomaly detection - Inductive Monitoring System (IMS), how it fits into the FDIR architecture, the operations concept for the GSE anomaly monitoring, and some preliminary results of applying IMS to a Space Shuttle GSE anomaly.

Spirkovska, Lilly↗

Field Results from New Tensor Borehole Optical Fiber Strainmeter Installations in Oklahoma and Utah

The time evolving strain field contains a wealth of information that can be used to interpret subsurface behavior. For example, injecting or removing fluids from reservoirs or aquifers causes deformation that can be used as a diagnostic signal in some cases, while it can interfere with geodetic interpretations in other cases. We've previously demonstrated the feasibility of measuring the strain tensor at a depth of 30m caused by injection into a reservoir at 530m. The observed strain signals were interpreted using four independent analytic and numerical methods that resulted in estimates of the poroelastic properties and geometry of the reservoir that was consistent with data from well logs. However, studies like these are only possible if these deformations can be reliably measured. Years of lab and field work has culminated in the development of a novel borehole strainmeter capable of resolving multiple components of strain using embedded optical fibers configured as Michelson interferometers. It features four horizontal gauges separated by 45° to resolve the horizontal strain tensor as well as a vertical strain gauge and a sixth null component for state-of-health monitoring. The downhole sensing package also includes an open pipe through its center for grout circulation during single-trip deployments and a fully welded stainless steel exterior for robustness and longevity. These instruments have a resolution of 2x10-13 strain that can easily measure the solid earth tides. Preliminary data are available from four strainmeters in shale at our Oklahoma site and four in compacted sand and gravel in Utah. These are deployed from 40-60m, except one of the strainmeters in Oklahoma is deployed at 500m. The data include strains from the initial grout curing, comparisons to predicted earth tide models and in-situ calibration results, barometric pressure admittances and spectral analyses as well as signals from underground injections and surface waves from teleseismic events. Preliminary analyses indicate behavior consistent with other strainmeter deployments, and comparison to data from a Gladwin strainmeter at the Oklahoma site validate the performance of the new design. Analyses from a suite of six well tests at the Oklahoma site show for the first time how the strain tensor field varies with location during well testing.

DeWolf, Scott↗

Stereochemical Control of Water Transport Properties in Thiol‐yne Polymers

Barrier polymers underpin almost every commercial sector, yet the needs of several emerging areas remain unmet by commercially‐available materials, including temporary orthopedic implants, transient health monitors, neural implants, and other long‐term implants. The ability to tune polymer composition independently of polymer structure positions thiol‐yne click chemistry as a promising platform to serve these emerging technologies. Here, this work describes the differences in the hierarchical structure of stoichiometrically identical materials which differ only in the proportion of the cis versus trans backbone alkene stereochemistry. Varying the isomer content in this way directs different temperature and rate dependent crystallization behavior, which affords control over micron‐scale structure. This investigation focuses on how these stereochemical features affect the water vapor permeation process by several methods and develops an understanding of how this unique structural regularity improves barrier performance relative to a commercially available water barrier polymer, poly(ethylene terephthalate).

77 NANOSCIENCE AND NANOTECHNOLOGY↗

The NASA Open Science Data Repository: Biomedical Data, Analysis Tools, and Informatic Collaborations

Increased biomedical risks and challenges associated with deep space missions require knowledge discovery, health countermeasures, and biomedical support capabilities. Maximally open-access and reusable data is needed by developers, scientists, and engineers to develop these systems. The NASA Open Science Data Repository (OSDR) is a maximally open access and FAIR database (ie., findable, accessible, interoperable, and reusable), and meets various scientific, technical, and operational needs. It offers users and submitters the ability to upload, download, search, share, analyze, cite, and visualize data across ‘omics, physiological, phenotypic, payload, hardware, behavioral, bioimaging, video, and environmental monitoring telemetry datasets. OSDR is an expanded database, based upon the successes of NASA GeneLab. OSDR has >460 studies with datasets covering model organisms to non-NASA human astronauts. There are ~12 datasets from the Inspiration 4 (I4) mission, spanning metagenomics, comprehensive metabolic panels, clonal hematopoiesis, spatial transcriptomics, proteomics, and cytokine panels. In the interest of data privacy, two I4 datasets with raw files relating to the epitranscriptome, and a new request feature is live in OSDR (with a backend review process established) developed from industry norms. OSDR is collecting and curating biomedical human data from a new sub-orbital research flight and is open to more space life science/biomedical submissions from the international and commercial sectors. OSDR also recently began a collaboration with the European Space Agency (ESA) to collect and curate >200 terabytes of human and model organism data. The OSDR submission portal is designed to ingest and curate ~25 ‘omics and ~50 physiological-phenotypic-imaging assay data types. Tools available for OSDR users include: 1) an Environmental Data Application to compare radiation, CO2, relative humidity, temperature, and other telemetry across missions and subjects, 2) the RadLab database, a collaboration between NASA, ESA, the German and Italian Space Agencies, and the Bulgarian Academy of Sciences, and 3) a Multi-study visualization tool which enables users to look across and combine ‘omics datasets. There are ~600 volunteer OSDR Analysis Working Group (AWG) members providing feedback on scientific data/metadata standards and collaborating to mine-reuse OSDR in research. OSDR/GeneLab has enabled ~60 publications reusing data as of October 2023.

space biology↗

Structural dissection of ergosterol metabolism reveals a pathway optimized for membrane phase separation

Sterols are among the most abundant lipids in eukaryotic cells yet are synthesized through notoriously long metabolic pathways. It has been proposed that the molecular evolution of such pathways must have required each step to increase the capacity of its product to condense and order phospholipids. Here, we carry out a systematic analysis of the ergosterol pathway that leverages the yeast vacuole’s capacity to phase separate into ordered membrane domains. In the post-synthetic steps specific to ergosterol biosynthesis, we find that successive modifications act to oscillate ordering capacity, settling on a level that supports phase separation while retaining fluidity of the resulting domains. Simulations carried out with each intermediate showed how conformers in the sterol’s alkyl tail are capable of modulating long-range ordering of phospholipids, which could underlie changes in phase behavior. Our results indicate that the complexity of sterol metabolism could have resulted from the need to balance lipid interactions required for membrane organization.

Science & Technology - Other Topics↗

EV charging site day-ahead load prediction in a synthetic environment for RL based grid-informed charging

Ensuring grid health in the face of increasing demand for power is an emerging challenge especially due to transportation electrification. A free market approach to influencing electric vehicle (EV) load through grid-informed hourly dynamic pricing is introduced in this work. The setting of charging price is done by a reinforcement learning (RL) agent that learns the complicated dynamics by interacting with a synthetic environment. This synthetic environment is a combination of distribution feeder simulation, EV charger user behavior dynamics, and EV charging simulation. A key module in this synthetic environment involves obtaining the day-ahead charging profile of EV charging stations based on real-world past data. The day-ahead prediction is also useful in other traditional optimizations related to EV charge scheduling. The proposed approach involves using EV charging data from two different past time horizons – one to determine the shape of the daily profile and the other to determine a scaling value to capture actual energy consumption. Real-world charging data over many years from the ACN charging network has been used to demonstrate the ability to predict the day-ahead profile with only charge session data. Both Python and MATLAB have been used for data cleaning, processing, analysis, and prediction.

Suryanarayana, Harish↗

EpiCast: Simulating Epidemics with Extreme Detail

In early 2020, COVID-19 swept the globe. Governments attempted to “flatten the curve” through business shutdowns and stay-at-home orders, but the United States was hit hard. By the end of March, mere months after the virus first emerged in humans 7,000 miles away, the U.S. had recorded 192,300 cases and 5,300 deaths. While this unprecedented disaster sent shockwaves through every level of society and clouded an uncertain future, state and local governments turned to computational and mathematical epidemiology researchers to help formulate intervention strategies to limit the spread of the disease. Traditional forecasting models provided a reasonable understanding of how the near future was likely to look, but local policy makers and public health communities still struggled to understand how potential mitigations ought to be implemented. Decision makers needed a way to measure the impact of their policy choices—they needed better technology. EpiCast answered the call, bringing urgently needed answers to policymakers grappling with how to adjust school and business schedules. EpiCast is modeling software that generates a synthetic, representative population to simulate infectious disease transmission in the United States with extreme detail and granularity. The software models human behavior combined with community-specific information to provide a fine-grained preview of the effect of potential mitigation strategies for decision makers.

60 APPLIED LIFE SCIENCES↗

Maternal Behavior Under Different Gravitational Conditions

In 1995, ten pregnant female rats were launched on the Space Shuttle (STS-70) on Gestational day (G)11 of their 22-day pregnancy as part of the NASA/NIH.Rodent(R)2 Experiment. Following landing on G20, fetuses were harvested from half of the dams, while the remaining five dams underwent birth. Spaceflight did not interrupt pregnancy, alter litter sizes, or affect body weights or gender ratios of the fetuses or neonates. Analyses of rats exposed to Hypergravity (HG) at 2.0-g, HG 1.75-g, HG 1.5-g were also conducted. Dams were exposed to continuous centrifugation from G11 through G20, with brief daily stops for animal health checks and maintenance. For both the G20 and Birth dams, comparable litter sizes and litter gender ratios were observed across gravity conditions. However, centrifugation-exposed (HG and RC) fetuses and neonates showed significantly lower body masses (p<0.05) relative to SC offspring. HG 2.0-g offspring weighed significantly less than those in all other gravity conditions (p<0.05). Changes in the mothers' care of the young will be discussed.

Ronca, April E.↗

Ensuring planetary survival: the centrality of organic carbon in balancing the multifunctional nature of soils

Not only do soils provide 98.7% of the calories consumed by humans, they also provide numerous other functions upon which planetary survivability closely depends. However, our continuously increasing focus on soils for biomass provision (food, fiber, and energy) through intensive agriculture is rapidly degrading soils and diminishing their capacity to deliver other vital functions. These tradeoffs in soil functionality – the increased provision of one function at the expense of other critical planetary functions – are the focus of this review. Here, we examine how land-use change for biomass provision has decreased the ability of soils to regulate the carbon pool and thereby contribute profoundly to climate change, to cycle the nutrients that sustain plant growth and ecosystem health, to protect the soil biodiversity upon which many other functions depend, and to cycle the Earth’s freshwater supplies. We also examine how this decreasing ability of soil to provide these other functions can be halted and reversed. Despite the complexity and the interconnectedness of soil functions, we show that soil organic carbon plays a central role and is a master indicator for soil functioning and that we require a better understanding of the factors controlling the behavior and persistence of C in soils. Given the threats facing humanity and their economies, it is imperative that we recognize that Soil Security is itself an existential challenge and that we need to increase our focus on the multiple functions of soils for long-term human welfare and survivability of the planet.

Carboncarbon sequestration↗

Enhanced Design of Radiation Tolerant High-Temperature Structural Health Monitoring Sensors

Acoustic emission sensors are vital in the nuclear industry for real-time structural health monitoring and early detection of material degradation. By capturing high-frequency stress waves emitted from defects like cracks, corrosion, or fatigue, acoustic emission sensors enable non-invasive monitoring of critical components such as reactor vessels, piping, and containment structures. This technology supports predictive maintenance, enhances safety, and ensures regulatory compliance by providing early warnings of potential failures. It is also instrumental in research, particularly in material testing reactors, where it is used to monitor the behavior of fuels and materials under irradiation, by allowing the detection of cracking or other acoustic signals in real time. This enables the evaluation of performance and accident behavior of advanced fuel concepts.

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗

Accelerated Aging in Electrolytic Capacitors for Prognostics

The focus of this work is the analysis of different degradation phenomena based on thermal overstress and electrical overstress accelerated aging systems and the use of accelerated aging techniques for prognostics algorithm development. Results on thermal overstress and electrical overstress experiments are presented. In addition, preliminary results toward the development of physics-based degradation models are presented focusing on the electrolyte evaporation failure mechanism. An empirical degradation model based on percentage capacitance loss under electrical overstress is presented and used in: (i) a Bayesian-based implementation of model-based prognostics using a discrete Kalman filter for health state estimation, and (ii) a dynamic system representation of the degradation model for forecasting and remaining useful life (RUL) estimation. A leave-one-out validation methodology is used to assess the validity of the methodology under the small sample size constrain. The results observed on the RUL estimation are consistent through the validation tests comparing relative accuracy and prediction error. It has been observed that the inaccuracy of the model to represent the change in degradation behavior observed at the end of the test data is consistent throughout the validation tests, indicating the need of a more detailed degradation model or the use of an algorithm that could estimate model parameters on-line. Based on the observed degradation process under different stress intensity with rest periods, the need for more sophisticated degradation models is further supported. The current degradation model does not represent the capacitance recovery over rest periods following an accelerated aging stress period.

Celaya, Jose R.↗

A Multi Targeted Dietary Supplement as a Potential Countermeasure for Prolonged, Deep Space Exploration

Deep space exploration, particularly to the Moon and Mars, are currently major goals of NASA and other international space agencies. Long-term space flight presents unique challenges to the human physiology from microgravity, social isolation, altered circadian rhythm and radiation. Oxidative stress has been implicated as a crucial factor in space environment induced injury. Elucidating these detrimental effects on the central nervous system and brain is a primary objective, as they may result in adverse changes in astronaut behavior, mood and performance of critical tasks. We were recently funded by HRP Human Factors Behavioral Performance (HFBP) Element to test the hypothesis that Galactic Cosmic Ray Simulation (GCRsim) Ionizing Radiation (IR), microgravity and social isolation combine synergistically to trigger an oxidative stress response that alters immune homeostasis, brain structure and function, and neurobehavioral and cognitive performance. This project will identify potential biomarkers for, and mechanisms underlying, structural and functional changes in the immune and nervous systems leading to behavioral/cognitive performance deficits, and its potential application to develop effective countermeasures to mitigate negative health effects of long duration space habitation. Countermeasures to offset neurological damaged and cognitive deficits are paramount for protecting astronauts during deep space transits, but many countermeasures have been found to be unsuitable in ground-based model studies. We have developed a multi targeted dietary supplement (MTDS) designed to simultaneously ameliorate oxidative stress, inflammatory processes, energetic shortfalls, and membrane and mitochondrial deterioration. Administration of this MTDS has improved cognition and longevity in age accelerated and normal aging mice. Specifically, the MTDS was found to prevent a decline in mitochondrial complex III activity and cell loss, as well as prevent an increase in protein carbonyls and mitochondrial 3-nitrotyrosine in the brain of these mice. Further, administration of the MTDS was also found to reduce bone marrow chromosomal aberrations, DNA damage, lymphocyte apoptosis after whole body exposure of 2 Gy γ radiation. Mice exposed to a high dose cranially (10 Gy) had decreased cognitive responses (seen as increased latency time to uncover buried food and decreased novel object recognition), increased plasma 8-OHdG levels, increased markers of cell stress in the brain, decreased hippocampal brain-derived neurotrophic factor (BDNF) protein and decreased plasma levels of cytokines, all of which were ameliorated with treatment of the MTDS. As we have shown the supplement is protective in models of cognitive damage similar space environment stressors, particularly increased oxidative stress, we propose it may be a suitable countermeasure for upcoming deep space exploration.

radiation↗

A MULTI TARGETED DIETARY SUPPLEMENT AS A POTENTIAL COUNTERMEASURE FOR DEEP SPACE EXPLORATION

Future deep space exploration to the Moon and Mars and beyond are currently major goals of NASA. Space flight presents unique challenges to the human physiology from the combined effects of microgravity, social isolation, altered circadian rhythm and radiation. Oxidative stress has been implicated as a crucial factor in space environment induced injury. Elucidating these detrimental effects on the central nervous system and brain is a primary objective, as they may result in adverse changes in astronaut behavior, mood and performance of critical tasks. We were recently funded by HRP Human Factors Behavioral Performance (HFBP) Element to test the hypothesis that Galactic Cosmic Ray Simulation (GCRsim) Ionizing Radiation (IR), microgravity and social isolation combine synergistically to trigger an oxidative stress response that alters immune homeostasis, brain structure and function, and neurobehavioral and cognitive performance. This project will identify potential biomarkers for, and mechanisms underlying, structural and functional changes in the immune and nervous systems leading to behavioral/cognitive performance deficits, and its potential application to develop effective countermeasures to mitigate negative health effects of long duration space habitation. Countermeasures to offset neurological damaged and cognitive deficits are paramount for protecting astronauts during deep space transits, but many countermeasures have been found to be unsuitable in ground-based model studies. We have developed a multi targeted dietary supplement (MTDS) designed to simultaneously ameliorate oxidative stress, inflammatory processes, energetic shortfalls, and membrane and mitochondrial deterioration. Administration of this MTDS has improved cognition and longevity in age accelerated and normal aging mice. Specifically, the MTDS was found to prevent a decline in mitochondrial complex III activity and cell loss, as well as prevent an increase in protein carbonyls and mitochondrial 3-nitrotyrosine in the brain of these mice. Further, administration of the MTDS was also found to reduce bone marrow chromosomal aberrations, DNA damage, lymphocyte apoptosis after whole body exposure of 2 Gy γ radiation. Mice exposed to a high dose cranially (10 Gy) had decreased cognitive responses (seen as increased latency time to uncover buried food and decreased novel object recognition), increased plasma 8-OHdG levels, increased markers of cell stress in the brain, decreased hippocampal brain-derived neurotrophic factor (BDNF) protein and decreased plasma levels of cytokines, all of which were ameliorated with treatment of the MTDS. As we have shown the supplement is protective in models of cognitive damage similar space environment stressors, particularly increased oxidative stress, we propose it may be a suitable countermeasure for upcoming deep space exploration.

Stephanie Puukila↗

High throughput embryonic zebrafish test with automated dechorionation to evaluate nanomaterial toxicity

Engineered nanomaterials pose occupational health and environmental concerns as they possess unique physical and chemical properties that can contribute to toxicity. High throughput toxicity screening methods are needed to address the increasing number of nanomaterials in production. Here we used a zebrafish photomotor response (PMR) test to evaluate a set of fifteen nanomaterials with military relevance. Automated dechorionation of zebrafish embryos was used to enhance nanomaterials bioavailability. Optimal PMR activity in zebrafish embryos was found at 30–31 hours post-fertilization (hpf). Behavioral and toxicological responses were measured at 30 and 120 hpf; behavioral responses were found for thirteen of the fifteen nanomaterials and acute toxicity (LC50) levels for nine of the fifteen nanomaterials below the maximum test concentration of 500 μg/ml. Physico-chemical characterization of the nanomaterials detected endotoxin and bacterial contamination in two of the tested samples, which may have contributed to observed toxicity and reinforces the need for physical and chemical characterization of nanomaterials use in toxicity testing. The zebrafish PMR test, together with automated dechorionation, provides an initial rapid assessment of the behavioral effects and toxicity of engineered nanomaterials that can be followed up by physico-chemical characterization if toxicity is detected, reducing the amount of time and monetary constraints of physico-chemical testing.

59 BASIC BIOLOGICAL SCIENCES↗

Spatial learning and memory deficits induced by exposure to iron-56-particle radiation

It has previously been shown that exposing rats to particles of high energy and charge (HZE) disrupts the functioning of the dopaminergic system and behaviors mediated by this system, such as motor performance and an amphetamine-induced conditioned taste aversion; these adverse behavioral and neuronal effects are similar to those seen in aged animals. Because cognition declines with age, spatial learning and memory were assessed in the Morris water maze 1 month after whole-body irradiation with 1.5 Gy of 1 GeV/nucleon high-energy (56)Fe particles, to test the cognitive behavioral consequences of radiation exposure. Irradiated rats demonstrated cognitive impairment compared to the control group as seen in their increased latencies to find the hidden platform, particularly on the reversal day when the platform was moved to the opposite quadrant. Also, the irradiated group used nonspatial strategies during the probe trials (swim with no platform), i.e. less time spent in the platform quadrant, fewer crossings of and less time spent in the previous platform location, and longer latencies to the previous platform location. These findings are similar to those seen in aged rats, suggesting that an increased release of reactive oxygen species may be responsible for the induction of radiation- and age-related cognitive deficits. If these decrements in behavior also occur in humans, they may impair the ability of astronauts to perform critical tasks during long-term space travel beyond the magnetosphere.

NASA Program Biomedical Research and Countermeasur↗

Temperature dependence of nickel ion release from nitinol medical devices

Abstract Nitinol exhibits unique (thermo)mechanical properties that make it central to the design of many medical devices. However, nitinol nominally contains 50 atomic percent nickel, which if released in sufficient quantities, can lead to adverse health effects. While nickel release from nitinol devices is typically characterized using in vitro immersion tests, these evaluations require lengthy time periods. We have explored elevated temperature as a potential method to expedite this testing. Nickel release was characterized in nitinol materials with surface oxide thickness ranging from 12 to 1564 nm at four different temperatures from 310 to 360 K. We found that for three of the materials with relatively thin oxide layers, ≤ 87 nm nickel release exhibited Arrhenius behavior over the entire temperature range with activation energies of 80 to 85 kJ/mol. Conversely, the fourth ''black–oxide'' material, with a much thicker, complex oxide layer, was not well characterized by an Arrhenius relationship. Power law release profiles were observed in all four materials; however, the exponent from the thin oxide materials was approximately 1/4 compared with 3/4 for the black–oxide material. To illustrate the potential benefit of using elevated temperature to abbreviate nickel release testing, we demonstrated that a > 50 day 310 K release profile could be accurately recovered by testing for less than 1 week at 340 K. However, because the materials explored in this study were limited, additional testing and mechanistic insight are needed to establish a protective temperature scaling that can be applied to all nitinol medical device components.

Saylor, David M.↗

Requirements Document for a Replacement Data Acquisition System

A flight vehicle is in the developmental stages. While in development flight testing is required by both the manufacturer and customer to rate design performance. The performance of the vehicle must fulfill the agreed upon requirements. Testing of a flight vehicle during operation requires various sensors in order to record and monitor performance for evaluation. A Data Acquisition System (DAQ) is needed in order to control and capture data from various sensors placed throughout the vehicle during flight. This DAQ will receive the analog data from the suite of sensors and convert them to a digital signal that can be transmitted to a recording station where the data will later be analyzed by test experts. Some of the key features to be included in the DAQ will be a self-check operation to verify the health of all sensors including the DAQ. The DAQ will also have the capability to store sensor calibration data files loaded during assembly and transmit those files to the recording station during flight. Breakthroughs in new technologies has allowed for higher resolution recording systems and faster sampling rates. Improved sensor data using a new Data Acquisition System (DAQ) can provide important answers to questions discovered during the last few flight tests. These questions arose when the flight system expressed unexpected behaviors. Having the capability of the new DAQ in flight tests would allow for more high-fidelity data to be captured from the system during flight tests and ultimately reducing the number of required flight test. Reducing the number of flight tests also reduce developmental cost and schedule.

42 ENGINEERING↗

The Livingstone Model of a Main Propulsion System

Livingstone is a discrete, propositional logic-based inference engine that has been used for diagnosis of physical systems. We present a component-based model of a Main Propulsion System (MPS) and say how it is used with Livingstone (L2) in order to implement a diagnostic system for integrated vehicle health management (IVHM) for the Propulsion IVHM Technology Experiment (PITEX). We start by discussing the process of conceptualizing such a model. We describe graphical tools that facilitated the generation of the model. The model is composed of components (which map onto physical components), connections between components and constraints. A component is specified by variables, with a set of discrete, qualitative values for each variable in its local nominal and failure modes. For each mode, the model specifies the component's behavior and transitions. We describe the MPS components' nominal and fault modes and associated Livingstone variables and data structures. Given this model, and observed external commands and observations from the system, Livingstone tracks the state of the MPS over discrete time-steps by choosing trajectories that are consistent with observations. We briefly discuss how the compiled model fits into the overall PITEX architecture. Finally we summarize our modeling experience, discuss advantages and disadvantages of our approach, and suggest enhancements to the modeling process.

Bajwa, Anupa↗