SEARCH · Search NASA
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.
Theoretical interpretation of fine structure observations of sunspots by stratoscope, discussing stability modes and sunspot umbras
The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger class of static analysis developers by separating concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits of the approach is demonstrated by a buffer overflow analysis applied to flight control systems.
Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).
Interpretation of k sub p index and m-region geomagnetic storms - magnetopause-solar wind interaction
Interpretation of the k sub p index as a measure of the flucuations of the sum of plasma plus magnetic pressure acting on the outer boundary of the magnetosphere
Interpretation of the 3-to 4- micron spectrum of mars through the study of infrared reflection spectra of organic and inorganic materials
Infrared reflection spectra have been recorded for a large number of inorganic and organic samples, including minerals and biological specimens, for the purpose of interpreting the 3- to 4-micron spectrum of Mars. A previous suggestion that the Martian bands indicated the presence of carbohydrates is shown not to be a required conclusion. However, no satisfactory explanation is advanced and the problem remains unresolved.
Role of spatial concepts in map reading and interpretation of aerial photographs
Lunar environment - interpretation of moon topography and atmosphere
Interpretation of Faraday rotation of polarized radio source emission
Interpretation and analysis of Ranger VII lunar probe photographs of lunar surface
Statistical interpretation of measurement distributions - a priori information
Lunar thermal emission interpretation for solar heat absorption and conduction as indication of surface structure
High resolution mass spectrometry in computer- aided interpretation
Linear PAM regulator minimum energy design by geometric interpretation and graphical solution
Interpretation of ionization vacuum gauge data from Explorer XVII satellite
Interpretation of TIROS III radiation data to demonstrate practical applications in synoptic weather analyses
Interpretive simulation of Librascope computer model-1 and model-3