Search NASA⌕ Search

SEARCH · Search NASA

Results for “replay”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Design principles for an interactive program derivation system

The main design principles of an interactive program transformation system called FOCUS are outlined. Its important characteristics are its human-oriented deduction techniques based replacement, emphasis on small search spaces, and the use of a tree structure to organize program derivations. The tree structure presents to the user a static picture of the derivation process and promotes flexibility in the development of derivations. The system keeps track of dependencies between different parts of derivations, and records the derivation activity for later use in automatic replay.

Reddy, Uday S.↗
NASA NTRS1992

Simultaneous real-time data collection methods

This paper describes the development of electronic test equipment which executes, supervises, and reports on various tests. This validation process uses computers to analyze test results and report conclusions. The test equipment consists of an electronics component and the data collection and reporting unit. The PC software, display screens, and real-time data-base are described. Pass-fail procedures and data replay are discussed. The OS2 operating system and Presentation Manager user interface system were used to create a highly interactive automated system. The system outputs are hardcopy printouts and MS DOS format files which may be used as input for other PC programs.

Klincsek, Thomas↗
NASA NTRS1990

Real-time data system: Incorporating new technology in mission critical environments

If the Space Station Freedom is to remain viable over its 30-year life span, it must be able to incorporate new information systems technologies. These technologies are necessary to enhance mission effectiveness and to enable new NASA missions, such as supporting the Lunar-Mars Initiative. Hi-definition television (HDTV), neural nets, model-based reasoning, advanced languages, CPU designs, and computer networking standards are areas which have been forecasted to make major strides in the next 30 years. A major challenge to NASA is to bring these technologies online without compromising mission safety. In past programs, NASA managers have been understandably reluctant to rely on new technologies for mission critical activities until they are proven in noncritical areas. NASA must develop strategies to allow inflight confidence building and migration of technologies into the trusted tool base. NASA has successfully met this challenge and developed a winning strategy in the Space Shuttle Mission Control Center. This facility, which is clearly among NASA's most critical, is based on 1970's mainframe architecture. Changes to the mainframe are very expensive due to the extensive testing required to prove that changes do not have unanticipated impact on critical processes. Systematic improvement efforts in this facility have been delayed due to this 'risk to change.' In the real-time data system (RTDS) we have introduced a network of engineering computer workstations which run in parallel to the mainframe system. These workstations are located next to flight controller operating positions in mission control and, in some cases, the display units are mounted in the traditional mainframe consoles. This system incorporates several major improvements over the mainframe consoles including automated fault detection by real-time expert systems and color graphic animated schematics of subsystems driven by real-time telemetry. The workstations have the capability of recording telemetry data and providing 'instant replay' for flight controllers. RTDS also provides unique graphics animated by real-time telemetry such as workstation emulation of the shuttle's flight instruments and displays of the remote manipulator system (RMS) position. These systems have been used successfully as prime operational tools since STS-26 and have supported seven shuttle missions.

Muratore, John F.↗
NASA NTRS1992

The Keck keyword layer

Each Keck instrument presents a consistent software view to the user interface programmer. The view consists of a small library of functions, which are identical for all instruments, and a large set of keywords, that vary from instrument to instrument. All knowledge of the underlying task structure is hidden from the application programmer by the keyword layer. Image capture software uses the same function library to collect data for the image header. Because the image capture software and the instrument control software are built on top of the same keyword layer, a given observation can be 'replayed' by extracting keyword-value pairs from the image header and passing them back to the control system. The keyword layer features non-blocking as well as blocking I/O. A non-blocking keyword write operation (such as setting a filter position) specifies a callback to be invoked when the operation is complete. A non-blocking keyword read operation specifies a callback to be invoked whenever the keyword changes state. The keyword-callback style meshes well with the widget-callback style commonly used in X window programs. The first keyword library was built for the two Keck optical instruments. More recently, keyword libraries have been developed for the infrared instruments and for telescope control. Although the underlying mechanisms used for inter-process communication by each of these systems vary widely (Lick MUSIC, Sun RPC, and direct socket I/O, respectively), a basic user interface has been written that can be used with any of these systems. Since the keyword libraries are bound to user interface programs dynamically at run time, only a single set of user interface executables is needed. For example, the same program, 'xshow', can be used to display continuously the telescope's position, the time left in an instrument's exposure, or both values simultaneously. Less generic tools that operate on specific keywords, for example an X display that controls optical instrument exposures, have also been written using the keyword layer.

Conrad, A. R.↗
NASA NTRS1993

Progressive retry for software error recovery in distributed systems

In this paper, we describe a method of execution retry for bypassing software errors based on checkpointing, rollback, message reordering and replaying. We demonstrate how rollback techniques, previously developed for transient hardware failure recovery, can also be used to recover from software faults by exploiting message reordering to bypass software errors. Our approach intentionally increases the degree of nondeterminism and the scope of rollback when a previous retry fails. Examples from our experience with telecommunications software systems illustrate the benefits of the scheme.

Wang, Yi-Min↗
NASA NTRS1995

Introduction to Penelope

A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.

Guaspari, David↗
NASA NTRS1996

Flight Test Results from Real-Time Relative Global Positioning System Flight Experiment on STS-69

A real-time global positioning system (GPS) Kalman filter has been developed to support automated rendezvous with the International Space Station (ISS). The filter is integrated with existing Shuttle rendezvous software running on a 486 laptop computer under Windows. In this work, we present real-time and postflight results achieved with the filter on STS-69. The experiment used GPS data from an Osborne/Jet propulsion Laboratory TurboRouge receiver carried on the Wake Shield Facility (WSF) free flyer and a Rockwell Collins 3M receiver carried on the Orbiter. Real time filter results, processed onboard the Shuttle and replayed in near-time on the ground, are based on single vehicle mode operation and on 5 to 20 minute snapshots of telemetry provided by WSF for dual-vehicle mode operation. The Orbiter and WSF state vectors calculated using our filter compare favorably with precise reference orbits determined by the University of Texas Center for Space Research. The lessons learned from this experiment will be used in conjunction with future experiments to mitigate the technology risk posed by automated rendezvous and docking to the ISS.

Park, Young W.↗
NASA NTRS1994

Comet Shoemaker-Levy Impact: Briefing

A panel discussion held on May 18, 1994, about the impact of the P/Shoemaker-Levy 9 (SL9) comet with Jupiter and its observable effects on Jupiter's atmosphere, rings, satellites, and magnetosphere, is presented. Before the panel discussion animations show the first nuclei impact, collision with Jupiter's night side (5 of the 22 known fragments of P/Shoemaker-Levy 9; N, P2, P1, Q2, and Q1), and simulated views of the Shoemaker-Levy 9 comet impact with Jupiter (from Earth and Galileo spacecraft) were presented. The panelists are: Dr. Eugene Shoemaker (from Lowell Observatory and US Geological Survey), the moderator and Shoemaker-Levy co-discoverer; Dr. Hal Weaver (from Space Telescope Science Institute); Dr. Lucy McFadden (from University of California-San Diego and the University of Maryland); Dr Melissa McGrath (from Space Telescope Science Institute); and Dr. Heidi Hammel (from Massachusetts Institute of Technology). Topics discussed include: interactions of cometary material with Jupiter's atmosphere, dynamical parameters of Jupiter's troposphere and stratosphere, and Hubble Space Telescope (HST) Observations of the SL9 Impacts on Jupiter's Atmosphere.The panel answered some of the audience's questions at the end of the discussion. This video, Part 2 (of 2), is a continuation of Part 1. It presents the second part of the question and answer session and a replay of the animations.

Source record↗
NASA NTRS1992

Mars Observer Spacecraft Processing

Footage shows various Mars Observer activities. Scenes include the checkout of the radar pin, the arrival of both the transfer orbit stage and the Mars Observer Spacecraft. Also shown are the mating of the spacecraft, pre-launch activities, countdown, animation of the Martian Environment, and replays of the launching of the Titan satellite.

Source record↗
NASA NTRS1985

INTELSAT V-A (F-10) Launch

Footage shows panoramic views of the Atlas launch vehicle on the launch complex. Also shown are ignition, liftoff, several different launch replays from different cameras, and views of the complex after launch.

Source record↗
NASA NTRS2001

STS-97 Mission Highlights Resource Tape

Various clips give an overview of the STS-97 Endeavour mission. Footage includes Endeavour on the launch pad, the crew of STS-97 (Commander Brent W. Jett, Pilot Michael J. Bloomfield, and Mission Specialists Joseph R. Tanner, Carlos I. Noriega, and Marc Garneau) suiting up, replays of the nighttime launch, Launch Control Center at Kenendy Space Center during countdown, and the activities of flight days one through three. The activities of flight days four through six can be seen on 'STS-97 Mission Highlights Resource Tape, Part 2 of 3' (document ID 20010020282). The activities of flight days seven through eleven and Endeavour's landing can be found on 'STS-97 Mission Highlights Resource Tape, Part 3 of 3' (document ID 20010020283).

Source record↗
NASA NTRS2001

Efficient Tracing for On-the-Fly Space-Time Displays in a Debugger for Message Passing Programs

In this work we describe the implementation of a practical mechanism for collecting and displaying trace information in a debugger for message passing programs. We introduce a trace format that is highly compressible while still providing information adequate for debugging purposes. We make the mechanism convenient for users to access by incorporating the trace collection in a set of wrappers for the MPI (message passing interface) communication library. We implement several debugger operations that use the trace display: consistent stoplines, undo, and rollback. They all are implemented using controlled replay, which executes at full speed in target processes until the appropriate position in the computation is reached. They provide convenient mechanisms for getting to places in the execution where the full power of a state-based debugger can be brought to bear on isolating communication errors.

Hood, Robert↗
NASA NTRS1998

Trace-Driven Debugging of Message Passing Programs

In this paper we report on features added to a parallel debugger to simplify the debugging of parallel message passing programs. These features include replay, setting consistent breakpoints based on interprocess event causality, a parallel undo operation, and communication supervision. These features all use trace information collected during the execution of the program being debugged. We used a number of different instrumentation techniques to collect traces. We also implemented trace displays using two different trace visualization systems. The implementation was tested on an SGI Power Challenge cluster and a network of SGI workstations.

Frumkin, Michael↗
NASA NTRS1998

Multilayer Volume Holographic Optical Memory

We demonstrate a scheme for volume holographic storage based on the features of shift selectivity of a speckle reference wave hologram. The proposed recording method allows more efficient use of the recording medium and increases the storage density in comparison with spherical or plane-wave reference beams. Experimental results of multiple hologram storage and replay in a photorefractive crystal of iron-doped lithium niobate are presented. The mechanism of lateral and longitudinal shift selectivity are described theoretically and shown to agree with experimental measurements.

Markov, Vladimir↗
NASA NTRS1998

Improving Airline Safety

Under a NASA-Ames Space Act Agreement, Coryphaeus Software and Simauthor, Inc., developed an Aviation Performance Measuring System (APMS). This software, developed for the aerospace and airline industry, enables the replay of Digital Flight Data Recorder (DFDR) data in a flexible, user-configurable, real-time, high fidelity 3D (three dimensional) environment.

Source record↗
NASA NTRS1995

Video Golf

George Nauck of ENCORE!!! invented and markets the Advanced Range Performance (ARPM) Video Golf System for measuring the result of a golf swing. After Nauck requested their assistance, Marshall Space Flight Center scientists suggested video and image processing/computing technology, and provided leads on commercial companies that dealt with the pertinent technologies. Nauck contracted with Applied Research Inc. to develop a prototype. The system employs an elevated camera, which sits behind the tee and follows the flight of the ball down range, catching the point of impact and subsequent roll. Instant replay of the video on a PC monitor at the tee allows measurement of the carry and roll. The unit measures distance and deviation from the target line, as well as distance from the target when one is selected. The information serves as an immediate basis for making adjustments or as a record of skill level progress for golfers.

Source record↗
NASA NTRS2002

STS 110 Mission Highlights Resource Tape

A continuation of 'STS 110 Mission Highlights Resource Tape'. This video, Part 2 of 4, shows footage from flight days 3 through 5 of STS-110. The flight crew includes Michael J. Bloomfield, Commander; Stephen N. Frick, Pilot; Jerry L. Ross, Mission Specialist; Steven L. Smith, Mission Specialist; Ellen Ochoa, Mission Specialist; Lee M.E. Morin, Mission Specialist; Rex J. Walheim, Mission Specialist. The coverage from flight day 3 includes docking replays of Atlantis and the International Space Station (ISS), and postdocking procedures, as well as intermingling of the flight crew with the Expedition 4 crew (Yury I. Onufrienko, Commander; Daniel W. Bursch, Flight Engineer; Carl E. Walz, Flight Engineer) of the ISS. Flight day 4 includes an EVA (extravehicular activity) in which Walheim and Smith lift the S0 Truss from the payload bay, and temporarily clamp it onto the Destiny laboratory. On flight day 5 a suite of spaceborne experiments (not shown) arrives at Destiny, including protein crystal growth and wheat plant growth experiments. Notable footage includes Hawaii, New Zealand, and sunrise on Atlantis. An unknown object steaks across the field of view during the video, with the Earth in the background. The activities of the other flight days can be seen on 'STS 110 Mission Highlights Resource Tape, Part 1 of 4' (internal ID 2002137575), 'STS 110 Mission Highlights Resource Tape, Part 3 of 4' (internal ID 2002137574), and 'STS 110 Mission Highlights Resource Tape, Part 4 of 4' (internal ID 2002137517).

Source record↗
NASA NTRS2002

STS 110 Mission Highlights Resource Tape

A continuation of 'STS 110 Mission Highlights Resource Tape'. This video, Part 4 of 4, shows footage from flight days 10 through 12 of STS-110. The spacecrew includes Michael J. Bloomfield, Commander; Stephen N. Frick, Pilot; Jerry L. Ross, Mission Specialist; Steven L. Smith, Mission Specialist; Ellen Ochoa, Mission Specialist; Lee M.E. Morin, Mission Specialist; Rex J. Walheim, Mission Specialist. Flight day 10 includes an exchange of farewells with the Expedition 4 crew (Yury I. Onufrienko, Commander; Daniel W. Bursch, Flight Engineer; Carl E. Walz, Flight Engineer) of the International Space Station (ISS), and undocking. The video includes many views of the ISS as Atlantis departs, including cloud cover and the Earth's limb as backgrounds. There is also a view of Atlantis with its payload bay open. On flight day 11, in preparation for landing, the crew conducts a checkout of flight controls and a test firing. A spaceborne wheat plant experiment onboard the ISS is briefly shown. Flight day 12 includes closing the payload bay, suit-up, and landing. Kennedy Space Center is seen from the air, and the video shows landing replays, as well as a heads-up display view of the landing. Earth views include clear views of Western Sahara, Morocco, Mauritania, and Algeria, with the Atlantic Ocean, a cloud obstructed view of Newfoundland and the Atlantic, Pacific Ocean sun glint, and an excellent view of the Chicago area and Lake Michigan at night. The activities from other flights days can be seen on "STS 110 Mission Highlights Resource Tape" Part 1 of 4 (internal ID 2002137575), "STS 110 Mission Highlights Resource Tape" Part 2 of 4 (internal ID 2002137573), and "STS 110 Mission Highlights Resource Tape" Part 3 of 4 (internal ID 2002137574).

Source record↗