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 19 records

Cleared for Launch - Lessons Learned from the OSIRIS-REx System Requirements Verification Program

Requirements verification of a large flight system is a challenge. It is especially challenging for engineers taking on their first role in space systems engineering. This paper describes our approach to verification of the Origins, Spectral Interpretation, Resource Identification, Security-Regolith Explorer (OSIRIS-REx) system requirements. It also captures lessons learned along the way from developing systems engineers embroiled in this process. We begin with an overview of the mission and science objectives as well as the project requirements verification program strategy. A description of the requirements flow down is presented including our implementation for managing the thousands of program and element level requirements and associated verification data. We discuss both successes and methods to improve the managing of this data across multiple organizational interfaces. Our approach to verifying system requirements at multiple levels of assembly is presented using examples from our work at instrument, spacecraft, and ground segment levels. We include a discussion of system end-to-end testing limitations and their impacts to the verification program. Finally, we describe lessons learned that are applicable to all emerging space systems engineers using our unique perspectives across multiple organizations of a large NASA program.

Requirements Verification↗

Three Lectures on Theorem-proving and Program Verification

Topics concerning theorem proving and program verification are discussed with particlar emphasis on the Boyer/Moore theorem prover, and approaches to program verification such as the functional and interpreter methods and the inductive assertion approach. A history of the discipline and specific program examples are included.

Moore, J. S.↗

Program verification document for the ASTP flight program

The various segments of the Apollo Soyuz Test Project (ASTP) flight program were verified. This included checks on the following: general verification, reference systems and transformations, launch preparations, boost navigation and guidance, orbital navigation and guidance, time bases, discretes, and interrupts, launch vehicle attitude control, switch selector processing, digital command system, real time telemetry and data compression, and algorithms.

Source record↗

Electric power system test and verification program

Space Station Freedom's (SSF's) electric power system (EPS) hardware and software verification is performed at all levels of integration, from components to assembly and system level tests. Careful planning is essential to ensure the EPS is tested properly on the ground prior to launch. The results of the test performed on breadboard model hardware and analyses completed to date have been evaluated and used to plan for design qualification and flight acceptance test phases. These results and plans indicate the verification program for SSF's 75-kW EPS would have been successful and completed in time to support the scheduled first element launch.

Rylicki, Daniel S.↗

The SWOT Mission Environmental Verification Program

The objective of the Surface Water and Ocean Topography (SWOT) Mission is to make global measurements of sea surface and terrestrial water heights. The SWOT Observatory consists of the Spacecraft Bus, supplied by CNES, and the Payload Module, provided by JPL. The Spacecraft Bus is a carrier of the Payload Module, which includes all the science instruments. The Spacecraft Bus components have been environmentally verified by CNES and the Payload Module components verified by JPL. The Payload Module was delivered to CNES in June 2021 for integration with the Spacecraft Bus to form the Observatory, which is in the process of undergoing a full set of environmental tests before launch. This paper focuses on the environmental test and analysis program at the assembly (unit), subsystem, and module level for the Payload Module hardware that JPL is responsible for verifying. Even though an Earth-orbiting mission like SWOT is not considered to be at extreme environments, SWOT’s environmental verification program does illustrate the standard System Integration and Test (SIT) process for hardware integration and environmental testing to ensure all hardware have been properly qualified to meet all mission environments. Typical space environmental test and analysis campaign includes acoustics vibration, shock, thermal vacuum, venting/pressure, radiation, electrostatic discharge, EMC/EMI/magnetics, and meteoroids. Environmental test and analysis metrics are presented in this paper. This paper also shows the complex integration process that involves multi-organizations and the latest status on the Observatory environmental test campaign.

Man, Kin F.↗

The Vela Hotel Program: The AEC's Space-Based Nuclear Detection and Treaty Verification Program [Slides]

Early Interest in "Detection": "I would suggest that the best way to get reliable information in a short time would be to send from the States a man qualified to do the testing of the samples on the spot. This man should be officially a representative of the State Department, and his detecting devices, such as small portable Geiger Counters, could then go into Switzerland in the diplomatic pouch via air from Southern Italy. This man could then contact, through the Embassy, suitable people who could collect the water samples without arousing too much curiosity. A fishing trip in a boat would probably give the best disguise, as the fisherman could carry a water bottle in his lunch basket, and fill it after drinking the original contents. The water should be collected from the center of the river, to get the swiftest flowing water, so that the holdup could be minimized. In the lake, the water should be collected as near to the suspected site as possible, or as near to each of the inlet rivers as can be done. Speed in getting from the collection point to the counting room is of great importance, as you are, no doubt, aware." - Luis Alvarez to Major Furman, May 1944.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

30/20 GHz wideband technology verification program

This paper discusses various aspects of the 30/20 GHz wideband technology verification activities of NASA. The discussion considers the objectives, approach, system requirements, possible experiment configuration and payload, and the supporting research and technology elements.

Wright, D. L.↗

Orbit attitude processor. STS-1 bench program verification test plan

A plan for the static verification of the STS-1 ATT PROC ORBIT software requirements is presented. The orbit version of the SAPIENS bench program is used to generate the verification data. A brief discussion of the simulation software and flight software modules is presented along with a description of the test cases.

Mcclain, C. R.↗

TSS subsatellite attitude dynamics and control laws verification programs

A dynamic model of the Tethered Satellite System (TSS) and of the relevant simulation program, developed in order to provide the dynamic analysis support for the design verification of the subsatellite attitude control, is presented. Special care was spent in the satellite attitude dynamic analysis and the model was specifically conceived to this aim. The way in which the simulation results can be utilized for the verification and testing of the attitude control is also presented.

Venditti, Floriano↗

Development of a verification program for deployable truss advanced technology

Use of large deployable space structures to satisfy the growth demands of space systems is contingent upon reducing the associated risks that pervade many related technical disciplines. The overall objectives of this program was to develop a detailed plan to verify deployable truss advanced technology applicable to future large space structures and to develop a preliminary design of a deployable truss reflector/beam structure for use a a technology demonstration test article. The planning is based on a Shuttle flight experiment program using deployable 5 and 15 meter aperture tetrahedral truss reflections and a 20 m long deployable truss beam structure. The plan addresses validation of analytical methods, the degree to which ground testing adequately simulates flight and in-space testing requirements for large precision antenna designs. Based on an assessment of future NASA and DOD space system requirements, the program was developed to verify four critical technology areas: deployment, shape accuracy and control, pointing and alignment, and articulation and maneuvers. The flight experiment technology verification objectives can be met using two shuttle flights with the total experiment integrated on a single Shuttle Test Experiment Platform (STEP) and a Mission Peculiar Experiment Support Structure (MPESS). First flight of the experiment can be achieved 60 months after go-ahead with a total program duration of 90 months.

Dyer, Jack E.↗

SIM grid verification program RFP

The objective of this program is to verify the astrometric stability of a catalog of stars to be used as the reference grid for SIM's wide-angle astrometric science.

SIM grid RFP↗

Chip connectivity verification program

A method for testing electrical connectivity between conductive structures on a chip that is preferably layered with conductive and nonconductive layers. The method includes determining the layer on which each structure is located and defining the perimeter of each structure. Conductive layer connections between each of the layers are determined, and, for each structure, the points of intersection between the perimeter of that structure and the perimeter of each other structure on the chip are also determined. Finally, electrical connections between the structures are determined using the points of intersection and the conductive layer connections.

Riley, Josh↗

Space Shuttle Crawler Transporter Vibration Analysis in Support of Rollout Fatigue Load Spectra Verification Program

The Crawler Transporter (CT), designed and built for the Apollo Program in the 1960's and surpassing its initial operational life, has become an integral part of the Space Shuttle Program (SSP). The CT transports the Space Shuttle Vehicle (SSV) stack, atop the Mobile Launch Platform (MLP), from the Vehicle Assembly Building (VAB) to the launch pad. This support structure provides hydraulic jacking, leveling and load equalization for the 12 million pound stack on its 3.5-5.0 mile rollout to the launch pad. Major elements of the SSV, consisting of the orbiter, solid rocket boosters (SRB) and external tank (ET) have required fatigue analyses as part of the mission life certification. Compared to rollout vibration, the SSV sees relatively high vibration loads during launch, ascent, descent and landing phases of the mission. Although preliminary measured SRB vibration levels during rollout were of low amplitude and frequency, the duration of the rollout phase is typically high, from 5-6 hours. As part of an expanded mission life assessment, additional certification effort was initiated to define fatigue load spectra for rollout. This study addresses the CT vibration analyses in support of the rollout fatigue study. Structural models developed for modal and vibration analyses were used to identify unique CT, CT/MLP and CT/MLP/SRB vibration characteristics for comparison to instrumented rollout tests. Whereas the main structural and vibration characteristics of the SSV are well defined, minimum analytical and vibration test data on the Crawler Transporter were available. Unique vibration characteristics of the CT are attributable to the drive mechanism, hydraulic jacking system, structural framing and the CT-to-MLP support pad restraints. Initial tests performed on the CT/MLP/SRB configuration showed reasonable correlation with predicted mode shapes and frequencies.

Margasahayam, Ravi N.↗

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers

Numerical algorithms lie at the heart of many safety-critical aerospace systems. The complexity and hybrid nature of these systems often requires the use of interactive theorem provers to verify that these algorithms are logically correct. Usually, proofs involving numerical computations are conducted in the infinitely precise realm of the field of real numbers. However, numerical computations in these algorithms are often implemented using floating point numbers. The use of a finite representation of real numbers introduces uncertainties as to whether the properties veri ed in the theoretical setting hold in practice. This short paper describes work in progress aimed at addressing these concerns. Given a formally proven algorithm, written in the Program Verification System (PVS), the Frama-C suite of tools is used to identify sufficient conditions and verify that under such conditions the rounding errors arising in a C implementation of the algorithm do not affect its correctness. The technique is illustrated using an algorithm for detecting loss of separation among aircraft.

Goodloe, Alwyn E.↗

Lithium-Ion Verification Test Program

Need for technology verification for aerospace applications. Structure flexible program that will allow assessment of current technology capabilities. Provide information about various vendors. Provide for assessment of technology developments. Developed statistical DOE to interpret relationships in data and to address program test goals and resource limitations. Data will be used to develop a model to predict life of cells as a function of DOD, temperature, and EOCV.

McKissock, Barbara↗

Summary Report Of The FY25 Computational Fluid Dynamics Verification And Validation Exercises In The Advanced Reactor Technologies - Gas-cooled Reactor Program

Verification and Validation (V&V) of numerical tools is critical for ensuring reasonable predictions during design, safety analysis, and licensing. Recent work in the Advanced Reactor Technologies - Gas-cooled Reactor (ART-GCR) program has focused on V&V of common Computational Fluid Dynamics (CFD) tools that are used within the Untied States. This report presents an update on these CFD V&V activities. These Generation IV Forum (GIF) Very High Temperature Reactor (VHTR) Computational Methods, Validation, and Benchmarking (CMVB) is an international organization dedicated to the verification and validation of High Temperature Gas-Cooled Reactor (HTGR) simulation tools. Participation in the CMVB provides additional value to the V&V activities, as it allows for access to a wider range of data, and provides valuable benchmarking exercises. Three HTGR phenomena are targeted: Reactor Cavity Cooling System (RCCS) performance, core bypass flow, and lower plenum mixing. Simulations of the University of Wisconsin-Madison (UW-Madison) RCCS facilities are performed with Reynolds Averaged Navier-Stokes (RANS) in StarCCM+. Results are compared for both forced and natural convection conditions, with both exhibiting good agreement with experimental measurements. The Idaho National Laboratory (INL) matched index of refraction (MIR) and Korean Atomic Energy Research Institute (KAERI) bypass flow expeirments are used to validation CFD predictions of bypass flow. Simulations are performed with RANS in StarCCM+ and with Large Eddy Simulation (LES) in NekRS. Finally, preliminary simulations of the Institute of Nuclear and New Energy Technology (INET) lower plenum mixing facilities are presented. Initial work has developed models with LES, RANS, and porous media models. These preliminary models are presented and compared to each other to gauge differences in predictions with each of the three methods.

and Benchmarking (CMVB)↗