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 919 records · Page 51

HAL/SM language specification

A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.

Williams, G. P. W., Jr.↗

TRANSFORM - TRANsient Simulation Framework of Reconfigurable Models

Existing development tools for early stage design and scoping of energy systems are often time consuming to use, proprietary, and do not contain the necessary function to model complete systems (i.e., controls, primary, and secondary systems) in a common platform. The Modelica programming language based TRANSFORM tool (1) provides a standardized, common simulation environment for early design of energy systems (i.e., power plants), (2) provides a library of baseline component modules to be assembled into full plant models using available geometry, design, and thermal-hydraulic data, (3) defines modeling conventions for interconnecting component models, and (4) establishes user interfaces and support tools to facilitate simulation development (i.e., configuration and parameterization), execution, and results display and capture.

Greenwood, Michael S↗

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗

The OpenEfficiency Initiative: Piloting an open source solution to overcome market barriers to commercial energy savings

The OpenEfficiency Initiative supported the deployment of federal energy efficiency tools and data standards into energy efficiency programs operated by utilities and local governments, with the goal of reducing the cost and improving the savings performance of whole buildings programs. Over more than three years, the effort supported a range of pilots testing the integration of these tools into a range of energy efficiency program types. The effort also produced a set of open source tools that can be used to support program management.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Utilization of wind tunnel instrumentation with software verifications

Software tools developed for the National Full-Scale Aerodynamic Complex (NFAC) for verifying data integrity and troublehooting problems are discussed. The Hardware Check verifies that the incoming signals are properly connected and are being acquired into the real time data system. The Zero/Cal Check program verifies the reliability of the wind tunnel instrumentation by checking the zero and calibration points. The Power Spectral Density Plots help to identify the frequency components of a signal. Drift Program and Thermal Plots tools are also described.

Silva, Betty W.↗

CASL Annual Report (FY2018)

The Consortium for Advanced Simulation of Light Water Reactors (CASL) was established in July 2010 as the first US Department of Energy (DOE) Energy Innovation Hub. The consortium was initially funded for five years to develop advanced modeling and simulation (M&S) tools that can be used to analyze issues associated with the operation of US commercial light water reactors (LWRs). During this period, the program focused primarily on capabilities to solve challenges related to pressurized water reactor (PWR) operation. In January 2015, the program was extended for an additional five years with the goal of finalizing development and deployment of CASL tools for PWR analysis and extending the program’s tools for use in small modular reactor (SMR) operation and boiling water reactor (BWR) analyses. In February 2018, the CASL program was authorized to receive additional funds to focus on the use of advanced M&S tools in a regulatory environment.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Thermal-Hydraulic-Analysis Program

ELM computer program is simple computational tool for modeling steady-state thermal hydraulics of flows of propellants through fuel-element-coolant channels in nuclear thermal rockets. Evaluates various heat-transfer-coefficient and friction-factor correlations available for turbulent pipe flow with addition of heat. Comparisons possible within one program. Machine-independent program written in FORTRAN 77.

Walton, J. T.↗

Calculating the Flow Field in a Radial Turbine Scroll

Set of two computer programs calculates flow field in radial turbine scroll. Programs represent improvement in analyzing flow in radial turbine scrolls and provide designer with tools for designing better scrolls. Programs written in FORTRAN IV.

Baskharone, E.↗

Orbital Mechanics Analysis Program

Orbital Mechanics Analysis Program provides engineers with simple tool for analysis or synthesis of any orbital maneuvering function involving vehicle and target. Program useful in such applications as proximity operations and rendezvous maneuvers.

Simon, W. C.↗

A Generic Software Safety Document Generator

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Denney, Ewen↗

Program Aids Design Of Fluid-Circulating Systems

Computer Aided Systems Engineering and Analysis (CASE/A) program is interactive software tool for trade study and analysis, designed to increase productivity during all phases of systems engineering. Graphics-based command-driven software package provides user-friendly computing environment in which engineer analyzes performance and interface characteristics of ECLS/ATC system. Useful during all phases of spacecraft-design program, from initial conceptual design trade studies to actual flight, including pre-flight prediction and in-flight analysis of anomalies. Written in FORTRAN 77.

Bacskay, Allen↗

Automatic Calibration Of Manual Machine Tools

Modified scheme uses data from multiple positions and eliminates tedious positioning. Modification of computer program adapts calibration system for convenient use with manually-controlled machine tools. Developed for use on computer-controlled tools. Option added to calibration program allows data on random tool-axis positions to be entered manually into computer for reduction. Instead of setting axis to predetermined positions, operator merely sets it at variety of arbitrary positions.

Gurney, Rex D.↗

Thermal Hydraulics Safety Analyses of TRIGA Reactor Upon Fuel Reconfiguration

Safety analyses of the Training, Research, Isotope, General Atomics (TRIGA) reactor at Kansas State University(KSU) is performed using thermal hydraulic simulations based on changes to reactivity or the volumetric heat generation rate due to changes in the positioning of the enriched fuel elements in the reactor core. If the reactivity or neutronics parameters are known, then they can be used to simulate the thermal energy state of the material which is crucial to assess the safety of the nuclear fuel inside a nuclear reactor. Several thermal hydraulics models and codes have been developed in the past to assess reactor safety. RELAP (Reactor Excursion and Leak Analysis Program) is one such tool widely used throughout the world for safety analyses. Although RELAP is considered a reliable tool by regulators, vendors, and operators, it lacks the numerical fidelity provided by 3-D computational fluid dynamics (CFD) models. This work involves the critical task of assessing safety of a research reactor upon fuel reconfiguration based on models developed in RELAP and comparing them with a commercially available 3-D CFD program. The TRIGA Mark-II reactor, designed by General Atomics and located at Kansas State University, is a class of small pool type inherently safe research reactor licensed to operate at steady state power of up to 1.25 MW. It has a cylindrical core measuring 0.45 meters diametrically and 0.38 meters axially positioned in a tank measuring 1.98 meters diametrically and 6.25 meters axially. It has uranium zirconium hydride (UZrH) fuel rods housed in stainless steel cladding material arranged in five concentric rings (B,C,D,E and F rings, in that order, moving outwards from the center). TRIGA fuel is nominally 20% enriched, but the reactivity of the fuel can be changed by using burnable poisons (not used at KSU), or by varying the total weight percent of uranium in the UZrH fuel meat. The TRIGA reactor is designed to be an inherently safe reactor and is designed to be cooled by natural convection. Thus it is of paramount importance to avoid the film boiling regime; failing to do so will subject the fuel to severe conditions, possibly resulting in its failure due to fuel/clad interactions. A high DNBR ratio is a primary consideration in the reactor core design and thus any modification in the core should ensure that this criteria is always met. In order to fully utilize the capabilities of KSU TRIGA reactor facility, it should be operated at its full capacity, i.e. 1.25 MW, which requires increasing the fuel loading in some of the E- and F-ring elements from 8.5% U (nominal) to 12.0% U (nominal). Only four elements are to be switched to 12% loading, causing local power peaking in these elements. The degree of power peaking to be expected in these 12%-loaded fuel elements was calculated based on a detailed MCNP (Monte Carlo N-Particle code) model of the reactor core. Some preliminary results of the calculations are presented in this paper based on changes in peaking factors and power levels. To predict reactor thermal behavior, axial changes in the peaking factors obtained from MCNP models were used to calculate volumetric energy density functions for a single channel one dimensional RELAP model and a three dimensional COMSOL model of the TRIGA MARK-II reactor. (authors)

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Clean Energy to Communities: Gap Region Outreach Project

The Clean Energy to Communities (C2C) program provides expertise and tools to local and regional governments, Tribes, community-based organizations, municipal utilities, and rural electric cooperatives to help them achieve their clean energy goals. The U.S. Department of Energy (DOE) launched C2C in 2022, following engagement with more than 150 stakeholders representing 95 communities in 40 states and 6 Tribes. The program offers three levels of support: expert match, peer-learning cohorts, and in-depth partnerships. In its first year, C2C worked with over 150 communities. To ensure broad participation, the National Renewable Energy Laboratory (NREL) examined regional representation. This analysis revealed that four regions are under-represented in program participation: Gulf South, Appalachia, Midwest, and Northern Plains. To help address these gaps, NREL led an effort to identify barriers faced by potential C2C participants from these regions and develop strategies to facilitate participation. This document summarizes findings from this effort and provides recommendations for program changes.

C2C↗

Fundamental Hardware Design in PVS

The development of Programmable Logic Devices (PLDs) has introduced programming as a primary tool in the development of digital circuits. This work attempts to create a generic verification environment in which designs can be specified and verified using the Prototype Verification System (PVS). This is accomplished by providing library support for general hardware constructs. The environment is intended for use with any PLD and any PLD programming language. The goal of the environment is to allow the easy translation of digital designs to PVS and provide sufficient support to make verification possible without a great deal of effort.

Leathrum, James F., Jr.↗

Program Generators for Exascale and Beyond (Final Technical Report)

The major goals of this project were to devise programming models and supporting tools that simplify the construction of specialized high‐performance generators, leading to improvements over the state of the art along the various dimensions of portability, performance, and productivity. In particular, the project achieved these goals by focusing on domain‐specific languages (DSLs) as intermediate layers in a translation and optimization framework, on composability of program generators, on re‐targeting legacy code, and on fundamental methodologies such as stage polymorphism or "generic programming in time".

97 MATHEMATICS AND COMPUTING↗

Software Users Manual (SUM): Extended Testability Analysis (ETA) Tool

This software user manual describes the implementation and use the Extended Testability Analysis (ETA) Tool. The ETA Tool is a software program that augments the analysis and reporting capabilities of a commercial-off-the-shelf (COTS) testability analysis software package called the Testability Engineering And Maintenance System (TEAMS) Designer. An initial diagnostic assessment is performed by the TEAMS Designer software using a qualitative, directed-graph model of the system being analyzed. The ETA Tool utilizes system design information captured within the diagnostic model and testability analysis output from the TEAMS Designer software to create a series of six reports for various system engineering needs. The ETA Tool allows the user to perform additional studies on the testability analysis results by determining the detection sensitivity to the loss of certain sensors or tests. The ETA Tool was developed to support design and development of the NASA Ares I Crew Launch Vehicle. The diagnostic analysis provided by the ETA Tool was proven to be valuable system engineering output that provided consistency in the verification of system engineering requirements. This software user manual provides a description of each output report generated by the ETA Tool. The manual also describes the example diagnostic model and supporting documentation - also provided with the ETA Tool software release package - that were used to generate the reports presented in the manual

Maul, William A.↗