Search NASA⌕ Search

SEARCH · Search NASA

Results for “execution”

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 307 records · Page 17

Aviation System Analysis Capability Executive Assistant Development

In this technical document, we describe the development of the Aviation System Analysis Capability (ASAC) Executive Assistant (EA) Proof of Concept (POC) and Beta version. We describe the genesis and role of the ASAC system, discuss the objectives of the ASAC system and provide an overview of components and models in the ASAC system, and describe the design process and the results of the ASAC EA POC and Beta system development. We also describe the evaluation process and results for applicable COTS software. The document has seven chapters, a bibliography, and two appendices.

Roberts, Eileen↗

General Public Space Travel and Tourism: Executive Summary - Volume 1

Travel and tourism is one of the world's largest businesses. Its gross revenues exceed $400 billion per year in the U.S. alone, and it is our second largest employer. U.S. private sector business revenues in the space information area now approximate $10 billion per year, and are increasing rapidly. Not so in the human spaceflight area. After spending $100s of billions (1998 dollars) in public funds thereon, and continuing to spend over $5 billion per year, the government is still the only customer for human spaceflight goods and services. Serious and detailed consideration was first given to the possibility of space being opened up to trips by the general public three decades ago, and some initial attempts to do so were made a dozen years ago. But the difficulties were great and the Challenger disaster put an end to them. In recent years professional space tourism studies have been conducted in the United Kingdom, Germany and, especially, Japan. In the U.S., technological progress has been pronounced; we have had nearly a decade's experience in seeing our astronauts travel to-from low Earth orbit (LEO) safely, and we expect to commence assembly of a LEO space station housing a half-dozen people this year. Too, NASA and our space industry now have new and promising space transportation development programs underway, especially the X-33 and X-34 programs, and some related, further generation, basic technology development programs. And five private companies are also working on the design of new surface - LEO vehicles. The first professional space tourism market studies have been conducted in several countries in the past few years, especially in Japan and here. The U.S. study makes it clear that, conceptually, tens of millions of us would like to take a trip to space if we could do so with reasonable safety, comfort and reliability, and at an acceptable price. Initial businesses will address the desires of those willing to pay a greater price and accept a greater risk. A two-year cooperative Space Act agreement study has been conducted by our National Aeronautics and Space Administration and the Space Transportation Association. It was conducted by NASA and STA study leaders drawing upon the competence, experience and hard-nosed imagination of a national Steering Group and scores of attendees at a multi-day Workshop. The study has involved scores of professionals and business people from various areas: astronauts; space booster technology and operations professionals; a hotel architect and a hotel operator; an airline planner; insurance underwriters; space sickness experts; space theme park designers; space and travel and tourism association and business executives; a space-related financier; university tourism and space policy experts; present and former space-responsible government officials; space entrepreneurs; space writers; This study concludes that serious national attention should now be given to activities that would enable the expansion of today's terrestrial space tourism businesses, and the creation of in-space travel and tourism businesses. Indeed, it concludes that, in time, it should become a very important part of our Country's overall commercial and civil space business-program structure.

ONeil, Daniel↗

Aviation System Analysis Capability Executive Assistant Analyses

This document describes the analyses that may be incorporated into the Aviation System Analysis Capability Executive Assistant. The document will be used as a discussion tool to enable NASA and other integrated aviation system entities to evaluate, discuss, and prioritize analyses.

Roberts, Eileen↗

A Unified Approach to Model-Based Planning and Execution

Writing autonomous software is complex, requiring the coordination of functionally and technologically diverse software modules. System and mission engineers must rely on specialists familiar with the different software modules to translate requirements into application software. Also, each module often encodes the same requirement in different forms. The results are high costs and reduced reliability due to the difficulty of tracking discrepancies in these encodings. In this paper we describe a unified approach to planning and execution that we believe provides a unified representational and computational framework for an autonomous agent. We identify the four main components whose interplay provides the basis for the agent's autonomous behavior: the domain model, the plan database, the plan running module, and the planner modules. This representational and problem solving approach can be applied at all levels of the architecture of a complex agent, such as Remote Agent. In the rest of the paper we briefly describe the Remote Agent architecture. The new agent architecture proposed here aims at achieving the full Remote Agent functionality. We then give the fundamental ideas behind the new agent architecture and point out some implication of the structure of the architecture, mainly in the area of reactivity and interaction between reactive and deliberative decision making. We conclude with related work and current status.

Muscettola, Nicola↗

Beyond Coordination: Joint Planning and Program Execution. The IHPRPT Materials Working Group

"Partnership is more than just coordination," stated then-Commander of the Air Force Research Laboratory (AFRL), Major General Dick Paul (USAF-Ret), at this year's National Space and Missile Materials Symposium. His comment referred to the example of the joint planning and program execution provided by the Integrated High Payoff Rocket Propulsion Technology (IHPRPT) Materials Working Group (IMWG). Most people agree that fiscal pressures imposed by shrinking budgets have made it extremely difficult to build upon our existing technical capabilities. In times of sufficient budgets, building advanced systems poses no major difficulties. However, with today's budgets, realizing enhanced capabilities and developing advanced systems often comes at an unaffordable cost. Overcoming this problem represents both a challenge and an opportunity to develop new business practices that allow us to develop advanced technologies within the restrictions imposed by current funding levels. Coordination of technology developments between different government agencies and organizations is a valuable tool for technology transfer. However, rarely do the newly developed technologies have direct applicability to other ongoing programs. Technology requirements are typically determined up-front during the program planning stage so that schedule risk can be minimized. The problem with this process is that the costs associated with the technology development are often borne by a single program. Additionally, the potential exists for duplication of technical effort. Changing this paradigm is a difficult process but one that can be extremely worthwhile should the right opportunity arise. The IMWG is one such example where NASA, the DoD, and industry have developed joint requirements that are intended to satisfy multiple program needs. More than mere coordination, the organizations comprising the group come together as partners, sharing information and resources, proceeding from a joint roadmap.

Stropki, Michael A.↗

Testing Linear Temporal Logic Formulae on Finite Execution Traces

We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL. theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications. Such tests correspond to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property. We then suggest an optimized algorithm based on transforming LTL formulae. The work is done using the Maude rewriting system. which turns out to provide a perfect notation and an efficient rewriting engine for performing these experiments.

Havelund, Klaus↗

Unifying Model-Based and Reactive Programming within a Model-Based Executive

Real-time, model-based, deduction has recently emerged as a vital component in AI's tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods simultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification. We introduce RMPL, a rich modeling language that combines probabilistic, constraint-based modeling with reactive programming constructs, while offering a simple semantics in terms of hidden state Markov processes. We introduce probabilistic, hierarchical constraint automata (PHCA), which allow Markov processes to be expressed in a compact representation that preserves the modularity of RMPL programs. Finally, a model-based executive, called Reactive Burton is described that exploits this compact encoding to perform efficIent simulation, belief state update and control sequence generation.

Williams, Brian C.↗

Operation Closed-Loop Observation Scheduling and Execution

In this paper, we present a fully operational system that performs closed-loop observation scheduling and execution and has been in daily use on an automatic photoelectric telescope at the Fairborn Observatory on Mt. Hopkins in Arizona. The scheduler is part of the Associate Principal Astronomer system that also provides tools that enable the effective management of automatic telescopes. The paper describes the flexible schedule representation used and describes how the uncertainties and errors inherent in the domain are handled.

Bresina, John↗

The Challenge of Planning and Execution for Spacecraft Mobile Robots

The need for spacecraft mobile robots continues to grow. These robots offer the potential to increase the capability, productivity, and duration of space missions while decreasing mission risk and cost. Spacecraft Mobile Robots (SMRs) can serve a number of functions inside and outside of spacecraft from simpler tasks, such as performing visual diagnostics and crew support, to more complex tasks, such as performing maintenance and in-situ construction. One of the predominant challenges to deploying SMRs is to reduce the need for direct operator interaction. Teleoperation is often not practical due to the communication latencies incurred because of the distances involved and in many cases a crewmember would directly perform a task rather than teleoperate a robot to do it. By integrating a mixed-initiative constraint-based planner with an executive that supports adjustably autonomous control, we intend to demonstrate the feasibility of autonomous SMRs by deploying one inside the International Space Station (ISS) and demonstrate in simulation one that operates outside of the ISS. This paper discusses the progress made at NASA towards this end, the challenges ahead, and concludes with an invitation to the research community to participate.

Dorais, Gregory A.↗

Backtracking and Re-execution in the Automatic Debugging of Parallelized Programs

In this work we describe a new approach using relative debugging to find differences in computation between a serial program and a parallel version of th it program. We use a combination of re-execution and backtracking in order to find the first difference in computation that may ultimately lead to an incorrect value that the user has indicated. In our prototype implementation we use static analysis information from a parallelization tool in order to perform the backtracking as well as the mapping required between serial and parallel computations.

Matthews, Gregory↗

An Experimental Framework for Executing Applications in Dynamic Grid Environments

The Grid opens up opportunities for resource-starved scientists and engineers to harness highly distributed computing resources. A number of Grid middleware projects are currently available to support the simultaneous exploitation of heterogeneous resources distributed in different administrative domains. However, efficient job submission and management continue being far from accessible to ordinary scientists and engineers due to the dynamic and complex nature of the Grid. This report describes a new Globus framework that allows an easier and more efficient execution of jobs in a 'submit and forget' fashion. Adaptation to dynamic Grid conditions is achieved by supporting automatic application migration following performance degradation, 'better' resource discovery, requirement change, owner decision or remote resource failure. The report also includes experimental results of the behavior of our framework on the TRGP testbed.

Huedo, Eduardo↗

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 Capability Roadmaps Executive Summary

This document is the result of eight months of hard work and dedication from NASA, industry, other government agencies, and academic experts from across the nation. It provides a summary of the capabilities necessary to execute the Vision for Space Exploration and the key architecture decisions that drive the direction for those capabilities. This report is being provided to the Exploration Systems Architecture Study (ESAS) team for consideration in development of an architecture approach and investment strategy to support NASA future mission, programs and budget requests. In addition, it will be an excellent reference for NASA's strategic planning. A more detailed set of roadmaps at the technology and sub-capability levels are available on CD. These detailed products include key driving assumptions, capability maturation assessments, and technology and capability development roadmaps.

Willcoxon, Rita↗

Vortex-Free Flight Corridors for Aircraft Executing Compressed Landing Operations

A factor that limits airport arrival and departure rates is the need to wait between operations for the wake vortices of preceding aircraft to decay to a safe level. As airport traffic demand increases, creative methods will be needed to overcome the limitations caused by the hazard posed by vortex wakes so that airport capacities can be increased. The problem addressed here is the design of vortex-free trajectories for aircraft as they fly from their cruise altitudes down to their final approach paths and to a landing. The guidelines presented recommend that the flight path of each aircraft in a group executing nearly-simultaneous landings be spaced far enough apart laterally along organized flight paths so that the vortex wakes of preceding aircraft will not intrude into the airspace to be used by following aircraft. An example is presented as to how a combination of straight lines and circular arcs is able to provide each aircraft in a group with a vortex-free trajectory so that all are able to safely form the pattern needed for nearly simultaneous landings on a set of closely-spaced parallel runways. Although the guidelines me described for aircraft on approach, they are also applicable to departure, and to en route operations.

Rossow, Vernon J.↗

An Executable Choreography Framework for Dynamic Service-Oriented Architectures

Interoperability and loose coupling requirements are pushing the next generation of distributed applications towards more decentralized and more dynamic interaction schemes, which the classic requestJresponse communication paradigm can hardly accommodate. Hence, sound foundations and mechanisms for the establishment of unmticiptitteb peer-to-peer interactions across organizational boundaries are of significant importance to upcoming middleware platforms. The Executable Choreography Framework (ECF) is a middleware-level framework that targets dynamic and decentralized service compositions. The ECF combines transparent context propagation with aspect-oriented software composition techniques to dynamically refine the default control and data flow of service invocations. The framework provides a ground for experimentation with dynamic and distributed workflows, and a base to assess their safety and applicability when depioyed across organizational boundaries.

Akkawi, Faisal↗

Designing a process for executing projects under an international agreement

Projects executed under an international agreement require special arrangements in order to operate within confines of regulations issued by the State Department and the Commerce Department. In order to communicate enterprise-level guidance and procedural information uniformly to projects based on interpretations that carry the weight of institutional authority, a process was developed. This paper provides a script for designing processes in general, using this particular process for context. While the context is incidental, the method described is applicable to any process in general. The paper will expound on novel features utilized for dissemination of the procedural details over the Internet following such process design.

process design↗