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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1996

The Results of Dynamic Data Acquisition During Mars Pathfinder Prototype Airbag Drop Testing

The Mars Pathfinder mission, scheduled for launch in December 1996, will use an airbag system to safely deliver a lander to the Martian surface.The airbag landing system has undergone a comprehensive test program during its evolution from initial design phase to final qualification and acceptance testing. This paper outlines the test approach used in the airbag development program, describes the data acquisition system used to obtain and evaluate airbag performance data, and presents test results.

airbags Mars Mars Pathfinder Mars lander data acqu↗
NASA NTRSDate not supplied

NASA's Efforts to Pursue Commercial Communications Services for Missions in Near Space

The National Aeronautics and Space Administration (NASA) Space Communications and Navigation (SCaN) Program enables high speed, robust, secure and cost-effective space communications and navigation services to current and future science and exploration missions. Consistent with National Space Policy, NASA is seeking commercial services for all its future near Earth requirements by incorporating additional direct to Earth (DTE) providers and introducing commercial satellite communications (SATCOM) vendors as NASA’s Tracking and Data Relay Satellites (TDRS) begin to decline. Through the progression of these efforts, SCaN is also integrating commercial services in the cislunar domain. The overarching objective is to satisfy the demands from the mission community – both in terms of capacity and capability – in a robust and cost-effective way, leveraging the strong and growing commercial space sector. For near earth space relay, six SATCOM vendors were awarded Funded Space Act Agreements in June of 2022 to demonstrate the ability to serve near-Earth missions, and are working through their committed milestones. The failure of TDRS Flight-9 (F9) in late 2022 prompted an increased tempo of mission engagement to identify driving user needs that commercial SATCOM can meet in the near-term. NASA has set a course to accelerate a decision to terminate commitments for TDRS services to new missions and has developed a plan to execute validation and risk reduction efforts with early adopter “pathfinder” missions to pave the way to earlier operational services. As the Artemis Program matures and builds on the successful Artemis I flight in November/December of 2022, the definition of the supporting communications and navigation architecture has further been refined. Although NASA government assets will continue to play a key role in provision of services, such as through the Deep Space Network, SCaN is pursuing commercial services offerings to expand ground network capability and implement lunar relay services. In February of 2023, SCaN released solicitation for services that include DTE services to missions near-Earth and in cislunar space, as well as lunar relay services. Further, SCaN is seeking opportunities to integrate commercial capability into lunar surface communications infrastructure. NASA is also advocating for standards that promote interoperability and strategic technology investments in the commercial sector. This paper addresses the recent progress and future plans in the near-Earth space and lunar regimes, discusses the unified approach for industry engagement, and highlights both the common and unique challenges of commercialization efforts in the two regimes.

commercialization↗
NASA NTRS1999

Constraints, Approach and Present Status for Selecting the Mars Surveyor 2001 Landing Site

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough, defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities.

Golombek, M.↗
NASA NTRS1989

CSTI High Capacity Power

The SP-100 program was established in 1983 by DOD, DOE, and NASA as a joint program to develop the technology necessary for space nuclear power systems for military and civil application. During FY-86 and 87, the NASA SP-100 Advanced Technology Program was devised to maintain the momentum of promising technology advancement efforts started during Phase 1 of SP-100 and to strengthen, in key areas, the chances for successful development and growth capability of space nuclear reactor power systems for future space applications. In FY-88, the Advanced Technology Program was incorporated into NASA's new Civil Space Technology Initiative (CSTI). The CSTI Program was established to provide the foundation for technology development in automation and robotics, information, propulsion, and power. The CSTI High Capacity Power Program builds on the technology efforts of the SP-100 program, incorporates the previous NASA SP-100 Advanced Technology project, and provides a bridge to NASA Project Pathfinder. The elements of CSTI High Capacity Power development include Conversion Systems, Thermal Management, Power Management, System Diagnostics, and Environmental Interactions. Technology advancement in all areas, including materials, is required to assure the high reliability and 7 to 10 year lifetime demanded for future space nuclear power systems. The overall program will develop and demonstrate the technology base required to provide a wide range of modular power systems as well as allowing mission independence from solar and orbital attitude requirements. Several recent advancements in CSTI High Capacity power development will be discussed.

Winter, Jerry M.↗
NASA NTRS2002

Teaching, Learning, and Planetary Exploration

This is the final report of a program that examined the fundamentals of education associated with space activities, promoted educational policy development in appropriate forums, and developed pathfinder products and services to demonstrate the utility of advanced communication technologies for space-based education. Our focus was on space astrophysics and planetary exploration, with a special emphasis on the themes of the Origins Program, with which the Principal Investigator (PI) had been involved from the outset. Teaching, Learning, and Planetary Exploration was also the core funding of the Space Telescope Science Institute's (ST ScI) Special Studies Office (SSO), and as such had provided basic support for such important NASA studies as the fix for Hubble Space Telescope (HST) spherical aberration, scientific conception of the HST Advanced Camera, specification of the Next-Generation Space Telescope (NGST), and the strategic plan for the second decade of the HST science program.

Brown, Robert A.↗
NASA NTRS1999

Constraints, Approach, and Status of Mars Surveyor 2001 Landing Site Selection

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough and defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities. Additional information is contained in the original extended abstract.

Golombek, M.↗
NASA NTRS1999

Constraints and Approach for Selecting the Mars Surveyor '01 Landing Site

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough and defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities.

Golombek, M.↗
NASA NTRSDate not supplied

Pathfinder Networks for Measuring Operator Mental Model Structure with a Simple Autopilot System

Pathfinder networks are a method to represent mental models from empirically generated pairwise relatedness ratings. This study examined the effects of training exposure on mental model structures based on relatedness ratings collected using the Target Rating method. Forty-eight participants read instruction slides with or without explicit information on the functionality of an autopilot system (Advanced Mental Model or Basic Mental Model groups, respectively). Participants provided relatedness ratings and completed a comprehension test. The Advanced Mental Model group had more common links with the expected model, higher within-group network similarity scores, and higher mental model assessment questionnaire scores than the Basic Mental Model group. Both groups had coherence scores above the minimum threshold for internal consistency. Pathfinder network analysis was sensitive to changes produced by a simple exposure training intervention. In practice, a simple training program may effectively influence operator mental models in novel technological environments such as Advanced Air Mobility.

Mental Models↗
NASA NTRS2017

Modeling to Mars: a NASA Model Based Systems Engineering Pathfinder Effort

The NASA Engineering Safety Center (NESC) Systems Engineering (SE) Technical Discipline Team (TDT) initiated the Model Based Systems Engineering (MBSE) Pathfinder effort in FY16. The goals and objectives of the MBSE Pathfinder include developing and advancing MBSE capability across NASA, applying MBSE to real NASA issues, and capturing issues and opportunities surrounding MBSE. The Pathfinder effort consisted of four teams, with each team addressing a particular focus area. This paper focuses on Pathfinder team 1 with the focus area of architectures and mission campaigns. These efforts covered the timeframe of February 2016 through September 2016. The team was comprised of eight team members from seven NASA Centers (Glenn Research Center, Langley Research Center, Ames Research Center, Goddard Space Flight Center IV&V Facility, Johnson Space Center, Marshall Space Flight Center, and Stennis Space Center). Collectively, the team had varying levels of knowledge, skills and expertise in systems engineering and MBSE. The team applied their existing and newly acquired system modeling knowledge and expertise to develop modeling products for a campaign (Program) of crew and cargo missions (Projects) to establish a human presence on Mars utilizing In-Situ Resource Utilization (ISRU). Pathfinder team 1 developed a subset of modeling products that are required for a Program System Requirement Review (SRR)/System Design Review (SDR) and Project Mission Concept Review (MCR)/SRR as defined in NASA Procedural Requirements. Additionally, Team 1 was able to perform and demonstrate some trades and constraint analyses. At the end of these efforts, over twenty lessons learned and recommended next steps have been identified.

Phojanamongkolkij, Nipa↗
NASA NTRS2004

Verification of Java Programs using Symbolic Execution and Invariant Generation

Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

Pasareanu, Corina↗
NASA NTRS1994

A distributed analysis and visualization system for model and observational data

Software was developed with NASA support to aid in the analysis and display of the massive amounts of data generated from satellites, observational field programs, and from model simulations. This software was developed in the context of the PATHFINDER (Probing ATmospHeric Flows in an Interactive and Distributed EnviRonment) Project. The overall aim of this project is to create a flexible, modular, and distributed environment for data handling, modeling simulations, data analysis, and visualization of atmospheric and fluid flows. Software completed with NASA support includes GEMPAK analysis, data handling, and display modules for which collaborators at NASA had primary responsibility, and prototype software modules for three-dimensional interactive and distributed control and display as well as data handling, for which NSCA was responsible. Overall process control was handled through a scientific and visualization application builder from Silicon Graphics known as the Iris Explorer. In addition, the GEMPAK related work (GEMVIS) was also ported to the Advanced Visualization System (AVS) application builder. Many modules were developed to enhance those already available in Iris Explorer including HDF file support, improved visualization and display, simple lattice math, and the handling of metadata through development of a new grid datatype. Complete source and runtime binaries along with on-line documentation is available via the World Wide Web at: http://redrock.ncsa.uiuc.edu/ PATHFINDER/pathre12/top/top.html.

Wilhelmson, Robert B.↗
NASA NTRS1999

Java PathFinder User Guide

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

Havelund, Klaus↗
NASA NTRS2004

Mothers of Invention: Hubble Engineers Push Robotic 'Evolution' to Save Telescope, Enable New Exploration

Robotic technology being developed out of necessity to keep the Hubble Space Telescope operating could also lead to new levels of man-machine team-work in deep-space exploration down the road-if it survives the near-term scramble for funding. Engineers here who have devoted their NASA careers to the concept of humans servicing the telescope in orbit are planning modifications to International Space Station (ISS) robots that would leave the humans on the ground. The work. forced by post-Columbia flight rules that killed a planned shuttle-servicing mission to Hubble, marks another step in the evolution of robot-partners for human space explorers. "Hubble has always been a pathfider for this agency," says Mike Weiss. Hubble deputy program manager technical. "When the space station was flown and assembled, Hubble was the pathfinder. not just for modularity, but for operations, for assembly techniques. Exploration is the next step. Things we're going to do on Hubble are going to be applied to exploration. It's not just putting a robot in space. It's operating a robot in space. It's adapting that robot to what needs to be done the next time you're up there."

Morring, Frank, Jr.↗
NASA NTRS2003

Mars Exploration Rover parachute decelerator system program review

In the Mars Exploration Rover (MER) Mission, NASA returns to the red planet, following the extremely successful Mars Pathfinder in 1997. The mission will send two lander-rovers to the surface of Mars with separate launches in May and June, 2003. This paper describes the Parachute Decelerator System for the entry vehicle.

Mars Exploration Rover MER parachute decelerator s↗
NASA NTRS2009

Electric Propulsion Platforms at DFRC

NASA Dryden Flight Research Center is a world-class flight research facility located at Edwards AFB, CA. With access to a 44 sq. mile dry lakebed and 350 testable days per year, it is the ideal location for flight research. DFRC has been undertaking aircraft research for approximately six decades including the famous X-aircraft (X-1 through X-48) and many science and exploration platforms. As part of this impressive heritage, DFRC has garnered more hours of full-sized electric aircraft testing than any other facility in the US, and possibly the world. Throughout the 80 s and 90 s Dryden was the home of the Pathfinder, Pathfinder Plus, and Helios prototype solar-electric aircraft. As part of the ERAST program, these electric aircraft achieved a world record 97,000 feet altitude for propeller-driven aircraft. As a result of these programs, Dryden s staff has collected thousands of man-hours of electric aircraft research and testing. In order to better answer the needs of the US in providing aircraft technologies with lower fuel consumption, lower toxic emissions (NOx, CO, VOCs, etc.), lower greenhouse gas (GHG) emissions, and lower noise emissions, NASA has engaged in cross-discipline research under the Aeronautics Research Mission Directorate (ARMD). As a part of this overall effort, Mark Moore of LaRC has initiated a cross-NASA-center electric propulsion working group (EPWG) to focus on electric propulsion technologies as applied to aircraft. Electric propulsion technologies are ideally suited to overcome all of the obstacles mentioned above, and are at a sufficiently advanced state of development component-wise to warrant serious R&D and testing (TRL 3+). The EPWG includes participation from NASA Langley Research Center (LaRC), Glenn Research Center (GRC), Ames Research Center (ARC), and Dryden Flight Research Center (DFRC). Each of the center participants provides their own unique expertise to support the overall goal of advancing the state-of-the-art in aircraft electric propulsion technologies. DFRC will leverage its vast experience in flight test to assist in the integration and flight test phases of any electric propulsion program. DFRC s core competencies, that have particular relevance to the goals of the EPWG, include flight research planning and execution and providing aircraft test beds for researching and testing electric propulsion concepts and equipment. There are three flight regimes that the EPWG is focusing on: subsonic small GA and UAV, subsonic transport class, and supersonic. DFRC proposes two classes of test bed aircraft, to answer the early- and mid-phase testing requirements of all flight regimes the EPWG is concerned with. First, a highly efficient PIK motor glider will be used to test concepts and equipment associated with the subsonic GA and UAV aircraft regime (N+1). Second, a small fleet of subscale remotely-piloted aircraft test beds, similar to the X48B Blended Wing Body aircraft tested at Dryden, will be developed to answer the unique testing requirements of the subsonic GA and UAV, subsonic transport and possibly the supersonic class of aircraft (N+2, N+3). These aircraft can be tested in either serial stages or concurrent stages, depending on the actual test requirements and program schedules. Both classes of test bed aircraft are described below.

Baraaclough, Jonathan↗
NASA NTRS2001

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

The Advanced Very High Resolution Radiometer (AVHRR)-Based Polar Pathfinder (APP) products include calibrated AVHRR channel data, surface temperatures, albedo, satellite scan and solar geometries, and cloud mask, all composited into twice-per-day images, and daily averaged fields of sea ice motion, for regions poleward of 50 latitude. Our general goals under this grant: (1) Quantify the APP accuracy and sources of error by comparing Pathfinder products with field measurements; (2) Determine the consistency of mean fields and trends in comparison with longer time series of available station data and forecast model output; (3) Investigate the consistency of the products between the different AVHRR instruments over the 1982-present period of the NOAA program; and (4) Compare and annual cycle of the APP products with MODIS to establish a baseline for extending Pathfinder-type products into the new ESE period.

Fowler, Charles↗