Search NASA⌕ Search

SEARCH · Search NASA

Results for “Source code instrumentation”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

QUEST/Ada (Query Utility Environment for Software Testing of Ada): The development of a prgram analysis environment for Ada, task 1, phase 2

The results of research and development efforts are described for Task one, Phase two of a general project entitled The Development of a Program Analysis Environment for Ada. The scope of this task includes the design and development of a prototype system for testing Ada software modules at the unit level. The system is called Query Utility Environment for Software Testing of Ada (QUEST/Ada). The prototype for condition coverage provides a platform that implements expert system interaction with program testing. The expert system can modify data in the instrument source code in order to achieve coverage goals. Given this initial prototype, it is possible to evaluate the rule base in order to develop improved rules for test case generation. The goals of Phase two are the following: (1) to continue to develop and improve the current user interface to support the other goals of this research effort (i.e., those related to improved testing efficiency and increased code reliable); (2) to develop and empirically evaluate a succession of alternative rule bases for the test case generator such that the expert system achieves coverage in a more efficient manner; and (3) to extend the concepts of the current test environment to address the issues of Ada concurrency.

Brown, David B.↗
NASA NTRS2005

Seeing the Invisible: Embedding Tests in Code That Cannot be Modified

The difficulty of characterizing and observing valid software behavior during testing can be very difficult in flight systems. To address this issue, we evaluated several approaches to increasing test observability on the Shuttle Abort Flight Management (SAFM) system. To increase test observability, we added probes into the running system to evaluate the internal state and analyze test data. To minimize the impact of the instrumentation and reduce manual effort, we used Aspect-Oriented Programming (AOP) tools to instrument the source code. We developed and elicited a spectrum of properties, from generic to application specific properties, to be monitored via the instrumentation. To evaluate additional approaches, SAFM was ported to Linux, enabling the use of gcov for measuring test coverage, Valgrind for looking for memory usage errors, and libraries for finding non-normal floating point values. An in-house C++ source code scanning tool was also used to identify violations of SAFM coding standards, and other potentially problematic C++ constructs. Using these approaches with the existing test data sets, we were able to verify several important properties, confirm several problems and identify some previously unidentified issues.

O'Malley, Owen↗
NASA NTRS2009

Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder

We present work on a prototype tool based on the JavaPathfinder (JPF) model checker for automatically generating tests satisfying the MC/DC code coverage criterion. Using the Eclipse IDE, developers and testers can quickly instrument Java source code with JPF annotations covering all MC/DC coverage obligations, and JPF can then be used to automatically generate tests that satisfy these obligations. The prototype extension to JPF enables various tasks useful in automatic test generation to be performed, such as test suite reduction and execution of generated tests.

Staats, Matt↗
NASA NTRS1982

Automated verification of flight software. User's manual

(Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.

Saib, S. H.↗
NASA NTRS1972

Permutation codes for sources.

Source encoding techniques based on permutation codes are investigated. For a broad class of distortion measures it is shown that optimum encoding of a source permutation code is easy to instrument even for very long block lengths. Also, the nonparametric nature of permutation encoding is well suited to situations involving unknown source statistics. For the squared-error distortion measure a procedure for generating good permutation codes of a given rate and block length is described. The performance of such codes for a memoryless Gaussian source is compared both with the rate-distortion function bound and with the performance of various quantization schemes. The comparison reveals that permutation codes are asymptotically ideal for small rates and perform as well as the best entropy-coded quantizers presently known for intermediate rates. They can be made to compare favorably at high rates, too, provided the coding delay associated with extremely long block lengths is tolerable.

Berger, T.↗
NASA NTRS1991

Recent results of gamma-ray imaging observations of the Galactic center and Crab/A0535 + 26 regions

Imaging observations at hard X-ray and gamma-ray energies of the Galactic center and Crab/A0535 + 26 regions are presented. The measurements were made in a series of high altitude balloon flights of a coded aperture gamma-ray telescope developed by Caltech. The first coded aperture images of the Galactic center region above 35 keV reveal a strong gamma-ray source located 0.7 + or - 0.1 deg away from the Galactic nucleus, consistent with the known X-ray source 1E1740.7 - 2942. In addition, a second source consistent in position with GX354 + 0 has been observed. Flux estimates and upper limits from two other known sources are also discussed. Coded aperture observations of the Crab and A0535 + 26 are presented, demonstrating the ability of coded aperture instruments to observe multiple time variable sources simultaneously.

Cook, W. R.↗
NASA NTRS1997

The Automated Instrumentation and Monitoring System (AIMS): Design and Architecture

Whether a researcher is designing the 'next parallel programming paradigm', another 'scalable multiprocessor' or investigating resource allocation algorithms for multiprocessors, a facility that enables parallel program execution to be captured and displayed is invaluable. Careful analysis of such information can help computer and software architects to capture, and therefore, exploit behavioral variations among/within various parallel programs to take advantage of specific hardware characteristics. A software tool-set that facilitates performance evaluation of parallel applications on multiprocessors has been put together at NASA Ames Research Center under the sponsorship of NASA's High Performance Computing and Communications Program over the past five years. The Automated Instrumentation and Monitoring Systematic has three major software components: a source code instrumentor which automatically inserts active event recorders into program source code before compilation; a run-time performance monitoring library which collects performance data; and a visualization tool-set which reconstructs program execution based on the data collected. Besides being used as a prototype for developing new techniques for instrumenting, monitoring and presenting parallel program execution, AIMS is also being incorporated into the run-time environments of various hardware testbeds to evaluate their impact on user productivity. Currently, the execution of FORTRAN and C programs on the Intel Paragon and PALM workstations can be automatically instrumented and monitored. Performance data thus collected can be displayed graphically on various workstations. The process of performance tuning with AIMS will be illustrated using various NAB Parallel Benchmarks. This report includes a description of the internal architecture of AIMS and a listing of the source code.

Yan, Jerry C.↗
NASA NTRS1992

Efficient Two-Dimensional-FFT Program

Program computes 64 X 64-point fast Fourier transform in less than 17 microseconds. Optimized 64 X 64 Point Two-Dimensional Fast Fourier Transform combines performance of real- and complex-valued one-dimensional fast Fourier transforms (FFT's) to execute two-dimensional FFT and coefficients of power spectrum. Coefficients used in many applications, including analyzing spectra, convolution, digital filtering, processing images, and compressing data. Source code written in C, 8086 Assembly, and Texas Instruments TMS320C30 Assembly languages.

Miko, J.↗
NASA NTRS1993

The Automated Instrumentation and Monitoring System (AIMS) reference manual

Whether a researcher is designing the 'next parallel programming paradigm,' another 'scalable multiprocessor' or investigating resource allocation algorithms for multiprocessors, a facility that enables parallel program execution to be captured and displayed is invaluable. Careful analysis of execution traces can help computer designers and software architects to uncover system behavior and to take advantage of specific application characteristics and hardware features. A software tool kit that facilitates performance evaluation of parallel applications on multiprocessors is described. The Automated Instrumentation and Monitoring System (AIMS) has four major software components: a source code instrumentor which automatically inserts active event recorders into the program's source code before compilation; a run time performance-monitoring library, which collects performance data; a trace file animation and analysis tool kit which reconstructs program execution from the trace file; and a trace post-processor which compensate for data collection overhead. Besides being used as prototype for developing new techniques for instrumenting, monitoring, and visualizing parallel program execution, AIMS is also being incorporated into the run-time environments of various hardware test beds to evaluate their impact on user productivity. Currently, AIMS instrumentors accept FORTRAN and C parallel programs written for Intel's NX operating system on the iPSC family of multi computers. A run-time performance-monitoring library for the iPSC/860 is included in this release. We plan to release monitors for other platforms (such as PVM and TMC's CM-5) in the near future. Performance data collected can be graphically displayed on workstations (e.g. Sun Sparc and SGI) supporting X-Windows (in particular, Xl IR5, Motif 1.1.3).

Yan, Jerry↗
NASA NTRS2021

The CHIMAERA System for Retrievals of Cloud Top, Optical and Microphysical Properties from Imaging Sensors

Continuity and consistency of geophysical retrieval products obtained from different Earth-observing spaceborne or airborne atmospheric multispectral imagers can be challenging due to inherent differences in the instruments and/or the use of different retrieval algorithms. The Cross-platform HIgh resolution Multi-instrument AtmosphEric Retrieval Algorithms (CHIMAERA) system addresses the latter aspect of the inter-sensor continuity problem for cloud property retrievals by removing retrieval methodology and implementation as a source of inconsistency when applied to instruments that share common measurement capabilities. Transferring an existing retrieval algorithm to a new sensor oftentimes is a nontrivial task, as it is common for an algorithm code to be tightly coupled to the sensor for which it was developed. By creating a clear division between the science algorithm and the instrument I/O codes, CHIMAERA allows easy migration of science algorithms to different sensors. CHIMAERA is built from C and FORTRAN source code, and can operate in a variety of environments ranging from a personal laptop to a high-performance computing environment for near real-time satellite data production. It is highly adaptable, low-maintenance and allows for easy expansion such that adding new instruments into the system requires only instrument-specific I/O and provision of any external lookup tables specific to the instrument's spectral characteristics. CHIMAERA currently supports 14 spaceborne and airborne atmospheric imagers from a single code base, and has been in use since 2007. In this paper we describe the engineering aspects of CHIMAERA and briefly discuss a few examples from its many current applications.

Galina (Gala) Wind↗
NASA NTRSDate not supplied

Modeling Radiation Sources for Experimental Validation

To build on previously completed experimental work, I have been working to implement a model of our lab’s Americium-Beryllium neutron source and Ludlum detection instruments computationally to provide secondary verification of our experimental results. This has been done using the radiation transport code MCNP6 (Monte Carlo N-Particle). I have developed files to calculate the mass ratio of various composite materials that we have exposed to the radiation source, as well as the components of the detection instruments and converted all of these into geometric coordinates that define the experimental setup. Identifying the proper energy distribution and detector efficiencies as well as the correct interpretation of the detector physics have proven to be the most difficult and time-consuming challenges of the work. It is currently too early for results based on the most updated and accurate models. With this experience, the next step is to develop another source model of a proton beam to simulate exposures on other composite targets. This will be developed based on existing experimental datasets, but not used to validate them. Each of these projects will further define the radiation shielding needs for humans in space radiation environments that astronauts will someday be exposed to beyond Low Earth Orbit.

Juliana Simon↗
NASA NTRS1990

The diffuse galactic gamma ray emission

The EGRET (Energetic Gamma-Ray Experiment Telescope) detector will provide a much more detailed view of the diffuse galactic gamma ray intensity in terms of higher resolution, greater statistical significance, and broader energy range than earlier missions. These observations will furnish insight into a number of very important questions related to the dynamics and structure of the Galaxy. A diffuse emission model is being developed that incorporates the latest information on matter distribution and source functions. In addition, it is tailored to the EGRET instrument response functions. The analysis code of the model maintains flexibility to accommodate the quality of the data that is anticipated. The discussion here focuses on the issues of the distributions of matter, cosmic rays, and radiation fields, and on the important source functions that enter into the model calculation of diffuse emission.

Bertsch, David L.↗
NASA NTRS1994

A high resolution liquid xenon imaging telescope for 0.3-10 MeV gamma-ray astrophysics: Construction and initial balloon flights

An instrument is described which will provide a direct image of gamma-ray line or continuum sources in the energy range 300 keV to 10 MeV. The use of this instrument to study the celestial distribution of the (exp 26)Al isotope by observing the 1.809 MeV deexcitation gamma-ray line is illustrated. The source location accuracy is 2' or better. The imaging telescope is a liquid xenon time projection chamber coupled with a coded aperture mask (LXe-CAT). This instrument will confirm and extend the COMPTEL observations from the Compton Gamma-Ray Observatory (CGRO) with an improved capability for identifying the actual Galactic source or sources of (exp 26)Al, which are currently not known with certainty. sources currently under consideration include red giants on the asymptotic giant branch (AGB), novae, Type 1b or Type 2 supernovae, Wolf-Rayet stars and cosmic-rays interacting in molecular clouds. The instrument could also identify a local source of the celestial 1.809 MeV gamma-ray line, such as a recent nearby supernova.

Aprile, Elena↗
NASA NTRS2002

Building A New Kind of Graded-Z Shield for Swift's Burst Alert Telescope

The Burst Alert Telescope (BAT) on Swift has a graded-Z Shield that closes out the volume between the coded aperture mask and the Cadmium-Zinc-Telluride (CZT) detector array. The purpose of the 37 kilogram shield is to attenuate gamma rays that have not penetrated the coded aperture mask of the BAT instrument and are therefore a major source of noise on the detector array. Unlike previous shields made from plates and panels, this shield consists of multiple layers of thin metal foils (lead, tantalum, tin, and copper) that are stitched together much like standard multi-layer insulation blankets. The shield sections are fastened around BAT, forming a curtain around the instrument aperture. Strength tests were performed to validate and improve the design, and the shield will be vibration tested along with BAT in late 2002. Practical aspects such as the layup design, methods of manufacture, and testing of this new kind of graded-Z Shield are presented.

Robinson, David W.↗
NASA NTRS2002

Monitoring and Detecting X-ray Transients with the Swift Observatory

Swift is a multi-wavelength observatory specifically designed to detect transients sources in the gamma-ray energy band 15-200 keV. The primary goals of the mission involve gamma ray burst (GRB) astronomy, namely to determine the origin of GRBs and their afterglows, and use bursts to probe the early Universe. However, Swift will also discover new X-ray transient sources, and it will be possible to bring Swift's considerable multi-wavelength capabilities to bear on these sources, and those discovered by other means. The Burst Alert Telescope (BAT) is a coded mask instrument sensitive to 15-200 keV gamma rays, and has a field of view which covers approximately 1/8th of the sky in a single pointing. Over a typical observing day, the almost the entire sky will be observed and monitored for new transient sources. Sources will be detected within several hours of observation. The two narrow field instruments, the X-ray Telescope and Ultra-Violet Optical Telescope, can provide sensitive simultaneous imaging and spectroscopy observations in the optical through soft X-ray bands. The Swift science operations team will entertain requests for targets of opportunity for sources which are astrophysically significant. Swift will be ideally suited for the detection of transients which produce hard X-rays, such as black hole binaries and some neutron star systems.

Markwardt, Craig↗
NASA NTRS1985

Operating characteristics of a prototype high energy gamma-ray telescope

The field of gamma-ray astronomy in the energy range from ten to several hundred MeV is severely limited by the angular resolution that can be achieved by present instruments. The identification of some of the point sources found by the COS-B mission and the resolution of detailed structure existing in those sources may depend on the development of a new class of instrument. The coded aperture mask telescope, used successfully at X-ray energies hold the promise of being such an instrument. A prototype coded aperture telescope was operated in a tagged photon beam ranging in energy from 23 to 123 MeV. The purpose of the experiment was to demonstrate the feasibility of operating a coded aperture mask telescope in this energy region. Some preliminary results and conclusions drawn from some of the data resulting from this experiment are presented.

Jenkins, T. L.↗
NASA NTRS1997

The INTEGRAL scatterometer SPI

The INTErnational Gamma Ray Astrophysics Laboratory (INTEGRAL) mission's onboard spectrometer, the INTEGRAL spectrometer (SPI), is described. The SPI constitutes one of the four main mission instruments. It is optimized for detailed measurements of gamma ray lines and for the mapping of diffuse sources. It combines a coded aperture mask with an array of large volume, high purity germanium detectors. The detectors make precise measurements of the gamma ray energies over the 20 keV to 8 MeV range. The instrument's characteristics are described and the Monte Carlo simulation of its performance is outlined. It will be possible to study gamma ray emission from compact objects or line profiles with a high energy resolution and a high angular resolution.

Mandrou, P.↗
NASA NTRS1991

A subscale facility for liquid rocket propulsion diagnostics at Stennis Space Center

The Diagnostics Testbed Facility (DTF) at NASA's John C. Stennis Space Center in Mississippi was designed to provide a testbed for the development of rocket engine exhaust plume diagnostics instrumentation. A 1200-lb thrust liquid oxygen/gaseous hydrogen thruster is used as the plume source for experimentation and instrument development. Theoretical comparative studies have been performed with aerothermodynamic codes to ensure that the DTF thruster (DTFT) has been optimized to produce a plume with pressure and temperature conditions as much like the plume of the Space Shuttle Main Engine as possible. Operation of the DTFT is controlled by an icon-driven software program using a series of soft switches. Data acquisition is performed using the same software program. A number of plume diagnostics experiments have utilized the unique capabilities of the DTF.

Raines, N. G.↗