Search NASA⌕ Search

SEARCH · Search NASA

Results for “consistency checking”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2020

Bennu Shape Model Validation Methods and Results

The OSIRIS-REx Independent Shape Modeling Team, staffed by the Jet Propulsion Laboratory (JPL), has used stereophotoclinometry (SPC) to produce a three-dimensional shape model of Bennu. The SPC process is informed by (but is separate from) orbit determination, so it is important to ensure that the resulting shape model is consistent with all available spacecraft tracking data. Specifically, checking the shape model’s consistency with LIDAR measurements can illuminate any discrepancies, because LIDAR measurements are highly correlated with the shape model. This study focuses on the JPL experience with these LIDAR measurements and the greater context of the shape model validation process.

Lauretta, Dante S.↗
NASA NTRS1988

Consistent Data Distribution Over Optical Links

Fiber optics combined with IDE's provide consistent data communication between fault-tolerant computers. Data-transmission-checking system designed to provide consistent and reliable data communications for fault-tolerant and highly reliable computers. New technique performs variant of algorithm for fault-tolerant computers and uses fiber optics and independent decision elements (IDE's) to require fewer processors and fewer transmissions of messages. Enables fault-tolerant computers operating at different levels of redundancy to communicate with each other over triply redundant bus. Level of redundancy limited only by maximum number of wavelengths active on bus.

Palumbo, Daniel L.↗
NASA NTRS1965

Fluid check valve has fail-safe feature

Check valve ensures unidirectional fluid flow and, in case of failure, vents the downstream fluid to the atmosphere and gives a positive indication of malfunction. This dual valve consists of a master check valve and a fail-safe valve.

Gaul, L. C.↗
NASA NTRS1984

The upper mantle beneath the Cascade Range: A comparison with the Gulf of California

Seismograms from 22 earthquakes along the northeast Pacific rim recorded in southern California form the data set for investigation of the upper mantle beneath the Cascade Range-Juan de Fuca region, a transitional area encompassing both very young ocean floor and a continental margin. These data consist of 853 seismograms (6 deg delta 42 deg) which produce 1068 travel times and 40 ray parameter estimates. These data are compared directly to another large suite of records representative of structure beneath the Gulf of California, an active spreading center. The spreading center model, GCA, was used as a starting point in WKBJ synthetic seismogram modeling and perturb GCA until the northeast Pacific data are matched. Application of wave field continuation to these two groups of data provides checks on model's consistency with the data as well as an estimate of the resolvability of differences between the two areas. Differences between the models derived from these two data sets are interpretable in terms of lateral structural variation beneath the two regimes.

Walck, M. C.↗
NASA NTRS2010

Ar-Ar Studies of Lherzolitic Shergottites Yamato 000097 and 984028

The approx.170 Ma age of the rock(s) is (likely) preserved in minor phases of high K content. Terrestrial Ar appears to have a nearly ubiquitous presence in the gas release, and mixes with Martian Ar in variable proportions. The intermediate temperature release of the plag separate shows an apparently higher approx.270 Ma age, and suggests the presence of terrestrial Ar that "torques" the correlation to a steeper slope than for 170 Ma. The intermediate temperature data of the pyroxene is consistent with a "young" age (either approx.170 to approx.270 Ma) and mostly Martian trapped Ar. The low temperature (needs checking) data also are essentially consistent with the approx.170 Ma age, but an intercept near the terrestrial value is suspicious. Would not have had terrestrial Ar on Mars, so this is more likely a mixing line. Admixtures of terrestrial Ar in the pyroxene extractions seems pervasive, but can t explain the variation in 39/36 along the intermediate temp. "isochron".

Park, J.↗
NASA NTRS1984

Performance testing of the high altitude observatory PDS microdensitometer

High Altitude Observatory HAO microdensitometer undergoes monthly testing to assure its consistent performance. These tests check positional and photometric stability at the 10 micron aperture level. The HAO test procedure is designed to run without operator intervention following initial configuration of the microdensitometer for each subprocedure. Specialized test software is resident in the PDP 8. The operator selects the proper subprocedure by entering commands. Once computer control is established, it is not relinquished until the test is complete.

Poland, A.↗
NASA NTRS1990

The Office of Space Science and Applications strategic plan, 1990: A strategy for leadership in space through excellence in space science and applications

A strategic plan for the U.S. space science and applications program during the next 5 to 10 years was developed and published in 1988. Based on the strategies developed by the advisory committees of both the National Academy of Science and NASA, the plan balances major, moderate, and small mission initiatives, the utilization of the Space Station Freedom, and the requirements for a vital research base. The Office of Space Science and Applications (OSSA) strategic plan is constructed around five actions: establish a set of programmatic themes; establish a set of decision rules; establish a set of priorities for missions and programs within each theme; demonstrate that the strategy will yield a viable program; and check the strategy for consistency within resource constraints. The OSSA plan is revised annually. This OSSA 1990 Strategic Plan refines the 1989 Plan and represents OSSA's initial plan for fulfilling its responsibilities in two major national initiatives. The Plan is now built on interrelated, complementary strategies for the core space science and applications program, for the U.S. Global Change Research Program, and for the Space Exploration Initiative. The challenge is to make sure that the current level of activity is sustained through the end of this century and into the next. The 1990 Plan presents OSSA's strategy to do this.

Source record↗
NASA NTRS1991

Strategic plan, 1991: A strategy for leadership in space through excellence in space science and applications

In 1988, the Office of Space Science and Applications (OSSA) developed and published a Strategic Plan for the United States' space science and applications program during the next 5 to 10 years. The Plan presented the proposed OSSA program for the next fiscal year and defined a flexible process that provides the basis for near-term decisions on the allocation of resources and the planning of future efforts. Based on the strategies that have been developed by the advisory committees both of the National Academy of Sciences and of NASA, the Plan balances major, moderate, and small mission initiatives, the utilization of Space Station Freedom, and the requirements for a vital research base. The Plan can be adjusted to accommodate varying budget levels, both those levels that provide opportunities for an expanded science and applications program, and those that constrain growth. SSA's strategic planning is constructed around five actions: establish a set of programmatic themes; establish a set of decision rules; establish a set of priorities for missions and programs within each theme; demonstrate that the strategy can yield a viable program; and check the strategy for consistency with resource constraints. The outcome of this process is a clear, coherent strategy that meets both NASA's and OSSA's goals, that assures realism in long-range planning and advanced technology development, and that provides sufficient resiliency to respond and adapt to both known and unexpected internal and external realities. The OSSA Strategic Plan is revised annually to reflect the approval of new programs, improved understanding of requirements and issues, and any major changes in the circumstances, both within NASA and external to NASA, in which OSSA initiatives are considered.

Source record↗
NASA NTRS2002

Smart Aerospace eCommerce: Using Intelligent Agents in a NASA Mission Services Ordering Application

This paper describes how intelligent agent technology was successfully prototyped and then deployed in a smart eCommerce application for NASA. An intelligent software agent called the Intelligent Service Validation Agent (ISVA) was added to an existing web-based ordering application to validate complex orders for spacecraft mission services. This integration of intelligent agent technology with conventional web technology satisfies an immediate NASA need to reduce manual order processing costs. The ISVA agent checks orders for completeness, consistency, and correctness, and notifies users of detected problems. ISVA uses NASA business rules and a knowledge base of NASA services, and is implemented using the Java Expert System Shell (Jess), a fast rule-based inference engine. The paper discusses the design of the agent and knowledge base, and the prototyping and deployment approach. It also discusses future directions and other applications, and discusses lessons-learned that may help other projects make their aerospace eCommerce applications smarter.

Moleski, Walt↗
NASA NTRS2008

Assessing Requirements Quality through Requirements Coverage

In model-based development, the development effort is centered around a formal description of the proposed software system the model. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis [6], model checking [3], theorem proving [1], and test-case generation [4, 7]. This development paradigm is making rapid inroads in certain industries, e.g., automotive, avionics, space applications, and medical technology. This shift towards model-based development naturally leads to changes in the verification and validation (V&V) process. The model validation problem determining that the model accurately captures the customer's high-level requirements has received little attention and the sufficiency of the validation activities has been largely determined through ad-hoc methods. Since the model serves as the central artifact, its correctness with respect to the users needs is absolutely crucial. In our investigation, we attempt to answer the following two questions with respect to validation (1) Are the requirements sufficiently defined for the system? and (2) How well does the model implement the behaviors specified by the requirements? The second question can be addressed using formal verification. Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements. Thus, presently, there is no objective way of answering these two questions. To this end, we propose an approach based on testing that, when given a set of formal requirements, explores the relationship between requirements-based structural test-adequacy coverage and model-based structural test-adequacy coverage. The proposed technique uses requirements coverage metrics defined in [9] on formal high-level software requirements and existing model coverage metrics such as the Modified Condition and Decision Coverage (MC/DC) used when testing highly critical software in the avionics industry [8]. Our work is related to Chockler et al. [2], but we base our work on traditional testing techniques as opposed to verification techniques.

Rajan, Ajitha↗
NASA NTRS2011

Formal Verification Toolkit for Requirements and Early Design Stages

Efficient flight software development from natural language requirements needs an effective way to test designs earlier in the software design cycle. A method to automatically derive logical safety constraints and the design state space from natural language requirements is described. The constraints can then be checked using a logical consistency checker and also be used in a symbolic model checker to verify the early design of the system. This method was used to verify a hybrid control design for the suit ports on NASA Johnson Space Center's Space Exploration Vehicle against safety requirements.

Badger, Julia M.↗
NASA NTRS2011

Reference Management Methodologies for Large Structural Models at Kennedy Space Center

There have been many challenges associated with modeling some of NASA KSC's largest structures. Given the size of the welded structures here at KSC, it was critically important to properly organize model struc.ture and carefully manage references. Additionally, because of the amount of hardware to be installed on these structures, it was very important to have a means to coordinate between different design teams and organizations, check for interferences, produce consistent drawings, and allow for simple release processes. Facing these challenges, the modeling team developed a unique reference management methodology and model fidelity methodology. This presentation will describe the techniques and methodologies that were developed for these projects. The attendees will learn about KSC's reference management and model fidelity methodologies for large structures. The attendees will understand the goals of these methodologies. The attendees will appreciate the advantages of developing a reference management methodology.

Jones, Corey↗
NASA NTRS2013

A Scala DSL for RETE-Based Runtime Verification

Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

matching problem↗
NASA NTRSDate not supplied

Development of a Composite Material Aerodynamic Demise Model for the Object Reentry Survival Analysis Tool (ORSAT)

The reentry demise of fiber-reinforced polymer (FRP) composites is an increasing concern for modern spacecraft at end of life. Unlike traditional materials such as metals, shredding of the material by aerodynamic forces appears to be a major component of the reentry demise mechanism. This paper will describe a new mechanical, strength-based, material demise model for the Object Reentry Survival Analysis Tool (ORSAT) Version 7.1. The model is based on laboratory in-situ and residual strength tests of several FRP materials performed during the NASA Orbital Debris Program Office’s Phase II Composite Material Demise test campaign. To test the residual strength of partially charred FRP materials, the authors tested 107 rectangular shaped samples of different thicknesses that were previously exposed to high-enthalpy flow at the University of Texas at Austin’s Inductively Coupled Plasma Torch facility. Tests were performed under normal atmospheric conditions at NASA Johnson Space Center’s Experimental Impact Laboratory using a Chatillon TCD1000 tensile test machine configured with a three-point bending jig. Mean fracture load, residual strength, delamination, and flexural modulus were measured for each test. An engineering model of aeromechanical demise for each material was developed by correlating the measured residual strength of the samples with the duration and magnitude of the applied heat flux and the mass loss and char progression. This model has been implemented in ORSAT 7.1 for the built-in, charring carbon fiber/epoxy and charring glass fiber/epoxy material models. The new model was verified by calculating the demise of hundreds of FRP composite fragments of various shapes and sizes and checking the calculations for consistency, with specific focus on material characterization in one-dimension. Further tests are planned in hypersonic flow facilities to validate the assumptions used in the model.

Priscilla A. Mendoza↗
NASA NTRSDate not supplied

Development of a Composite Material Aerodynamic Demise Model for the Object Reentry Survival Analysis Tool (ORSAT)

The reentry demise of fiber-reinforced polymer (FRP) composites is an increasing concern for modern spacecraft at end of life. Unlike traditional materials such as metals, shredding of the material by aerodynamic forces appears to be a major component of the reentry demise mechanism. This paper will describe a new mechanical, strength-based, material demise model for the Object Reentry Survival Analysis Tool (ORSAT) Version 7.1. The model is based on laboratory in-situ and residual strength tests of several FRP materials performed during the NASA Orbital Debris Program Office’s Phase II Composite Material Demise test campaign. To test the residual strength of partially charred FRP materials, the authors tested 107 rectangular shaped samples of different thicknesses that were previously exposed to high-enthalpy flow at the University of Texas at Austin’s Inductively Coupled Plasma Torch facility. Tests were performed under normal atmospheric conditions at NASA Johnson Space Center’s Experimental Impact Laboratory using a Chatillon TCD1000 tensile test machine configured with a three-point bending jig. Mean fracture load, residual strength, delamination, and flexural modulus were measured for each test. An engineering model of aeromechanical demise for each material was developed by correlating the measured residual strength of the samples with the duration and magnitude of the applied heat flux and the mass loss and char progression. This model has been implemented in ORSAT 7.1 for the built-in, charring carbon fiber/epoxy and charring glass fiber/epoxy material models. The new model was verified by calculating the demise of hundreds of FRP composite fragments of various shapes and sizes and checking the calculations for consistency, with specific focus on material characterization in one-dimension. Further tests are planned in hypersonic flow facilities to validate the assumptions used in the model.

Priscilla A. Mendoza↗
NASA NTRS1990

The design and proof of correctness of a fault-tolerant circuit

The flowing achievements are presented in view graph form: (1) a formal statement of interactive consistency conditions in the Boyer-Moore logic; (2) a formal statement of the oral messages (OM) algorithm in the Boyer-Moore logic; (3) a mechanically checked proof that OM satisfies the interactive consistency conditions; (4) a mechanically checked proof of the optimality result--no algorithm can tolerate fewer faults than OM yet still achieve interactive consistency; (5) the use of OM in a functional specification for a fault-tolerant device; (6) a formal description of the design of the device; (7) a mechanically checked proof that the device design satisfies the specification; and (8) an implementation of the design in programmable logic arrays.

Bevier, William R.↗
NASA NTRS2013

MPST Software: grl_pef_check

This innovation is a tool used to verify and validate spacecraft sequences at the predicted events file (PEF) level for the GRAIL (Gravity Recovery and Interior Laboratory, see http://www.nasa. gov/mission_pages/grail/main/index. html) mission as part of the Multi-Mission Planning and Sequencing Team (MPST) operations process to reduce the possibility for errors. This tool is used to catch any sequence related errors or issues immediately after the seqgen modeling to streamline downstream processes. This script verifies and validates the seqgen modeling for the GRAIL MPST process. A PEF is provided as input, and dozens of checks are performed on it to verify and validate the command products including command content, command ordering, flight-rule violations, modeling boundary consistency, resource limits, and ground commanding consistency. By performing as many checks as early in the process as possible, grl_pef_check streamlines the MPST task of generating GRAIL command and modeled products on an aggressive schedule. By enumerating each check being performed, and clearly stating the criteria and assumptions made at each step, grl_pef_check can be used as a manual checklist as well as an automated tool. This helper script was written with a focus on enabling the user with the information they need in order to evaluate a sequence quickly and efficiently, while still keeping them informed and active in the overall sequencing process. grl_pef_check verifies and validates the modeling and sequence content prior to investing any more effort into the build. There are dozens of various items in the modeling run that need to be checked, which is a time-consuming and errorprone task. Currently, no software exists that provides this functionality. Compared to a manual process, this script reduces human error and saves considerable man-hours by automating and streamlining the mission planning and sequencing task for the GRAIL mission.

Call, Jared A.↗