Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Teardown analysis of a ten cell bipolar nickel-hydrogen battery

Design studies have identified bipolar nickel-hydrogen batteries as an attractive storage option for high power, high voltage applications. A pre-prototype Ni-H2 battery was designed, assembled and tested in the early phases of a concept verification program. The initial stack was built with available hardware and components from past programs. The stack performed well. After 2000 low-earth-orbit cycles the stack was dismantled in order to allow evaluation and analysis of the design and components. The results of the teardown analysis and recommended modifications are discussed.

Manzo, M. A.↗
NASA NTRS1987

Space station System Engineering and Integration (SE and I). Volume 2: Study results

A summary of significant study results that are products of the Phase B conceptual design task are contained. Major elements are addressed. Study results applicable to each major element or area of design are summarized and included where appropriate. Areas addressed include: system engineering and integration; customer accommodations; test and program verification; product assurance; conceptual design; operations and planning; technical and management information system (TMIS); and advanced development.

Source record↗
NASA NTRS1987

SAGA: A project to automate the management of software production systems

The Software Automation, Generation and Administration (SAGA) project is investigating the design and construction of practical software engineering environments for developing and maintaining aerospace systems and applications software. The research includes the practical organization of the software lifecycle, configuration management, software requirements specifications, executable specifications, design methodologies, programming, verification, validation and testing, version control, maintenance, the reuse of software, software libraries, documentation, and automated management.

Campbell, Roy H.↗
NASA NTRS1986

Further development of the dynamic gas temperature measurement system

The objective of this effort was to experimentally verify a dynamic gas temperature measurement system in laboratory experiments. The dynamic gas temperature measurement system verification program is described. A brief description of the sensor geometry and construction is followed by a discussion of the probe heat transfer analysis and subsequent compensation method. The laboratory experiments are described and experimental results are discussed. Finally, directions for further investigation are given.

Elmore, D. L.↗
NASA NTRS1988

Goldstone solar system radar

Planning, direction, experimental design, and coordination of data-acquisition and engineering activities in support of all Goldstone planetary radar astronomy were performed. This work demands familiarity with the various components of a planetary radar telescope (transmitter, receiver, antenna, computer hardware and software) as well as knowledge of how the entire system must function as a cohesive unit to meet the particular scientific objectives at hand in a given observation. Support radar data-processing facilities, currently being used for virtually all Goldstone data reduction includes: a VAX 11/780 computer system, an FPS 5210 array processor, terminals, tape drives, and image-display devices, as well as a large body of data-reduction software to accommodate the variety of data-acquisition formats and strategems. Successful 113-cm radar observation of Callisto and the near-Earth asteroid 1981 Midas and Goldstone/VLA radar observations of Saturn's rings were obtained. Quick-look verification programs from data taken with phase-coded cw (i.e., ranging) waveforms, applicable to Venus, the Moon, and small bodies were completed. Definition of scientific and engineering requirements on instrument performance, radar system configuration, and personnel, for all 1988 Goldstone radar investigations was accomplished.

Jurgens, Raymond F.↗
NASA NTRS1989

Radiometrically accurate FTS for atmospheric emission observations

The calibration and operational performance of an FTIR-based airborne high-resolution interferometer sounder (HIS) for use in broadband measurements of atmospheric emission at 3.8-16.6 microns are described. The radiometric and wavelength calibration procedures in the laboratory involved the use of reference black bodies at 300 and 245 K and the known wavelength of the HIS HeNe laser (corrected for FOV effects), respectively. The atmospheric verification program included downlooking observations from the NASA U2/ER2 aircraft (where resolving power of 1800-3800 was demonstrated) and uplooking observations from the ground; good agreement with data from balloon-borne radiosondes is obtained, with absolute temperature uncertainties of less than 0.5 K and reproducibilities of 0.1-0.2 K over most of the measurement domain.

Revercomb, H. E.↗
NASA NTRS1990

Computer aided system engineering and analysis (CASE/A) modeling package for ECLS systems - An overview

An overview of the CASE/A-ECLSS series modeling package is presented. CASE/A is an analytical tool that has supplied engineering productivity accomplishments during ECLSS design activities. A components verification program was performed to assure component modeling validity based on test data from the Phase II comparative test program completed at the Marshall Space Flight Center. An integrated plotting feature has been added to the program which allows the operator to analyze on-screen data trends or get hard copy plots from within the CASE/A operating environment. New command features in the areas of schematic, output, and model management, and component data editing have been incorporated to enhance the engineer's productivity during a modeling program.

Dalee, Robert C.↗
NASA NTRS1990

The cleanroom case study in the Software Engineering Laboratory: Project description and early analysis

This case study analyzes the application of the cleanroom software development methodology to the development of production software at the NASA/Goddard Space Flight Center. The cleanroom methodology emphasizes human discipline in program verification to produce reliable software products that are right the first time. Preliminary analysis of the cleanroom case study shows that the method can be applied successfully in the FDD environment and may increase staff productivity and product quality. Compared to typical Software Engineering Laboratory (SEL) activities, there is evidence of lower failure rates, a more complete and consistent set of inline code documentation, a different distribution of phase effort activity, and a different growth profile in terms of lines of code developed. The major goals of the study were to: (1) assess the process used in the SEL cleanroom model with respect to team structure, team activities, and effort distribution; (2) analyze the products of the SEL cleanroom model and determine the impact on measures of interest, including reliability, productivity, overall life-cycle cost, and software quality; and (3) analyze the residual products in the application of the SEL cleanroom model, such as fault distribution, error characteristics, system growth, and computer usage.

Green, Scott↗
NASA NTRS1992

Lunar base mission technology issues and orbital demonstration requirements on space station

The International Space Station has been the object of considerable design, redesign, and alteration since it was originally proposed in early 1984. In the intervening years the station has slowly evolved to a specific design that was thoroughly reviewed by a large agency-wide Critical Evaluation Task Force (CETF). As space station designs continue to evolve, studies must be conducted to determine the suitability of the current design for some of the primary purposes for which the station will be used. This paper concentrates on the technology requirements and issues, the on-orbit demonstration and verification program, and the space station focused support required prior to the establishment of a permanently manned lunar base as identified in the National Commission on Space report. Technology issues associated with the on-orbit assembly and processing of the lunar vehicle flight elements are also discussed.

Llewellyn, Charles P.↗
NASA NTRS1991

Lunar in-core thermionic nuclear reactor power system conceptual design

This paper presents a conceptual design of a lunar in-core thermionic reactor power system. The concept consists of a thermionic reactor located in a lunar excavation with surface mounted waste heat radiators. The system was integrated with a proposed lunar base concept representative of recent NASA Space Exploration Initiative studies. The reference mission is a permanently-inhabited lunar base requiring a 550 kWe, 7 year life central power station. Performance parameters and assumptions were based on the Thermionic Fuel Element (TFE) Verification Program. Five design cases were analyzed ranging from conservative to advanced. The cases were selected to provide sensitivity effects on the achievement of TFE program goals.

Mason, Lee S.↗
NASA NTRS2001

Requirements, Verification, and Compliance (RVC) Database Tool

This paper describes the development, design, and implementation of the Requirements, Verification, and Compliance (RVC) database used on the International Space Welding Experiment (ISWE) project managed at Marshall Space Flight Center. The RVC is a systems engineer's tool for automating and managing the following information: requirements; requirements traceability; verification requirements; verification planning; verification success criteria; and compliance status. This information normally contained within documents (e.g. specifications, plans) is contained in an electronic database that allows the project team members to access, query, and status the requirements, verification, and compliance information from their individual desktop computers. Using commercial-off-the-shelf (COTS) database software that contains networking capabilities, the RVC was developed not only with cost savings in mind but primarily for the purpose of providing a more efficient and effective automated method of maintaining and distributing the systems engineering information. In addition, the RVC approach provides the systems engineer the capability to develop and tailor various reports containing the requirements, verification, and compliance information that meets the needs of the project team members. The automated approach of the RVC for capturing and distributing the information improves the productivity of the systems engineer by allowing that person to concentrate more on the job of developing good requirements and verification programs and not on the effort of being a "document developer".

Rainwater, Neil E., II↗
NASA NTRS2000

Complex Resonance Absorption Structure in the X-Ray Spectrum of IRAS 13349+2438

The luminous infrared-loud quasar IRAS 13349+2438 was observed with the XMM - Newton Observatory as part of the Performance Verification program. The spectrum obtained by the Reflection Grating Spectrometer (RGS) exhibits broad (FWHM - 1400 km/s) absorption lines from highly ionized elements including hydrogen- and helium-like carbon, nitrogen, oxygen, and neon, and several iron L - shell ions (Fe XVII - XX). Also shown in the spectrum is the first astrophysical detection of a broad absorption feature around lambda = 16 - 17 A identified as an unresolved transition array (UTA) of 2p - 3d inner-shell absorption by iron M-shell ions in a much cooler medium; a feature that might be misidentified as an O VII edge when observed with moderate resolution spectrometers. No absorption edges are clearly detected in the spectrum. We demonstrate that the RGS spectrum of IRAS 13349+2438 exhibits absorption lines from two distinct regions, one of which is tentatively associated with the medium that produces the optical/UV reddening.

Sako, M.↗
NASA NTRS2004

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen↗
NASA NTRS2004

Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming

In code certification the code consumer publishes a safety policy and the code producer generates a proof that the produced code is in compliance with the published safety policy. In this paper, a novel viewpoint approach towards an implementational re-use oriented framework for code certification is taken. It adopts ingredients from Necula's approach for proof-carrying code, but in this work safety properties can be analyzed on a higher code level than assembly language instructions. It consists of three parts: (1) The specification language is extended to include generic pre-conditions that shall ensure safety at all states that can be reached during program execution. Actual safety requirements can be expressed by providing domain-specific definitions for the generic predicates which act as interface to the environment. (2) The Floyd-Hoare inductive assertion method is refined to obtain proof rules that allow the derivation of the proof obligations in terms of the generic safety predicates. (3) A meta-interpreter is designed and experimentally implemented that enables automatic synthesis of proof obligations for submitted programs by applying the modified Floyd-Hoare rules. The proof obligations have two separate conjuncts, one for functional correctness and another for the generic safety obligations. Proof of the generic obligations, having provided the actual safety definitions as context, ensures domain-specific safety of program execution in a particular environment and is simpler than full program verification.

Eusterbrock, Jutta↗
NASA NTRS2004

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗
NASA NTRS2005

Lithium-Ion Cell Charge-Control Unit Developed

A lithium-ion (Li-ion) cell charge-control unit was developed as part of a Li-ion cell verification program. This unit manages the complex charging scheme that is required when Li-ion cells are charged in series. It enables researchers to test cells together as a pack, while allowing each cell to charge individually. This allows the inherent cell-to-cell variations to be addressed on a series string of cells and reduces test costs substantially in comparison to individual cell testing.

Reid, Concha M.↗
NASA NTRS2006

Lithium-Ion Cell Charge Control Unit

Life-test data of Lithium-Ion battery cells is critical in order to establish their performance capabilities for NASA missions and Exploration goals. Lithium-ion cells have the potential to replace rechargeable alkaline cells in aerospace applications, but they require a more complex charging scheme than is typically required for alkaline cells. To address these requirements in our Lithium-Ion Cell Test Verification Program, a Lithium-Ion Cell Charge Control Unit was developed by NASA Glenn Research Center (GRC). This unit gives researchers the ability to test cells together as a pack, while allowing each cell to charge individually. This allows the inherent cell-to-cell variations to be addressed on a series string of cells and results in a substantial reduction in test costs as compared to individual cell testing. The Naval Surface Warfare Center at Crane, Indiana developed a power reduction scheme that works in conjunction with the Lithium-Ion Cell Charge Control Unit. This scheme minimizes the power dissipation required by the circuitry to prolong circuit life and improve its reliability.

Reid, Concha↗
NASA NTRS2010

In-Flight Performance of Wide Field Camera 3

Wide Field Camera 3 (WFC3), a powerful new UVNisible/IR imager, was installed into HST during Servicing Mission 4. After a successful commissioning in the Servicing Mission Orbital Verification program, WFC3 has been engaged in an exciting program of scientific observations. I review here the in-flight scientific performance of the instrument, addressing such topics as image quality, sensitivity, detector performance, and stability.

Kimble, Randy↗