Search NASA⌕ Search

SEARCH · Search NASA

Results for “Pathfinder 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.

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

At least 127 records · Page 7

Exact and Approximate Probabilistic Symbolic Execution

Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism. Nondeterminism arises naturally when no suitable probabilistic model can capture a program behavior, e.g., for multithreading or distributed systems. In this work, we propose a technique, based on symbolic execution, to synthesize schedulers that resolve nondeterminism to maximize the probability of reaching a target event. To scale to large systems, we also introduce approximate algorithms to search for good schedulers, speeding up established random sampling and reinforcement learning results through the quantification of path probabilities based on symbolic execution. We implemented the techniques in Symbolic PathFinder and evaluated them on nondeterministic Java programs. We show that our algorithms significantly improve upon a state-of- the-art statistical model checking algorithm, originally developed for Markov Decision Processes.

Symbolic Execution↗

Verification Tools Secure Online Shopping, Banking

Just like rover or rocket technology sent into space, the software that controls these technologies must be extensively tested to ensure reliability and effectiveness. Ames Research Center invented the open-source Java Pathfinder (JPF) toolset for the deep testing of Java-based programs. Fujitsu Labs of America Inc., based in Sunnyvale, California, improved the capabilities of the JPF Symbolic Pathfinder tool, establishing the tool as a means of thoroughly testing the functionality and security of Web-based Java applications such as those used for Internet shopping and banking.

Source record↗

Summer High School Apprenticeship Research Program (SHARP)

The summer of 1997 will not only be noted by NASA for the mission to Mars by the Pathfinder but also for the 179 brilliant apprentices that participated in the SHARP Program. Apprentice participation increased 17% over last year's total of 153 participants. As indicated by the End-of-the-Program Evaluations, 96% of the programs' participants rated the summer experience from very good to excellent. The SHARP Management Team began the year by meeting in Cocoa Beach, Florida for the annual SHARP Planning Conference. Participants strengthened their Education Division Computer Aided Tracking System (EDCATS) skills, toured the world-renowned Kennedy Space Center, and took a journey into space during the Alien Encounter Exercise. The participants returned to their Centers with the same goals and objectives in mind. The 1997 SHARP Program goals were: (1) Utilize NASA's mission, unique facilities and specialized workforce to provide exposure, education, and enrichment experiences to expand participants' career horizons and inspire excellence in formal education and lifelong learning. (2) Develop and implement innovative education reform initiatives which support NASA's Education Strategic Plan and national education goals. (3) Utilize established statistical indicators to measure the effectiveness of SHARP's program goals. (4) Explore new recruiting methods which target the student population for which SHARP was specifically designed. (5) Increase the number of participants in the program. All of the SHARP Coordinators reported that the goals and objectives for the overall program as well as their individual program goals were achieved. Some of the goals and objectives for the Centers were: (1) To increase the students' awareness of science, mathematics, engineering, and computer technology; (2) To provide students with the opportunity to broaden their career objectives; and (3) To expose students to a variety of enrichment activities. Most of the Center goals and objectives were consistent with the overall program goals. Modem Technology Systems, Inc., was able to meet the SHARP Apprentices, Coordinators and Mentors during their site visits to Stennis Space Center, Ames Research Center and Dryden Flight Research Center. All three Centers had very efficient programs and adhered to SHARP's general guidelines and procedures. MTSI was able to meet the apprentices from the other Centers via satellite in July during the SHARP Video-Teleconference(ViTS). The ViTS offered the apprentices and the NASA and SHARP Coordinators the opportunity to introduce themselves. The apprentices from each Center presented topical "Cutting Edge Projects". Some of the accomplishments for the 1997 SHARP Program year included: MTSI hiring apprentices from four of the nine NASA Centers, the full utilization of the EDCATS by apprentices and NASA/SHARP Coordinators, the distribution of the SHARP Apprentice College and Scholarship Directory, a reunion with former apprentices from Langley Research Center and the development of a SHARP Recruitment Poster. MTSI developed another exciting newsletter containing graphics and articles submitted by the apprentices and the SHARP Management Team.

Source record↗

Addressing Dynamic Issues of Program Model Checking

Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking difficult: the complexity of their state and the dynamic nature of many programs. Here we address both these issues within the context of the Java PathFinder (JPF) model checker. Firstly, we will show how the state of a Java program can be encoded efficiently and how this encoding can be exploited to improve model checking. Next we show how to use symmetry reductions to alleviate some of the problems introduced by the dynamic nature of Java programs. Lastly, we show how distributed model checking of a dynamic program can be achieved, and furthermore, how dynamic partitions of the state space can improve model checking. We support all our findings with results from applying these techniques within the JPF model checker.

Lerda, Flavio↗

The Earth System Science Pathfinder Orbiting Carbon Observatory (OCO) Mission

A viewgraph presentation describing the Earth System Science Pathfinder Orbiting Carbon Observatory (OCO) Mission is shown. The contents include: 1) Why CO2?; 2) What Processes Control CO2 Sinks?; 3) OCO Science Team; 4) Space-Based Measurements of CO2; 5) Driving Requirement: Precise, Bias-Free Global Measurements; 6) Making Precise CO2 Measurements from Space; 7) OCO Spatial Sampling Strategy; 8) OCO Observing Modes; 9) Implementation Approach; 10) The OCO Instrument; 11) The OCO Spacecraft; 12) OCO Will Fly in the A-Train; 13) Validation Program Ensures Accuracy and Minimizes Spatially Coherent Biases; 14) Can OCO Provide the Required Precision?; 15) O2 Column Retrievals with Ground-based FTS; 16) X(sub CO2) Retrieval Simulations; 17) Impact of Albedo and Aerosol Uncertainty on X(sub CO2) Retrievals; 18) Carbon Cycle Modeling Studies: Seasonal Cycle; 19) Carbon Cycle Modeling Studies: The North-South Gradient in CO2; 20) Carbon Cycle Modeling Studies: Effect of Diurnal Biases; 21) Project Status and Schedule; and 22) Summary.

carbon cycles↗

Advanced photovoltaic power system technology for lunar base applications

Advanced photovoltaic/electrochemical (batteries or regenerative fuel cells for storage) power system options for a lunar base are discussed and compared. Estimated system masses are compared with those projected for the SP-100 nuclear system. The results of the comparison are quantified in terms of the mass saved in a scenario which assembles the initial base elements in Low Earth Orbit (LEO) and launches from there to the lunar surface. A brief summary is given of advances in photovoltaic/electrochemical power system technologies currently under development in the NASA/OAST program. A description of the planned focussed technology program for surface power in the new Pathfinder initiative is also provided.

Brinker, David J.↗

Pathfinder: Shuttle Exhibit

This video introduces the Pathfinder Shuttle Exhibit, a joint project between the Marshall Space Flight Center and the State of Alabama's Space and Rocket Center in Huntsville. The exhibit features a never flown Shuttle vehicle, Pathfinder, that was used in early ground tests in the Shuttle Program, as well as an actual external fuel tank and set of booster rockets. The video includes footage of actual launches, the Pathfinder Shuttle Exhibit, and shots of the Space Camp at Alabama's Space and Rocket Center.

Source record↗

The current status of and future outlook for the NASA space program

A brief general overview of NASA programs and planning is presented. Topics discussed include long-term policy goals (creating commercial opportunities, construction of the International Space Station, and manned planetary missions), the scientific and technological projects planned for the Space Station, the key role of the Space Station in solar-system exploration, the pathfinder-technologies concept, and the comprehensive remote-sensing program Mission to Planet Earth.

Myers, D. D.↗

Mars Telescopic Observations Workshop II

Mars Telescopic Observations Workshop E convened in Tucson, Arizona, in October 1997 by popular demand slightly over two years following the first successful Mars Telescopic Observations Workshop, held in Ithaca, New York, in August 1995. Experts on Mars from the United Kingdom, Japan, Germany, and the United States were present. Twenty-eight oral presentations were made and generous time allotted for useful discussions among participants. The goals of the workshop were to (1) summarize active groundbased observing programs and evaluate them in the context of current and future space missions to Mars, (2) discuss new technologies and instrumentation in the context of changing emphasis of observations and theory useful for groundbased observing, and (3) more fully understand capabilities of current and planned Mars missions to better judge which groundbased observations are and will continue to be of importance to our overall Mars program. In addition, the exciting new discoveries presented from the Pathfinder experiments and the progress report from the Mars Global Surveyor infused the participants with satisfaction for the successes achieved in the early stages of these missions. Just as exciting was the enthusiasm for new groundbased programs designed to address new challenges resulting from mission science results. We would like to thank the National Aeronautics and Space Administration as well as Dr. David Black, director of the Lunar and Planetary Institute, and the staff of the Institute's Publications and Program Services Department for providing logistical, administrative, and publication support services for this workshop.

Sprague, A. L.↗

Summary of Results from the Risk Management Program for the Mars Microrover Flight Experiment

On 4 July 1997, the Mars Pathfinder landed on the surface of Mars carrying the first planetary rover, known as the Sojourner. Formally known as the Microrover Flight Experiment (MFEX), the Sojourner was a low cost, high-risk technology demonstration, in which new risk management techniques were tried. This paper summarizes the activities and results of the effort to conduct a low-cost, yet meaningful risk management program for the MFEX. The specific activities focused on cost, performance, schedule, and operations risks. Just as the systems engineering process was iterative and produced successive refinements of requirements, designs, etc., so was the risk management process. Qualitative risk assessments were performed first to gain some insights for refining the microrover design and operations concept. These then evolved into more quantitative analyses. Risk management lessons from the manager's perspective is presented for other low-cost, high-risk space missions.

Shishko, Robert↗

Verifying Diagnostic Software

Livingstone PathFinder (LPF) is a simulation-based computer program for verifying autonomous diagnostic software. LPF is designed especially to be applied to NASA s Livingstone computer program, which implements a qualitative-model-based algorithm that diagnoses faults in a complex automated system (e.g., an exploratory robot, spacecraft, or aircraft). LPF forms a software test bed containing a Livingstone diagnosis engine, embedded in a simulated operating environment consisting of a simulator of the system to be diagnosed by Livingstone and a driver program that issues commands and faults according to a nondeterministic scenario provided by the user. LPF runs the test bed through all executions allowed by the scenario, checking for various selectable error conditions after each step. All components of the test bed are instrumented, so that execution can be single-stepped both backward and forward. The architecture of LPF is modular and includes generic interfaces to facilitate substitution of alternative versions of its different parts. Altogether, LPF provides a flexible, extensible framework for simulation-based analysis of diagnostic software; these characteristics also render it amenable to application to diagnostic programs other than Livingstone.

Lindsey, Tony↗

Thermal Response and Ablation Programs for TPS Sizing Computation

The computer programs developed at NASA Ames Research Center for TPS sizing computation have been applied to many NASA's space missions, such as Mars Pathfinder, StarDust, Mars 2001, DS-II, and Saturn Entry Probe. These computer programs include FIAT (Fully Implicit Ablation and Thermal Response Program, MAT (Multi-component Ablation Thermochemistry Program), TPSX (Thermal Protection Systems Expert & Material Properties Database), and TPSGui (Thermal Protection Systems Graphical User Interface). For most planetary missions, the aerothermodynamics and material response are strongly coupled; thus a closed loop iteration technique between the FIAT and CFD (Computational Fluid Dynamics) codes has been developed to obtain the high fidelity bench mark TPS sizing solution. The computer codes and predictive methods are presented and discussed in detail.

Chen, Y. K.↗

AVHRR-Based Polar Pathfinder Products: Evaluation, Enhancement, and Transition to MODIS

The AVHRR-Based Polar Pathfinder (APP) products include calibrated AVHRR channel data, surface temperatures, albedo, satellite scan and solar geometries, and a cloud mask composited into twice- per-day images, and daily averaged fields of sea ice motion, for regions poleward of 50 deg. latitude. Our goals under this grant, in general, are four-fold: 1. To quantify the APP accuracy and sources of error by comparing Pathfinder products with field measurements. 2. To determine the consistency of mean fields and trends in comparison with longer time series of available station data and forecast model output. 3. To investigate the consistency of the products between the different AVHRR instruments over the 1982-present period of the NOAA program. 4. To compare an annual cycle of the AVHRR Pathfinder products with MODIS to establish a baseline for extending Pathfinder-type products into the new ESE period. Year One tasks include intercomparisons of the Pathfinder products with field measurements, testing of algorithm assumptions, collection of field data, and further validation and possible improvement of the multi-sensor ice motion fields. Achievements for these tasks are summarized below.

Fowler, Charles↗

Review of NASA's Planned Mars Program

The exploration of Mars has long been a prime scientific objective of the U.S. planetary exploration program. Yet no U.S. spacecraft has successfully made measurements at Mars since the Viking missions of the late 1970s. Mars Observer, which was designed to conduct global observations from orbit, failed just before orbit insertion in 1993. The Russian spacecraft Phobos 2 did succeed in making some observations of the planet in 1989, but it was designed primarily to observe Phobos, the innermost satellite of Mars; the spacecraft failed 2 months after insertion into Mars orbit during the complex maneuvers required to rendezvous with the martian satellite. In fall 1996 NASA plans to launch Mars Pathfinder for a landing on the martian surface in mid-1997. This spacecraft is one of the first two missions in NASA's Discovery program that inaugurates a new style of planetary exploration in which missions are low-cost (less than $150 million) and have very focused science objectives. As can be seen in the comparative data presented in Box 1, this mission is considerably smaller in terms of cost, mass, and scope than NASA's previous Mars missions. NASA's FY 1995 budget initiated a continuing Mars exploration program, called Mars Surveyor, that involves multiple launches of spacecraft as small as or smaller than Mars Pathfinder to Mars over the next several launch opportunities, which recur roughly every 26 months. The first mission in the program, Mars Global Surveyor, set for launch late in 1996, is intended to accomplish many of the objectives of the failed Mars Observer. Like the Discovery program, Mars Surveyor is a continuing series of low-cost missions, each of which has highly focused science objectives. See Box 1 for comparative details of those Surveyor missions currently defined. Around the same time that the Mars Surveyor series was chosen as the centerpiece of NASA's solar system exploration program, the Committee on Planetary and Lunar Exploration (COMPLEX) designated Mars as one of four scientific targets for emphasis in future studies. It was against this background that the Space Studies Board charged COMPLEX to review whether the Mars Pathfinder and Surveyor programs, as presently conceived, satisfy the highest priorities for understanding Mars as provided in its report, An Integrated Strategy for the Planetary Sciences: 1995-2010. The present document is COMPLEX's assessment of the scientific potential of NASA's new approach to Mars exploration. This assessment considers how well the scientific objectives of the Mars Surveyor program match those of the Integrated Strategy; it also addresses some advantages and disadvantages of the smaller-faster-cheaper approach to the exploration of Mars. The capabilities of the various instruments are not discussed in detail since the Mars Observer instruments, all of which are scheduled for reflight, have already been assessed by COMPLEX2 and later instruments are, in general, not yet well defined.

Source record↗

jFuzz: A Concolic Whitebox Fuzzer for Java

We present jFuzz, a automatic testing tool for Java programs. jFuzz is a concolic whitebox fuzzer, built on the NASA Java PathFinder, an explicit-state Java model checker, and a framework for developing reliability and analysis tools for Java. Starting from a seed input, jFuzz automatically and systematically generates inputs that exercise new program paths. jFuzz uses a combination of concrete and symbolic execution, and constraint solving. Time spent on solving constraints can be significant. We implemented several well-known optimizations and name-independent caching, which aggressively normalizes the constraints to reduce the number of calls to the constraint solver. We present preliminary results due to the optimizations, and demonstrate the effectiveness of jFuzz in creating good test inputs. The source code of jFuzz is available as part of the NASA Java PathFinder. jFuzz is intended to be a research testbed for investigating new testing and analysis techniques based on concrete and symbolic execution. The source code of jFuzz is available as part of the NASA Java PathFinder.

Jayaraman, Karthick↗

Planetary Image Geometry Library

The Planetary Image Geometry (PIG) library is a multi-mission library used for projecting images (EDRs, or Experiment Data Records) and managing their geometry for in-situ missions. A collection of models describes cameras and their articulation, allowing application programs such as mosaickers, terrain generators, and pointing correction tools to be written in a multi-mission manner, without any knowledge of parameters specific to the supported missions. Camera model objects allow transformation of image coordinates to and from view vectors in XYZ space. Pointing models, specific to each mission, describe how to orient the camera models based on telemetry or other information. Surface models describe the surface in general terms. Coordinate system objects manage the various coordinate systems involved in most missions. File objects manage access to metadata (labels, including telemetry information) in the input EDRs and RDRs (Reduced Data Records). Label models manage metadata information in output files. Site objects keep track of different locations where the spacecraft might be at a given time. Radiometry models allow correction of radiometry for an image. Mission objects contain basic mission parameters. Pointing adjustment ("nav") files allow pointing to be corrected. The object-oriented structure (C++) makes it easy to subclass just the pieces of the library that are truly mission-specific. Typically, this involves just the pointing model and coordinate systems, and parts of the file model. Once the library was developed (initially for Mars Polar Lander, MPL), adding new missions ranged from two days to a few months, resulting in significant cost savings as compared to rewriting all the application programs for each mission. Currently supported missions include Mars Pathfinder (MPF), MPL, Mars Exploration Rover (MER), Phoenix, and Mars Science Lab (MSL). Applications based on this library create the majority of operational image RDRs for those missions. A Java wrapper around the library allows parts of it to be used from Java code (via a native JNI interface). Future conversions of all or part of the library to Java are contemplated.

Deen, Robert C.↗

Overview of the Mars Science Laboratory Parachute Decelerator Subsystem

In 2010 the Mars Science Laboratory (MSL) mission will deliver NASA's largest and most capable rover to the surface of Mars. MSL will explore previously unattainable landing sites due to the implementation of a high precision Entry, Descent, and Landing (EDL) system. The parachute decelerator subsystem (PDS) is an integral prat of the EDL system, providing a mass and volume efficient some of aerodynamic drag to decelerate the entry vehicle from Mach 2 to subsonic speeds prior to final propulsive descent to the sutface. The PDS for MSL is a mortar deployed 19.7m Viking type Disk-Gap-Band (DGB) parachute; chosen to meet the EDL timeline requirements and to utilize the heritage parachute systems from Viking, Mars Pathfinder, Mars Exploration Rover, and Phoenix NASA Mars Lander Programs. The preliminary design of the parachute soft goods including materials selection, stress analysis, fabrication approach, and development testing will be discussed. The preliminary design of mortar deployment system including mortar system sizing and performance predictions, gas generator design, and development mortar testing will also be presented.

Entry, Descent, and Landing (EDL)↗