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 739 records · Page 41

A brief overview of computational structures technology related activities at NASA Lewis Research Center

The presentation gives a partial overview of research and development underway in the Structures Division of LeRC, which collectively is referred to as the Computational Structures Technology Program. The activities in the program are diverse and encompass four major categories: (1) composite materials and structures; (2) probabilistic analysis and reliability; (3) design optimization and expert systems; and (4) computational methods and simulation. The approach of the program is comprehensive and entails exploration of fundamental theories of structural mechanics to accurately represent the complex physics governing engine structural performance, formulation, and implementation of computational techniques and integrated simulation strategies to provide accurate and efficient solutions of the governing theoretical models by exploiting the emerging advances in computer technology, and validation and verification through numerical and experimental tests to establish confidence and define the qualities and limitations of the resulting theoretical models and computational solutions. The program comprises both in-house and sponsored research activities. The remainder of the presentation provides a sample of activities to illustrate the breadth and depth of the program and to demonstrate the accomplishments and benefits that have resulted.

Hopkins, Dale A.↗

A Methodology for Evaluating Artifacts Produced by a Formal Verification Process

The goal of this study is to produce a methodology for evaluating the claims and arguments employed in, and the evidence produced by formal verification activities. To illustrate the process, we conduct a full assessment of a representative case study for the Enabling Technology Development and Demonstration (ETDD) program. We assess the model checking and satisfiabilty solving techniques as applied to a suite of abstract models of fault tolerant algorithms which were selected to be deployed in Orion, namely the TTEthernet startup services specified and verified in the Symbolic Analysis Laboratory (SAL) by TTTech. To this end, we introduce the Modeling and Verification Evaluation Score (MVES), a metric that is intended to estimate the amount of trust that can be placed on the evidence that is obtained. The results of the evaluation process and the MVES can then be used by non-experts and evaluators in assessing the credibility of the verification results.

Siminiceanu, Radu I.↗

Visualization design and verification of Ada tasking using timing diagrams

The use of timing diagrams is recommended in the design and testing of multi-task Ada programs. By displaying the task states vs. time, timing diagrams can portray the simultaneous threads of data flow and control which characterize tasking programs. This description of the system's dynamic behavior from conception to testing is a necessary adjunct to other graphical techniques, such as structure charts, which essentially give a static view of the system. A series of steps is recommended which incorporates timing diagrams into the design process. Finally, a description is provided of a prototype Ada Execution Analyzer (AEA) which automates the production of timing diagrams from VAX/Ada debugger output.

Vidale, R. F.↗

Mapping National Forest Aboveground Biomass in Mexico By Integrating GEDI and Landsat Times Series Data

Mexico is one of the countries with great potential for the UN's Reducing Emissions from Deforestation and Forest Degradation (REDD+) program, a key nature-based solution for the forest sector. To monitor carbon stock changes, there is a growing demand for unbiased Monitoring Reporting Verification (MRV) systems to facilitate effective forest management and climate change mitigation strategies. Remote sensing-based national aboveground biomass density (AGBD) estimation over Mexico is scarce and often limited to one-time static mapping, leading to spatiotemporal inconsistency in inputs. As an effort under NASA's Carbon Monitoring System (CMS) program, we have developed a remote sensing-based approach to create consistent historical AGBD maps of Mexico using multi-stream remote sensing data, including spaceborne lidar GEDI and long-term Landsat time series, as well as topographic information. We employ the continuous change detection and classification (CCDC) algorithm for temporal modeling of Landsat surface reflectance, followed by the inference of forest AGBD using a random forest machine learning algorithm with the temporal information of land surface dynamics extracted by the CCDC as input. GEDI provides unprecedented forest structure and AGBD sampling datasets for model training and validation practices. In this presentation, we share the progress made in developing a spatially explicit mapping of historical AGBD changes associated with land surface changes and post-disturbance landscapes.

Taejin Park↗

Guidelines for Verification Strategies to Minimize RISK Based on Mission Environment, -Application and -Lifetime (MEAL)

There is a trend of compromising verification testing to address the cost and schedule constraints, which poses a high-risk posture for programs/projects. Current and emerging aerospace scientific and/or human exploration programs continue to pose new technological challenges. These technological challenges combined with finite budgets and truncated schedules are forcing designers, scientists, engineers, and managers to push technologies to their physical limits. In addition, budget and schedule pressures challenge how those technologies/missions are verified. A clear understanding of the different verification processes is needed to ensure the proper verification of the technology within the mission (i.e., capabilities, advantages, and limitations). The goal of verification is to prove through test, analysis, inspection, and/or demonstration that a product provides its required function while meeting the performance requirements. It is important that verification yield understanding of representative performance under worst-case conditions so that margins to failure can be evaluated for proposed applications. The capabilities, advantages, and limitations of the testing and inspection performed at each level are different, and the risk incurred by omitting a verification step depends on the level of integration as well as Mission, Environment, Application and Lifetime (MEAL). This paper focuses on verification processes. The goal of the verification process is to ensure the given avionics technology could be safely implemented on the given MEAL consistent with the program/project risk posture.

Gonzalez, Oscar↗

Symbolic Analysis of Concurrent Programs with Polymorphism

The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.

Rungta, Neha Shyam↗

On the relationship between aerosol content and errors in telephotometer experiments.

This paper presents an invariant imbedding theory of multiple scattering phenomena contributing to errors in telephotometer experiments. The theory indicates that there is a simple relationship between the magnitudes of the errors introduced by successive orders of scattering and it is shown that for all optical thicknesses each order can be represented by a coefficient which depends on the field of view of the telescope and the properties of the scattering medium. The verification of the theory and the derivation of the coefficients have been accomplished by a Monte Carlo program. Both monodisperse and polydisperse systems of Mie scatterers have been treated. The results demonstrate that for a given optical thickness the coefficients increase strongly with the mean particle size particularly for the smaller fields of view.

Thomas, R. W. L.↗

Transonic wind tunnel tests of A.015 scale space shuttle orbiter model, volume 1

Transonic wind tunnel tests were run on a 0.015 scale model of the Space Shuttle Orbiter Vehicle in an eight-foot tunnel during August 1975. The purpose of the program was to obtain basic shuttle aerodynamic data through a full range of elevon and aileron deflections, verification of data obtained at other facilities, and effects of Reynolds numbers. The first part of a discussion of test procedures and results in both tabular and graphical form were presented. Tests were performed at Mach numbers from 0.35 to 1.20, and at Reynolds numbers for 3.5 million to 8.2 million per foot. The angle of attack was varied from -1 to +20 degrees at sideslip angles of -2, 0, +2 degrees. Sideslip was varied from -6 to +8 degrees at constant angles of attack from 0 to +20 degrees. Various aileron and ailevon settings were tested for various angles of attack.

Struzynski, N. A.↗

Transonic wind tunnel tests of a .015 scale space shuttle orbiter model, volume 2

Transonic wind tunnel tests were run on a 0.015 scale model of the Space Shuttle Orbiter Vehicle in an eight-foot tunnel during August 1975. The purpose of the program was to obtain basic shuttle aerodynamic data through a full range of elevon and aileron deflections, verification of data obtained at other facilities, and effects of Reynolds numbers. The second part of a discussion of test procedures and results in both tabular and graphical form were presented. Tests were performed at Mach numbers from 0.35 to 1.20, and at Reynolds numbers from 3.5 million to 8.2 million per foot. The angle of attack was varied from -2 to +20 degrees at sideslip angles of -2, 0, +2 degrees. Sideslip was varied from -6 to +8 degrees at constant angles of attack from 0 to +20 degrees. Various aileron and ailevon settings were tested for various angles of attack.

Struzynski, N. A.↗

Transonic high Reynolds number stability and control characteristics of a 0.015-scale remotely controlled elevon model (44-0) of the space shuttle orbiter tested in calspan 8-foot TWT (LA70)

Transonic Wind Tunnel tests were run on a .015 scale model of the space shuttle orbiter vehicle in the 8-foot transonic wind tunnel. Purpose of the test program was to obtain basic shuttle aerodynamic data through a full range of elevon and aileron deflections, verification of data obtained at other facilities, and effects of Reynolds number. Tests were performed at Mach numbers from .35 to 1.20 and Reynolds numbers from 3,500,000 to 8,200,000 per foot. The high Reynolds number conditions (nominal 8,000,000/foot) were obtained using the ejector augmentation system. Angle of attack was varied from -2 to +20 degrees at sideslip angles of -2, 0, and +2 degrees. Sideslip was varied from -6 to +8 degrees at constant angles of attack from 0 to +20 degrees. Aileron settings were varied from -5 to +10 degrees at elevon deflections of -10, 0, and +10 degrees. Fixed aileron settings of 0 and 2 degrees in combination with various fixed elevon settings between -20 and +5 degrees were also run at varying angles of attack.

Parrell, H.↗

Orbital construction demonstration study. Volume 1: Executive summary

A conceptual design and program plan for an Orbital Construction Demonstration Article (OCDA), that can be used for technology growth and verification, and as the construction facility for a variety of large structures is presented. The OCDA design includes a large work platform, a rotating manipulator boom, a 250 kw solar array, and a core module of subsystems with a total mass of 37,093 kg, that can be assembled in three shuttle flights. An analysis of OCDA continued utility potential indicates that a shuttle tended platform with 250 kW of power can effectively be used to construct highly beneficial antenna systems and large demonstration articles that advance solar power satellite technologies. The construction of 100 m parabolic reflectors for use as a radiometer for measuring soil moisture and water salinity was found to be within the capabilities of OCDA concept. With 252 fixed beams for high population centers, and 16 scanning beams for rural areas, the antenna has the potential to significantly improve U.S. space based communications systems. The OCDA, that is slightly increased in size, was found adequate to build a large 2 MW solar array which, when coupled to a transmit antenna, demonstrate power transfer from space to ground.

Source record↗

Overview of the instrumentation program

This program is aimed at developing sensors and measurement systems capable of obtaining the data necessary for the verification of computational models of the structural behavior, the fatigue life, and the environmental conditions pertinent to advanced reusable space propulsion systems. One of the characteristics of measurement systems needed to verify codes is that the sensors must be nonintrusive or at least minimally intrusive so as not to significantly perturb the conditions being measured. This leads to a heavy emphasis on laser optical techniques and on thin-film sensors. Another characteristic of such instruments is that they must be highly accurate and produce very high spatial and temporal resolution of the parameter being measured. The measurement systems needed generally fall into a number of broad categories. First there are the measurements needed on the surfaces of components such as turbine blades and vanes. Some of the desired parameters are temperature, strain, and heat flux. Another broad category encompasses those measurements needed in the flow environment around these components. Here, the desired results are high resolution maps of such parameters as flow velocity, temperature, density, pressure, and species concentration. The remaining category deals with measurements necessary for monitoring the health of the engine. This category has loomed ever more important since the Challenger disaster. An optical method for determining the characteristics of the plume is presented. Holographic measurement of structural damage is also presented.

Nieberding, William C.↗

Validation of the dynamic response of a blade-element UH-60 simulation model in hovering flight

The dynamic fidelity of an operational blade-element simulation model of the UH-60 helicopter is assessed for the hovering and low-speed flight regimes. Nonparametric frequency-domain identification techniques and time-history comparisons are used to determine the validity of total-vehicle on-axis and coupled responses. A dedicated flight-test program was conducted to provide data used in the analysis. The flight-test techniques and data verification methods employed are briefly described. Frequency-domain methods are applied to the model and to several model components in order to isolate deficiencies and verify refinements and corrections. Model deficiencies are also identified by using side-by-side pilot assessments of a motion-base simulation and of a test aircraft. Model updates are found to significantly improve fidelity in the frequency range that is of interest to handling-qualities research. The applicability of the model to high-bandwidth flight-control research is also discussed.

Dalang-Secretan, Marie-Alix↗

Software assurance standard

This standard specifies the software assurance program for the provider of software. It also delineates the assurance activities for the provider and the assurance data that are to be furnished by the provider to the acquirer. In any software development effort, the provider is the entity or individual that actually designs, develops, and implements the software product, while the acquirer is the entity or individual who specifies the requirements and accepts the resulting products. This standard specifies at a high level an overall software assurance program for software developed for and by NASA. Assurance includes the disciplines of quality assurance, quality engineering, verification and validation, nonconformance reporting and corrective action, safety assurance, and security assurance. The application of these disciplines during a software development life cycle is called software assurance. Subsequent lower-level standards will specify the specific processes within these disciplines.

Source record↗

Helium 2 slosh in low gravity

This paper describes the status and plans for the work being performed under NASA NRA contract NASW-4803 so that members of the Microgravity Fluid Dynamics Discipline Working Group are aware of this program. The contract is a cross-disciplinary research program and is administered under the Low Temperature Microgravity Research Program at the Jet Propulsion Laboratory. The purpose of the project is to perform low-gravity verification experiments on the slosh behavior of He II to use in the development of a CFD model that incorporates the two-fluid physics of He II. The two-fluid code predicts a different fluid motion response in low-gravity environment from that predicted by a single-fluid model, while the 1g response is identical for the both types of model.

Ross, Graham O.↗

Putting EVM to the Test

IN MANY INSTANCES THERE IS NO FOREWARNING; SCHEDULES slip, costs soar, and the project manager is faced with the near impossible task of explaining why each impact occurred. With contractors performing the majority of the work, the management job can become even more obscure. The simple lack of proximity to the contractor can limit effective communication. Add to that a mixture of cultural differences and a desire for the contractor to portray the most optimistic view of their performance, and you create an even more difficult task for the project manager. This was the scenario when the Habitat Holding Rack (HHR) manager at Marshall Space Flight Center (MSFC), Stacy Counts, was introduced to the overall concept of Earned Value Management (EVM). Faced with increased costs (which eventually resulted in decreased scope of the project), continued schedule slides, and several technical anomalies, she was looking for a way to gain a better handle on the project performance. As a component of the Space Station Biological Research Program (SSBRP), the HHR project is an integral piece of the Program content. The HHR is the first rack hardware to be delivered for the Program and has therefore been the first rack to move through the trials of test and verification-documenting anomalies and technical difficulties that will benefit the other SSBRP rack projects. For these reasons, the HHR maintained high visibility throughout the manufacturing and assembly process, continuing through test and verification activities. Needless to say, the higher visibility emphasized the need for improved performance on this project. And to improve project performance, Stacy first had to figure out how to measure the cost, schedule and technical objectives effectively.

Kerby, Jerald↗

Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. This paper presents the major problems of adaptive control systems that use learning to improve performance. The paper then presents the major procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of these adaptive control systems. These technologies include the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, simulation and test methods, and tools to provide on-line software assurance.

Jacklin, Stephen↗