Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “error testing”

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 595 records · Page 33

Retrieving Storm Electric Fields from Aircrfaft Field Mill Data: Part II: Applications

The Lagrange multiplier theory developed in Part I of this study is applied to complete a relative calibration of a Citation aircraft that is instrumented with six field mill sensors. When side constraints related to average fields are used, the Lagrange multiplier method performs well in computer simulations. For mill measurement errors of 1 V m(sup -1) and a 5 V m(sup -1) error in the mean fair-weather field function, the 3D storm electric field is retrieved to within an error of about 12%. A side constraint that involves estimating the detailed structure of the fair-weather field was also tested using computer simulations. For mill measurement errors of 1 V m(sup -l), the method retrieves the 3D storm field to within an error of about 8% if the fair-weather field estimate is typically within 1 V m(sup -1) of the true fair-weather field. Using this type of side constraint and data from fair-weather field maneuvers taken on 29 June 2001, the Citation aircraft was calibrated. Absolute calibration was completed using the pitch down method developed in Part I, and conventional analyses. The resulting calibration matrices were then used to retrieve storm electric fields during a Citation flight on 2 June 2001. The storm field results are encouraging and agree favorably in many respects with results derived from earlier (iterative) techniques of calibration.

Koshak, William↗

Heavy Ion Irradiation Fluence Dependence for Single-Event Upsets in a NAND Flash Memory

We investigated the single-event effect (SEE) susceptibility of the Micron 16 nm NAND flash, and found that the single-event upset (SEU) cross section varied inversely with cumulative fluence. We attribute the effect to the variable upset sensitivities of the memory cells. Furthermore, the effect impacts only single cell upsets in general. The rate of multiple-bit upsets remained relatively constant with fluence. The current test standards and procedures assume that SEU follow a Poisson process and do not take into account the variability in the error rate with fluence. Therefore, traditional SEE testing techniques may underestimate the on-orbit event rate for a device with variable upset sensitivity.

NAND flash memory↗

Development of a flight software testing methodology

The research to develop a testing methodology for flight software is described. An experiment was conducted in using assertions to dynamically test digital flight control software. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters. In addition, a prototype watchdog task system was built to evaluate the effectiveness of executing assertions in parallel by using the multitasking features of Ada.

Mccluskey, E. J.↗

Dynamic assertion testing of flight control software

Assertions are used to dynamically test fault tolerant flight software. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters.

Andrews, D. M.↗

Model reference adaptive control of flexible robots in the presence of sudden load changes

Direct command generator tracker based model reference adaptive control (MRAC) algorithms are applied to the dynamics for a flexible-joint arm in the presence of sudden load changes. Because of the need to satisfy a positive real condition, such MRAC procedures are designed so that a feedforward augmented output follows the reference model output, thus, resulting in an ultimately bounded rather than zero output error. Thus, modifications are suggested and tested that: (1) incorporate feedforward into the reference model's output as well as the plant's output, and (2) incorporate a derivative term into only the process feedforward loop. The results of these simulations give a response with zero steady state model following error, and thus encourage further use of MRAC for more complex flexibile robotic systems.

Steinvorth, Rodrigo↗

Physical Simulation of Rocket Exhaust Aerodynamics Using Heated Ethane: Conceptual Foundations

Heated ethane (C2H6) has been proposed as an alternative to inert gases for use as a motive fluid in the experimental simulation of rocket exhaust plumes. By adjusting stagnation temperature, the isentropic exponent of ethane can be tuned to approximate those produced by common rocket propellants including hydrogen, hypergols, alcohols, and hydrocarbons. As a result, ethane can be made to follow a nozzle expansion process which is nearly identical to realistic rocket engine flow fields. Additionally, its high auto-ignition temperature and resistance to condensation enable the testing of expansion ratios much larger than conventional inertgas testing. NASA SSC has performed quasi-one-dimensional analyses using the Chemical Equilibrium with Applications (CEA) code as a preliminary means to compare flow fields produced by non-reacting ethane to those of reacting combustion products. A LO2/LH2 rocket engine operating at a chamber pressure of 5.0 MPa and a mixture ratio of 6.1 was used as an example case to demonstrate ethane’s efficacy as a simulant. Errors for key similarity parameters were compared to legacy cold-flow test methods. Additional errors induced by machining tolerances and chemical impurities were also examined. Results suggest that at a 3% geometric scale and ~500 K ethane stagnation temperature, an error of less than 2.5% throughout the flow field is realistically achievable along the dimensions of Mach number, Reynolds number, pressure ratio, and isentropic exponent. The development of an experimental test bed for validation of this configuration is currently underway.

Jones, Daniel R.↗

Factors Influencing Pitot Probe Centerline Displacement in a Turbulent Supersonic Boundary Layer

When a total pressure probe is used for measuring flows with transverse total pressure gradients, a displacement of the effective center of the probe is observed (designated Delta). While this phenomenon is well documented in incompressible flow and supersonic laminar flow, there is insufficient information concerning supersonic turbulent flow. In this study, three NASA Lewis Research Center Supersonic Wind Tunnels (SWT's) were used to investigate pitot probe centerline displacement in supersonic turbulent boundary layers. The relationship between test conditions and pitot probe centerline displacement error was to be determined. For this investigation, ten circular probes with diameter-to-boundary layer ratios (D/delta) ranging from 0.015 to 0.256 were tested in the 10 ft x 10 ft SWT, the 15 cm x 15 cm SWT, and the 1 ft x 1 ft SWT. Reynolds numbers of 4.27 x 10(exp 6)/m, 6.00 x 10(exp 6)/in, 10.33 x 10(exp 6)/in, and 16.9 x 10(exp 6)/m were tested at nominal Mach numbers of 2.0 and 2.5. Boundary layer thicknesses for the three tunnels were approximately 200 mm, 13 mm, and 30 mm, respectively. Initial results indicate that boundary layer thickness, delta, and probe diameter, D/delta play a minimal role in pitot probe centerline offset error, Delta/D. It appears that the Mach gradient, dM/dy, is an important factor, though the exact relationship has not yet been determined. More data is needed to fill the map before a conclusion can be drawn with any certainty. This research provides valuable supersonic, turbulent boundary layer data from three supersonic wind tunnels with three very different boundary layers. It will prove a valuable stepping stone for future research into the factors influencing pitot probe centerline offset error.

Grosser, Wendy I.↗

Software interface verifier

A Telos study of 40 recent subsystem deliveries into the DSN at JPL found software interface testing to be the single most expensive and error-prone activity, and the study team suggested creating an automated software interface test tool. The resulting Software Interface Verifier (SIV), which was funded by NASA/JPL and created by Telos, employed 92 percent software reuse to quickly create an initial version which incorporated early user feedback. SIV is now successfully used by developers for interface prototyping and unit testing, by test engineers for formal testing, and by end users for non-intrusive data flow tests in the operational environment. Metrics, including cost, are included. Lessons learned include the need for early user training. SIV is ported to many platforms and can be successfully used or tailored by other NASA groups.

Soderstrom, Tomas J.↗

Verifying Diagnostic Software

Livingstone PathFinder (LPF) is a simulation-based computer program for verifying autonomous diagnostic software. LPF is designed especially to be applied to NASA s Livingstone computer program, which implements a qualitative-model-based algorithm that diagnoses faults in a complex automated system (e.g., an exploratory robot, spacecraft, or aircraft). LPF forms a software test bed containing a Livingstone diagnosis engine, embedded in a simulated operating environment consisting of a simulator of the system to be diagnosed by Livingstone and a driver program that issues commands and faults according to a nondeterministic scenario provided by the user. LPF runs the test bed through all executions allowed by the scenario, checking for various selectable error conditions after each step. All components of the test bed are instrumented, so that execution can be single-stepped both backward and forward. The architecture of LPF is modular and includes generic interfaces to facilitate substitution of alternative versions of its different parts. Altogether, LPF provides a flexible, extensible framework for simulation-based analysis of diagnostic software; these characteristics also render it amenable to application to diagnostic programs other than Livingstone.

Lindsey, Tony↗

A theory of flight flutter testing

Flight flutter testing is considered as a method for finding generalized aerodynamic forces. The coefficients determined from flight flutter tests are used in flutter calculations, using a simple expansion in frequency and Mach number. The errors in the procedure are discussed, and expressions for the error in flutter prediction are given. Methods of testing procedure are discussed.

Molloe-Christensen, E.↗

Formal Methods Demonstration Project for Space Applications

Requirements and design specifications are a high priority candidate for better software engineering techniques. Most hazardous software safety errors found during system integration and test of two NASA spacecraft were the result of requirements discrepancies or interface specifications. The highest density of major defects found through the use of software inspections was during the requirements phase. This was seven times higher than the density of major defects found in code inspections. Requirements errors are between 10 and 100 times more costly to fix at later phases of the software lifecycle than at the requirements phase itself. One study found that early lifecycle errors are the most likely to lead to catastrophic failures.

critical↗

Nonlinear analysis and redesign of the mixed-mode bending delamination test

The Mixed Mode Bending (MMB) test uses a lever to simultaneously apply mode I and mode II loading to a split beam specimen. An iterative analysis that accounts for the geometric nonlinearity of the MMB test was developed. The analysis accurately predicted the measured load displacement response and the strain energy release rate, G, of an MMB test specimen made of APC2 (AS4/PEEK). The errors in G when calculated using linear theory were found to be as large as thirty percent in some cases. Because it would be inconvenient to use a nonlinear analysis to analyze MMB data, the MMB apparatus was redesigned to minimize the nonlinearity. The nonlinear analysis was used as a guide in redesigning the MMB apparatus. With the redesigned apparatus, loads were applied through a roller attached to the level and loaded just above the midplane of the test specimen. The redesigned apparatuus has geometric nonlinearity errors of less than three percent, even for materials substantially tougher than APC2. This apparatus was demonstrated by measuring the mixed mode delamination fracture toughness of APC2.

Reeder, J. R.↗

An investigation of error correcting techniques for OMV and AXAF

The original objectives of this project were to build a test system for the NASA 255/223 Reed/Solomon encoding/decoding chip set and circuit board. This test system was then to be interfaced with a convolutional system at MSFC to examine the performance of the concantinated codes. After considerable work, it was discovered that the convolutional system could not function as needed. This report documents the design, construction, and testing of the test apparatus for the R/S chip set. The approach taken was to verify the error correcting behavior of the chip set by injecting known error patterns onto data and observing the results. Error sequences were generated using pseudo-random number generator programs, with Poisson time distribution between errors and Gaussian burst lengths. Sample means, variances, and number of un-correctable errors were calculated for each data set before testing.

Ingels, Frank↗

Spacecraft Data Simulator for the test of level zero processing systems

The Microelectronic Systems Branch (MSB) at Goddard Space Flight Center (GSFC) has developed a Spacecraft Data Simulator (SDS) to support the development, test, and verification of prototype and production Level Zero Processing (LZP) systems. Based on a disk array system, the SDS is capable of generating large test data sets up to 5 Gigabytes and outputting serial test data at rates up to 80 Mbps. The SDS supports data formats including NASA Communication (Nascom) blocks, Consultative Committee for Space Data System (CCSDS) Version 1 & 2 frames and packets, and all the Advanced Orbiting Systems (AOS) services. The capability to simulate both sequential and non-sequential time-ordered downlink data streams with errors and gaps is crucial to test LZP systems. This paper describes the system architecture, hardware and software designs, and test data designs. Examples of test data designs are included to illustrate the application of the SDS.

Shi, Jeff↗

AMT-200S Motor Glider Parameter and Performance Estimation

Parameter and performance estimation of an instrumented motor glider was conducted at the National Aeronautics and Space Administration Dryden Flight Research Center in order to provide the necessary information to create a simulation of the aircraft. An output-error technique was employed to generate estimates from doublet maneuvers, and performance estimates were compared with results from a well-known flight-test evaluation of the aircraft in order to provide a complete set of data. Aircraft specifications are given along with information concerning instrumentation, flight-test maneuvers flown, and the output-error technique. Discussion of Cramer-Rao bounds based on both white noise and colored noise assumptions is given. Results include aerodynamic parameter and performance estimates for a range of angles of attack.

Taylor, Brian R.↗

Wall-Modeled Lattice Boltzmann and Navier-Stokes Approaches for Separated Flows

Lattice Boltzmann (LB) and hybrid Reynolds-averaged Navier-Stokes/large eddy simulation (RANS/LES) methods within the Launch Ascent and Vehicle Aerodynamics (LAVA) solver framework are applied to NASA's Revolutionary Computational Aerosciences (RCA) standard test cases for separated flows. A detailed comparison between the performance and accuracy of the two emerging numerical methodologies for turbulence resolving simulations, i.e. the LB and hybrid RANS/LES methods will be presented. This contribution addresses the RCA technical challenge to identify and down-select critical turbulence, transition, and numerical method technologies for 40% reduction in predictive error for standard turbulence separated flow test cases. Results for the 2D NASA wall-mounted hump and the axisymmetric transonic bump including time-averaged pressure coefficient, skin friction, and velocity pro les, as well as resolved and modeled Reynolds stresses for both numerical approaches will be presented and differences between LB and hybrid RANS/LES will be discussed.

Lattice Boltzmann↗

NASA's New Orbital Debris Engineering Model, ORDEM2010

This paper describes the functionality and use of ORDEM2010, which replaces ORDEM2000, as the NASA Orbital Debris Program Office (ODPO) debris engineering model. Like its predecessor, ORDEM2010 serves the ODPO mission of providing spacecraft designers/operators and debris observers with a publicly available model to calculate orbital debris flux by current-state-of-knowledge methods. The key advance in ORDEM2010 is the input file structure of the yearly debris populations from 1995-2035 of sizes 10 micron - 1 m. These files include debris from low-Earth orbits (LEO) through geosynchronous orbits (GEO). Stable orbital elements (i.e., those that do not randomize on a sub-year timescale) are included in the files as are debris size, debris number, material density, random error and population error. Material density is implemented from ground-test data into the NASA breakup model and assigned to debris fragments accordingly. The random and population errors are due to machine error and uncertainties in debris sizes. These high-fidelity population files call for a much higher-level model analysis than what was possible with the populations of ORDEM2000. Population analysis in the ORDEM2010 model consists of mapping matrices that convert the debris population elements to debris fluxes. One output mode results in a spacecraft encompassing 3-D igloo of debris flux, compartmentalized by debris size, velocity, pitch, and yaw with respect to spacecraft ram direction. The second output mode provides debris flux through an Earth-based telescope/radar beam from LEO through GEO. This paper compares the new ORDEM2010 with ORDEM2000 in terms of processes and results with examples of specific orbits.

Krisko, Paula H.↗

Using Penelope to assess the correctness of NASA Ada software: A demonstration of formal methods as a counterpart to testing

Life-critical applications warrant a higher level of software reliability than has yet been achieved. Since it is not certain that traditional methods alone can provide the required ultra reliability, new methods should be examined as supplements or replacements. This paper describes a mathematical counterpart to the traditional process of empirical testing. ORA's Penelope verification system is demonstrated as a tool for evaluating the correctness of Ada software. Grady Booch's Ada calendar utility package, obtained through NASA, was specified in the Larch/Ada language. Formal verification in the Penelope environment established that many of the package's subprograms met their specifications. In other subprograms, failed attempts at verification revealed several errors that had escaped detection by testing.

Eichenlaub, Carl T.↗