SEARCH · Search NASA

Results for “PROGRAM”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 613 records · Page 34

All sources NASA NTRS DOE OSTI

DOE OSTI2014

RELAP5-3D Developer Guidelines and Programming Practices

Our ultimate goal is to create and maintain RELAP5-3D as the best software tool available to analyze nuclear power plants. This begins with writing excellent programming and requires thorough testing. This document covers development of RELAP5-3D software, the behavior of the RELAP5-3D program that must be maintained, and code testing. RELAP5-3D must perform in a manner consistent with previous code versions with backward compatibility for the sake of the users. Thus file operations, code termination, input and output must remain consistent in form and content while adding appropriate new files, input and output as new features are developed. As computer hardware, operating systems, and other software change, RELAP5-3D must adapt and maintain performance. The code must be thoroughly tested to ensure that it continues to perform robustly on the supported platforms. The coding must be written in a consistent manner that makes the program easy to read to reduce the time and cost of development, maintenance and error resolution. The programming guidelines presented her are intended to institutionalize a consistent way of writing FORTRAN code for the RELAP5-3D computer program that will minimize errors and rework. A common format and organization of program units creates a unifying look and feel to the code. This in turn increases readability and reduces time required for maintenance, development and debugging. It also aids new programmers in reading and understanding the program. Therefore, when undertaking development of the RELAP5-3D computer program, the programmer must write computer code that follows these guidelines. This set of programming guidelines creates a framework of good programming practices, such as initialization, structured programming, and vector-friendly coding. It sets out formatting rules for lines of code, such as indentation, capitalization, spacing, etc. It creates limits on program units, such as subprograms, functions, and modules. It establishes documentation guidance on internal comments. The guidelines apply to both existing and new subprograms. They are written for both FORTRAN 77 and FORTRAN 95. The guidelines are not so rigorous as to inhibit a programmer’s unique style, but do restrict the variations in acceptable coding to create sufficient commonality that new readers will find the coding in each new subroutine familiar. It is recognized that this is a “living” document and must be updated as languages, compilers, and computer hardware and software evolve.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2017

Estimating the cost of saving electricity through U.S. utility customer-funded energy efficiency programs

The program administrator and total cost of saved energy allow comparison of the cost of efficiency across utilities, states, and program types, and can identify potential performance improvements. Comparing program administrator cost with the total cost of saved energy can indicate the degree to which programs leverage investment by participants. Based on reported total costs and savings information for U.S. utility efficiency programs from 2009 to 2013, here we estimate the savings-weighted average total cost of saved electricity across 20 states at 0.046 per kilowatt-hour (kW h), comparing favorably with energy supply costs and retail rates. Programs targeted on the residential market averaged 0.030 per kW h compared to 0.053 per kW h for non-residential programs. Lighting programs, with an average total cost of 0.018 per kW h, drove lower savings costs in the residential market. We provide estimates for the most common program types and find that program administrators and participants on average are splitting the costs of efficiency in half. More consistent, standardized and complete reporting on efficiency programs is needed. Differing definitions and quantification of costs, savings and savings lifetimes pose challenges for comparing program results. Reducing these uncertainties could increase confidence in efficiency as a resource among planners and policymakers.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2011

Student Perceptions of an Online Medical Dosimetry Program

The University of Wisconsin-La Crosse offers the first online medical dosimetry program in the nation. There is no data to research a program of this type. This research consisted of the evaluation of other distance education programs including health profession programs in addition to face-to-face medical dosimetry programs. There was a need to collect and analyze student perceptions of online learning in medical dosimetry. This research provided a guide for future implementation by other programs as well as validated the University of Wisconsin-La Crosse program. Methodology used consisted of an electronic survey sent to all previous and currently enrolled students in the University of Wisconsin-La Crosse medical dosimetry program. The survey was both quantitative and qualitative in demonstrating attitudinal perceptions of students in the program. Quantitative data was collected and analyzed using a 5-point Likert scale. Qualitative data was gathered based on the open-ended responses and the identifying themes from the responses. The results demonstrated an overall satisfaction with this program, the instructor, and the online courses. Students felt a sense of belonging to the courses and the program. Considering that a majority of the students had never taken an online course previously, the students felt there were no technology issues. Future research should include an evaluation of board exam statistics for students enrolled in the online and face-to-face medical dosimetry programs.

61 RADIATION PROTECTION AND DOSIMETRY↗

DOE OSTI2011

Impact of Large Scale Energy Efficiency Programs On Consumer Tariffs and Utility Finances in India

Large-scale EE programs would modestly increase tariffs but reduce consumers' electricity bills significantly. However, the primary benefit of EE programs is a significant reduction in power shortages, which might make these programs politically acceptable even if tariffs increase. To increase political support, utilities could pursue programs that would result in minimal tariff increases. This can be achieved in four ways: (a) focus only on low-cost programs (such as replacing electric water heaters with gas water heaters); (b) sell power conserved through the EE program to the market at a price higher than the cost of peak power purchase; (c) focus on programs where a partial utility subsidy of incremental capital cost might work and (d) increase the number of participant consumers by offering a basket of EE programs to fit all consumer subcategories and tariff tiers. Large scale EE programs can result in consistently negative cash flows and significantly erode the utility's overall profitability. In case the utility is facing shortages, the cash flow is very sensitive to the marginal tariff of the unmet demand. This will have an important bearing on the choice of EE programs in Indian states where low-paying rural and agricultural consumers form the majority of the unmet demand. These findings clearly call for a flexible, sustainable solution to the cash-flow management issue. One option is to include a mechanism like FAC in the utility incentive mechanism. Another sustainable solution might be to have the net program cost and revenue loss built into utility's revenue requirement and thus into consumer tariffs up front. However, the latter approach requires institutionalization of EE as a resource. The utility incentive mechanisms would be able to address the utility disincentive of forgone long-run return but have a minor impact on consumer benefits. Fundamentally, providing incentives for EE programs to make them comparable to supply-side investments is a way of moving the electricity sector toward a model focused on providing energy services rather than providing electricity.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

DOE OSTI2012

Sandia National Laboratories, California Pollution Prevention Program annual Report

The Pollution Prevention (P2) Program is one of six programs under the Environmental Management Department at Sandia National Laboratories, California (SNL/CA). The P2 Program promotes the elimination or reduction of all types of wastes generated at SNL/CA. The Program works closely with the site’s organizations to establish routine and project specific recycling programs. The Program provides guidance for resource and energy conservation and assists in identifying recycled-content products for use throughout the site. The P2 Program also implements the Universal Waste program to ensure proper handling and disposal of low-hazard waste specifically consumer electronics, batteries, cathode ray tubes (CRTs), and fluorescent tubes. The P2 Program is responsible for the collection, analysis, and reporting of waste generation, recycling and Environmentally Preferable Purchases (EPP) data. The P2 Program is part of the SNL/CA Environmental Management System (EMS) and maintains responsibility for implementing the DOE Pollution Prevention performance based goals. The Program is an indirectly funded program, supported through the Integrated Enabling Service.

Dicker, Deanna M.↗

DOE OSTI2016

Vehicle Technologies and Fuel Cell Technologies Program: Prospective Benefits Assessment Report for Fiscal Year 2016

Under a diverse set of programs, the Vehicle Technologies and Fuel Cell Technologies offices of DOE’s Office of Energy Efficiency and Renewable Energy invest in research, development, demonstration, and deployment of advanced vehicle, hydrogen production, delivery and storage, and fuel cell technologies. This report estimates the benefits of successfully developing and deploying these technologies (a “Program Success” case) relative to a base case (the “No Program” case). The Program Success case represents the future with completely successful deployment of Vehicle Technologies Office (VTO) and Fuel Cell Technologies Office (FCTO) technologies. The No Program case represents a future in which there is no contribution after FY 2016 by the VTO or FCTO to these technologies. The benefits of advanced vehicle, hydrogen production, delivery and storage, and fuel cell technologies were estimated on the basis of differences in fuel use, primary energy use, and greenhouse gas (GHG) emissions from light-, medium- and heavy-duty vehicles, including energy and emissions from fuel production, between the base case and the Program Success case. Improvements in fuel economy of various vehicle types, growth in the stock of fuel cell vehicles and other advanced technology vehicles, and decreased GHG intensity of hydrogen production and delivery in the Program Success case over the No Program case were projected to result in savings in petroleum use and GHG emissions. Benefits were disaggregated by individual program technology areas, which included the FCTO program and the VTO subprograms of batteries and electric drives; advanced combustion engines; fuels and lubricants; materials (for reduction in vehicle mass, or “lightweighting”); and, for medium- and heavy-duty vehicles, reduction in rolling and aerodynamic resistance. Projections for the Program Success case indicate that by 2035, the average fuel economy of on-road, light-duty vehicle stock could be 47% to 76% higher than in the No Program case. On-road medium- and heavy-duty vehicle stock could be as much as 39% higher. The resulting petroleum savings in 2035 were estimated to be as high as 3.1 million barrels per day, and reductions in GHG emissions were estimated to be as high as 500 million metric tons of CO2 equivalent per year. The benefits of continuing to invest government resources in advanced vehicle and fuel cell technologies would have significant economic value in the U.S. transportation sector and reduce its dependency on oil and its vulnerability to oil price shocks.

33 ADVANCED PROPULSION SYSTEMS↗

DOE OSTI2017

Keys to the House: Unlocking Residential Savings With Program Models for Home Energy Upgrades

After more than 40 years of effort, energy efficiency program administrators and associated contractors still find it challenging to penetrate the home retrofit market, especially at levels commensurate with state and federal goals for energy savings and emissions reductions. Residential retrofit programs further have not coalesced around a reliably successful model. They still vary in design, implementation and performance, and they remain among the more difficult and costly options for acquiring savings in the residential sector. If programs are to contribute fully to meeting resource and policy objectives, administrators need to understand what program elements are key to acquiring residential savings as cost effectively as possible. To that end, the U.S. Department of Energy (DOE) sponsored a comprehensive review and analysis of home energy upgrade programs with proven track records, focusing on those with robustly verified savings and constituting good examples for replication. The study team reviewed evaluations for the period 2010 to 2014 for 134 programs that are funded by customers of investor-owned utilities. All are programs that promote multi-measure retrofits or major system upgrades. We paid particular attention to useful design and implementation features, costs, and savings for nearly 30 programs with rigorous evaluations of performance. This meta-analysis describes program models and implementation strategies for (1) direct install retrofits; (2) heating, ventilating and air-conditioning (HVAC) replacement and early retirement; and (3) comprehensive, whole-home retrofits. We analyze costs and impacts of these program models, in terms of both energy savings and emissions avoided. These program models can be useful guides as states consider expanding their strategies for acquiring energy savings as a resource and for emissions reductions. We also discuss the challenges of using evaluations to create program models that can be confidently applied in multiple jurisdictions.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2015

Lessons Learned From Incentives Programs for Efficient Air Conditioners: A Review

One of the largest drivers of growing global energy demand is the increasing market penetration of air conditioners (ACs). Global sales of room ACs were up 9% in 2013 compared to 2012, and that growth is expected to accelerate in coming decades, particularly in large metropolitan areas with hot climates. This report focuses on financial incentive programs that aim to mitigate the energy consumption attributable to the growing stock of ACs. Financial incentives leverage private investments to pull higher-efficiency technologies into the market. Through detailed case studies of AC energy-efficiency incentive programs, we show the significance and diversity of these programs and describe and share lessons learned from their design and implementation. The report also describes how incentive programs can be designed to address other pressing concerns related to growing AC use, such as challenges to power supply reliability resulting from increased peak demand and the global warming potential (GWP) of AC refrigerants. For policy makers and program administrators interested in addressing AC energy efficiency through incentive schemes, the report provides examples of past and present programs and highlights challenges that need to be considered when making program design and implementation decisions. The report begins with an overview of AC markets, highlighting their growth and savings potential, recent achievements from minimum energy performance standards, and typical barriers to the penetration of more efficient AC models. Next, we examine six AC incentive programs in depth, based on evaluation reports and/or interviews with program administrators. Finally, we outline program design features that could a) increase penetration of energy-efficient ACs, b) increase utility and customer participation in demand response programs targeted at reducing peak-load impacts, and c) phase out the use of high-GWP refrigerants in ACs. We find that incentive programs are particularly effective when they target emerging technologies that have still a low penetration in the market.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2019

Vehicle Technologies and Fuel Cell Technologies Office Research and Development Programs: Prospective Benefits Assessment for Medium- and Heavy-duty Vehicles

Through a diverse set of programs, the Vehicle Technologies and Fuel Cell Technologies Offices of the U.S. Department of Energy’s Office of Energy Efficiency and Renewable Energy (EERE) invest in early-stage vehicle and fuel cell research. The Vehicle Technologies Office (VTO) and the Fuel Cell Technologies Office (FCTO) are two offices that are encompassed within EERE’s Sustainable Transportation pillar. VTO conducts research and development (R&D) to provide low-cost, reliable, and efficient energy for the transportation of goods and people across America. FCTO has a comprehensive portfolio of activities that address the barriers facing the development and implementation of hydrogen and fuel cells, with the ultimate goals of decreasing our dependence on oil, reducing greenhouse gas (GHG) emissions, and enabling clean, reliable power generation through both transportation and stationary uses of hydrogen. This report quantifies the vehicle-level and national-level benefits of successful VTO and FCTO R&D applied to medium- and heavy-duty vehicles. The benefits estimated include reductions in energy use and GHG emissions from and changes in expenditures on medium- and heavy-duty vehicles on the road in the United States through the year 2050. The potential future benefits of successfully developing and implementing these technologies were analyzed by comparing a “Program Success” case to a base case (the “No Program” case). The Program Success case represents the future with successful implementation of VTO and FCTO technologies. The No Program case represents a future in which VTO or FCTO do not contribute to these technologies after Fiscal Year (FY) 2019. Three side cases were analyzed to assess the sensitivity of the projections of market adoption to future electricity prices (including infrastructure costs), the availability of electricity and hydrogen at public stations, and fuel cell system efficiency. Advanced vehicle technologies supported by VTO and FCTO programs can greatly increase the fuel economy of medium- and heavy-duty vehicles. As a result of EERE-supported technologies, the sales-weighted average fuel economy of the fleet of all new Class 7 and 8 trucks in the Program Success case is projected to be 1.2 times that of the trucks in the No Program case in 2035 and 1.3 times the baseline in 2050. These technologies in Classes 4–6 increase fuel economy by a factor of 1.46 in 2035 and 1.78 in 2050. The fuel economy of the entire on-road medium- and heavy-duty vehicle fleet, including all fuel types, is projected to be higher by 10%, reaching 9.1 mpgde in 2035, and by 25%, reaching 11.0 mpgde in 2050. The resulting petroleum savings in 2050 were estimated to be 0.75 million barrels per day, and reductions in GHG emissions in 2050 were estimated to 110 million metric tons of carbon dioxide equivalent (CO 2 -eq) per year. Such petroleum reductions result in significant reductions in fuel expenditure for medium- and heavy-duty vehicles, totaling approximately $37 billion annually by 2035. Figure ES-1 shows the difference in projected consumption of diesel fuel, electricity, and hydrogen in the No Program and Program Success cases. Negative values show the reduction in the Program Success case, relative to the No Program case.

33 ADVANCED PROPULSION SYSTEMS↗

DOE OSTI2020

Behavioral Health/Employee Assistance. Interim Program Report FY 2020

The Sandia National Laboratories' (SNL) Corporate Behavioral Health Program is a workplace- based program that: 1) provides Employee Assistance Program (EAP) services including early identification and resolution of personal concerns which may impact job performance, 2) assists managers and the organization in addressing productivity issues, and 3) supports the SNL commitment to provide a safe and healthful work environment. The program is offered to approximately 13,500 employees in New Mexico. The Behavioral Health Program is a corporate program combining services in NM and CA. It is integrated with other occupational health and clinical services including disability, disease management and preventive health programs. In addition, Sandia's Behavioral Health Program provides critical management consultation and psychological assessment services for external organizations including Human Resources, the Department of Energy and Security through the Clinical Evaluation (CE) process, Human Reliability Program (HRP), Protective Force Program, Workplace Violence/Threat Assessment Team (TAT), and Insider Threat Working Group programs. The program supports Sandia National Laboratories' mission to safeguard national security, the environment, and the public; it is a proactive approach to early identification, intervention and assessment. Importantly, it reduces barriers to accessing mental health services and assists with reducing health care costs attributed to illness or injuries related to unhealthy lifestyles and behaviors. The team is comprised of a professional staff including a licensed Clinical Psychologist, a licensed professional clinical counselor (LPCC) and a licensed Marriage and Family counselor (MFT) who is also a Certified Employee Assistance Professional and who holds a doctorate in counseling psychology.

99 GENERAL AND MISCELLANEOUS↗

NASA NTRS1978

NASA engine system technology programs - An overview

The various propulsion systems technology programs are examined. The Stratospheric Cruise Emission Reduction program has the objective to explore and demonstrate advanced technology fuel preparation and combustion systems which produce very low emission levels, particularly with respect to the oxides of nitrogen, during high altitude cruising flight. Other programs considered include the Quiet, Clean, General Aviation Turbofan program, the Variable Cycle Engine Technology program, the Helicopter Transmission Technology program, the Broad Specification Fuels Technology program, the Engine Component Improvement program, the Advanced Turboprop Technology program, the Supersonic Cruise Propulsion Technology program, the Materials for Advanced Turbine Engines program, and the Aeroelasticity of Turbine Engines program.

Johnson, H. W.↗

NASA NTRS1978

Human operator identification model and related computer programs

Four computer programs which provide computational assistance in the analysis of man/machine systems are reported. The programs are: (1) Modified Transfer Function Program (TF); (2) Time Varying Response Program (TVSR); (3) Optimal Simulation Program (TVOPT); and (4) Linear Identification Program (SCIDNT). The TV program converts the time domain state variable system representative to frequency domain transfer function system representation. The TVSR program computes time histories of the input/output responses of the human operator model. The TVOPT program is an optimal simulation program and is similar to TVSR in that it produces time histories of system states associated with an operator in the loop system. The differences between the two programs are presented. The SCIDNT program is an open loop identification code which operates on the simulated data from TVOPT (or TVSR) or real operator data from motion simulators.

Kessler, K. M.↗

NASA NTRS1984

A new implementation of the programming system for structural synthesis (PROSSS-2)

This new implementation of the PROgramming System for Structural Synthesis (PROSSS-2) combines a general-purpose finite element computer program for structural analysis, a state-of-the-art optimization program, and several user-supplied, problem-dependent computer programs. The results are flexibility of the optimization procedure, organization, and versatility of the formulation of constraints and design variables. The analysis-optimization process results in a minimized objective function, typically the mass. The analysis and optimization programs are executed repeatedly by looping through the system until the process is stopped by a user-defined termination criterion. However, some of the analysis, such as model definition, need only be one time and the results are saved for future use. The user must write some small, simple FORTRAN programs to interface between the analysis and optimization programs. One of these programs, the front processor, converts the design variables output from the optimizer into the suitable format for input into the analyzer. Another, the end processor, retrieves the behavior variables and, optionally, their gradients from the analysis program and evaluates the objective function and constraints and optionally their gradients. These quantities are output in a format suitable for input into the optimizer. These user-supplied programs are problem-dependent because they depend primarily upon which finite elements are being used in the model. PROSSS-2 differs from the original PROSSS in that the optimizer and front and end processors have been integrated into the finite element computer program. This was done to reduce the complexity and increase portability of the system, and to take advantage of the data handling features found in the finite element program.

Rogers, James L., Jr.↗

NASA NTRS1988

Automatic programming for critical applications

The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.

Loganantharaj, Raj L.↗

NASA NTRS1993

Minimum Hamiltonian Ascent Trajectory Evaluation (MASTRE) program (update to automatic flight trajectory design, performance prediction, and vehicle sizing for support of Shuttle and Shuttle derived vehicles) engineering manual

The Minimum Hamiltonian Ascent Trajectory Evaluation (MASTRE) program and its predecessors, the ROBOT and the RAGMOP programs, have had a long history of supporting MSFC in the simulation of space boosters for the purpose of performance evaluation. The ROBOT program was used in the simulation of the Saturn 1B and Saturn 5 vehicles in the 1960's and provided the first utilization of the minimum Hamiltonian (or min-H) methodology and the steepest ascent technique to solve the optimum trajectory problem. The advent of the Space Shuttle in the 1970's and its complex airplane design required a redesign of the trajectory simulation code since aerodynamic flight and controllability were required for proper simulation. The RAGMOP program was the first attempt to incorporate the complex equations of the Space Shuttle into an optimization tool by using an optimization method based on steepest ascent techniques (but without the min-H methodology). Development of the complex partial derivatives associated with the Space Shuttle configuration and using techniques from the RAGMOP program, the ROBOT program was redesigned to incorporate these additional complexities. This redesign created the MASTRE program, which was referred to as the Minimum Hamiltonian Ascent Shuttle TRajectory Evaluation program at that time. Unique to this program were first-stage (or booster) nonlinear aerodynamics, upper-stage linear aerodynamics, engine control via moment balance, liquid and solid thrust forces, variable liquid throttling to maintain constant acceleration limits, and a total upgrade of the equations used in the forward and backward integration segments of the program. This modification of the MASTRE code has been used to simulate the new space vehicles associated with the National Launch Systems (NLS). Although not as complicated as the Space Shuttle, the simulation and analysis of the NLS vehicles required additional modifications to the MASTRE program in the areas of providing additional flexibility in the use of the program, allowing additional optimization options, and providing special options for the NLS configuration.

Lyons, J. T.↗

NASA NTRS1998

NASA Ambassadors: A Speaker Outreach Program

The work done on this project this summer has been geared toward setting up the necessary infrastructure and planning to support the operation of an effective speaker outreach program. The program has been given the name, NASA AMBASSADORS. Also, individuals who become participants in the program will be known as "NASA AMBASSADORS". This summer project has been conducted by the joint efforts of this author and those of Professor George Lebo who will be issuing a separate report. The description in this report will indicate that the NASA AMBASSADOR program operates largely on the contributions of volunteers, with the assistance of persons at the Marshall Space Flight Center (MSFC). The volunteers include participants in the various summer programs hosted by MSFC as well as members of the NASA Alumni League. The MSFC summer participation programs include: the Summer Faculty Fellowship Program for college and university professors, the Science Teacher Enrichment Program for middle- and high-school teachers, and the NASA ACADEMY program for college and university students. The NASA Alumni League members are retired NASA employees, scientists, and engineers. The MSFC offices which will have roles in the operation of the NASA AMBASSADORS include the Educational Programs Office and the Public Affairs Office. It is possible that still other MSFC offices may become integrated into the operation of the program. The remainder of this report will establish the operational procedures which will be necessary to sustain the NASA AMBASSADOR speaker outreach program.

McDonald, Malcolm W.↗

NASA NTRS2002

Processes and Procedures of the Higher Education Programs at Marshall Space Flight Center

The purpose of my research was to investigate the policies, processes, procedures and timelines for the higher education programs at Marshall Space Flight Center. The three higher education programs that comprised this research included: the Graduate Student Researchers Program (GSRP), the National Research Council/Resident Research Associateships Program (NRC/RRA) and the Summer Faculty Fellowship Program (SFFP). The GSRP award fellowships each year to promising U.S. graduate students whose research interest coincides with NASA's mission. Fellowships are awarded for one year and are renewable for up to three years to competitively selected students. Each year, the award provides students the opportunity to spend a period in residence at a NASA center using that installation's unique facilities. This program is renewable for three years, students must reapply. The National Research Council conducts the Resident Research Associateships Program (NRC/RRA), a national competition to identify outstanding recent postdoctoral scientists and engineers and experience senior scientists and engineers, for tenure as guest researchers at NASA centers. The Resident Research Associateship Program provides an opportunity for recipients of doctoral degrees to concentrate their research in association with NASA personnel, often as a culmination to formal career preparation. The program also affords established scientists and engineers an opportunity for research without any interruptions and distracting assignments generated from permanent career positions. All opportunities for research at NASA Centers are open to citizens of the U.S. and to legal permanent residents. The Summer Faculty Fellowship Program (SFFP) is conducted each summer. NASA awards research fellowships to university faculty through the NASA/American Society for Engineering Education. The program is designed to promote an exchange of ideas between university faculties, NASA scientists and engineers. Selected participants in fields of science, engineering, math, and other disciplines spend approximately 10 weeks working with their professional peers on research projects at NASA facilities. Workshops and seminars further enrich the experience. This program is only for U.S. citizens.

Pamala D. Heard↗

NASA NTRS2002

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↗