Search NASA⌕ Search

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.

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

At least 433 records · Page 24

Space technology in remote health care

A program for an earth-based remote health service system is discussed as a necessary step for the development and verification of a remote health services spacecraft capability. This demonstration program is described to provide data for developing health care for future manned space missions.

Belasco, N.↗

Hoop/column antenna RF verification model. Volume 2: Analysis and correlation

As part of the Large Space System Technology Program, the theoretical and experimental results of the RF characteristic of a hoop/column, quad aperture antenna using an RF verification model are presented. To satisfy the primary purposes of the model, experimental pattern data is provided for the quad aperture configuration at different reflector edge illumination levels, from which the geometry and edge effects can be assessed, and experimental data which can be compared with calculations using various theoretical reflector scattering formulae are provided. It also experimentally determines the effects upon secondary patterns of scale model quartz cables, as used in the hoop/column design, upon secondary patterns in order to assess the importance of developing a scattering theory to predict such effects. In addition, a comprehensive theoretical study and the experimental pattern results of quad aperture antenna feeds, a discussion of the fundamental affect of parasitic side lobes, their amplitude, and location in space.

Croswell, W. F.↗

Integrated testing and verification system for research flight software

The MUST (Multipurpose User-oriented Software Technology) program is being developed to cut the cost of producing research flight software through a system of software support tools. An integrated verification and testing capability was designed as part of MUST. Documentation, verification and test options are provided with special attention on real-time, multiprocessing issues. The needs of the entire software production cycle were considered, with effective management and reduced lifecycle costs as foremost goals.

Taylor, R. N.↗

ATM test and integration

The test and checkout philosophy of the test program for the Skylab ATM module and the overall test flow including in-process, post-manufacturing, vibration, thermal vacuum, and prelaunch checkout activities are described. Capabilities and limitations of the test complex and its use of automation are discussed. Experiences with the organizational principle of using a dedicated test team for all checkout activities are reported. Material on the development of the ATM subsystems, the experimental program and the requirements of the scientific community, and the integration and verification of the complex systems/subsystems of the ATM are presented. The performance of the ATM test program in such areas as alignment, systems and subsystems, contamination control, and experiment operation is evaluated. The conclusions and recommendations resulting from the ATM test program are enumerated.

Moore, J. W.↗

Fatigue life prediction modeling for turbine hot section materials

This paper presents a summary of the life prediction methods developed under the NASA Lewis Research Center's Hot Section Technology (HOST) program. A major objective of the fatigue and fracture efforts under the HOST program was to significantly improve the analytic life prediction tools used by the aeronautical gas turbine engine industry. This has been achieved in the areas of high-temperature thermal and mechanical fatigue of bare and coated high-temperature superalloys. Such technical improvements will eventually reduce life cycle costs. The cyclic crack initiation and propagation resistance of nominally isotropic polycrystalline alloys and highly anisotropic single crystal alloys has been addressed. A sizeable data base has been generated for three alloys [cast PWA 1455 (B-1900 + Hf), wrought Inconel 718, and cast single crystal PWA 1480] in bare and coated conditions. Two coatings systems, diffusion aluminide (PWA 273) and plasma sprayed MCrAIY overlay (PWA 286) were employed. Life prediction modeling efforts were devoted to creep-fatigue interaction, oxidation, coatings interactions, multiaxiality of stress-strain states, mean stress effects, cumulative damage, and thermomechanical fatigue. The fatigue crack initiation life models developed to date include the Cyclic Damage Accumulation (CDA) Model of Pratt & Whitney and the Total Strain Version of Strainrange Partitioning (TS-SRP) of NASA Lewis for nominally isotropic materials, and the Tensile Hysteretic Energy Model of Pratt & Whitney for anisotropic superalloys. The fatigue model being developed by the General Electric Company is based upon the concepts of Path-lndependent Integrals (PII) for describing cyclic crack growth under complex nonlinear response at the crack tip due to thermomechanical loading conditions. A micromechanistic oxidation crack extension model has been derived by researchers at Syracuse University. The models are described and discussed in the paper. Only limited verification has been achieved to-date as several of the technical programs are still in progress and the verification tasks are scheduled, quite naturally, near the conclusion of the program. To-date, efforts have concentrated on development of independent models for cyclic constitutive behavior, cyclic crack initiation, and cyclic crack propagation. The transition between crack initiation and crack propagation has not been thoroughly researched as yet, and the integration of these models into a unified life prediction method has not been addressed.

Metal fatigue↗

NASA/Navy Benchmarking Exchange (NNBE). Volume 1. Interim Report. Navy Submarine Program Safety Assurance

The NASA/Navy Benchmarking Exchange (NNBE) was undertaken to identify practices and procedures and to share lessons learned in the Navy's submarine and NASA's human space flight programs. The NNBE focus is on safety and mission assurance policies, processes, accountability, and control measures. This report is an interim summary of activity conducted through October 2002, and it coincides with completion of the first phase of a two-phase fact-finding effort.In August 2002, a team was formed, co-chaired by senior representatives from the NASA Office of Safety and Mission Assurance and the NAVSEA 92Q Submarine Safety and Quality Assurance Division. The team closely examined the two elements of submarine safety (SUBSAFE) certification: (1) new design/construction (initial certification) and (2) maintenance and modernization (sustaining certification), with a focus on: (1) Management and Organization, (2) Safety Requirements (technical and administrative), (3) Implementation Processes, (4) Compliance Verification Processes, and (5) Certification Processes.

SUBSAFE PROGRAM↗

Verification and Validation in NASA-CUIP LOX/methane Injector Research Efforts

The NASA-CUIP program is supporting experimental and modeling/computational research efforts investigating wall heat flux characteristics of LOX/methane single-element injectors. A Verification and Validation (V&V) task has begun with the objective of quantifying the degree of accuracy of the models for wall heat flux distributions at specific sets of conditions. The V&V approach used is that being drafted as a standard by the ASME Performance Test Codes Committee, PTC 61: Verification and Validation in Computational Fluid Dynamics and Heat Transfer. The approach is based on well-established concepts from experimental uncertainty analysis. Initially the V&V and uncertainty estimation efforts will use data obtained previously in the same facility using oxygen/hydrogen in single-element injector testing. In this paper the V&V process, experimental facility, and computer code are described, and approaches to estimating the associated uncertainties are discussed.

Coleman, Hugh W.↗

Advanced Reference Counting Pointers for Better Performance

A computer program implements reference counting pointers (RCPs) that are lock-free, thread-safe, async-safe, and operational on a multiprocessor computer. RCPs are powerful and convenient means of managing heap memory in C++ software. Most prior RCP programs use locks to ensure thread safety and manage concurrency. The present program was developed in a continuing effort to explore ways of using the C++ programming language to develop safety-critical and mission- critical software. This effort includes exploration of lock-free algorithms because they offer potential to avoid some costly and difficult verification problems. Unlike previously published RCP software, the present program does not use locks (meaning that no thread can block progress on another thread): Instead, this program implements algorithms that exploit capabilities of central-processing- unit hardware so as to avoid locks. Once locks are eliminated, it becomes possible to realize the other attributes mentioned in the first sentence. In addition to the abovementioned attributes, this program offers several advantages over other RCP programs that use locks: It is smaller (and, hence, is faster and uses less memory), it is immune to priority inversion, and there is no way for it to cause a C++ exception.

Reinholtz, William↗

Mask analysis program

Program uses minimal core and time resources and performs following analysis functions: artwork verification, device identification, nodal analysis, capacitance calculation, and logic equation generation. For data base simplicity, program processing operates on mask data which has been coverted from its original form to orthogonal rectangles.

Martin, M.↗

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software.

Stucki, L. G.↗

Verification of the Space Shuttle ascent flight control

The unique avionics design features of the Space Shuttle ascent flight control are described, along with the test article, test equipment, and test techniques used to verify the ascent flight control prior to commitment to the first orbital flight test. The ascent mission profiles are described, noting that upon ignition of the solid rocket boosters the Shuttle vehicle will rise vertically until achieving tower clearance. The Space Shuttle vehicle uses an integrated avionics system with the Orbiter avionics providing the command, control, and monitoring for the total mated Shuttle vehicle. The sensors and the actuator systems are discussed; the method of ascent flight control system verification is described, and it is concluded that the need for an advanced avionics integration and verification laboratory was recognized early in the program to provide maximum support to all program requirements.

Chambers, T. V.↗

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described.

Pratt, T. W.↗

WRAP-RIB antenna technology development

The wrap-rib deployable antenna concept development is based on a combination of hardware development and testing along with extensive supporting analysis. The proof-of-concept hardware models are large in size so they will address the same basic problems associated with the design fabrication, assembly and test as the full-scale systems which were selected to be 100 meters at the beginning of the program. The hardware evaluation program consists of functional performance tests, design verification tests and analytical model verification tests. Functional testing consists of kinematic deployment, mesh management and verification of mechanical packaging efficiencies. Design verification consists of rib contour precision measurement, rib cross-section variation evaluation, rib materials characterizations and manufacturing imperfections assessment. Analytical model verification and refinement include mesh stiffness measurement, rib static and dynamic testing, mass measurement, and rib cross-section characterization. This concept was considered for a number of potential applications that include mobile communications, VLBI, and aircraft surveillance. In fact, baseline system configurations were developed by JPL, using the appropriate wrap-rib antenna, for all three classes of applications.

Freeland, R. E.↗

Shuttle-tethered satellite system definition study. Volume 1: Executive study

The Tethered Satellite System has great prospects for extending orbital operations capability of the Space Transportation System to science, applications, and technology projects not otherwise attainable. The system will installed in the Shuttle Orbiter and will have the capability to deploy a captive satellite up to 100 km away from the Orbiter. Control and retrieval of the satellite are accomplished by means of a tether line connecting the satellite and the cargo bay mounted equipment in the Orbiter. At low satellite altitudes, the system will permit investigations of a duration that could not be pursued with sounding rockets of free-flying spacecraft. The propose of the Shuttle/Tethered Satellite System Definition Study was to produce the preliminary design, preliminary specifications, gross program plans, and program cost estimate for a 1982 operational verification flight. This was accomplished during a fifteen month effort under by the NASA George C. Marshall Space Flight Center (MSFC). The MSFC Phase 1 and related studies demonstrated the feasibility of the system and served as a starting point for the Phase 2 definition study.

Source record↗

Response of GAS payload (G345 and G347) temperatures to various orbiter flight attitudes

At the beginning of the Get-Away Special (GAS) flight program, the GAS Project flew a Flight Verification Payload on STS-3 to make measurements of the vibrations, acoustic and magnetic environments of the canister, and to obtain thermal profiles of internal and external components of the GAS system. These data were used to verify pre-flight thermal models of the GAS system and results have been published in a GSFC Technical Note, X-732-83-8 (Butler, 1983). On somewhat later flights of the Orbiter, STS-7 and STS-8, the Naval Research Laboratory and the Goddard Space Flight Center jointly developed and flew a GAS payload whose primary objective was to evaluate the performance of ultraviolet-sensitive (Schumann) photographic emulsions in the Orbiter environment, including pre-flight integration, on-orbit exposure to the ambient environment of the Orbiter bay and post-flight conditions before removal of the experiment from the vehicle. These emulsions, used in spectrographs to record solar radiations with wavelengths between 100 A and 2000 A, have low gelatin content and no protective gelatin overcoating in order to maximize their UV sensitivity. Consequently, they are extremely sensitive to environmental conditions. Furthermore, they are exposed directly to space during the observations because any intervening protective window or lense would completely absorb the radiations to be studied. which was prepared at the Naval Research Laboratory under the direction of Robert Kreplin (Kreplin et al., 1984 a) also included two thermal sensors, whose output was recorded once an hour with a precision of 0.7O C. The experiment operated nominally on both missions and provided important data confirming that W - sensitive emulsions could tolerate integration and flight on the Shuttle with relatively little deterioration. The results of these studies have already been reported (Kreplin et al, 1984 b). The temperature measurements also were recorded successfully and are the basis for this paper. They are a useful complement to the thermal observations made on STS-3 and provide additional insight into the reaction of a payload to typical thermal environments that GAS experiments are subject to. Our GAS experiment and the circumstances of its flights were particularly useful in terms of modeling the thermal response of the GAS canister and our instrument. The Orbiter was held (except for interruptions for star tracker alignment, satellite deployments, etc., in specific attitudes for sufficiently long periods of time that the thermal response of the instrument to each attitude was well measured. Two types of GAS canister end cap, one, the insulated end cap and the other a silverized teflon covered end-cap, were used on the two flights so that a direct comparison of the thermal performance of the two types was obtained. This report is an attempt to compare these observations with a simple thermal model of the instrument in the GAS canister in order to assess whether such simple models can be useful to experimenters in predicting the thermal response of their payloads.

Werner M. Neuper↗

Ariane 5 verification and associated test facilities

The philosophy of verification tests of the Ariane 5 launcher program is already established. It corresponds to the development and the ground and flight qualification phases for both unmanned and manned launches. The different types of test are outlined for the system, booster, main core and upper structures, allowing the identification of the associated test facilities which are described.

Vedrenne, M.↗

Markov Chains For Testing Redundant Software

Preliminary design developed for validation experiment that addresses problems unique to assuring extremely high quality of multiple-version programs in process-control software. Approach takes into account inertia of controlled system in sense it takes more than one failure of control program to cause controlled system to fail. Verification procedure consists of two steps: experimentation (numerical simulation) and computation, with Markov model for each step.

White, Allan L.↗