SEARCH · Engineering Papers

Results for “Software Safety”

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.

SourceResearch connectionFrom yearThrough year

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

At least 1,243 records · Page 69

All sources NASA NTRS DOE OSTI

NASA NTRS1988

Programmable control means for providing safe and controlled medication infusion

An implantable programmable infusion pump (IPIP) is disclosed and generally includes: a fluid reservoir filled with selected medication; a pump for causing a precise volumetric dosage of medication to be withdrawn from the reservoir and delivered to the appropriate site within the body; and, a control means for actuating the pump in a safe and programmable manner. The control means includes a microprocessor, a permanent memory containing a series of fixed software instructions, and a memory for storing prescription schedules, dosage limits and other data. The microprocessor actuates the pump in accordance with programmable prescription parameters and dosage limits stored in the memory. A communication link allows the control means to be remotely programmed. The control means incorporates a running integral dosage limit and other safety features which prevent an inadvertent or intentional medication overdose. The control means also monitors the pump and fluid handling system and provides an alert if any improper or potentially unsafe operation is detected.

Fischell, Robert E.↗

NASA NTRS2017

Development of a High-Fidelity Simulation Environment for Shadow-Mode Assessments of Air Traffic Concepts

This paper describes the Shadow-Mode Assessment Using Realistic Technologies for the National Airspace System (SMART-NAS) Test Bed. The SMART-NAS Test Bed is an air traffic simulation platform being developed by the National Aeronautics and Space Administration (NASA). The SMART-NAS Test Bed's core purpose is to conduct high-fidelity, real-time, human-in-the-loop and automation-in-the-loop simulations of current and proposed future air traffic concepts for the United States' Next Generation Air Transportation System called NextGen. The setup, configuration, coordination, and execution of realtime, human-in-the-loop air traffic management simulations are complex, tedious, time intensive, and expensive. The SMART-NAS Test Bed framework is an alternative to the current approach and will provide services throughout the simulation workflow pipeline to help alleviate these shortcomings. The principle concepts to be simulated include advanced gate-to-gate, trajectory-based operations, widespread integration of novel aircraft such as unmanned vehicles, and real-time safety assurance technologies to enable autonomous operations. To make this possible, SNTB will utilize Web-based technologies, cloud resources, and real-time, scalable, communication middleware. This paper describes the SMART-NAS Test Bed's vision, purpose, its concept of use, and the potential benefits, key capabilities, high-level requirements, architecture, software design, and usage.

human-in-the-loop↗

NASA NTRS2002

Runway Safety Monitor Algorithm for Runway Incursion Detection and Alerting

The Runway Safety Monitor (RSM) is an algorithm for runway incursion detection and alerting that was developed in support of NASA's Runway Incursion Prevention System (RIPS) research conducted under the NASA Aviation Safety Program's Synthetic Vision System element. The RSM algorithm provides pilots with enhanced situational awareness and warnings of runway incursions in sufficient time to take evasive action and avoid accidents during landings, takeoffs, or taxiing on the runway. The RSM currently runs as a component of the NASA Integrated Display System, an experimental avionics software system for terminal area and surface operations. However, the RSM algorithm can be implemented as a separate program to run on any aircraft with traffic data link capability. The report documents the RSM software and describes in detail how RSM performs runway incursion detection and alerting functions for NASA RIPS. The report also describes the RIPS flight tests conducted at the Dallas-Ft Worth International Airport (DFW) during September and October of 2000, and the RSM performance results and lessons learned from those flight tests.

Green, David F., Jr.↗

NASA NTRS2012

An Autonomous Autopilot Control System Design for Small-Scale UAVs

This paper describes the design and implementation of a fully autonomous and programmable autopilot system for small scale autonomous unmanned aerial vehicle (UAV) aircraft. This system was implemented in Reflection and has flown on the Exploration Aerial Vehicle (EAV) platform at NASA Ames Research Center, currently only as a safety backup for an experimental autopilot. The EAV and ground station are built on a component-based architecture called the Reflection Architecture. The Reflection Architecture is a prototype for a real-time embedded plug-and-play avionics system architecture which provides a transport layer for real-time communications between hardware and software components, allowing each component to focus solely on its implementation. The autopilot module described here, although developed in Reflection, contains no design elements dependent on this architecture.

Ippolito, Corey↗

NASA NTRS2017

Trajectory Specification for Terminal Air Traffic: Pairwise Conflict Detection and Resolution

Trajectory specification is the explicit bounding and control of aircraft trajectories such that the position at each point in time is constrained to a precisely defined volume of space. The bounding space is defined by cross-track, along-track, and vertical tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and will be based on the aircraft navigation capabilities and the current traffic situation. A standard language will be developed to represent these specifications and to communicate them by datalink. Assuming conformance, trajectory specification can guarantee safe separation for an arbitrary period of time even in the event of an air traffic control (ATC) system or datalink failure, hence it can help to achieve the high level of safety and reliability needed for ATC automation. As a more proactive form of ATC, it can also maximize airspace capacity and reduce the reliance on tactical backup systems during normal operation. It applies to both enroute airspace and the terminal area around airports, but this paper focuses on the terminal area and presents algorithms and software for spacing arrivals and deconflicting both arrivals and departures.

air traffic control↗

DOE OSTI2014

PRELIMINARY ENVIRONMENTAL, HEALTH AND SAFETY RISK ASSESSMENT ON THE INTEGRATION OF A PROCESS UTILIZING LOW-ENERGY SOLVENTS FOR CARBON DIOXIDE CAPTURE ENABLED BY A COMBINATION OF ENZYMES AND VACUUM REGENERATION WITH A SUBCRITICAL PC POWER PLANT

The results of the preliminary environmental, health and safety (EH&S) risk assessment for an enzyme-activated potassium carbonate (K2CO3) solution post-combustion CO2 capture (PCC) plant, integrated with a subcritical pulverized coal (PC) power plant, are presented. The expected emissions during normal steady-state operation have been estimated utilizing models of the PCC plant developed in AspenTech’s AspenPlus® software, bench scale test results from the University of Kentucky, and industrial experience of emission results from a slipstream PCC plant utilizing amine based solvents. A review of all potential emission species and their sources was undertaken that identified two credible emission sources, the absorber off-gas that is vented to atmosphere via a stack and the waste removed from the PCC plant in the centrifuge used to reclaim enzyme and solvent. The conditions and compositions of the emissions were calculated and the potential EH&S effects were considered as well as legislative compliance requirements. Potential mitigation methods for emissions during normal operation have been proposed and solutions to mitigate uncontrolled releases of species have been considered. The potential emissions were found to pose no significant EH&S concerns and were compliant with the Federal legislation reviewed. The limitations in predicting full scale plant performance from bench scale tests have been noted and further work on a larger scale test unit is recommended to reduce the level of uncertainty.

Fitzgerald, David↗

DOE OSTI2014

Safety assessment of historical masonry churches based on pre-assigned kinematic limit analysis, FE limit and pushover analyses

This study presents some results of a comprehensive numerical analysis on three masonry churches damaged by the recent Emilia-Romagna (Italy) seismic events occurred in May 2012. The numerical study comprises: (a) pushover analyses conducted with a commercial code, standard nonlinear material models and two different horizontal load distributions; (b) FE kinematic limit analyses performed using a non-commercial software based on a preliminary homogenization of the masonry materials and a subsequent limit analysis with triangular elements and interfaces; (c) kinematic limit analyses conducted in agreement with the Italian code and based on the a-priori assumption of preassigned failure mechanisms, where the masonry material is considered unable to withstand tensile stresses. All models are capable of giving information on the active failure mechanism and the base shear at failure, which, if properly made non-dimensional with the weight of the structure, gives also an indication of the horizontal peak ground acceleration causing the collapse of the church. The results obtained from all three models indicate that the collapse is usually due to the activation of partial mechanisms (apse, façade, lateral walls, etc.). Moreover the horizontal peak ground acceleration associated to the collapse is largely lower than that required in that seismic zone by the Italian code for ordinary buildings. These outcomes highlight that structural upgrading interventions would be extremely beneficial for the considerable reduction of the seismic vulnerability of such kind of historical structures.

42 ENGINEERING↗

DOE OSTI2013

BioWatch SMS Supervisor Guide

The BioWatch Sample Management System is software developed by Los Alamos National Laboratory to support the Department of Homeland Security BioWatch program. Field Operations Supervisors use the software to record, track, and manage data for the BioWatch sample collection process. This includes installing the software, creating and updating databases, assigning user IDs and passwords, editing and customizing reports, correcting data errors, recovering lost data, and troubleshooting. The BioWatch SMS Field Operations Supervisor Guide provides procedures for each task a Field Operations Supervisor performs. The reference information in this guide includes appendices of error messages and solutions, terms used interchangeably, and safety warnings along with a glossary, an index, and a list of suggested reference documents.

99 GENERAL AND MISCELLANEOUS↗

DOE OSTI2020

Involute Working Group – Validation of CFD Turbulence Models for Steady-State Safety Analysis

There are three research reactors in the world having fuel plates curved as circle-involute (a spiral generated around a circle): The Oak Ridge National Laboratory (ORNL) High Flux Isotope Reactor (HFIR) located in Tennessee, U.S.A. [ORNL, 2018]; The Laue-Langevin Institute (ILL) High Flux Reactor (RHF) located in Grenoble, France [ILL, 2018]; and, The Technical University of Munich (TUM) Research Neutron Source Heinz Maier-Leibnitz (FRM II) located in Garching, Germany [TUM, 2018]. All three reactors are currently using Highly Enriched Uranium (HEU, 235U/U ≥ 20 wt. %) as fuel and all three are actively engaged in activities to convert to Low Enriched Uranium (LEU, 235U/U < 20 wt. %) fuel. More information on these reactors can be found in Section two. For various reasons, these reactors have expressed interest in using Computational Fluid Dynamics (CFD) tools to perform their Steady-State Thermal-Hydraulic (SSTH) safety calculations. Using CFD tools for SSTH analysis represents generally a significant departure from traditional methods and requires thorough verification and validation (V&V) to be accepted by regulators. This is why Argonne National Laboratory (ANL) and the involute reactors formed an informal group to help each other in this endeavor. This so-called Involute Working Group (IWG) aims at supporting the qualification of CFD tools for SSTH safety calculations. Activities include benchmarking, code-to-code comparison, Verification and Validation (V&V) as well as technical support. More information on the IWG and the reasons why involute-plate reactors are interested in CFD can be found in Section three. The present study aims at testing three turbulence models commonly implemented in commercial software (namely K-Epsilon, K-Omega and Reynolds-Stress) and assessing their relevance for involute-plate reactor application. An experiment performed by Gambill and Bundy in 1961 was performed to measure heat transfer coefficients in conditions prototypic of the HFIR reactor [Gambill, 1961]. More details on this experiment are provided in Section four. Based on the information available, CFD models of this experiment have been created and the experimental results have been compared to the ones obtained with these CFD models. CFD models and the results of this comparison are provided in Section five.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

NASA NTRS2004

Imaging Beyond What Man Can See

Three lightweight, portable hyperspectral sensor systems have been built that capture energy from 200 to 1700 nanometers (ultravio1et to shortwave infrared). The sensors incorporate a line scanning technique that requires no relative movement between the target and the sensor. This unique capability, combined with portability, opens up new uses of hyperspectral imaging for laboratory and field environments. Each system has a GUI-based software package that allows the user to communicate with the imaging device for setting spatial resolution, spectral bands and other parameters. NASA's Space Partnership Development has sponsored these innovative developments and their application to human problems on Earth and in space. Hyperspectral datasets have been captured and analyzed in numerous areas including precision agriculture, food safety, biomedical imaging, and forensics. Discussion on research results will include realtime detection of food contaminants, molds and toxin research on corn, identifying counterfeit documents, non-invasive wound monitoring and aircraft applications. Future research will include development of a thermal infrared hyperspectral sensor that will support natural resource applications on Earth and thermal analyses during long duration space flight. This paper incorporates a variety of disciplines and imaging technologies that have been linked together to allow the expansion of remote sensing across both traditional and non-traditional boundaries.

May, George↗

NASA NTRSDate not supplied

Next Generation Exercise Device (NGED): Advancing Exercise Capabilities for Future Space Missions Through Biomechanical Modeling

BACKGROUND As space exploration extends to long-duration missions on the Moon and Mars, maintaining astronaut health and fitness becomes increasingly critical. The Next Generation Exercise Device (NGED), developed and tested by the HumanWorks Lab in NASA Johnson Space Center's (JSC) Software, Robotics, and Simulation Division, aims to address this challenge through innovative approaches. This study presents the development and evaluation of an NGED system, focusing on its adaptability to various mission scenarios, including prospective use in a Lunar Pressurized Rover (LPR). Central to this project is the application of biomechanical modeling to optimize exercise efficacy and safety in microgravity and partial gravity environments. The project is a collaborative effort with the Human Health and Performance group at Johnson Space Center, ensuring a comprehensive approach to astronaut well-being that integrates biomechanical principles with practical exercise solutions. The NGED represents the next generation of exercise capabilities for missions in space, on the Moon and Mars, with a specific focus on applications such as the LPR. METHODS AND RESULTS Data collection for NGED development was conducted with two motor-driven Beyond Power Voltra I [1] systems and a custom test structure to allow placement of the cable-based devices on the ground, at shoulder height, and overhead. The collection was performed in JSC’s Prototype Immersive Technology (PIT) Lab, utilizing an OptiTrack motion capture system and AMTI force platform, to enable detailed biomechanical analysis via OpenSim [2,3]. Motion capture data were collected for three subjects representing different body types and statures. The marker set used was an enhanced version of the full-body Plug-in Gait marker set [4], with additional markers strategically placed for the primary objective of informing exercise volume requirements. Subjects performed a series of 17 exercises, carefully selected to engage various muscle groups, including novel spaceflight exercises such as skiing (ergometer style), lateral pulldowns, wood chops, triceps extensions, and flies, with load variations ranging from 10 to 90 pounds to maintain kinematic form. This comprehensive approach allowed for a thorough evaluation of the NGED's performance across a wide range of motions and loads. The biomechanical modeling and analysis were conducted using a modified OpenSim Full Body Rajagopal Model [4,5] and also scaled to the maximum and minimum anthropometry provided in NASA-STD-3001 [6]. Volumetric convex hulls were generated based on model marker trajectories and aggregated into geometric assemblies. These can be placed in models of vehicle designs to assess fit to protect for exercise as well as to adapt NGED exercise to fit available space. Preliminary findings from the collection indicate that the NGED prototype demonstrates significant adaptability across varying user anthropometrics and exercise types. The device showed consistent performance in load-bearing exercises, with subjects able to perform exercises effectively while maintaining proper biomechanical form. CONCLUSION NGED represents a forward-looking advancement in exercise capabilities for future space missions. In the future, this system can be used to capture valuable metrics (e.g., isometric mid-thigh pull for force output measurements, assessments of postural muscle strength, overall isometric strength). Its versatility in accommodating various exercises and user physiques, coupled with the ability to provide targeted biomechanical loading, makes it a promising approach for maintaining astronaut health during long-duration missions to the Moon and Mars. Future work will focus on refining the NGED based on initial biomechanical findings, leveraging the detailed insights provided by motion capture and analysis techniques. Particular emphasis will be placed on optimizing its use within the confined spaces of a LPR and other space habitats. This work contributes significantly to NASA's goals of supporting human health and performance in deep space exploration, paving the way for sustainable long-term presence beyond Low Earth Orbit through advanced, biomechanically-informed exercise solutions.

C Wang↗

DOE OSTI2016

MO-FG-CAMPUS-IeP3-01: Evaluation of Specific Absorption Rate and Temperature Increase Induced by Artificial Medical Implants During MRI Scan

Purpose: Heating of patients or burning of biological tissues around medical implants by RF power during MRI scan is a significant patient safety concern. The purpose of this study is to not only measure SAR values, but also RF-induced temperature elevation due to artificial hip joints during MRI scans. Methods: SAR measurement experiment was performed on three discrete manufacturers at 1.5 and 3T. Three MRI RF sequences (T1w TSE, T2w inversion recovery, and T2w TSE) with imaging parameters were selected. A gelled saline phantom mimicking human body tissue was made (Fig.1). FDTD method was utilized to calculate the SAR distribution using Sim4Life software. Based on the results of the simulation, 4 electrical field (E-field) sensors were located around two artificial hip joints inside the phantom. 56 Fiber Bragg Grating (FBG) temperature sensors (28 sensors on each artificial hip joint) were located on both left and right artificial hip joints to measure temperature change during MRI scan (Fig.1). Both E-field and FBG temperature sensors were calibrated with traceability at Korea Research Institute of Standards and Science (KRISS). Results: Simulation shows that high SAR values occur in the head and tail of the implanted artificial hip joints (Fig.1 lower right). 3T MRI scanner shows that the local averaged-SAR values measured by probe 1, 2, and 3 are 2.30, 2.77, and 1.68 W/kg, compared to MRI scanner-reported whole body SAR value (≤1.5 W/kg) for T1w TSE and T2w-IR (Table 1). The maximum temperature elevation measured by FBG sensors is 1.49°C at 1.5 T, 2.0°C at 3 T, and 2.56°C at 3 T for T1w TSE, respectively (Table 2). Conclusion: It is essential to assess the safety of MRI system for patient with medical implant by measuring not only accurate SAR deposited in the body, but also temperature elevation due to the deposited SAR during clinical MRI.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2019

Transportation of Radioactive Waste in Support of Ontario Power Generation's Darlington Nuclear Generating Station Refurbishment Project - 19384

Ontario Power Generation's (OPG) Darlington Nuclear Generating Station (DNGS) is currently executing a major refurbishment of the first of their four Candu reactors. As expected, the volumes of Low and Intermediate Level Waste (LILW) generated from this large-scale project have been significant. As a result, unique solutions were needed for the safe and efficient transportation of radioactive waste from the Darlington Nuclear Generating Station to OPG's Western Waste Management Facility for volume reduction and interim storage. OPG's Nuclear Waste Management Division and the Darlington Refurbishment Project worked together to identify unique radioactive waste transportation solutions. These solutions included staging and temporary storage facilities, new waste containers and specialized transportation packages, additional human resources and enhanced planning and logistics required to transport large volumes of routine and non-routine radioactive waste in a manner that minimized the impact on employee and public safety, project schedule and project costs. From a facilities perspective a shielded 'Marshalling Area' that allowed for loaded transportation packages to be staged was built on the Darlington site and a temporary licensed off-site radioactive waste storage facility close to the DNGS was contracted through a third party vendor. These two facilities allowed for more consistent and efficient schedules that limited radioactive waste shipments during off-hours and avoided peak traffic periods thereby limiting the risk to Refurbishment critical path activities. Special purpose-built transportation packages and waste containers were designed and fabricated to handle unique waste streams such as feeder pipes and other miscellaneous intermediate level waste items associated with reactor dismantling. Twenty-four Type A qualified transportation packages mounted to six flat deck trailers were designed and fabricated to support the shipment of contaminated feeder pipes. An Intermediate Level Waste Utility Container (ILWUC) to be used in conjunction with the Type B qualified Trillium Transportation Package was designed and fabricated to handle unique intermediate level waste streams arising from the reactor dismantling process. Logistics software was used to plan the shipments to ensure waste transportation packages could be loaded, transported, unloaded and returned safely to the project site in a timely manner without impacting project schedules. Several shipping scenarios were simulated and adjusted using the software to ensure that the most efficient use of equipment and resources for the radioactive waste transportation aspects of the project. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2019

SAM User's Guide

The System Analysis Module (SAM) is a modern system analysis tool being developed at Argonne National Laboratory for advanced non-LWR safety analysis. It aims to provide fast-running, whole-plant transient analyses capability with improved-fidelity for Sodium-cooled Fast Reactors (SFR), Lead-cooled Fast Reactors (LFR), and Molten Salt Reactors (MSR) or Fluoride-cooled High-temperature Reactors (FHR). SAM takes advantage of advances in physical modeling, numerical methods, and software engineering to enhance its user experience and usability. It utilizes an object-oriented application framework (MOOSE), and its underlying meshing and finite-element library (libMesh) and linear and non-linear solvers (PETSc), to leverage the modern advanced software environments and numerical methods. This document provides a user’s guide, which will help users understand the input description and core capabilities of the SAM code. A brief overview of the code is presented, as well as how to obtain and run it. The input syntax for various parts of the code is provided. Additionally, a number of example problems, starting with simple unit component problems to problems with increasing complexity, are provided. Because the code is still under active development, this SAM User’s Guide will evolve with periodic updates.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

DOE OSTI2021

SAM User’s Guide

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2025

SAM User's Guide

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS2011

Symbolically Modeling Concurrent MCAPI Executions

Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.

Fischer, Topher↗

NASA NTRSDate not supplied

TC3 Overview

This presentation gives an overview of the technology, methods and processes developed during the TC3 Technical Challenge of the System-Wide Safety (SWS) project. The presentation goes over the motivation for doing this research, gives an overview of the tool, methods and process developed under this program, and describes case studies and impact in industry.

Software assurance↗