SEARCH · Engineering Papers

Results for “Design verification”

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 901 records · Page 50

All sources NASA NTRS DOE OSTI

NASA NTRS2016

Functional Fault Model Development Process to Support Design Analysis and Operational Assessment

A functional fault model (FFM) is an abstract representation of the failure space of a givensystem. As such, it simulates the propagation of failure effects along paths between the origin ofthe system failure modes and points within the system capable of observing the failure effects. Asa result, FFMs may be used to diagnose the presence of failures in the modeled system. FFMsnecessarily contain a significant amount of information about the design, operations, and failuremodes and effects. One of the important benefits of FFMs is that they may be qualitative, ratherthan quantitative and, as a result, may be implemented early in the design process when there ismore potential to positively impact the system design. FFMs may therefore be developed andmatured throughout the monitored system's design process and may subsequently be used toprovide real-time diagnostic assessments that support system operations. This paper provides anoverview of a generalized NASA process that is being used to develop and apply FFMs. FFMtechnology has been evolving for more than 25 years. The FFM development process presented inthis paper was refined during NASA's Ares I, Space Launch System, and Ground SystemsDevelopment and Operations programs (i.e., from about 2007 to the present). Process refinementtook place as new modeling, analysis, and verification tools were created to enhance FFMcapabilities. In this paper, standard elements of a model development process (i.e., knowledgeacquisition, conceptual design, implementation & verification, and application) are describedwithin the context of FFMs. Further, newer tools and analytical capabilities that may benefit thebroader systems engineering process are identified and briefly described. The discussion isintended as a high-level guide for future FFM modelers.

Melcher, Kevin J.↗

DOE OSTI2025

Validation and demonstration of the AEFC as a practical safeguards tool for inventory verification

The Advanced Experimental Fuel Counter (AEFC) is a nondestructive assay (NDA) instrument designed to determine the residual fissile mass in irradiated fuel assemblies for safeguards verification purposes. This is done by actively interrogating an assembly with a neutron source and measuring the total (Singles) and correlated (Doubles) neutron count rates resulting from induced fissions in the irradiated nuclear fuel and relating those rates to the residual fissile mass using calibration curves. Comprehensive NDA measurements of the irradiated fuel inventory at Israeli Research Reactor 1 (IRR-1) were taken with the AEFC to validate a set of previously developed calibration curves. During the campaign, measurements were acquired of 32 standard fuel assemblies and three control assemblies in just nine days. This is a significant majority of the research reactor's irradiated fuel inventory and the largest data set gathered by the AEFC to date. Many of the fuel assemblies measured during the campaign had much shorter cooling times than those assemblies previously measured with the instrument. Calibration curves developed from previous AEFC deployments were used to determine the residual 235 U mass in the measured standard fuel assemblies. The results of the campaign demonstrated that the AEFC can be used to estimate the 235 U mass remaining in a large number of irradiated fuel assemblies with 1%–5% uncertainty in a reasonable amount of time despite operating in a high dose environment.

98 NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL P↗

NASA NTRS1991

The formal verification of generic interpreters

The task assignment 3 of the design and validation of digital flight control systems suitable for fly-by-wire applications is studied. Task 3 is associated with formal verification of embedded systems. In particular, results are presented that provide a methodological approach to microprocessor verification. A hierarchical decomposition strategy for specifying microprocessors is also presented. A theory of generic interpreters is presented that can be used to model microprocessor behavior. The generic interpreter theory abstracts away the details of instruction functionality, leaving a general model of what an interpreter does.

Windley, P.↗

NASA NTRS2016

Verification of Triple Modular Redundancy Insertion for Reliable and Trusted Systems

If a system is required to be protected using triple modular redundancy (TMR), improper insertion can jeopardize the reliability and security of the system. Due to the complexity of the verification process and the complexity of digital designs, there are currently no available techniques that can provide complete and reliable confirmation of TMR insertion. We propose a method for TMR insertion verification that satisfies the process for reliable and trusted systems.

Verification↗

NASA NTRS1972

Preliminary design of an auxiliary power unit for the space shuttle. Volume 5: Selected system cycle performance data

Detailed cycle steady-state performance data are presented for the final auxiliary power unit (APU) system configuration. The selection configuration is a hydrogen-oxygen APU incorporating a recuperator to utilize the exhaust energy and using the cycle hydrogen flow as a means of cooling the component heat loads. The data are given in the form of computer printouts and provide the following: (1) verification of the adequacy of the design to meet the problem statement for steady-state performance; (2) overall system performance data for the vehicle system analyst to determine propellant consumption and hydraulic fluid temperature as a function for varying mission profiles, propellant inlet conditions, etc.; and (3) detailed component performance and cycle state point data to show what is happening in the cycle as a function of the external forcing functions.

Hamilton, M. L.↗

NASA NTRS2020

Recurring Causes of Human Spaceflight Mishaps during Flight Tests and Early Operations

n analysis of recurring causes underlying human spaceflight mishaps that occurred during flight tests and early operations was performed. Eight mishaps from the Apollo, Soyuz, Skylab, Space Shuttle, and Constellation Programs (i.e., the Ares-1X test flight) and commercial suborbital systems were included in the study. Detailed event analyses were performed for the historical mishaps and aggregate data analyses conducted to identify recurring issues. The nine most frequent issues were inadequate technical controls or risk management practices, incomplete procedures, system design and development issues, inadequate inspection or secondary verification requirements, failures of organizations to learn from previous incidents, inadequate schedule controls, inadequate task analyses or design processes, flaws in the design of organizations, and issues with organizational safety cultures.

Timothy S Barth↗

NASA NTRSDate not supplied

Recurring Causes of Human Spaceflight Mishaps During Flight Tests and Early Operations

An analysis of recurring causes underlying human spaceflight mishaps that occurred during flight tests and early operations was performed. Eight mishaps from the Apollo, Soyuz, Skylab, Space Shuttle, and Constellation Programs (i.e., the Ares-1X test flight) and early commercial suborbital operations were included in the study. Detailed event analyses were performed for the historical mishaps and aggregate data analyses conducted to identify recurring issues. The nine most frequent issues were inadequate technical controls or risk management practices, incomplete procedures, system design and development issues, inadequate inspection or secondary verification requirements, failures of organizations to learn from previous incidents, inadequate schedule controls, inadequate task analyses or design processes, flaws in the design of organizations, and issues with organizational safety cultures.

Human Spaceflight↗

NASA NTRS2012

Active Mirror Predictive and Requirements Verification Software (AMP-ReVS)

This software is designed to predict large active mirror performance at various stages in the fabrication lifecycle of the mirror. It was developed for 1-meter class powered mirrors for astronomical purposes, but is extensible to other geometries. The package accepts finite element model (FEM) inputs and laboratory measured data for large optical-quality mirrors with active figure control. It computes phenomenological contributions to the surface figure error using several built-in optimization techniques. These phenomena include stresses induced in the mirror by the manufacturing process and the support structure, the test procedure, high spatial frequency errors introduced by the polishing process, and other process-dependent deleterious effects due to light-weighting of the mirror. Then, depending on the maturity of the mirror, it either predicts the best surface figure error that the mirror will attain, or it verifies that the requirements for the error sources have been met once the best surface figure error has been measured. The unique feature of this software is that it ties together physical phenomenology with wavefront sensing and control techniques and various optimization methods including convex optimization, Kalman filtering, and quadratic programming to both generate predictive models and to do requirements verification. This software combines three distinct disciplines: wavefront control, predictive models based on FEM, and requirements verification using measured data in a robust, reusable code that is applicable to any large optics for ground and space telescopes. The software also includes state-of-the-art wavefront control algorithms that allow closed-loop performance to be computed. It allows for quantitative trade studies to be performed for optical systems engineering, including computing the best surface figure error under various testing and operating conditions. After the mirror manufacturing process and testing have been completed, the software package can be used to verify that the underlying requirements have been met.

Basinger, Scott A.↗

NASA NTRS1980

Design windows for low-high-low GaAs IMPATT's

The paper presents a low-high-low GaAs IMPATT model used to define design windows at the frequency of interest. Emphasis is placed on experimental verification confirming both the utility of the model and the design windows obtained therefrom. It is noted that the model can be also useful during fabrication.

Namordi, M. R.↗

NASA NTRS2016

Information Management Platform for Data Analytics and Aggregation (IMPALA) System Design Document

The System Design document tracks the design activities that are performed to guide the integration, installation, verification, and acceptance testing of the IMPALA Platform. The inputs to the design document are derived from the activities recorded in Tasks 1 through 6 of the Statement of Work (SOW), with the proposed technical solution being the completion of Phase 1-A. With the documentation of the architecture of the IMPALA Platform and the installation steps taken, the SDD will be a living document, capturing the details about capability enhancements and system improvements to the IMPALA Platform to provide users in development of accurate and precise analytical models. The IMPALA Platform infrastructure team, data architecture team, system integration team, security management team, project manager, NASA data scientists and users are the intended audience of this document. The IMPALA Platform is an assembly of commercial-off-the-shelf (COTS) products installed on an Apache-Hadoop platform. User interface details for the COTS products will be sourced from the COTS tools vendor documentation. The SDD is a focused explanation of the inputs, design steps, and projected outcomes of every design activity for the IMPALA Platform through installation and validation.

Carnell, Andrew↗

NASA NTRS2019

Spacecraft Requirements Development and Tailoring

Spacecraft design is managed through the use of design requirements. Requirements are flowed from the highest level, the overall spacecraft, to systems, subsystems and ultimately individual components. Through the use of requirements, each part of the spacecraft will perform the functions that are required of it and will interface to the rest of the spacecraft. Functional requirements are used to make sure every component performs as expected and interface requirements ensure that each component works within the larger design environment where it operates. Writing good requirements is difficult and the verification of requirements can be expensive and time consuming. Because of this difficulty and expense, it is important that each requirement truly be “required” and critical to the overall performance of the vehicle. It is also important that requirements can be changed or eliminated as the system matures to minimize verification cost and schedule. The Capsule Parachute Assembly System (CPAS) Project is developing the parachute system for the NASA Multi-Purpose Crew Vehicle (MPCV) Orion Spacecraft. Throughout the development and qualification cycle for CPAS, requirements have been evaluated, added, eliminated, or more generically, “tailored”, to ensure that the system performs as required while minimizing the verification cost to the Program. One facet of this tailoring has been to delete requirements that do not add value to the overall spacecraft or are not needed. A second approach to minimize the cost of requirement verification has been to evaluate requirements based on the actual design as it has matured. As the design of the parachute system has become better understood, requirements that are not applicable have been eliminated. This paper will outline the evolution of CPAS requirements over time and will show how careful and considered changes to requirements can benefit the technical solution for the overall system design while allowing a Project to control costs.

Mcmichael, James H.↗

NASA NTRSDate not supplied

Windform® XT 2.0 Use as 3U CubeSat Primary Structure

CubeSats provide a platform for small-scale space research and technology demonstration at reduced complexity, cost, and development time. These advantages drove the NASA Langley Research Center (LaRC) to develop and launch the GPX2 3U CubeSat to explore the viability of using Commercial Off-The-Shelf (COTS) differential GPS (dGPS) in low earth orbit. To reduce manufacturing costs and increase design flexibility, the project chose additive manufactured Windform® XT 2.0 as the primary bus material rather than traditional subtractive manufactured (milled) metal. The bus is a two-part, Selective Laser Sintered, 3D-print structure consisting of a single-piece, five-walled chassis and single-walled cover. The bus was specially designed to allow the project to accommodate the payload electronics stack as well as antennas, receivers, and deployable mechanisms. By using an additive manufactured solution, LaRC was able to design in features unrealizable through traditional milling, with a lead-time of roughly two weeks. In comparison, traditional subtractive manufacturing limits geometry options due to toolpath reach and bus construction would have required multiple components for each wall. This would have resulted in a more costly, longer lead-time article with more joints, fasteners, and complexity with a commensurate increase in overall mass. A number of lessons-learned were captured during the design, analysis, and testing of the GPX2 CubeSat covering thermal and structural analysis, vibration modeling, and geometric tolerancing. Additionally, a variety of material testing and verification were performed before and during spacecraft design and integration to assure the suitability of Windform® XT 2.0 for the launch and mission environments. This article provides the highlights of designing and testing the GPX2 bus.

CubeSat↗

NASA NTRS2009

Implementation of an Adaptive Controller System from Concept to Flight Test

The National Aeronautics and Space Administration Dryden Flight Research Center (Edwards, California) is conducting ongoing flight research using adaptive controller algorithms. A highly modified McDonnell-Douglas NF-15B airplane called the F-15 Intelligent Flight Control System (IFCS) was used for these algorithms. This airplane has been modified by the addition of canards and by changing the flight control systems to interface a single-string research controller processor for neural network algorithms. Research goals included demonstration of revolutionary control approaches that can efficiently optimize aircraft performance for both normal and failure conditions, and to advance neural-network-based flight control technology for new aerospace systems designs. Before the NF-15B IFCS airplane was certified for flight test, however, certain processes needed to be completed. This paper presents an overview of these processes, including a description of the initial adaptive controller concepts followed by a discussion of modeling formulation and performance testing. Upon design finalization, the next steps are: integration with the system interfaces, verification of the software, validation of the hardware to the requirements, design of failure detection, development of safety limiters to minimize the effect of erroneous neural network commands, and creation of flight test control room displays to maximize human situational awareness.

Larson, Richard R.↗

NASA NTRS1991

Preliminary thermal design of the COLD-SAT spacecraft

The COLD-SAT free-flying spacecraft was to perform experiments with LH2 in the cryogenic fluid management technologies of storage, supply and transfer in reduced gravity. The Phase A preliminary design of the Thermal Control Subsystem (TCS) for the spacecraft exterior and interior surfaces and components of the bus subsystems is described. The TCS was composed of passive elements which were augmented with heaters. Trade studies to minimize the parasitic heat leakage into the cryogen storage tanks are described. Selection procedure for the thermally optimum on-orbit spacecraft attitude was defined. TRASYS-2 and SINDA'85 verification analysis was performed on the design and the results are presented.

Arif, Hugh↗

NASA NTRS1991

Preliminary thermal design of the COLD-SAT spacecraft

Arif, Hugh↗

NASA NTRS1992

A status of the activities of the NASA/MSFC pump stage technology team

The Consortium for Computational Fluid Dynamics (CFD) Application in Propulsion Technology was established to aid the transfer of CFD related advancements among academia, government agencies, and industry. The specific goals of the Consortium are to develop CFD methodologies necessary to solve propulsion problems, to validate these methodologies, and to apply these methodologies in the design process. To accomplish these goals, a team of experts in various related fields was formed, a schedule of activities necessary to meet the goals was generated, and funding for the activities was obtained from NASA. During the past year (Mar. 1991 - Mar. 1992) the team's activities have focused on preliminary code validation and on the design of an advanced impeller. Six codes were used to calculate the flow in a Rocketdyne 0.3 flow coefficient inducer, and the results were compared to L2F data available for the inducer. This activity identified shortcomings in the experimental data sets and in the analytical solutions which must be surmounted in any future team activity. The design of the advanced impeller relied heavily on CFD results to obtain an optimized geometry. The optimized geometry was analyzed using four different codes, at design and off-design conditions. Activities for the next year include the optimization of a tandem blade impeller design, benchmark of CFD codes for diffuser and volute flows, the collection of L2F data for 'state-of-the-art' impeller and inducer, and the verification of the advanced pump team impeller design in a water rig.

Garcia, R.↗

NASA NTRS1998

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research

This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues.

Manna, Zohar↗

NASA NTRS1987

The rationale for an aeroassist flight experiment

The states of several technologies are reviewed which are critical to the design of an aeroassisted orbital transfer vehicle. In these technologies, advancements are needed which hinge on obtaining new flight data. While some of the work can be done with the wind tunnel and computational disciplines, much of the required new data are tied to finite chemical reaction rates, possible thermal nonequilibrium, high flow enthalpy, and strong viscous effects. Because these effects cannot be modeled adequately in ground-based facilities, computational methods lack adequate verification to allow committing to the design of an aeroassist vehicle. Thus a new flight experiment is being planned by NASA to gather the required data. The flight experiment and associated instrumentation which NASA is proposing is discussed briefly.

Jones, Jim J.↗