SEARCH · Search NASA

Results for “Program 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 685 records · Page 38

All sources NASA NTRS DOE OSTI

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 NTRS1987

Space station structures and dynamics test program

The design, construction, and operation of a low-Earth orbit space station poses unique challenges for development and implementation of new technology. The technology arises from the special requirement that the station be built and constructed to function in a weightless environment, where static loads are minimal and secondary to system dynamics and control problems. One specific challenge confronting NASA is the development of a dynamics test program for: (1) defining space station design requirements, and (2) identifying the characterizing phenomena affecting the station's design and development. A general definition of the space station dynamic test program, as proposed by MSFC, forms the subject of this report. The test proposal is a comprehensive structural dynamics program to be launched in support of the space station. The test program will help to define the key issues and/or problems inherent to large space structure analysis, design, and testing. Development of a parametric data base and verification of the math models and analytical analysis tools necessary for engineering support of the station's design, construction, and operation provide the impetus for the dynamics test program. The philosophy is to integrate dynamics into the design phase through extensive ground testing and analytical ground simulations of generic systems, prototype elements, and subassemblies. On-orbit testing of the station will also be used to define its capability.

Moore, Carleton J.↗

NASA NTRS2011

Lessons Learned from Shuttle Payload Verification Loads Analysis

When a system experiences a loading environment characterized by rapidly varying forces, such as a rocket launch, a transient analysis is used to analyze the response of the system. The most common transient analysis methodology is the Coupled Loads Analysis (CLA). CLAs are used by the automotive and aerospace industry to analyze cars, trucks, planes, helicopters, spacecraft, etc. The Space Shuttle program also uses the CLA methodology to assess the compatibility of the payload with the Orbiter and the flight environment. The Space Shuttle Verification Loads Analysis (VLA) was a standardized process that started between ten and thirteen months prior to launch, and included several meetings as well as analysis by both the Shuttle Program and the payload developers. Over the course of the Space Shuttle Program, many improvements were made to the process which helped to reduce cycle time and improve manifest flexibility. There were also several issues which were never properly addressed, but a work-around would be developed to keep the process flowing. The lessons learned included automation of some processes and standardization of others, early assessments, improved documentation and better coordination with all stakeholders in the process. Lessons learned also included the limitations in the current process, and what needs to be planned for in the future to avoid the same issues.

Bruno, Erica↗

NASA NTRS1982

Space Shuttle status and performance improvements

Following nearly a decade of studies and development, the Space Shuttle is beginning its flight test phase. This paper reviews the status of the program, and preparations of the space vehicle and facilities for flight. The launch preparations, including conduct of the Mission Verification Test, which comprises a Flight Readiness Firing prior to the actual launch, is discussed. This simulation was designed to test the readiness of the complete organization and all ground and flight equipment for commitment to the first manned orbital flight. The plan of the orbital flight program is outlined indicating how each succeeding flight is made more complex and severe to incrementally test the Space Shuttle. Completion of this four flight program readies the Space Shuttle for operations in late 1982. Payload performance to orbit is increased as the program progresses through the development flights and on into operations.

Day, L. E.↗

NASA NTRS2006

Integrated Modeling and Simulation Verification, Validation, and Accreditation Strategy for Exploration Systems Mission Directorate

Models and simulations (M&S) are critical resources in the exploration of space. They support program management, systems engineering, integration, analysis, test, and operations and provide critical information and data supporting key analyses and decisions (technical, cost and schedule). Consequently, there is a clear need to establish a solid understanding of M&S strengths and weaknesses, and the bounds within which they can credibly support decision-making. Their usage requires the implementation of a rigorous approach to verification, validation and accreditation (W&A) and establishment of formal process and practices associated with their application. To ensure decision-making is suitably supported by information (data, models, test beds) from activities (studies, exercises) from M&S applications that are understood and characterized, ESMD is establishing formal, tailored W&A processes and practices. In addition, to ensure the successful application of M&S within ESMD, a formal process for the certification of analysts that use M&S is being implemented. This presentation will highlight NASA's Exploration Systems Mission Directorate (ESMD) management approach for M&S W&A to ensure decision-makers receive timely information on the model's fidelity, credibility, and quality.

Hale, Joseph P.↗

NASA NTRS2010

Tropospheric Airborne Meteorological Data Reporting (TAMDAR) Sensor Validation and Verification on National Oceanographic and Atmospheric Administration (NOAA) Lockheed WP-3D Aircraft

As part of the National Aeronautics and Space Administration's Aviation Safety and Security Program, the Tropospheric Airborne Meteorological Data Reporting project (TAMDAR) developed a low-cost sensor for aircraft flying in the lower troposphere. This activity was a joint effort with support from Federal Aviation Administration, National Oceanic and Atmospheric Administration, and industry. This paper reports the TAMDAR sensor performance validation and verification, as flown on board NOAA Lockheed WP-3D aircraft. These flight tests were conducted to assess the performance of the TAMDAR sensor for measurements of temperature, relative humidity, and wind parameters. The ultimate goal was to develop a small low-cost sensor, collect useful meteorological data, downlink the data in near real time, and use the data to improve weather forecasts. The envisioned system will initially be used on regional and package carrier aircraft. The ultimate users of the data are National Centers for Environmental Prediction forecast modelers. Other users include air traffic controllers, flight service stations, and airline weather centers. NASA worked with an industry partner to develop the sensor. Prototype sensors were subjected to numerous tests in ground and flight facilities. As a result of these earlier tests, many design improvements were made to the sensor. The results of tests on a final version of the sensor are the subject of this report. The sensor is capable of measuring temperature, relative humidity, pressure, and icing. It can compute pressure altitude, indicated air speed, true air speed, ice presence, wind speed and direction, and eddy dissipation rate. Summary results from the flight test are presented along with corroborative data from aircraft instruments.

Tsoucalas, George↗

DOE OSTI2024

Baseline Characterization Database Verification Report ? NBG-17 Billet V104

The purpose of this report is to present data collected in the Baseline Graphite Characterization Program, which is directly tasked with supporting the Idaho National Laboratory’s (INL’s) research and development efforts on the Advanced Reactor Technologies (ART) Program. This program populates a comprehensive database that reflects the baseline properties of nuclear-grade graphite regarding individual grade, billet, and position within individual billets. The physical- and mechanical-property information being collected will be transferred to the Nuclear Data Management and Analysis System (NDMAS), and that database will help populate the handbook of property data available to member nations of the Generation-IV International Forum. Transfer of these data from the applicable technical lead to the dissemination databases available to other end users requires a full review of the test procedures and data-collection efforts through an analysis of the multiple summary spreadsheets and values being collected. This report represents the analysis for NBG-17 Billet V104 and facilitates release of associated data to the NDMAS custodians. Millions of raw data points have been collected during testing and quantification analyses for these billets. The summary scalar property values and supplementary traceability data are collected into comprehensive spreadsheets. Data sets are composed of single billets of graphite for any given grade, organized by mechanical test-specimen type, and further subdivided into individual spreadsheet tabs according to the specific test or evaluation being performed. A direct analysis of properties was not conducted, and this report does not provide information on the validity or performance characteristics of the graphite itself. Rather, this report is intended as a verification of the completeness of actual data collected in accordance with PLN-3467, “Baseline Graphite Characterization Plan: Electromechanical Testing,” [1] and PLN-3348 “Graphite Mechanical Testing” [2] and their representation of the measurement and test results with sole regard to the graphite billets under evaluation.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS2009

Strategies for Validation Testing of Ground Systems

In order to accomplish the full Vision for Space Exploration announced by former President George W. Bush in 2004, NASA will have to develop a new space transportation system and supporting infrastructure. The main portion of this supporting infrastructure will reside at the Kennedy Space Center (KSC) in Florida and will either be newly developed or a modification of existing vehicle processing and launch facilities, including Ground Support Equipment (GSE). This type of large-scale launch site development is unprecedented since the time of the Apollo Program. In order to accomplish this successfully within the limited budget and schedule constraints a combination of traditional and innovative strategies for Verification and Validation (V&V) have been developed. The core of these strategies consists of a building-block approach to V&V, starting with component V&V and ending with a comprehensive end-to-end validation test of the complete launch site, called a Ground Element Integration Test (GEIT). This paper will outline these strategies and provide the high level planning for meeting the challenges of implementing V&V on a large-scale development program. KEY WORDS: Systems, Elements, Subsystem, Integration Test, Ground Systems, Ground Support Equipment, Component, End Item, Test and Verification Requirements (TVR), Verification Requirements (VR)

Annis, Tammy↗

NASA NTRS1977

Proving the correctness of the flight director program EADIFD, volume 1

EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions.

Lee, F. J.↗

NASA NTRS1974

The effects of cutouts on the buckling of thin shells

A study of the effects of circular and rectangular cutouts on the buckling of thin cylinders loaded by axial compression, bending, and torsion is presented. Experimentally determined design curves for the various loading conditions are provided. Some analytical verification of the experimental results is also provided by a finite-element computer program.

Starnes, J. H., Jr.↗

NASA NTRS1976

Signature extension for spectral variation in soils, volume 4

The reduced 1975-1976 field data at Garden City, Kansas are presented. These data are being used to evaluate the SRVC model predictions, to compare the ERIM-SUITS model with both the SRVC results and field data, and finally, to provide a data base for reviewing multitemporal trajectories. In particular, the applicability of the tasselled cap transformation is reviewed. The first detailed verification of this approach utilizing actual field measured data from the LACIE field measurement program, rather than LANDSAT data, is given.

Berry, J. K.↗

NASA NTRS1979

Space Construction Automated Fabrication Experiment Definition Study (SCAFEDS), part 3. Volume 3: Requirements

The performance, design and verification requirements for the space Construction Automated Fabrication Experiment (SCAFE) are defined. The SCAFE program defines, develops, and demonstrates the techniques, processes, and equipment required for the automatic fabrication of structural elements in space and for the assembly of such elements into a large, lightweight structure. The program defines a large structural platform to be constructed in orbit using the space shuttle as a launch vehicle and construction base.

Source record↗

NASA NTRS1980

First Scientific Working Group Meeting of Airborne Doppler Lidar Wind Velocity Measurement Program

The purpose of the first scientific working group meeting was fourfold: (1) to identify flight test options for engineering verification of the MSFC Doppler Lidar; (2) to identify flight test options for gathering data for scientific/technology applications; (3) to identify additional support equipment needed on the CV 990 aircraft for the flight tests; and (4) to identify postflight data processing and data sets requirements. The working group identified approximately ten flight options for gathering data on atmospheric dynamics processes, including turbulence, valley breezes, and thunderstorm cloud anvil and cold air outflow dynamics. These test options will be used as a basis for planning the fiscal year 1981 tests of the Doppler Lidar system.

Kaufman, J. W.↗

NASA NTRS1981

A Module Experimental Process System Development Unit (MEPSDU)

The purpose of this program is to demonstrate the technical readiness of a cost effective process sequence that has the potential for the production of flat plate photovoltaic modules which met the price goal in 1986 of $.70 or less per watt peak. Program efforts included: preliminary design review, preliminary cell fabrication using the proposed process sequence, verification of sandblasting back cleanup, study of resist parameters, evaluation of pull strength of the proposed metallization, measurement of contact resistance of Electroless Ni contacts, optimization of process parameter, design of the MEPSDU module, identification and testing of insulator tapes, development of a lamination process sequence, identification, discussions, demonstrations and visits with candidate equipment vendors, evaluation of proposals for tabbing and stringing machine.

Source record↗

NASA NTRS1985

Implementation and verification of a comprehensive helicopter coupled rotor - Fuselage analysis

The analytical basis and the application of a Rotor/Airframe Comprehensive Aeroelastic Program (RACAP) are described in detail. The rationale behind each analytical choice is outlined and the modular procedure is described. The program is verified by application to the AH-1G helicopter. The applicability of various airload prediction models is examined, and both the steady and vibratory responses of the blade are compared with flight test data. Reasonable correlation is found between measured and calculated blade response, with excellent correlation for vibration amplitudes at various locations on the fuselage such as engine, pilot seat, and gunner. Within the analytical model, comparisons are drawn between an isolated blade analysis and a coupled rotor/fuselage model. The deficiency of the former in the context of the AH-1G is highlighted.

Wood, E. R.↗

NASA NTRS1986

N-ROSS: The dynamics and control issues

The Navy Remote Ocean Sensing System (N-ROSS) Dynamic Stability Study team concluded that the frozen April 1985 design was viable and contained no show stoppers, although it was also clear from the study results that the configuration required further optimization. While the frozen N-ROSS configuration used has since been superceded, and the vehicle is now under competitive procurement, several other results remain from the study that will have lasting value to the N-ROSS program. The importance of constructing an integrated simulation, to serve as a design and verification aid, has been clearly established. The two team approach to the study afforded the Navy a higher degree of confidence in the results than could have been accomplished by a single simulation, and the approach led to results that highlighted subtleties in the model and simulation development that surely would have been overlookded without the benefit of an independent companion simulation with which to compare it.

Lindberg, Robert E.↗

NASA NTRS1990

Advanced X-ray Astrophysics Facility - Extending man's vision into the X-ray universe

The Advanced X-ray Astrophysics Facility will open a clear window into the X-ray universe. This paper presents an overview of the history, objectives, and status of the program and its projected impact on man's knowledge of the cosmos. The program is shown to be a total system composed of subsystems and their interfaces, verification activities, operations considerations, and a comprehensive interface with the scientific community.

Miller, Lee A.↗

NASA NTRS1992

Verification of the PROS timing analysis package

ROSAT observations of known pulsars are used to verify the functions of timing programs. The Crab Pulsar and PSR 0540-69, with 33 and 50 millisecond periods, are used to examine the fast Fourier transform and the epoch-folding task used to search for periodic signals. These fast pulsars provide a more vigorous test of the system than those with periods of a few seconds.

Manning, K. R.↗