Search NASA⌕ Search

SEARCH · Search NASA

Results for “safety properties”

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 109 records · Page 6

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

The authors explore issues in the specification, verification, and validation of artificial intelligence (AI) based software, using a prototype fault detection, isolation and recovery (FDIR) system for the Manned Maneuvering Unit (MMU). They use this system as a vehicle for exploring issues in the semantics of C-Language Integrated Production System (CLIPS)-style rule-based languages, the verification of properties relating to safety and reliability, and the static and dynamic analysis of knowledge based systems. This analysis reveals errors and shortcomings in the MMU FDIR system and raises a number of issues concerning software engineering in CLIPs. The authors came to realize that the MMU FDIR system does not conform to conventional definitions of AI software, despite the fact that it was intended and indeed presented as an AI system. The authors discuss this apparent disparity and related questions such as the role of AI techniques in space and aircraft operations and the suitability of CLIPS for critical applications.

Rushby, John↗

Flame resistant fibrous structures development

The purpose of the current program was (1) to investigate potentially useful new polymers, both for fire safety and mechanical properties, (2) to produce fibers from these polymers if necessary, and (3) to produce sufficient quantities of qualified fibrous structures, composites, or laminates for use in various areas of the Space Shuttle and Space Station Programs. During the past six years, development efforts have been expended in several major areas in support of Space Shuttle missions and Space Station Freedom projects. The summarized results of several of these major efforts are included in this report.

Coskren, Robert J.↗

Environmentally compatible solid rocket propellants

Hercules' clean propellant development research is exploring three major types of clean propellant: (1) chloride-free formulations (no chlorine containing ingredients), being developed on the Clean Propellant Development and Demonstration (CPDD) contract sponsored by Phillips Laboratory, Edwards Air Force Base, CA; (2) low HCl scavenged formulations (HCl-scavenger added to propellant oxidized with ammonium perchlorate (AP)); and (3) low HCl formulations oxidized with a combination of AN and AP (with or without an HCl scavenger) to provide a significant reduction (relative to current solid rocket boosters) in exhaust HCl. These propellants provide performance approaching that of current systems, with less than 2 percent HCl in the exhaust, a significant reduction (greater than or equal to 70 percent) in exhaust HCl levels. Excellent processing, safety, and mechanical properties were achieved using only readily available, low cost ingredients. Two formulations, a sodium nitrate (NaNO3) scavenged HTPB and a chloride-free hydroxy terminated polyether (HTPE) propellant, were characterized for ballistic, mechanical, and rheological properties. In addition, the hazards properties were demonstrated to provide two families of class 1.3, 'zero-card' propellants. Further characterization is planned which includes demonstration of ballistic tailorability in subscale (one to 70 pound) motors over the range of burn rates required for retrofit into current Hercules space booster designs (Titan 4 SRMU and Delta 2 GEM).

Jacox, James L.↗

System Level Uncertainty Assessment for Collaborative RLV Design

A collaborative design process utilizing Probabilistic Data Assessment (PDA) is showcased. Given the limitation of financial resources by both the government and industry, strategic decision makers need more than just traditional point designs, they need to be aware of the likelihood of these future designs to meet their objectives. This uncertainty, an ever-present character in the design process, can be embraced through a probabilistic design environment. A conceptual design process is presented that encapsulates the major engineering disciplines for a Third Generation Reusable Launch Vehicle (RLV). Toolsets consist of aerospace industry standard tools in disciplines such as trajectory, propulsion, mass properties, cost, operations, safety, and economics. Variations of the design process are presented that use different fidelities of tools. The disciplinary engineering models are used in a collaborative engineering framework utilizing Phoenix Integration's ModelCenter and AnalysisServer environment. These tools allow the designer to join disparate models and simulations together in a unified environment wherein each discipline can interact with any other discipline. The design process also uses probabilistic methods to generate the system level output metrics of interest for a RLV conceptual design. The specific system being examined is the Advanced Concept Rocket Engine 92 (ACRE-92) RLV. Previous experience and knowledge (in terms of input uncertainty distributions from experts and modeling and simulation codes) can be coupled with Monte Carlo processes to best predict the chances of program success.

Charania, A. C.↗

Exploring the Solid Rocket Boosters and Properties of Matter

I worked for the United Space Alliance, LLC (USA) with the Solid Rocket Booster (SRB) Materials and Process engineers (M&P). I was assigned a project in which I needed to research and collect chemical and physical properties information, material safety data sheets (MSDS), and other product information from the vendor's websites and existing "inhouse" files for a select group of materials used in building and refurbishing the SRBs. This information was then compiled in a report that summarized the information collected. My work site was at the Kennedy Space Center (KSC). This allowed for many opportunities to visit and tour sites operated by NASA, by USA, and by the Air Force. This included the vehicle assembly building (VAB), orbital processing facilities (OPF), the crawler with the mobile launch pad (MLP), and the SRB assembly and refurbishment facility (ARF), to name a few. In addition, the launch, of STS- 117 took place within the first week of employment allowing a day by day following of that mission including post flight operations for the SRBs. Two Delta II rockets were also launched during these 7 weeks. The sights were incredible and the operations witnessed were amazing. I learned so many things I never knew about the entire program and the shuttle itself. The entire experience, especially my work with the SRB materials, inspired my plan for implementation into the classroom.

Moffett, Amy↗

Strategies to Maximize Science Data Availability for the GOES-R Series of Satellites

The Geostationary Operational Environmental Satellite-R Series (GOES-R) is the next generation of Untied States geostationary weather satellites. The GOES-R series significantly improves the detection and observation of environmental phenomena that directly affect public safety, protection of property and the economic health and prosperity of the United States and all countries within the western hemisphere. Given the real-time or ''now-casting'' nature of the GOES science gathering mission, any data outage or interruption can reduce warning times or scientific fidelity for critical weather data. GOES-R mission level requirements limit key performance product outages to a total of six hours per year to maximize science data availability. Lower level requirement only allow for 120 minutes of disruption between the spacecraft bus interface to the instruments. This requirement is met using both design features of the satellite and ground system, in addition to operational strategies.

Dudley, Renee↗

Application of Objectives-Driven Assurance Cases to System Development in an Evolving Acquisition Model

System properties such as “safety” and “dependability” cannot, in practice, be proven, and must be argued in an “assurance case” aimed at supporting risk-acceptance decisions that have to be made by system acquirers and/or regulatory authorities. The paper is concerned with applications of the “assurance case” idea early in design and development of new systems, when (apart from dedicated testing) the only available operating experience information derives from previous (non-identical) systems. Much of the discussion is based on an evolving acquisition model at the US National Aeronautics and Space Administration; previously, most major systems were developed in-house, but some major systems will now be developed by and acquired from commercial providers. Key points discussed include the following. (1) By promoting a particular kind of focused discussion between acquirers and providers, the use of assurance cases should be particularly valuable under the new acquisition model. (2) In principle, objectives-driven (sometimes called “performance-based”) approaches to assurance of performance have significant advantages in cases where they are applicable. (3) For truly novel systems, completeness of the safety analysis is a significant issue; it is important for the assurance case to include a commitment by the provider (or applicant) to seriously pursue analysis of operating experience, so that previously unrecognized hazards can be identified and addressed. (4) Inquiries into major accidents often point to deficiencies in management oversight in all parts of the life cycle; management processes need to be addressed in the formulation and the implementation of an assurance case. Under the new acquisition model, these considerations imply a serious reconsideration of the way in which the development process is managed by both providers and acquirers.

Objectives-driven↗

A Safety-Driven Approach to Exploring and Comparing Air Traffic Management Concepts for Enabling Urban Air Mobility

There is broad recognition that the high tempo and density of Urban Air Mobility (UAM) operations will require identifying new Air Traffic Management (ATM) concepts to safely integrate UAM air traffic into the airspace alongside existing air traffic. However, the simulation models used to compare ATM concepts today are difficult to apply during the early stages of concept development and do not offer enough support in identifying potential new concepts. In addition, they have limited ability to evaluate ATM concepts in terms of safety, security, and other key emergent properties. Instead of using simulation to evaluate ATM concepts, this paper demonstrates how a safety-driven systems engineering approach based on Systems-Theoretic Accident Model and Processes (STAMP) can be used to design properties such as safety into an ATM system from the earliest stages of development. Using a hazard analysis technique called Systems-Theoretic Process Analysis (STPA), system requirements and the desired ATM behavior are derived. As an example, two possible ATM concepts to implement that behavior are compared to identify their safety-related benefits and tradeoffs. This new approach enables (1) systematic exploration of alternative ATM concepts and (2) identification of the safety-related tradeoffs between concepts as early as possible in the development process.

system safety↗

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗

Guns and High Gas Output Devices Panel: Introduction

A new panel known as the Guns and High Gas Output Panel was organized in 1999 under the auspices of the JANNAF Propellant and Characterization SubCommittee (PDCS). This is an introduction to our first meeting, purpose of the panel, and the scope of activities to be covered. The primary purpose of the panel is very simple: to provide a single focal point for interfacing Government Laboratories (Department of Defense and Department of Energy) and commercial industry researchers to share R&D activities and findings (i.e. facilitate the exchange of information) specifically aimed at gun-launched propulsion and high-gas output devices (gas generators and air bag inflators). Specific areas of interest included in the Panel's scope (and the Technical Data Base) are the following: (1) new propellant formulations and chemistry, (2) new ingredients, (3) ballistic effects of the new formulations and ingredients, (4) new processing methods unique to gun propellants, (5) thermochemistry of new ingredients, (6) unique physical and mechanical properties, (7) burning rates of new propellants and small scale closed bomb testing, (8) plasma effects on the propellant, and (9) unique safety and insensitive munitions properties.

Simmons, Ronald L.↗

A Review of State-of-the-Art Separator Materials for Advanced Lithium-Based Batteries for Future Aerospace Missions

As NASA embarks on a renewed human presence in space, safe, human-rated, electrical energy storage and power generation technologies, which will be capable of demonstrating reliable performance in a variety of unique mission environments, will be required. To address the future performance and safety requirements for the energy storage technologies that will enhance and enable future NASA Constellation Program elements and other future aerospace missions, advanced rechargeable, lithium-ion battery technology development is being pursued with an emphasis on addressing performance technology gaps between state-of-the-art capabilities and critical future mission requirements. The material attributes and related performance of a lithium-ion cell's internal separator component are critical for achieving overall optimal performance, safety and reliability. This review provides an overview of the general types, material properties and the performance and safety characteristics of current separator materials employed in lithium-ion batteries, such as those materials that are being assessed and developed for future aerospace missions.

Bladwin, Richard S.↗

Flame and acid resistant polymide fibers

Economical process improves flame resistance and resistance to acids of polyamide fibers, without modifying colors of mechanical properties. Process improves general safety of garments and other items made from polyamide fibers and makes them suitable for applications requiring exposure to oxygen-rich atmosphere or corrosive acids. Halo-olefins are added to surface of fibers by photoadditon in sealed chamber. Process could be used with films and other forms of polyamide.

Stringham, R. S.↗

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗

When Weather Matters: Science and Service to Meet Critical Societal Needs

The goal of weather prediction is to provide information people and organizations can use to reduce weather-related losses and enhance societal benefits, including protection of life and property, public health and safety, and support of economic prosperity and quality of life. In economic terms, the benefit of the investment in public weather forecasts and warnings is substantial: the estimated annualized benefit is about $31.5 billion, compared to the $5.1 billion cost of generating the information. Between 1980 and 2009, 96 weather disasters in the United States each caused at least $1 billion in damages, with total losses exceeding $700 billion. Between 1999 and 2008, there were an average of 629 direct weather fatalities per year. The annual impacts of adverse weather on the national highway system and roads are staggering: 1.5 million weather-related crashes with 7,400 deaths, more than 700,000 injuries, and $42 billion in economic losses.

Weather forecasting↗

Automated Propellant Blending

An automated propellant blending apparatus and method uses closely metered addition of countersolvent to a binder solution with propellant particles dispersed therein to precisely control binder precipitation and particle aggregation. A profile of binder precipitation versus countersolvent-solvent ratio is established empirically and used in a computer algorithm to establish countersolvent addition parameters near the cloud point for controlling the transition of properties of the binder during agglomeration and finishing of the propellant composition particles. The system is remotely operated by computer for safety, reliability and improved product properties, and also increases product output.

Hohmann, Carl W.↗

Automated Propellant Blending

An automated propellant blending apparatus and method that uses closely metered addition of countersolvent to a binder solution with propellant particles dispersed therein to precisely control binder precipitation and particle aggregation is discussed. A profile of binder precipitation versus countersolvent-solvent ratio is established empirically and used in a computer algorithm to establish countersolvent addition parameters near the cloud point for controlling the transition of properties of the binder during agglomeration and finishing of the propellant composition particles. The system is remotely operated by computer for safety, reliability and improved product properties, and also increases product output.

Hohmann, Carl W.↗

Shaping NASA's Kennedy Space Center Safety for the Future

With the completion of the Space Shuttle Program, the Kennedy Space Center (KSC) safety function will be required to evolve beyond the single launch vehicle launch site focus that has held prominence for almost fifty years. This paper will discuss how that evolution is taking place. Specifically, we will discuss the future of safety as it relates to a site that will have multiple, very disparate, functions. These functions will include new business; KSC facilities not under the control of NASA; traditional payload and launch vehicle processing; and, operations conducted by NASA personnel, NASA contractors or a combination of both. A key element in this process is the adaptation of the current KSC set of safety requirements into a multi-faceted set that can address each of the functions above, while maintaining our world class safety environment. One of the biggest challenges that will be addressed is how to protect our personnel and property without dictating how other Non-NASA organizations protect their own employees and property. The past history of KSC Safety will be described and how the lessons learned from previous programs will be applied to the future. The lessons learned from this process will also be discussed as information for other locations that may undergo such a transformation.

Kirkpatrick, Paul↗