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 721 records · Page 40
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Liquid rocket booster study. Volume 2, book 3, appendices 2-5: PPIP, transition plan, AMOS plan, and environmental analysis

This Preliminary Project Implementation Plan (PPIP) was used to examine the feasibility of replacing the current Solid Rocket Boosters on the Space Shuttle with Liquid Rocket Boosters (LRBs). The need has determined the implications of integrating the LRB with the Space Transportation System as the earliest practical date. The purpose was to identify and define all elements required in a full scale development program for the LRB. This will be a reference guide for management of the LRB program, addressing such requirement as design and development, configuration management, performance measurement, manufacturing, product assurance and verification, launch operations, and mission operations support.

Source record↗
NASA NTRS1997

Evaluation of the 29-km Eta Model for Weather Support to the United States Space Program

The Applied Meteorology Unit (AMU) conducted a year-long evaluation of NCEP's 29-km mesoscale Eta (meso-eta) weather prediction model in order to identify added value to forecast operations in support of the United States space program. The evaluation was stratified over warm and cool seasons and considered both objective and subjective verification methodologies. Objective verification results generally indicate that meso-eta model point forecasts at selected stations exhibit minimal error growth in terms of RMS errors and are reasonably unbiased. Conversely, results from the subjective verification demonstrate that model forecasts of developing weather events such as thunderstorms, sea breezes, and cold fronts, are not always as accurate as implied by the seasonal error statistics. Sea-breeze case studies reveal that the model generates a dynamically-consistent thermally direct circulation over the Florida peninsula, although at a larger scale than observed. Thunderstorm verification reveals that the meso-eta model is capable of predicting areas of organized convection, particularly during the late afternoon hours but is not capable of forecasting individual thunderstorms. Verification of cold fronts during the cool season reveals that the model is capable of forecasting a majority of cold frontal passages through east central Florida to within +1-h of observed frontal passage.

Manobianco, John↗
NASA NTRS2003

Plumes and Blooms: Observations, Analysis and Modeling for SIMBIOS

The goal of the Plumes and Blooms (PnB) project is to develop, validate and apply to imagery state-of-theart ocean color algorithms for quantifying sediment plumes and phytoplankton blooms for the Case I1 environment of the Santa Barbara Channel. We conduct monthly to twice-monthly transect observations across the Santa Barbara Channel to develop an algorithm development and product validation data set. The PnB field program started in the summer of 1996. At each of the 7 PnB stations, a complete verification bio-geo-optical data set is collected. Included are redundant measures of apparent optical properties (remote sensing reflectance and diffuse attenuation spectra), as well as in situ profiles of spectral absorption, beam attenuation and backscattering coefficients. Water samples are analyzed for component in vivo absorption spectra, fluorometric chlorophyll, phytoplankton pigment (by the SDSU CHORS laboratory), and inorganic nutrient concentrations (Table 1). A primary goal is to use the PnB field data set to objectively tune semi-analytical models of ocean color for this site and apply them using available satellite imagery (SeaWiFS and MODIS). In support of this goal, we have also been addressing SeaWiFS ocean color and AVHRR SST imagery (Otero and Siegel, 2003). We also are using the PnB data set to address time/space variability of water masses in the Santa Barbara Channel and its relationship to the 1997/1998 El Niiio. However, the comparison between PnB field observations and satellite estimates of primary products has been disappointing. We find that field estimates of water-leaving radiance, LwN(h), correspond poorly to satellite estimates for both SeaWiFS and MODIS local area coverage imagery. We believe this is due to poor atmospheric correction due to complex mixtures of aerosol types found in these near-coastal regions. Last, we remain active in outreach activities.

Siegel, D. A.↗
NASA NTRS1999

NASA's Virtual Product Laboratory: An Overview

The Virtual Product Laboratory (VPL) developed by NASA's Commercial Remote Sensing Program at the John C. Stennis Space Center is a tool that enables simulation, design, and verification of remote sensing systems within a software (virtual) environment. The VPL can serve industry, government, and university communities by providing a means to conduct system trade studies, optimization, visual modeling, and data product simulations entirely in a virtual environment. The VPL can serve as a complete end-to-end simulation tool capable of producing system and subsystem performance characterizations, system optimization, and simulated data products or as a means of evaluating any one component of a remote sensing system. In this paper, we present an overview of the VPL capabilities. The VPL functional areas include Requirements, Design & Analysis, Simulation, Project Management, Knowledge Base, and Help. A description of each function along with the tools and techniques used to accomplish these functions will be provided. When possible, sample VPL displays and products will be used in the presentation.

Gasser, Jerry↗
NASA NTRS2003

Plumes and Blooms: Modeling the Case II Waters of the Santa Barbara Channel

The goal of the Plumes and Blooms (PnB) project is to develop, validate and apply to imagery state-of-the-art ocean color algorithms for quantifying sediment plumes and phytoplankton blooms for the Case II environment of the Santa Barbara Channel. We conduct monthly to twice-monthly transect observations across the Santa Barbara Channel to develop an algorithm development and product validation data set. The PnB field program started in the summer of 1996. At each of the 7 PnB stations, a complete verification bio-geo-optical data set is collected. Included are redundant measures of apparent optical properties (remote sensing reflectance and diffuse attenuation spectra), as well as in situ profiles of spectral absorption, beam attenuation and backscattering coefficients. Water samples are analyzed for component in vivo absorption spectra, fluorometric chlorophyll, phytoplankton pigment (by the SDSU CHORS laboratory), and inorganic nutrient concentrations. A primary goal is to use the PnB field data set to objectively tune semi-analytical models of ocean color for this site and apply them using available satellite imagery (SeaWiFS and MODIS). In support of this goal, we have also been addressing SeaWiFS ocean color and AVHRR SST imagery. We also are using the PnB data set to address time/space variability of water masses in the Santa Barbara Channel and its relationship to the 1997/1998 El Nino. However, the comparison between PnB field observations and satellite estimates of primary products has been disappointing. We find that field estimates of water-leaving radiance, L(sub wN)(lambda), correspond poorly to satellite estimates for both SeaWiFS and MODIS local area coverage imagery. We believe this is due to poor atmospheric correction due to complex mixtures of aerosol types found in these near-coastal regions. Last, we remain active in outreach activities.

Siegel, D. A.↗
NASA NTRS2005

NASA Project Constellation Systems Engineering Approach

NASA's Office of Exploration Systems (OExS) is organized to empower the Vision for Space Exploration with transportation systems that result in achievable, affordable, and sustainable human and robotic journeys to the Moon, Mars, and beyond. In the process of delivering these capabilities, the systems engineering function is key to implementing policies, managing mission requirements, and ensuring technical integration and verification of hardware and support systems in a timely, cost-effective manner. The OExS Development Programs Division includes three main areas: (1) human and robotic technology, (2) Project Prometheus for nuclear propulsion development, and (3) Constellation Systems for space transportation systems development, including a Crew Exploration Vehicle (CEV). Constellation Systems include Earth-to-orbit, in-space, and surface transportation systems; maintenance and science instrumentation; and robotic investigators and assistants. In parallel with development of the CEV, robotic explorers will serve as trailblazers to reduce the risk and costs of future human operations on the Moon, as well as missions to other destinations, including Mars. Additional information is included in the original extended abstract.

Dumbacher, Daniel L.↗
NASA NTRS2004

Systems engingeering for the Kepler Mission : a search for terrestrial planets

The Kepler mission will launch in 2007 and determine the distribution of earth-size planets (0.5 to 10 earth masses) in the habitable zones (HZs) of solar-like stars. The mission will monitor > 100,000 dwarf stars simultaneously for at least 4 years. Precision differential photometry will be used to detect the periodic signals of transiting planets. Kepler will also support asteroseismology by measuring the pressure-mode (p-mode) oscillations of selected stars. Key mission elements include a spacecraft bus and 0.95 meter, wide-field, CCD-based photometer injected into an earth-trailing heliocentric orbit by a 3-stage Delta II launch vehicle as well as a distributed Ground Segment and Follow-up Observing Program. The project is currently preparing for Preliminary Design Review (October 2004) and is proceeding with detailed design and procurement of long-lead components. In order to meet the unprecedented photometric precision requirement and to ensure a statistically significant result, the Kepler mission involves technical challenges in the areas of photometric noise and systematic error reduction, stability, and false-positive rejection. Programmatic and logistical challenges include the collaborative design, modeling, integration, test, and operation of a geographically and functionally distributed project. A very rigorous systems engineering program has evolved to address these challenges. This paper provides an overview of the Kepler systems engineering program, including some examples of our processes and techniques in areas such as requirements synthesis, validation & verification, system robustness design, and end-to-end performance modeling.

systems engineering↗
NASA NTRS2010

NASA Docking System (NDS) Users Guide: International Space Station Program. Type 4

The NASA Docking System (NDS) Users Guide provides an overview of the basic information needed to integrate the NDS onto a Host Vehicle (HV). This Users Guide is intended to provide a vehicle developer with a fundamental understanding of the NDS technical and operations information to support their program and engineering integration planning. The Users Guide identifies the NDS Specification, Interface Definition or Requirement Documents that contain the complete technical details and requirements that a vehicle developer must use to design, develop and verify their systems will interface with NDS. This Guide is an initial reference and must not be used as a design document. In the event of conflict between this Users Guide and other applicable interface definition or requirements documents; the applicable document will take precedence. This Users Guide is organized in three main sections. Chapter 1 provides an overview of the NDS and CDA hardware and the operations concepts for the NDS. Chapter 2 provides information for Host Vehicle Program integration with the NDS Project Office. Chapter 2 describes the NDS Project organization, integration and verification processes, user responsibilities, and specification and interface requirement documents. Chapter 3 provides a summary of basic technical information for the NDS design. Chapter 3 includes NDS hardware component descriptions, physical size and weight characteristics, and summary of the capabilities and constraints for the various NDS sub-systems.

Tabakman, Alexander↗
NASA NTRS2016

Functional Fault Model Development Process to Support Design Analysis and Operational Assessment

A functional fault model (FFM) is an abstract representation of the failure space of a givensystem. As such, it simulates the propagation of failure effects along paths between the origin ofthe system failure modes and points within the system capable of observing the failure effects. Asa result, FFMs may be used to diagnose the presence of failures in the modeled system. FFMsnecessarily contain a significant amount of information about the design, operations, and failuremodes and effects. One of the important benefits of FFMs is that they may be qualitative, ratherthan quantitative and, as a result, may be implemented early in the design process when there ismore potential to positively impact the system design. FFMs may therefore be developed andmatured throughout the monitored system's design process and may subsequently be used toprovide real-time diagnostic assessments that support system operations. This paper provides anoverview of a generalized NASA process that is being used to develop and apply FFMs. FFMtechnology has been evolving for more than 25 years. The FFM development process presented inthis paper was refined during NASA's Ares I, Space Launch System, and Ground SystemsDevelopment and Operations programs (i.e., from about 2007 to the present). Process refinementtook place as new modeling, analysis, and verification tools were created to enhance FFMcapabilities. In this paper, standard elements of a model development process (i.e., knowledgeacquisition, conceptual design, implementation & verification, and application) are describedwithin the context of FFMs. Further, newer tools and analytical capabilities that may benefit thebroader systems engineering process are identified and briefly described. The discussion isintended as a high-level guide for future FFM modelers.

Melcher, Kevin J.↗
NASA NTRSDate not supplied

Ariane 5 Fairing Preparations for James JWST Space Telescope

The James Webb Space Telescope (JWST) is a large, infrared space telescope operating at Lagrange point 2. JWST is a joint effort between NASA, ESA, and CSA and was launched from the Centre Spatial Guyanais (CSG) on an Ariane 5 rocket in December 2021. The Ariane 5 payload faring (PLF), as shown in Figure 1, interior and Vehicle Equipment Bay membranes received multiple cleanings, detailed inspections, and verification sampling to achieve necessary cleanliness levels. Investigation of PLF cleanliness began early in the JWST program to test the Fairing Acoustic Protection (FAP) panels. Initial PLF cleaning was performed at RUAG in Switzerland prior to shipment to the launch site in collaboration with NASA and ESA. The cleaning procedure used at RUAG premises was based on heritage of the PLF cleaning procedure for ESA/Herschel-Planck and NASA/Mars2020 missions on an Atlas V launcher. The Ariane 5 fairing was packaged in a clean manner and inspected and cleaned upon arrival to CSG. Silicon wafers and particle fall out (PFO) plates were used to monitor the internal fairing cleanliness prior to encapsulation. Just after encapsulation, PFO plates and calcium fluoride (CaF2) crystals were placed inside the fairing on a specific tool door for monitoring the cleanliness inside the fairing during the ventilation phase. The fairing itself was specially sealed to protect the inner environment with just a small, doored porthole accessible via diving board for final closeout of the purge interface. Fairing cleanliness was achieved and mitigated contamination distribution upon launch.

James Webb Space Telescope↗
NASA NTRS2024

Population Accommodation for NASA Spacesuit and Hardware

The goal of this work is to review the population accommodation principles and methodologies NASA Johnson Space Center has developed for the spacesuit, vehicle hardware, and habitats. NASA has defined the target population characteristics in the Human-System Integration Requirements based on the US Army Anthropometric Survey (ANSUR) database. However, the data was screened to select the cases of 30-50 year old subjects, given the historical characteristics of the crew. Further, accommodation ranges were defined for critical body measurements, as NASA aims to accommodate 1st percentile female to 99th percentile male of the crew-like population. The historical truncation thresholds of 5-95th percentiles were not used. This ensured that the accommodation range was not limited and accounted for the current astronaut population. A simulation study also showed that less than 68% of the population may have remained after multiple measurement truncations due to the anthropometry covariance patterns if the narrower range was retained. The ranges were also adjusted for long-term trends of body shape changes as predicted by the US National Health and Nutrition Examination Survey. Overall, the requirements were deemed critical to ensure the fit and accommodation of the new suit and space hardware. The requirements have specifically defined boundary cases for verifications and validations, of which the details have proven useful as standards across the different space programs. The specific use and benefits will be further discussed through case studies at the presentation.

Han Kim↗
NASA NTRS1973

User's guide to the Mission Analysis Evaluation and Space Trajectory Operations program (MAESTRO)

The MAESTRO system is a mission analysis tool designed to present to the user information necessary to make the various decisions required in the design and execution of a spaceflight mission. The system was designed so that it can be used in both the pre-launch mission planning phase of a mission and during the flight as an in-flight decision making tool. A description of each of the following modes is presented: (1) trajectory propagation mode; (2) retro-fire determination mode; (3) midcourse analysis determination mode; (4) Monte Carlo mode; (5) verification mode; (6) orbit stability mode; and (7) post injection trim mode. A description of the inputs necessary to run the program mode is given along with a sample case.

Lutzky, D.↗
NASA NTRS1978

Diode step stress program, JANTX1N981B

Power/temperature step stress was applied to the Zener diode JANTX1N981B. Reliability of the device was determined. Control units were maintained for verification of the electrical parametric testing. Results are reported.

Source record↗
NASA NTRS2012

Verification of Ares I Liftoff Acoustic Environments via the Ares I Scale Model Acoustic Test

The Ares I Scale Model Acoustic Test (ASMAT) program was implemented to verify the predicted Ares I liftoff acoustic environments and to determine the acoustic reduction gained by using an above deck water sound suppression system. The test article included a 5% scale Ares I vehicle model and Mobile Launcher with tower. Acoustic and pressure data were measured by over 200 instruments. The ASMAT results are compared to Ares I-X flight data.

Counter, Douglas↗
NASA NTRS1981

The NASA Lewis large wind turbine program

The program is directed toward development of the technology for safe, reliable, environmentally acceptable large wind turbines that have the potential to generate a significant amount of electricity at costs competitive with conventional electric generation systems. In addition, these large wind turbines must be fully compatible with electric utility operations and interface requirements. Advances are made by gaining a better understanding of the system design drivers, improvements in the analytical design tools, verification of design methods with operating field data, and the incorporation of new technology and innovative designs. An overview of the program activities is presented and includes results from the first and second generation field machines (Mod-OA, -1, and -2), the design phase of the third generation wind turbine (Mod-5) and the advanced technology projects. Also included is the status of the Department of Interior WTS-4 machine.

Thomas, R. L.↗
NASA NTRS2004

Software for Checking Statecharts

HiVy is a software tool set that enables verification through model checking of designs represented as finite-state machines or statecharts. HiVy provides automated translation of (1) statecharts created by use of the MathWorks Stateflow program to (2) Promela, the input language of the Spin model checker, which can then be used to verify, or trace logical errors in, distributed software systems. HiVy can operate directly on Stateflow models, or its abstract syntax of hierarchical sequential automata (HSA) can be used independently as an intermediate format for translation to Promela. In a typical design application, HiVy parses and reformats Stateflow model file data using the programs SfParse and sf2hsa, respectively. If the parsing effort is successful, an abstract syntax tree is delivered into a file named with the extension .hsa. If the design comprises several model files, they may be merged into one .hsa file before translation into Promela. Stateflow scope is preserved, and name clashes are avoided in the merge process. The HiVy program hsa2pr translates the model from the intermediate HSA format into Promela. Additionally, HiVy provides through translation a list of all statechart model propositions that are the means for formalizing linear temporal logic (LTL) properties about the model for Spin verification.

Pingree, Paula↗
NASA NTRS2005

Verification of the Multi-Axial, Temperature and Time Dependent (MATT) Failure Criterion

An extensive test and analytical effort has been completed by the Space Shuttle's Reusable Solid Rocket Motor (KSKM) nozzle program to characterize the failure behavior of two epoxy adhesives (TIGA 321 and EA946). As part of this effort, a general failure model, the "Multi-Axial, Temperature, and Time Dependent" or MATT failure criterion was developed. In the initial development of this failure criterion, tests were conducted to provide validation of the theory under a wide range of test conditions. The purpose of this paper is to present additional verification of the MATT failure criterion, under new loading conditions for the adhesives TIGA 321 and EA946. In many cases, the loading conditions involve an extrapolation from the conditions under which the material models were originally developed. Testing was conducted using three loading conditions: multi-axial tension, torsional shear, and non-uniform tension in a bondline condition. Tests were conducted at constant and cyclic loading rates ranging over four orders of magnitude. Tests were conducted under environmental conditions of primary interest to the RSRM program. The temperature range was not extreme, but the loading ranges were extreme (varying by four orders of magnitude). It should be noted that the testing was conducted at temperatures below the glass transition temperature of the TIGA 321 adhesive. However for the EA946, the testing was conducted at temperatures that bracketed the glass transition temperature.

Richardson, David E.↗
NASA NTRS1995

Model checking

Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

Dill, David L.↗