Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming tools”

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 595 records · Page 33

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↗

Review of Orbiter Flight Boundary Layer Transition Data

In support of the Shuttle Return to Flight program, a tool was developed to predict when boundary layer transition would occur on the lower surface of the orbiter during reentry due to the presence of protuberances and cavities in the thermal protection system. This predictive tool was developed based on extensive wind tunnel tests conducted after the loss of the Space Shuttle Columbia. Recognizing that wind tunnels cannot simulate the exact conditions an orbiter encounters as it re-enters the atmosphere, a preliminary attempt was made to use the documented flight related damage and the orbiter transition times, as deduced from flight instrumentation, to calibrate the predictive tool. After flight STS-114, the Boundary Layer Transition Team decided that a more in-depth analysis of the historical flight data was needed to better determine the root causes of the occasional early transition times of some of the past shuttle flights. In this paper we discuss our methodology for the analysis, the various sources of shuttle damage information, the analysis of the flight thermocouple data, and how the results compare to the Boundary Layer Transition prediction tool designed for Return to Flight.

Mcginley, Catherine B.↗

Seagrass Health Modeling and Prediction with NASA Science Data

Previous research has demonstrated that MODIS data products can be used as inputs into the seagrass productivity model developed by Fong and Harwell (1994). To further explore this use to predict seagrass productivity, Moderate Resolution Imaging Spectroradiometer (MODIS) custom data products, including Sea Surface Temperature, Light Attenuation, and Chlorophyll-a have been created for use as model parameter inputs. Coastal researchers can use these MODIS data products and model results in conjunction with historical and daily assessment of seagrass conditions to assess variables that affect the productivity of the seagrass beds. Current monitoring practices involve manual data collection (typically on a quarterly basis) and the data is often insufficient for evaluating the dynamic events that influence seagrass beds. As part of a NASA-funded research grant, the University of Mississippi, is working with researchers at NASA and Radiance Technologies to develop methods to deliver MODIS derived model output for the northern Gulf of Mexico (GOM) to coastal and environmental managers. The result of the project will be a data portal that provides access to MODIS data products and model results from the past 5 years, that includes an automated process to incorporate new data as it becomes available. All model parameters and final output will be available through the use National Oceanic and Atmospheric Administration?s (NOAA) Environmental Research Divisions Data Access Program (ERDDAP) tools as well as viewable using Thematic Realtime Environmental Distributed Data Services (THREDDS) and the Integrated Data Viewer (IDV). These tools provide the ability to create raster-based time sequences of model output and parameters as well as create graphs of model parameters versus time. This tool will provide researchers and coastal managers the ability to analyze the model inputs so that the factors influencing a change in seagrass productivity can be determined over time.

Robinson, Harold D.↗

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Moscato, Mariano↗

Performance, Stability and Compatibility of Oxygen/RP-1 Multi-Element Oxidizer-Rich Staged-Combustion Injectors

In 2015 and 2016, the National Aeronautics and Space Administration Marshall Space Flight Center designed, fabricated, assembled and hot-fire tested an oxygen/RP-1 propellant multi-element oxidizer-rich staged-combustion test article. The main objective was to provide thrust chamber combustion stability data as part of the Combustion Stability Tool Development program, although demonstration of performance and compatibility of oxidizer-rich main injectors was also important. Funding was provided by the Air Force Space and Missile Systems Center. Five configurations of main injectors were designed and fabricated, using conventional gas-centered swirl coaxial injector element designs generally similar to those used in oxygen/kerosene oxidizer-rich staged combustion engines such as the Russian RD-180 or NK-33 engines. Variations of element features included element size, recess depth, fuel gap width, and the presence of the sleeve separating the swirling fuel flow from the axial oxidizer flow. Ablative combustion chambers were fabricated based on hardware previously used at the NASA MSFC for testing at similar size and pressure. Existing oxygen/RP-1 oxidizer-rich subscale preburner injectors and hot gas ducts from a previous NASA-funded program were modified for use to supply the oxidizer-rich combustion products to the oxidizer circuit of the main injector of the thrust chamber. Testing of the resulting integrated test article - which included the preburner, inter-connecting hot gas duct, main injector, and ablative combustion chamber - was conducted at Test Stand 116 at the East Test Area of the NASA MSFC. The test article was well instrumented with static and dynamic pressure, temperature, and vibration sensors. This paper presents and discusses all the hot-fire test results of the integrated test article thrust chamber. Eighteen successful hot-fire tests of the integrated rig were conducted. Testing was accomplished with all five of the injector element concepts. Main combustion chamber pressures ranged from 710 to 2350 psia, and main combustion chamber mixture ratios ranged from 2.47 to 2.87. A chamber barrier fuel film coolant of about 2% to 4% of the total fuel flow was used for most tests. Characteristic exhaust velocity efficiency excluding the influence of the fuel film cooling ranged from 91% to 98% of theoretical. All tests of the thrust chamber exhibited stable combustion, even down to 40% of nominal operating pressures. Compatibility of the injector face and combustion chamber walls was acceptable. This paper is a follow-on to publication of preliminary test data presented at the 2016 JANNAF Liquid Propulsion Subcommittee meeting.

Hulka, J. R.↗

TPSAS-NF1676L-29916-DND

The CCMC is a multi-agency partnership to enable, support and perform the research and development for next-generation space science and space weather models. NASA’s CCMC resources support a variety of activities in the US and international space science and engineering communities including - Access to sophisticated space science models - Access to space weather data and models - Applied science support, engineering tools, and program support

Joseph Minow↗

Controlling properties by chemistry in doped shape memory alloys

Shape memory alloys find increasing use in airspace applications. Using theoretical and computational methods, we investigate correlations between the selected properties and composition in doped NiTi-based shape memory alloys. Among the properties we consider relative energies, phase transition temperature, and hysteresis. We compare predictions to experimental data. Our theoretical guidance facilitates design of future alloys. We acknowledge support from the NASA Transformative Aeronautics Concepts Program, Transformational Tools & Technologies (TTT) Project.

NiTi↗

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗

Status on the Recovery of Voyager Plasma Electron Observations at Jupiter

We give status report on the recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The plan is to complete this analysis including new results never published before. The original summary data tapes and later datafiles were evidently permanently lost along with our past analysis results of the plasma electron observations except for that shown in previous publications. These summary data tapes included the plasma ion and electron raw datafiles, status words needed to convert data numbers to currents, SEDR data with trajectory and attitude information and magnetic field measurements. In addition to recovering the plasma electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), the SEDR trajectory information during the out bound passes were lost but fortunately in the past the SEDR files were converted to Spice Kernals, so this unexpected problem was solved. In addition, we had to rewrite our read routines it looked like the previous read routines so the rest of the Fortran code could be used; the Fortran- code had to be modified to work with the latest compilers and computer platforms. We will report on the- status of our work- originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART)program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM)program at NASA Goddard Space Flight Center.

E C Sittler Jr.↗

Recovery of Voyager Plasma Electron Observations at Jupiter

We will present our recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The analysis is expected to be completed by the time of the Fall AGU 2023 Meeting and stored in Goddard’s Data Center and we will present new results never published before. The original summary data tapes and later data files at first appeared to be permanently lost but eventually located at the Massachusetts Institute of Technology, while data analysis results done at Goddard Space Flight Center, except for that published in journals, were permanently lost such as electron distribution functions, spacecraft trajectory and spacecraft attitude information. In addition to recovering the electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), we use Spice Kernels for Voyager 1 and 2 trajectory and spacecraft attitude information, fortunately produced by NASA’s Jet Propulsion Laboratory. We will present new results of our work, originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART) program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM) program at NASA Goddard Space Flight Center. If time permits, we will also present some of our recovery of the Voyager 2 Uranus plasma electron data and analysis similar to what was done for Jupiter.

E.C. Sittler Jr.↗

Recovery of Voyager Plasma Electron Observations at Jupiter

We will present our recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The analysis is expected to be completed by the time of the Fall AGU 2023 Meeting and stored in Goddard’s Data Center and we will present new results never published before. The original summary data tapes and later data files at first appeared to be permanently lost but eventually located at the Massachusetts Institute of Technology, while data analysis results done at Goddard Space Flight Center, except for that published in journals, were permanently lost such as electron distribution functions, spacecraft trajectory and spacecraft attitude information. In addition to recovering the electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), we use Spice Kernels for Voyager 1 and 2 trajectory and spacecraft attitude information, fortunately produced by NASA’s Jet Propulsion Laboratory. We will present new results of our work, originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART) program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM) program at NASA Goddard Space Flight Center. If time permits, we will also present some of our recovery of the Voyager 2 Uranus plasma electron data and analysis similar to what was done for Jupiter.

E.C. Sittler Jr.↗

Glprof: A Gprof inspired, Callgraph-oriented Per-Object Disseminating Memory Access Multi-Cache Profiler

Application analysis is facilitated through a number of program profiling tools. The tools vary in their complexity, ease of deployment, design, and profiling detail. Specifically, understand- ing, analyzing, and optimizing is of particular importance for scientific applications where minor changes in code paths and data-structure layout can have profound effects. Understanding how intricate data-structures are accessed and how a given memory system responds is a complex task. In this paper we describe a trace profiling tool, Glprof, specifically aimed to lessen the burden of the programmer to pin-point heavily involved data-structures during an application's run-time, and understand data-structure run-time usage. Moreover, we showcase the tool's modularity using additional cache simulation components. We elaborate on the tool's design, and features. Finally we demonstrate the application of our tool in the context of Spec bench- marks using the Glprof profiler and two concurrently running cache simulators, PPC440 and AMD Interlagos.

Janjusic, Tommy↗

Evaluating the Maturity of Cybersecurity Programs for Building Control Systems

The cyber-physical security threat to buildings is complex, non-linear, and rapidly evolving as operational and information technologies converge and connect buildings to cyberspace. Cyberattacks on buildings can exploit smart building controls and breach corporate networks, causing financial and reputational damage. This may result in the loss of sensitive building information or the disruption of, or damage to, the systems necessary for the safe and efficient operation of buildings. For the buildings and facility infrastructure, there is a need for a robust national cybersecurity strategy for buildings, guidance on the selection and implementation of appropriate cybersecurity controls for buildings, an approach to evaluate the maturity and adequacy of the cybersecurity programs. To provide an approach for evaluating the maturity of the cybersecurity programs for building control systems, the US Department of Energy’s widely used Cybersecurity Capability and Maturity Model (C2M2) has been adapted into a building control systems version. The revised model, the Buildings-C2M2 (B-C2M2) provides maturity level indicators for cybersecurity programmatic domains. A “B-C2M2 Lite” version allows facility managers and building control system engineers, or information technology personnel to perform rapid self-assessments of their cybersecurity program. Both tools have been pilot tested on several facilities. This paper outlines the concept of a maturity model, describes the B-C2M2 tools, presents results and observations from the pilot assessments, and lays out plans for future work.

Glantz, Clifford S.↗

NREL's REopt Lite Tool - Open Source

REopt Lite can be accessed via the web tool, application programming interface (API), or open source code. The open source code allows users to add custom features and capabilities.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Clean Energy for Low Income Communities Accelerator (CELICA) Year 1 Review

This document provides an overview of the year one accomplishments of DOE’s Clean Energy for Low Income Communities Accelerator (CELICA), program planning tools for CELICA partners, as well as planned activities for year two of the Accelerator.

low income, communities, clean energy, renewable e↗