SEARCH · Engineering Papers

Results for “tools and methods”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1992

Formal methods technology transfer: Some lessons learned

IBM has a long history in the application of formal methods to software development and verification. There have been many successes in the development of methods, tools and training to support formal methods. And formal methods have been very successful on several projects. However, the use of formal methods has not been as widespread as hoped. This presentation summarizes several approaches that have been taken to encourage more widespread use of formal methods, and discusses the results so far. The basic problem is one of technology transfer, which is a very difficult problem. It is even more difficult for formal methods. General problems of technology transfer, especially the transfer of formal methods technology, are also discussed. Finally, some prospects for the future are mentioned.

Hamilton, David↗

NASA NTRS2001

Java PathExplorer: A Runtime Verification Tool

We describe recent work on designing an environment called Java PathExplorer for monitoring the execution of Java programs. This environment facilitates the testing of execution traces against high level specifications, including temporal logic formulae. In addition, it contains algorithms for detecting classical error patterns in concurrent programs, such as deadlocks and data races. An initial prototype of the tool has been applied to the executive module of the planetary Rover K9, developed at NASA Ames. In this paper we describe the background and motivation for the development of this tool, including comments on how it relates to formal methods tools as well as to traditional testing, and we then present the tool itself.

Havelund, Klaus↗

NASA NTRS2016

Remote Sensing and Modeling for Improving Operational Aquatic Plant Management

The California Sacramento-San Joaquin River Delta is the hub for California’s water supply, conveying water from Northern to Southern California agriculture and communities while supporting important ecosystem services, agriculture, and communities in the Delta. Changes in climate, long-term drought, water quality changes, and expansion of invasive aquatic plants threatens ecosystems, impedes ecosystem restoration, and is economically, environmentally, and sociologically detrimental to the San Francisco Bay/California Delta complex. NASA Ames Research Center and the USDA-ARS partnered with the State of California and local governments to develop science-based, adaptive-management strategies for the Sacramento-San Joaquin Delta. The project combines science, operations, and economics related to integrated management scenarios for aquatic weeds to help land and waterway managers make science-informed decisions regarding management and outcomes. The team provides a comprehensive understanding of agricultural and urban land use in the Delta and the major water sheds (San Joaquin/Sacramento) supplying the Delta and interaction with drought and climate impacts on the environment, water quality, and weed growth. The team recommends conservation and modified land-use practices and aids local Delta stakeholders in developing management strategies. New remote sensing tools have been developed to enhance ability to assess conditions, inform decision support tools, and monitor management practices. Science gaps in understanding how native and invasive plants respond to altered environmental conditions are being filled and provide critical biological response parameters for Delta-SWAT simulation modeling. Operational agencies such as the California Department of Boating and Waterways provide testing and act as initial adopter of decision support tools. Methods developed by the project can become routine land and water management tools in complex river delta systems.

Agriculture↗

NASA NTRS1993

Formal methods for life-critical software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.↗

NASA NTRS1993

Formal Methods for Life-Critical Software

Butler, Ricky W.↗

NASA NTRS2016

The Business Change Initiative: A Novel Approach to Improved Cost and Schedule Management

Goddard Space Flight Center's Flight Projects Directorate employed a Business Change Initiative (BCI) to infuse a series of activities coordinated to drive improved cost and schedule performance across Goddard's missions. This sustaining change framework provides a platform to manage and implement cost and schedule control techniques throughout the project portfolio. The BCI concluded in December 2014, deploying over 100 cost and schedule management changes including best practices, tools, methods, training, and knowledge sharing. The new business approach has driven the portfolio to improved programmatic performance. The last eight launched GSFC missions have optimized cost, schedule, and technical performance on a sustained basis to deliver on time and within budget, returning funds in many cases. While not every future mission will boast such strong performance, improved cost and schedule tools, management practices, and ongoing comprehensive evaluations of program planning and control methods to refine and implement best practices will continue to provide a framework for sustained performance. This paper will describe the tools, techniques, and processes developed during the BCI and the utilization of collaborative content management tools to disseminate project planning and control techniques to ensure continuous collaboration and optimization of cost and schedule management in the future.

Schedule↗

NASA NTRS2009

Bayesian Inference for NASA Probabilistic Risk and Reliability Analysis

This document, Bayesian Inference for NASA Probabilistic Risk and Reliability Analysis, is intended to provide guidelines for the collection and evaluation of risk and reliability-related data. It is aimed at scientists and engineers familiar with risk and reliability methods and provides a hands-on approach to the investigation and application of a variety of risk and reliability data assessment methods, tools, and techniques. This document provides both: A broad perspective on data analysis collection and evaluation issues. A narrow focus on the methods to implement a comprehensive information repository. The topics addressed herein cover the fundamentals of how data and information are to be used in risk and reliability analysis models and their potential role in decision making. Understanding these topics is essential to attaining a risk informed decision making environment that is being sought by NASA requirements and procedures such as 8000.4 (Agency Risk Management Procedural Requirements), NPR 8705.05 (Probabilistic Risk Assessment Procedures for NASA Programs and Projects), and the System Safety requirements of NPR 8715.3 (NASA General Safety Program Requirements).

Dezfuli, Homayoon↗

NASA NTRS1999

Reliability/Risk Methods and Design Tools for Application in Space Programs

Since 1984 NASA has funded several major programs to develop Reliability/Risk Methods and tools for engineers to apply in the design and assessment of aerospace hardware. Two probabilistic software tools that show great promise for practical application are the finite element code NESSUS and the system risk analysis code QRAS. This paper examines NASA's past, present, and future directions in reliability and risk engineering applications, Both the NESSUS and QRAS software tools are detailed.

Townsend, John S.↗

NASA NTRS2015

Identification and Analysis of National Airspace System Resource Constraints

This analysis is the deliverable for the Airspace Systems Program, Systems Analysis Integration and Evaluation Project Milestone for the Systems and Portfolio Analysis (SPA) focus area SPA.4.06 Identification and Analysis of National Airspace System (NAS) Resource Constraints and Mitigation Strategies. "Identify choke points in the current and future NAS. Choke points refer to any areas in the en route, terminal, oceanic, airport, and surface operations that constrain actual demand in current and projected future operations. Use the Common Scenarios based on Transportation Systems Analysis Model (TSAM) projections of future demand developed under SPA.4.04 Tools, Methods and Scenarios Development. Analyze causes, including operational and physical constraints." The NASA analysis is complementary to a NASA Research Announcement (NRA) "Development of Tools and Analysis to Evaluate Choke Points in the National Airspace System" Contract # NNA3AB95C awarded to Logistics Management Institute, Sept 2013.

Smith, Jeremy C.↗

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↗

NASA NTRS2016

Adaptive Management Methods to Protect the California Sacramento-San Joaquin Delta Water Resource

The California Sacramento-San Joaquin River Delta is the hub for California's water supply, conveying water from Northern to Southern California agriculture and communities while supporting important ecosystem services, agriculture, and communities in the Delta. Changes in climate, long-term drought, water quality changes, and expansion of invasive aquatic plants threatens ecosystems, impedes ecosystem restoration, and is economically, environmentally, and sociologically detrimental to the San Francisco Bay/California Delta complex. NASA Ames Research Center and the USDA-ARS partnered with the State of California and local governments to develop science-based, adaptive-management strategies for the Sacramento-San Joaquin Delta. The project combines science, operations, and economics related to integrated management scenarios for aquatic weeds to help land and waterway managers make science-informed decisions regarding management and outcomes. The team provides a comprehensive understanding of agricultural and urban land use in the Delta and the major water sheds (San Joaquin/Sacramento) supplying the Delta and interaction with drought and climate impacts on the environment, water quality, and weed growth. The team recommends conservation and modified land-use practices and aids local Delta stakeholders in developing management strategies. New remote sensing tools have been developed to enhance ability to assess conditions, inform decision support tools, and monitor management practices. Science gaps in understanding how native and invasive plants respond to altered environmental conditions are being filled and provide critical biological response parameters for Delta-SWAT simulation modeling. Operational agencies such as the California Department of Boating and Waterways provide testing and act as initial adopter of decision support tools. Methods developed by the project can become routine land and water management tools in complex river delta systems.

Agriculture↗

NASA NTRSDate not supplied

TPSAS-NF1676L-32030-DND

Composite structures are often difficult to inspect due to the anisotropic nature of the material systems and the range of flaws and defects that can arise in the manufacturing process. NASA?s Advanced Composites Project, a public-private partnership between government, universities and industry, seeks to address improved methods, tools, and protocols to reduce the development and certification timeline for composite materials and structures. The rapid inspection of composites is one of the three focused research areas of the project. One deliverable of the project is to develop an NDE Methods and Capabilities Handbook. This Handbook provides a publically available guidance document that facilitates the selection of appropriate NDE techniques and provides recommended protocols for detecting and characterizing common flaw types in solid laminate polymer matrix composite (PMC) structures. The Handbook will reduce the time required to develop qualified inspection processes for composite aircraft structures during the development, certification, and manufacturing phases by providing a reference that helps minimize trial and error and provides guidance on best practices, techniques, and settings, for specific flaw types and geometries. The Handbook will include an NDE Guidance Matrix that provides an applicability rating for NDE techniques as they apply to given flaw types. NDE techniques will include, but is not limited to ultrasound, laser based ultrasound, infrared thermography, and x-ray CT. Flaw types will include, but are not limited to porosity, delamination, voids, AFP defects and impact damage. The Handbook will contain details that support the applicability rating including, but not limited to, specimen details, inspection parameters, data analysis techniques, inspection efficiency (speed & cost), and limitations. This presentation will describe key Handbook activities with examples of the techniques and flaw types examined by the Advanced Composite Consortium members.

Patricia A Howell↗

NASA NTRSDate not supplied

NDE Methods and Capabilities Handbook – Resources for the Composites NDE Community

Composite structures are often difficult to inspect due to the anisotropic nature of the material systems and the range of flaws and defects that can arise in the manufacturing process. NASA’s Advanced Composites Project, a public-private partnership between government, universities and industry, sought to address improved methods, tools, and protocols to reduce the development and certification timeline for composite materials and structures. The rapid inspection of composites was one of the three focused research areas of the project. One deliverable of the project was to develop an NDE Methods and Capabilities Handbook. This Handbook provides a publicly available guidance document that facilitates the selection of appropriate NDE techniques and provides recommended protocols for detecting and characterizing common flaw types in solid laminate carbon fiber reinforced polymer composite (CFRP) structures. The Handbook seeks to reduce the time required to develop qualified inspection processes for composite aircraft structures during the development, certification, and manufacturing phases by providing a reference that helps minimize trial and error and provides guidance on best practices, techniques, and settings, for specific flaw types and geometries. NDE techniques include, but are not limited to ultrasound, laser based ultrasound, infrared thermography, and x-ray CT. Flaw types include, but are not limited to porosity, delamination, voids, AFP defects and impact damage. The Handbook contains details such as inspection parameters, data analysis techniques, inspection efficiency (speed & cost), and limitations. This presentation will describe key Handbook activities with examples of the techniques and flaw types examined by the Advanced Composite Consortium members. Availability of the fabricated NDE standards as well as the raw data collected on the standards by the Consortium members to the NDE community is discussed.

Patricia A Howell↗

NASA NTRSDate not supplied

NDE Methods and Capabilities Handbook - Resources for the Composites NDE Community

Composite structures are often difficult to inspect due to the anisotropic nature of the material systems and the range of flaws and defects that can arise in the manufacturing process. NASA’s Advanced Composites Project, a public-private partnership between government, universities and industry, sought to address improved methods, tools, and protocols to reduce the development and certification timeline for composite materials and structures. The rapid inspection of composites was one of the three focused research areas of the project. One deliverable of the project was to develop an NDE Methods and Capabilities Handbook. This Handbook provides a publicly available guidance document that facilitates the selection of appropriate NDE techniques and provides recommended protocols for detecting and characterizing common flaw types in solid laminate carbon fiber reinforced polymer composite (CFRP) structures. The Handbook seeks to reduce the time required to develop qualified inspection processes for composite aircraft structures during the development, certification, and manufacturing phases by providing a reference that helps minimize trial and error and provides guidance on best practices, techniques, and settings, for specific flaw types and geometries. Techniques include, but are not limited to ultrasound, laser based ultrasound, infrared thermography, and x-ray CT. Flaw types include, but are not limited to porosity, delaminations, voids, Automated Fiber Placement (AFP) defects and impact damage. The Handbook contains details such as inspection parameters, data analysis techniques, inspection efficiency and limitations. This presentation will describe key Handbook activities with examples of the techniques and flaw types examined by the Advanced Composite Consortium members. Availability to the NDE community of the fabricated NDE standards as well as the raw data collected on the standards by the Consortium members is discussed.

Nondestructive Evaluation↗

NASA NTRSDate not supplied

NDE Methods and Capabilities Handbook - Resources for the Composites NDE Community

Composite structures are often difficult to inspect due to the anisotropic nature of the material systems and the range of flaws and defects that can arise in the manufacturing process. NASA’s Advanced Composites Project, a public-private partnership between government, universities and industry, sought to address improved methods, tools, and protocols to reduce the development and certification timeline for composite materials and structures. The rapid inspection of composites was one of the three focused research areas of the project. One deliverable of the project was to develop an NDE Methods and Capabilities Handbook. This Handbook provides a publicly available guidance document that facilitates the selection of appropriate NDE techniques and provides recommended protocols for detecting and characterizing common flaw types in solid laminate carbon fiber reinforced polymer composite (CFRP) structures. The Handbook seeks to reduce the time required to develop qualified inspection processes for composite aircraft structures during the development, certification, and manufacturing phases by providing a reference that helps minimize trial and error and provides guidance on best practices, techniques, and settings, for specific flaw types and geometries. Techniques include, but are not limited to ultrasound, laser based ultrasound, infrared thermography, and x-ray CT. Flaw types include, but are not limited to porosity, delaminations, voids, Automated Fiber Placement (AFP) defects and impact damage. The Handbook contains details such as inspection parameters, data analysis techniques, inspection efficiency and limitations. This paper describes key Handbook activities with examples of the techniques and flaw types examined by the Advanced Composite Consortium members. Availability to the NDE community of the fabricated NDE standards as well as the raw data collected on the standards by the Consortium members is discussed.

nondestructive evaluation↗

NASA NTRS2010

Formal Methods at Intel - An Overview

Since the 1990s, Intel has invested heavily in formal methods, which are now deployed in several domains: hardware, software, firmware, protocols etc. Many different formal methods tools and techniques are in active use, including symbolic trajectory evaluation, temporal logic model checking, SMT-style combined decision procedures, and interactive higher-order logic theorem proving. I will try to give a broad overview of some of the formal methods activities taking place at Intel, and describe the challenges of extending formal verification to new areas and of effectively using multiple formal techniques in combination

Harrison, John↗

DOE OSTI2024

An Evaluation of The Dynamic Physical Security Risk Assessment Methodology for Fleet-Wide Applications

The requirements for U.S. nuclear power plants to maintain a large onsite physical security force contribute to their high operational costs. The cost of maintaining the current physical security posture is approximately 10% of the overall operation and maintenance budget for commercial nuclear power plants. The goal of the Light Water Reactor Sustainability (LWRS) program’s physical security pathway is to develop tools, methods, and technologies and provide the technical basis for an optimized physical security posture. The conservatisms built into current security postures may be analyzed and minimized to reduce security costs while still ensuring adequate security and operational safety. The research performed at Idaho National Laboratory within LWRS program’s physical security pathway has successfully developed a dynamic force-on-force modeling framework using various computer simulation tools and integrating them with the dynamic assessment Event Modeling Risk Assessment using Linked Diagrams (EMRALD) tool. This integrated process for physical security analysis is named Modeling and Analysis for Safety Security using Dynamic EMRALD Framework (MASS-DEF). This document provides an update on the progress in applying the MASS-DEF process to an operating commercial nuclear power plant as well as additional industry feedback regarding use of the tool for other physical security risk-informed topics. This report is only a summary of the progress and does not contain specific modeling results as those contain sensitive security information. Previous reports described how a user could integrate their plant-specific force-on-force models with the dynamic simulation tool EMRALD, model operator actions, and integrate with probabilistic risk assessment tools, such as CAFTA (Computer Aided Fault Tree Analysis System) or SAPHIRE (Systems Analysis Programs for Hands-on Integrated Reliability Evaluations), and with thermal-hydraulic tools, such as RELAP-5 or MAAP. Previous reports applied various combinations of available simulations codes with EMRALD using generic plant models to demonstrate how to perform the analysis. This report is an update the progress of applying the dynamic computational framework to an actual nuclear facility using their security scenarios and timelines. This report also provides an update to the procedural guidance for the MASS-DEF process and an overview of the generic models available for use by utilities. This report does not contain any plant’s sensitive information and/or safeguards information. This study’s purpose was to verify that the results achieved using generic models are similar to actual plant results and refine our guidance on the use of the framework. This assessment enables further analysis, such as what-if scenarios and staff-reduction evaluation, thereby optimizing physical security at plants.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS2011

Musculoskeletal Modeling Component of the NASA Digital Astronaut Project

The NASA Digital Astronaut Project s (DAP) objective is to provide computational tools that support research of the physiological response to low gravity environments and analyses of how changes cause health and safety risks to the astronauts and to the success of the mission. The spaceflight risk associated with muscle atrophy is impaired performance due to reduced muscle mass, strength and endurance. Risks of early onset of osteoporosis and bone fracture are among the spaceflight risks associated with loss of bone mineral density. METHODS: Tools under development include a neuromuscular model, a biomechanical model and a bone remodeling model. The neuromuscular model will include models of neuromuscular drive, muscle atrophy, fiber morphology and metabolic processes as a function of time in space. Human movement will be modeled with the biomechanical model, using muscle and bone model parameters at various states. The bone remodeling model will allow analysis of bone turnover, loss and adaptation. A comprehensive trade study was completed to identify the current state of the art in musculoskeletal modeling. The DAP musculoskeletal models will be developed using a combination of existing commercial software and academic research codes identified in the study, which will be modified for use in human spaceflight research. These individual models are highly dependent upon each other and will be integrated together once they reach sufficient levels of maturity. ANALYSES: The analyses performed with these models will include comparison of different countermeasure exercises for optimizing effectiveness and comparison of task requirements and the state of strength and endurance of a crew member at a particular time in a mission. DISCUSSION: The DAP musculoskeletal model has the potential to complement research conducted on spaceflight induced changes to the musculoskeletal system. It can help with hypothesis formation, identification of causative mechanisms and supplementing small data samples.

Lewandowski, B. E.↗