Engineering Papers⌕ Search

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.

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

At least 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

The Submillimeter-Wave Astronomy Satellite: On-Orbit Thermal Performance and Design Retrospective

A large telescope aperture, stringent thermal stability and temperature range requirements, and a passively-cooled 1500K module presented major challenges in thermal design and hardware fabrication of this Small Explorer satellite. This paper reviews briefly the thermal design of the SWAS science instrument, and examines the first three months of on-orbit thermal history. Measured temperatures for both the science payload and the spacecraft module and solar arrays are compared with those predicted by the correlated analytical model. Similarities and differences are interpreted in terms of the major uncertainties remaining after thermal-balance testing, especially those of MLI performance and telescope aperture properties. Review of the thermal model adequacy and thermal design verification are included to suggest improvements in the thermal design process for future missions.

Boyd, David A.↗
NASA NTRS1999

The Submillimeter-Wave Astronomy Satellite: On-Orbit Thermal Performance and Design Retrospective

A large telescope aperture, stringent thermal stability and temperature range requirements, and a passively-cooled 150 K module presented major challenges in thermal design and hardware fabrication of this Small Explorer satellite. This paper reviews briefly the thermal design of the SWAS science instrument, and examines the first three months of on-orbit thermal history. Measured temperatures for both the science payload and the spacecraft module and solar arrays are compared with those predicted by the correlated analytical model. Similarities and differences are interpreted in terms of the major uncertainties remaining after thermal-balance testing, especially those of MLI performance and telescope aperture properties. Review of the thermal model adequacy and thermal design verification are included to suggest improvements in the thermal design process for future missions.

Boyd, David A.↗
NASA NTRS2017

Runtime Verification Logics A Language Design Perspective

Runtime Verification is a light-weight approach to systems verification, where actual executions of a system are processed and analyzed using rigorous techniques. In this paper we shall narrow the term’s definition to represent the commonly studied variant consisting of verifying that a single system execution conforms to a specification written in a formal specification language. Runtime verification (in this sense) can be used for writing test oracles during testing when the system is too complex for full formal verification, or it can be used during deployment of the system as part of a fault protection strategy, where corrective actions may be taken in case the specification is violated. Specification languages for runtime verification appear to differ from for example temporal logics applied in model checking, in part due to the focus on monitoring of events that carry data, and specifically due to the desire to relate data values existing at different time points, resulting in new challenges in both the complexity of the monitoring approach and the expressiveness of languages. Over the recent years, numerous runtime verification specification languages have emerged, each with its different features and levels of expressiveness and usability. This paper presents an overview and a discussion of this design space.

Reger, Giles↗
NASA NTRS1978

Design and performance verification of a passive propellant management system

This paper describes the design and verification testing of a reusable passive propellant management system. The system was designed to acquire propellant in low- or zero-g environments and also retain this propellant under high axially directed accelerations that may be experienced during launch and orbit-to-orbit transfer. The system design requirements were established to satisfy generally the requirements for a large number of potential NASA and military applications, such as orbit-to-orbit shuttles and satellite vehicles. The resulting concept was a multicompartmented tank with independent surface tension acquisition channels in each compartment. The tank was designed to provide a minimum expulsion efficiency of 98 percent when subjected to the simultaneous conditions of acceleration, vibration, and outflow. The system design has the unique capability to demonstrate low-g performance in a 1-g test environment, and the test program summarized was structured around this capability.

Hess, D. A.↗
NASA NTRS1991

Verification of VLSI designs

In this paper we explore the specification and verification of VLSI designs. The paper focuses on abstract specification and verification of functionality using mathematical logic as opposed to low-level boolean equivalence verification such as that done using BDD's and Model Checking. Specification and verification, sometimes called formal methods, is one tool for increasing computer dependability in the face of an exponentially increasing testing effort.

Windley, P. J.↗
NASA NTRS1991

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems

Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved are given. The system performs the task of obtaining interactive consistency among the processors using a special instruction on the processors. The design is based on an algorithm proposed by Pease, Shostak, and Lamport. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, providing certain preconditions hold, using a computer aided design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Bickford, Mark↗
NASA NTRS1985

Problems experienced and envisioned for dynamical physical systems

The use of high performance systems, which is the trend of future space systems, naturally leads to lower margins and a higher sensitivity to parameter variations and, therefore, more problems of dynamical physical systems. To circumvent dynamic problems of these systems, appropriate design, verification analysis, and tests must be planned and conducted. The basic design goal is to define the problem before it occurs. The primary approach for meeting this goal is a good understanding and reviewing of the problems experienced in the past in terms of the system under design. This paper reviews many of the dynamic problems experienced in space systems design and operation, categorizes them as to causes, and envisions future program implications, developing recommendations for analysis and test approaches.

Ryan, R. S.↗
NASA NTRS1980

Numerical optimization - An assessment of its role in transport aircraft aerodynamic design through a case study

An efficient transonic wing design procedure based upon numerical optimization together with three-dimensional transonic methods has been developed and used to design an advanced transport wing. The method development included an examination of the use of both full potential and extended small disturbance analysis codes and demonstrated that the former formulation was more reliable. In either case, the design procedure is economical and easy to use. Design verification in a unique semi-span test arrangement demonstrated that the design method produced a wing which satisfied the study design requirements. However, aeroelastic deformation of the wing occurred during the wind tunnel test. The computational methods used in the design procedure were employed to assess the effect of the aeroelastic deformation. The paper concludes with an evaluation of the design procedure and recommendation for its improvement.

Lores, M. E.↗
DOE OSTI2023

On-the-fly computation of analog mixed-signal (AMS) measurements

The present disclosure generally relates to an analog mixed-signal (AMS) design verification system. In particular, the present disclosure relates to a system and method for system verification. One example method includes: obtaining an electronic representation of the circuit design; generating at least a portion of a waveform using the electronic representation of the circuit to obtain a first segment of the waveform associated with the circuit; converting, via the one or more processors, one or more measurement functions to code for performing the one or more computations on the first segment of the waveform; performing one or more computations on the first segment of the waveform using the code; and identifying when a behavior of the circuit violates a design specification based on whether a result of the one or more computations meets a threshold.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2007

NEXT Thruster Component Verification Testing

Component testing is a critical part of thruster life validation activities under NASA s Evolutionary Xenon Thruster (NEXT) project testing. The high voltage propellant isolators were selected for design verification testing. Even though they are based on a heritage design, design changes were made because the isolators will be operated under different environmental conditions including temperature, voltage, and pressure. The life test of two NEXT isolators was therefore initiated and has accumulated more than 10,000 hr of operation. Measurements to date indicate only a negligibly small increase in leakage current. The cathode heaters were also selected for verification testing. The technology to fabricate these heaters, developed for the International Space Station plasma contactor hollow cathode assembly, was transferred to Aerojet for the fabrication of the NEXT prototype model ion thrusters. Testing the contractor-fabricated heaters is necessary to validate fabrication processes for high reliability heaters. This paper documents the status of the propellant isolator and cathode heater tests.

Pinero, Luis R.↗
NASA NTRS1975

A generalized concept for cost-effective structural design

A generalized concept for cost-effective structural design is introduced. It is assumed that decisions affecting the cost effectiveness of aerospace structures fall into three basic categories: design, verification, and operation. Within these basic categories, certain decisions concerning items such as design configuration, safety factors, testing methods, and operational constraints are to be made. All or some of the variables affecting these decisions may be treated probabilistically. Bayesian statistical decision theory is used as the tool for determining the cost optimum decisions. A special case of the general problem is derived herein, and some very useful parametric curves are developed and applied to several sample structures.

Thomas, J. M.↗
NASA NTRS1982

LSST (Hoop/Column) Maypole Antenna Development Program, phase 1, part 1

The first of a two-phase program was performed to develop the technology necessary to evaluate, design, manufacture, package, transport and deploy the hoop/column deployable antenna reflector by means of a ground based program. The hoop/column concept consists of a cable stiffened large diameter hoop and central column structure that supports and contours a radio frequency reflective mesh surface. Mission scenarios for communications, radiometer and radio astronomy, were studied. The data to establish technology drivers that resulted in a specification of a point design was provided. The point design is a multiple beam quadaperture offset antenna system wich provides four separate offset areas of illumination on a 100 meter diameter symmetrical parent reflector. The periphery of the reflector is a hoop having 48 segments that articulate into a small stowed volume around a center extendable column. The hoop and column are structurally connected by graphite and quartz cables. The prominence of cables in the design resulted in the development of advanced cable technology. Design verification models were built of the hoop, column, and surface stowage subassemblies. Model designs were generated for a half scale sector of the surface and a 1/6 scale of the complete deployable reflector.

Sullivan, M. R.↗
NASA NTRS2008

Web Based Tool for Mission Operations Scenarios

A conventional practice for spaceflight projects is to document scenarios in a monolithic Operations Concept document. Such documents can be hundreds of pages long and may require laborious updates. Software development practice utilizes scenarios in the form of smaller, individual use cases, which are often structured and managed using UML. We have developed a process and a web-based scenario tool that utilizes a similar philosophy of smaller, more compact scenarios (but avoids the formality of UML). The need for a scenario process and tool became apparent during the authors' work on a large astrophysics mission. It was noted that every phase of the Mission (e.g., formulation, design, verification and validation, and operations) looked back to scenarios to assess completeness of requirements and design. It was also noted that terminology needed to be clarified and structured to assure communication across all levels of the project. Attempts to manage, communicate, and evolve scenarios at all levels of a project using conventional tools (e.g., Excel) and methods (Scenario Working Group meetings) were not effective given limitations on budget and staffing. The objective of this paper is to document the scenario process and tool created to offer projects a low-cost capability to create, communicate, manage, and evolve scenarios throughout project development. The process and tool have the further benefit of allowing the association of requirements with particular scenarios, establishing and viewing relationships between higher- and lower-level scenarios, and the ability to place all scenarios in a shared context. The resulting structured set of scenarios is widely visible (using a web browser), easily updated, and can be searched according to various criteria including the level (e.g., Project, System, and Team) and Mission Phase. Scenarios are maintained in a web-accessible environment that provides a structured set of scenario fields and allows for maximum visibility across the project. One key aspect is that the tool was built for a scenario process that accounts for stakeholder input, review, comment, and concurrence. By creating well-designed opportunities for stakeholder input and concurrence and by making the scenario content easily accessible to all project personnel, we maximize the opportunities for stakeholders to both understand and agree on the concepts for how their mission is to be carried out.

Boyles, Carole A.↗
NASA NTRSDate not supplied

xEMU Lunar Boots

For the past several years, the Exploration Extravehicular Mobility Unit (xEMU) team at NASA’s Johnson Space Center has focused on the development and detailed design of the xEMU to support missions to the International Space Station (ISS) and a moon landing in 2024. In that context, this paper examines the development and baseline detailed design of the xEMU lunar boots. This paper will outline the challenging technical requirements, significant architectural trades, technical solutions required to overcome these challenges, and a status of the detailed design. Preliminary results of Design Verification Testing (DVT) and the forward strategy for final maturation into a flight-ready design will also be discussed.

NASA↗
NASA NTRS2016

MLI Blanket Effective Emittance Variance and Its Effect on Spacecraft Propellant Line Thermal Control

Multi-Layer Insulation (MLI) blankets commonly employed for temperature control of spacecraft propellant lines consistently show large variances in their effective emittances. These variances are primarily due to workmanship, hence are hard to control or predict. Unfortunately, the variances are also the primary drivers of propellant line temperatures, thus leading to large predicted temperature uncertainties and increased risks to the success of space missions. JPL has gained significant knowledge of these variances from Mars spacecraft designs over more than two decades. This knowledge has led to improved analytical approaches to bound existing designs, emphasis on increased temperature visibility for design verification and model correlation, as well as methods for improving the robustness of propellant line thermal designs.

Miller, Jennifer R.↗
NASA NTRS2010

Applying Monte Carlo Simulation to Launch Vehicle Design and Requirements Verification

This paper is focused on applying Monte Carlo simulation to probabilistic launch vehicle design and requirements verification. The approaches developed in this paper can be applied to other complex design efforts as well. Typically the verification must show that requirement "x" is met for at least "y" % of cases, with, say, 10% consumer risk or 90% confidence. Two particular aspects of making these runs for requirements verification will be explored in this paper. First, there are several types of uncertainties that should be handled in different ways, depending on when they become known (or not). The paper describes how to handle different types of uncertainties and how to develop vehicle models that can be used to examine their characteristics. This includes items that are not known exactly during the design phase but that will be known for each assembled vehicle (can be used to determine the payload capability and overall behavior of that vehicle), other items that become known before or on flight day (can be used for flight day trajectory design and go/no go decision), and items that remain unknown on flight day. Second, this paper explains a method (order statistics) for determining whether certain probabilistic requirements are met or not and enables the user to determine how many Monte Carlo samples are required. Order statistics is not new, but may not be known in general to the GN&C community. The methods also apply to determining the design values of parameters of interest in driving the vehicle design. The paper briefly discusses when it is desirable to fit a distribution to the experimental Monte Carlo results rather than using order statistics.

Hanson, John M.↗