Search NASA⌕ Search

SEARCH · Search NASA

Results for “system 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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to communicate their current state, including position and velocity information, to other aircraft in their vicinity and to ground stations. The Compact Position Reporting (CPR) algorithm is the ADS-B module responsible for the encoding and decoding of aircraft positions. CPR is highly sensitive to computer arithmetic since it heavily relies on functions that are intrinsically unstable such as floor and modulo. In this paper, a formally-verified double-precision floating-point implementation of the CPR algorithm is presented. The verification proceeds in three steps. First, an alternative version of CPR, which reduces the floating-point rounding error is proposed. Then, the Prototype Verification System (PVS) is used to formally prove that the ideal real-number counterpart of the improved algorithm is mathematically equivalent to the standard CPR definition. Finally, the static analyzer Frama-C is used to verify that the double-precision implementation of the improved algorithm is correct with respect to its operational requirement. The alternative algorithm is currently being considered for inclusion in the revised version of the ADS-B standards document as the reference implementation of the CPR algorithm.

Laura Titolo↗
NASA NTRS1992

Development of Test-Analysis Models (TAM) for correlation of dynamic test and analysis results

The primary objective of structural analysis of aerospace applications is to obtain a verified finite element model (FEM). The verified FEM can be used for loads analysis, evaluate structural modifications, or design control systems. Verification of the FEM is generally obtained as the result of correlating test and FEM models. A test analysis model (TAM) is very useful in the correlation process. A TAM is essentially a FEM reduced to the size of the test model, which attempts to preserve the dynamic characteristics of the original FEM in the analysis range of interest. Numerous methods for generating TAMs have been developed in the literature. The major emphasis of this paper is a description of the procedures necessary for creation of the TAM and the correlation of the reduced models with the FEM or the test results. Herein, three methods are discussed, namely Guyan, Improved Reduced System (IRS), and Hybrid. Also included are the procedures for performing these analyses using MSC/NASTRAN. Finally, application of the TAM process is demonstrated with an experimental test configuration of a ten bay cantilevered truss structure.

Angelucci, Filippo↗
NASA NTRSDate not supplied

Formal Verification of the Interaction Between Semi-Algebraic Sets and Real Analytic Functions

Semi-algebraic sets and real analytic functions are fundamental concepts in Real Algebraic Geometry and Real Analysis, respectively. These concepts interact in the study of Differential Equations, where the real analytic solution to a differential equation is known to enter or exit a semi-algebraic set in a predicable way. Motivated to enhance the capability to reason about differential equations in the Prototype Verification System (PVS), a formalization of multivariate polynomials, semi-algebraic sets, and real analytic functions is developed. The favorable way that a real analytic function enters and exits a semi-algebraic set is proven. It is further shown that if the function is assumed to be smooth, a slightly weaker assumption than real analytic, these favorable interactions with semi-algebraic sets may fail.

Real analytic functions↗
NASA NTRS2010

A Machine-Checked Proof of A State-Space Construction Algorithm

This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed points, corresponding to a chaotic fixed point strategy. A pencil-and-paper proof of Saturation exists, but a machine checked proof had never been attempted. The key element of the proof is the characterisation theorem of saturated nodes in decision diagrams, stating that a saturated node represents a set of states encoding a local fixed-point with respect to firing all events affecting only the node s level and levels below. For our purpose, we have employed the Prototype Verification System (PVS) for formalising the Saturation algorithm, its data structures, and for conducting the proofs.

Catano, Nestor↗
NASA NTRS2019

Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm

The problem of determining whether or not a point lies inside a given polygon occurs in many applications. In air traffic management concepts, a correct solution to the point-in-polygon problem is critical to geofencing systems for Unmanned Aerial Vehicles and in weather avoidance applications. Many mathematical methods can be used to solve the point-in-polygon problem. Unfortunately, a straightforward floating- point implementation of these methods can lead to incorrect results due to round-off errors. In particular, these errors may cause the control flow of the program to diverge with respect to the ideal real-number algorithm. This divergence potentially results in an incorrect point-in- polygon determination even when the point is far from the edges of the polygon. This paper presents a provably correct implementation of a point-in-polygon method that is based on the computation of the winding number. This implementation is mechanically generated from a source- to-source transformation of the ideal real-number specification of the algorithm. The correctness of this implementation is formally verified within the Frama-C analyzer, where the proof obligations are discharged using the Prototype Verification System (PVS).

Moscato, Mariano M.↗
NASA NTRS1975

The cesium bombardment engine north-south stationkeeping experiment on ATS-6

Two one millipound-thrust cesium bombardment ion thrusters have been developed and integrated on the ATS-F spacecraft for the purpose of demonstrating compatible north-south stationkeeping of a synchronous communication satellite. Preliminary operation of the two thrusters on ATS-6 was completely successful on the first run of each. In addition to verifying operation, the principal accomplishments were the demonstration of a total absence of interference with the communications systems, verification of the predicted spacecraft operating potential, demonstration of compatibility with the star tracker, and demonstration of spacecraft attitude by thrust vectoring. Subsequent attempts to operate the thrusters have not been successful. Analysis indicates that the problem is associated with operation of the propellant reservoirs in zero-g.

Worlock, R. M.↗
NASA NTRS1975

Space Shuttle System progress report

The Shuttle System is being designed to routinely carry payloads of up to 29 510 kilograms into earth orbit. Manned orbital test flights are scheduled to start in 1979. The Shuttle System is to be operational in 1980. The Space Shuttle flight system and mission profile is discussed along with questions of current system configuration and the development status. Attention is given to the orbiter project, the solid rocket booster project, the external tank project, and launch and landing projects. A system verification program is also considered.

Thompson, R. F.↗
NASA NTRS1976

Technical challenges of integrating the Space Shuttle

A review is presented of the technology involved in integrating the Space Shuttle system. A powered flight analysis of the Shuttle is presented, touching upon the following areas: ascent profile and abort mode integration, sizing and design, control of load factor by a stage thrust shaping, structural load constraints, flight performance reserve and trajectory design for the orbital flight test. A discussion is presented of aerothermodynamics including aerodynamic and plume heating. Flight control and separation is considered with attention paid to liftoff, ascent to booster staging, elevon load relief, booster tailoff thrust mismatch and gimbal limitations and booster separation. Structural analysis and dynamics is examined, considering: vehicle loads and modes and the pogo effect. Propulsion aspects (hydraulics, the LH2 recirculation system, the antigeyser system, the pressurization system, etc.), ground vibration tests, separation system verification and flight readiness firing are all described.

Martin, A. C.↗
NASA NTRS1975

Operational Applications of Satellite Snowcover Observations Project

The ongoing Operational Applications of Satellite Snowcover Observations (OASSO) Project of NASA's Applications Systems Verification Test (ASVT) Program is discussed. The general objectives, organization, and study-area activities of the OASSO program are outlined. It is noted that this part of the ASVT Program is designed to evaluate under operational conditions the overall utility of satellite snowcover observations for stream flow forecasts and will be carried out in four regions centered in Arizona, California, Colorado, and Oregon.

Rango, A.↗
NASA NTRS1978

TDRSS system configuration study for space shuttle program

This study was set up to assure that operation of the shuttle orbiter communications systems met the program requirements when subjected to electrical conditions similar to those which will be encountered during the operational mission. The test program intended to implement an integrated test bed, consisting of applicable orbiter, EVA, payload simulator, STDN, and AF/SCF, as well as the TDRSS equipment. The stated intention of Task 501 Program was to configure the test bed with prototype hardware for a system development test and production hardware for a system verification test. In case of TDRSS when the hardware was not available, simulators whose functional performance was certified to meet appropriate end item specification were used.

Source record↗
NASA NTRS1981

Transonic flow over wing/fuselage configurations

Wing Body Code (WIBCO) program simulates flow-field configurations for reduction of design cost and improvement of aircraft performance. Inputs to WIBCO consist of ambient flow conditions and geometric configuration data; grid control and relaxation parameters are internally set. Outputs include input data echo, grid system verification, relaxation-solution convergence history, and computed velocities, pressures, forces, moments, reference lengths, and areas. Program is written in FORTRAN IV for batch execution.

Boppe, C. W.↗
NASA NTRS1980

The Crossbyton project

The Analog Design Verification System (ADVS), the largest single solar collector built, was tested. Referred to as the Solar Gridiron or Bowl Concept, it employs a stationary mirror, with tracking accomplished by the mirror.

Reichert, J. D.↗
NASA NTRS1980

Operational Applications of Satellite Snowcover Observations

The history of remote sensing of snow cover is reviewed and the following topics are covered: various techniques for interpreting LANDSAT and NOAA satellite data; the status of future systems for continuing snow hydrology applications; the use of snow cover observations in streamflow forecasts by Applications Systems Verification and Transfer participants and selected foreign investigators; and the benefits of using satellite snow cover data in runoff prediction.

Rango, A.↗
NASA NTRS1980

Status of the Space Shuttle Solid Rocket Booster

The first Space Shuttle Solid Rocket Boosters have been stacked on the Mobile Launch Platform at the Kennedy Space Center and are ready to be mated with the External Tank and Orbiter in preparation for the first Shuttle flight. This readiness is built upon a design within the state of the art and, to the maximum extent practicable, within the state of experience. Component qualification, subsystem verification, system checkout, and recovery tests are essentially complete and provide the basis for certifying the boosters for manned flight.

Horton, W. P.↗
NASA NTRS1981

Practical aspects of instrumentation system installation, volume 13

A review of factors influencing installation of aircraft flight test instrumentation is presented. Requirements, including such factors as environment, reliability, maintainability, and system safety are discussed. The assessment of the mission profile is followed by an overview of electrical and mechanical installation factors with emphasis on shock/vibration isolation systems and standardization of the electric wiring installation, two factors often overlooked by instrumentation engineers. A discussion of installation hardware reviews the performance capabilities of wiring, connectors, fuses and circuit breakers, and a guide to proper selections is provided. The discussion of the installation is primarily concerned with the electrical wire routing, shield terminations and grounding. Also inclued are some examples of installation mistakes that could affect system accuracy. System verification procedures and special considerations such as sneak circuits, pyrotechnics, aircraft antenna patterns, and lightning strikes are discussed.

Borek, R. W.↗
NASA NTRS1981

Technology transfer program: Perspective

Most of NASA's technology transfer activities are in the area of land use (development, suitability, and planning); forestry (including wildlife and range and vegetation inventories) agriculture related activities; and water resources. The technology dissemination function is exercised through three regional applications centers which are involved in 91 applications projects within 22 states. In addition there are approximately eight application system verification transfer (ASVT) projects, 21 university applications branches, institutionalized liason activities with public interest groups, and user requirements activities. As the result of budget cuts, the ASVT and user requirements and awareness programs are to be phased out at the end of FY81. The university applications programs are to be phased down and terminated by 1985. NASA will continue to work with the user more in an R & D and an applications development capacity, and not in a national scale or administrative way.

Toyshov, A. J.↗
NASA NTRS1982

Full power level development of the Space Shuttle main engine

Development of the Space Shuttle main engine for nominal operation at full power level (109 percent rated power) is continuing in parallel with the successful flight testing of the Space Transportation System. Verification of changes made to the rated power level configuration currently being flown on the Orbiter Columbia is in progress and the certification testing of the full power level configuration has begun. The certification test plan includes the accumulation of 10,000 seconds on each of two engines by early 1983. Certification testing includes the simulation of nominal mission duty cycles as well as the two abort thrust profiles: abort to orbit and return to launch site. Several of the certification tests are conducted at 111 percent power to demonstrate additional safety margins. In addition to the flight test and development program results, future plans for life demonstration and engine uprating will be discussed.

Johnson, J. R.↗
NASA NTRS1981

The evaluation of OSTA's APT and ASVT programs

The results of an evaluation of NASA's Applications Pilot Test (APT) and Applications System Verification and Transfer (AVST) Programs are presented. These programs sponsor cooperative projects between NASA and potential users of remote sensing (primarily LANDSAT) technology from federal and state government and the private sector. Fifteen specific projects, seven APT's and eight ASVT's, are examined as mechanisms for technology development, test, and transfer by comparing their results against stated objectives. Interviews with project managers from NASA field centers and user agency representatives provide the basis for project evaluation from NASA and user perspectives.

Source record↗