Search NASASearch

SEARCH · Search NASA

Results for “concurrency programming”

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 181 records · Page 10

SPACE/COHMEX data inventory document

During the period June to July 1986, NASA conducted the Satellite Precipitation and Cloud Experiment (SPACE) in the central Tennessee, northern Alabama, and northeastern Mississippi area. In addition to SPACE, the Microburst and Severe Thunderstorm (MIST) Program, sponsored by the National Science Foundation, and the FAA-Lincoln Laboratory Operational Weather Study (FLOWS) sponsored by the Federal Aviation Administration, operated concurrently under the acronym of COHMEX (Cooperative Huntsville Meteorological Experiment). The COHMEX field program incorporated measurements from remote sensors flown on high altitude aircraft (ER-2 and U-2), Doppler and conventional radars, rawinsondes, satellites, cloud physics research aircraft, and various surface observational systems.

Williams, S. F.

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

A comparison of nuclear thermal rocket development cost and schedule for piloted missions to Mars

In Fiscal Year 1992, NASA led a team, including DOE, universities, and industry, that evaluated various schedule and cost scenarios for development of nuclear thermal rocket propulsion systems for piloted Mars exploration. This paper summarizes the results of two of these studies: (1) a so-called 'Fast Track' approach, that would result in technology readiness level 6 (TRL-6-system ground testing complete) by the year 2000, and (2) a slower program that results in TRL-6 by 2006. Both scenarios included a concurrent engineering approach. Costs and schedules for the two scenarios are compared. In addition to the six-year schedule delay, the TRL-6 in 2006 scenario is estimated to increase the cost of the program from $4.7 billion to $5.8 billion (in real-year dollars). On the positive side, the technical program should be better, since nuclear testing of fuel elements may be possible prior to concept down-select, resulting in a more informed decision.

Clark, John S.

Analysis of a Multiprocessor Guidance Computer

The design of the next generation of spaceborne digital computers is described. It analyzes a possible multiprocessor computer configuration. For the analysis, a set of representative space computing tasks was abstracted from the Lunar Module Guidance Computer programs as executed during the lunar landing, from the Apollo program. This computer performs at this time about 24 concurrent functions, with iteration rates from 10 times per second to once every two seconds. These jobs were tabulated in a machine-independent form, and statistics of the overall job set were obtained. It was concluded, based on a comparison of simulation and Markov results, that the Markov process analysis is accurate in predicting overall trends and in configuration comparisons, but does not provide useful detailed information in specific situations. Using both types of analysis, it was determined that the job scheduling function is a critical one for efficiency of the multiprocessor. It is recommended that research into the area of automatic job scheduling be performed.

Maltach, E. G.

Fault tolerant computing: A preamble for assuring viability of large computer systems

The need for fault-tolerant computing is addressed from the viewpoints of (1) why it is needed, (2) how to apply it in the current state of technology, and (3) what it means in the context of the Phoenix computer system and other related systems. To this end, the value of concurrent error detection and correction is described. User protection, program retry, and repair are among the factors considered. The technology of algebraic codes to protect memory systems and arithmetic codes to protect memory systems and arithmetic codes to protect arithmetic operations is discussed.

Lim, R. S.

Path Pascal

Path Pascal is high-level experimental programming language based on PASCAL, which incorporates extensions for systems and real-time programming. Pascal is extended to treat real-time concurrent systems.

Campbell, R. H.

Launch Vehicle Estimating Factors for Use in Advance Space Mission Planning

This launch vehicle reference document contains mission characteristic and launch vehicle capability data for use by NASA and particularly the Office of Space Science and Applications (OSSA) in the preparation of future mission plans. The data in this reference book are derived from sources that are considered to be sufficiently accurate for advance planning. In no instance should these data be used for detailed mission planning without concurrence of the Director of Launch Vehicle and Propulsion Programs. This edition reflects updates in vehicle performance and possible availability and introduces a section on the Space Shuttle. The Shuttle section has been coordinated with the Office of Manned Space Flight.

McGolrick, Joseph E.

Design of object-oriented distributed simulation classes

Distributed simulation of aircraft engines as part of a computer aided design package is being developed by NASA Lewis Research Center for the aircraft industry. The project is called NPSS, an acronym for 'Numerical Propulsion Simulation System'. NPSS is a flexible object-oriented simulation of aircraft engines requiring high computing speed. It is desirable to run the simulation on a distributed computer system with multiple processors executing portions of the simulation in parallel. The purpose of this research was to investigate object-oriented structures such that individual objects could be distributed. The set of classes used in the simulation must be designed to facilitate parallel computation. Since the portions of the simulation carried out in parallel are not independent of one another, there is the need for communication among the parallel executing processors which in turn implies need for their synchronization. Communication and synchronization can lead to decreased throughput as parallel processors wait for data or synchronization signals from other processors. As a result of this research, the following have been accomplished. The design and implementation of a set of simulation classes which result in a distributed simulation control program have been completed. The design is based upon MIT 'Actor' model of a concurrent object and uses 'connectors' to structure dynamic connections between simulation components. Connectors may be dynamically created according to the distribution of objects among machines at execution time without any programming changes. Measurements of the basic performance have been carried out with the result that communication overhead of the distributed design is swamped by the computation time of modules unless modules have very short execution times per iteration or time step. An analytical performance model based upon queuing network theory has been designed and implemented. Its application to realistic configurations has not been carried out.

Schoeffler, James D.

Design of Object-Oriented Distributed Simulation Classes

Distributed simulation of aircraft engines as part of a computer aided design package being developed by NASA Lewis Research Center for the aircraft industry. The project is called NPSS, an acronym for "Numerical Propulsion Simulation System". NPSS is a flexible object-oriented simulation of aircraft engines requiring high computing speed. It is desirable to run the simulation on a distributed computer system with multiple processors executing portions of the simulation in parallel. The purpose of this research was to investigate object-oriented structures such that individual objects could be distributed. The set of classes used in the simulation must be designed to facilitate parallel computation. Since the portions of the simulation carried out in parallel are not independent of one another, there is the need for communication among the parallel executing processors which in turn implies need for their synchronization. Communication and synchronization can lead to decreased throughput as parallel processors wait for data or synchronization signals from other processors. As a result of this research, the following have been accomplished. The design and implementation of a set of simulation classes which result in a distributed simulation control program have been completed. The design is based upon MIT "Actor" model of a concurrent object and uses "connectors" to structure dynamic connections between simulation components. Connectors may be dynamically created according to the distribution of objects among machines at execution time without any programming changes. Measurements of the basic performance have been carried out with the result that communication overhead of the distributed design is swamped by the computation time of modules unless modules have very short execution times per iteration or time step. An analytical performance model based upon queuing network theory has been designed and implemented. Its application to realistic configurations has not been carried out.

Schoeffler, James D.

A Comparison of PETSC Library and HPF Implementations of an Archetypal PDE Computation

Two paradigms for distributed-memory parallel computation that free the application programmer from the details of message passing are compared for an archetypal structured scientific computation a nonlinear, structured-grid partial differential equation boundary value problem using the same algorithm on the same hardware. Both paradigms, parallel libraries represented by Argonne's PETSC, and parallel languages represented by the Portland Group's HPF, are found to be easy to use for this problem class, and both are reasonably effective in exploiting concurrency after a short learning curve. The level of involvement required by the application programmer under either paradigm includes specification of the data partitioning (corresponding to a geometrically simple decomposition of the domain of the PDE). Programming in SPAM style for the PETSC library requires writing the routines that discretize the PDE and its Jacobian, managing subdomain-to-processor mappings (affine global- to-local index mappings), and interfacing to library solver routines. Programming for HPF requires a complete sequential implementation of the same algorithm, introducing concurrency through subdomain blocking (an effort similar to the index mapping), and modest experimentation with rewriting loops to elucidate to the compiler the latent concurrency. Correctness and scalability are cross-validated on up to 32 nodes of an IBM SP2.

Hayder, M. Ehtesham

Concurrent Runtime Verification of Data Rich Events

This paper presents the open source runtime verification tool MESA (MEssage-based System Analysis), implemented in Scala, which supports concurrent monitors using the Actor model. Furthermore, the tool supports indexing (slicing) on the data values occurring in data-carrying events, for each individual monitor. The tool is generic in the sense that any monitoring system can be used for creating monitors. In this paper, we use the internal Scala DSL Daut for programming such in data parameterized state machines and temporal logic. To illustrate MESA/Daut, we present a case study that monitors flights from live U.S. airspace data streams, verifying that they conform to planned routes. With base in the case study, we then perform an extensive empirical study of the potential benefits from monitoring slices of a single property in concurrently executing actors. Due to the overhead of scheduling “small” actors (one for each slice or a small number of slices), it is not obvious that concurrent execution of such is beneficial. However, as a main result, we demonstrate that concurrent monitoring of slices to handle data-carrying events can provide considerable speed gains.

finite state machines

Concurrent and vectorized mixed time, explicit nonlinear structural dynamics algorithms

A nonlinear structural dynamics program with an element library that exploits parallel processing is described. The aim is to exploit scheduling-allocation so that parallel processing and vectorization can effectively be treated in a general purpose program with explicit time integration and different time steps in different parts of the mesh. The program uses an element group scheme, which, as a by-product, also provides an automatic scheme for assigning different time steps to different parts of the mesh. The program has been tested on the Alliant FX/8; it shows a fivefold improvement in speed over compiler optimization.

Belytschko, Ted

Reliability models for dataflow computer systems

The demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers.

Kavi, K. M.

Update on Integrated Optical Design Analyzer

Updated information on the Integrated Optical Design Analyzer (IODA) computer program has become available. IODA was described in Software for Multidisciplinary Concurrent Optical Design (MFS-31452), NASA Tech Briefs, Vol. 25, No. 10 (October 2001), page 8a. To recapitulate: IODA facilitates multidisciplinary concurrent engineering of highly precise optical instruments. The architecture of IODA was developed by reviewing design processes and software in an effort to automate design procedures. IODA significantly reduces design iteration cycle time and eliminates many potential sources of error. IODA integrates the modeling efforts of a team of experts in different disciplines (e.g., optics, structural analysis, and heat transfer) working at different locations and provides seamless fusion of data among thermal, structural, and optical models used to design an instrument. IODA is compatible with data files generated by the NASTRAN structural-analysis program and the Code V (Registered Trademark) optical-analysis program, and can be used to couple analyses performed by these two programs. IODA supports multiple-load-case analysis for quickly accomplishing trade studies. IODA can also model the transient response of an instrument under the influence of dynamic loads and disturbances.

Moore, James D., Jr.

Spot: A Programming Language for Verified Flight Software

The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.

validation

Combining analysis with optimization at Langley Research Center - An evolutionary process

Analytical and computational advances, at Langely Research Center (La RC), contributing to the evolution of computer programs combining analysis and optimization are presented, namely, strength sizing, concurrent strength and flutter sizing, and general optimization. Current work on a software system which executes the analysis and optimization in a sequential rather than concurrent mode is then described, as a step toward the long-term goal at La RC of developing the methodology for such systems. The software system is designated Enginering Analysis Language (EAL)/Programming Structural Synthesis System (PR)SSS), and work is being done on the incorporation of PROSSS into EAL. EAL language can perform most FORTRAN operations, including testing, branching, and looping, and its data base system can easily be accessed by any processor using FORTRAN callable utility subroutines. Some numerical results showing the accuracy of EAL/PROSSS are given.

Rogers, J. L., Jr.

Development of a real-time aeroperformance analysis technique for the X-29A advanced technology demonstrator

The X-29A advanced technology demonstrator has shown the practicality and advantages of the capability to compute and display, in real time, aeroperformance flight results. This capability includes the calculation of the in-flight measured drag polar, lift curve, and aircraft specific excess power. From these elements many other types of aeroperformance measurements can be computed and analyzed. The technique can be used to give an immediate postmaneuver assessment of data quality and maneuver technique, thus increasing the productivity of a flight program. A key element of this new method was the concurrent development of a real-time in-flight net thrust algorithm, based on the simplified gross thrust method. This net thrust algorithm allows for the direct calculation of total aircraft drag.

Ray, R. J.

Development of a real-time aeroperformance analysis technique for the X-29A advanced technology demonstrator

The X-29A advanced technology demonstrator has shown the practicality and advantages of the capability to compute and display, in real time, aeroperformance flight results. This capability includes the calculation of the in flight measured drag polar, lift curve, and aircraft specific excess power. From these elements, many other types of aeroperformance measurements can be computed and analyzed. The technique can be used to give an immediate postmaneuver assessment of data quality and maneuver technique, thus increasing the productivity of a flight program. A key element of this new method was the concurrent development of a real-time in flight net thrust algorithm, based on the simplified gross thrust method. This net thrust algorithm allows for the direct calculation of total aircraft drag.

Ray, R. J.