Search NASA⌕ Search

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Space Station Freedom thermal control and life support system design

The Space Station Freedom thermal control system (TCS) and environmental control and life support system (ECLSS) are reviewed. Differences in the TCS and ECLSS are discussed between the early man-tended configuration (MTC) compared to the eventual evolutions to the permanently manned configuration (PMC). Concurrent analytical and developmental testing programs are included in the systems discussions as well as a description of an early 1993 flight test program on elements of the PMC water recovery system. Recent TCS design changes to the air cooling of rack mounted equipment are discussed. An overview of all TCS and ECLSS subsystems is included.

Wegrich, R. D.↗
NASA NTRS1993

Evolution of a high-performance storage system based on magnetic tape instrumentation recorders

In order to provide transparent access to data in network computing environments, high performance storage systems are getting smarter as well as faster. Magnetic tape instrumentation recorders contain an increasing amount of intelligence in the form of software and firmware that manages the processes of capturing input signals and data, putting them on media and then reproducing or playing them back. Such intelligence makes them better recorders, ideally suited for applications requiring the high-speed capture and playback of large streams of signals or data. In order to make recorders better storage systems, intelligence is also being added to provide appropriate computer and network interfaces along with services that enable them to interoperate with host computers or network client and server entities. Thus, recorders are evolving into high-performance storage systems that become an integral part of a shared information system. Data tape has embarked on a program with the Caltech sponsored Concurrent Supercomputer Consortium to develop a smart mass storage system. Working within the framework of the emerging IEEE Mass Storage System Reference Model, a high-performance storage system that works with the STX File Server to provide storage services for the Intel Touchstone Delta Supercomputer is being built. Our objective is to provide the required high storage capacity and transfer rate to support grand challenge applications, such as global climate modeling.

Peters, Bruce↗
NASA NTRS2003

High-Level Data Races

Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools, experience shows that the notion of data race is not powerful enough to capture certain types of inconsistencies occurring in practice. In this paper we investigate data races on a higher abstraction layer. This enables us to detect inconsistent uses of shared variables, even if no classical race condition occurs. For example, a data structure representing a coordinate pair may have to be treated atomically. By lifting the meaning of a data race to a higher level, such problems can now be covered. The paper defines the concepts view and view consistency to give a notation for this novel kind of property. It describes what kinds of errors can be detected with this new definition, and where its limitations are. It also gives a formal guideline for using data structures in a multi-threading environment.

Artho, Cyrille↗
NASA NTRSDate not supplied

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

runtime verification↗
NASA NTRS1990

Software For Drawing Design Details Concurrently

Software system containing five computer-aided-design programs enables more than one designer to work on same part or assembly at same time. Reduces time necessary to produce design by implementing concept of parallel or concurrent detailing, in which all detail drawings documenting three-dimensional model of part or assembly produced simultaneously, rather than sequentially. Keeps various detail drawings consistent with each other and with overall design by distributing changes in each detail to all other affected details.

Crosby, Dewey C., III↗
NASA NTRS1992

Artemis common lunar lander. Phase 2: Study results for external review

The purpose of the Artemis Program is to gather vital reconnaissance data by conducting robotic exploration missions to the lunar surface both prior to and concurrent with human exploration missions. The Artemis Program includes rapid, near-term development of a variety of small experimental and operational payloads, provides a low-cost capability to deliver these payloads to any location on the lunar surface, and supports the analysis of the data returned. The Artemis Program will improve the understanding of lunar geosciences, demonstrate the Moon's unique capability as an astronomical platform to study the universe, and to conduct scientific and technology development experiments, and will prepare for, enhance, and complement human mission The Artemis Common Lunar Lander Phase 2 Study results for external review are included.

Source record↗
NASA NTRS2004

Activity-Centric Approach to Distributed Programming

The first phase of an effort to develop a NASA version of the Cybele software system has been completed. To give meaning to even a highly abbreviated summary of the modifications to be embodied in the NASA version, it is necessary to present the following background information on Cybele: Cybele is a proprietary software infrastructure for use by programmers in developing agent-based application programs [complex application programs that contain autonomous, interacting components (agents)]. Cybele provides support for event handling from multiple sources, multithreading, concurrency control, migration, and load balancing. A Cybele agent follows a programming paradigm, called activity-centric programming, that enables an abstraction over system-level thread mechanisms. Activity centric programming relieves application programmers of the complex tasks of thread management, concurrency control, and event management. In order to provide such functionality, activity-centric programming demands support of other layers of software. This concludes the background information. In the first phase of the present development, a new architecture for Cybele was defined. In this architecture, Cybele follows a modular service-based approach to coupling of the programming and service layers of software architecture. In a service-based approach, the functionalities supported by activity-centric programming are apportioned, according to their characteristics, among several groups called services. A well-defined interface among all such services serves as a path that facilitates the maintenance and enhancement of such services without adverse effect on the whole software framework. The activity-centric application-program interface (API) is part of a kernel. The kernel API calls the services by use of their published interface. This approach makes it possible for any application code written exclusively under the API to be portable for any configuration of Cybele.

Levy, Renato↗
NASA NTRS1989

A language comparison for scientific computing on MIMD architectures

Choleski's method for solving banded symmetric, positive definite systems is implemented on a multiprocessor computer using three FORTRAN based parallel programming languages, the Force, PISCES and Concurrent FORTRAN. The capabilities of the language for expressing parallelism and their user friendliness are discussed, including readability of the code, debugging assistance offered, and expressiveness of the languages. The performance of the different implementations is compared. It is argued that PISCES, using the Force for medium-grained parallelism, is the appropriate choice for programming Choleski's method on the multiprocessor computer, Flex/32.

Jones, Mark T.↗
NASA NTRS1989

Algorithms and software for nonlinear structural dynamics

The objective of this research is to develop efficient methods for explicit time integration in nonlinear structural dynamics for computers which utilize both concurrency and vectorization. As a framework for these studies, the program WHAMS, which is described in Explicit Algorithms for the Nonlinear Dynamics of Shells (T. Belytschko, J. I. Lin, and C.-S. Tsay, Computer Methods in Applied Mechanics and Engineering, Vol. 42, 1984, pp 225 to 251), is used. There are two factors which make the development of efficient concurrent explicit time integration programs a challenge in a structural dynamics program: (1) the need for a variety of element types, which complicates the scheduling-allocation problem; and (2) the need for different time steps in different parts of the mesh, which is here called mixed delta t integration, so that a few stiff elements do not reduce the time steps throughout the mesh.

Belytschko, Ted↗
NASA NTRS2003

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗
NASA NTRS1998

Forced Flow Flame Spreading Test: Preliminary Findings From the USMP-3 Shuttle Mission

The Forced Flow Flame spreading Test (FFFT) is a study of flame spreading over solid fuels in very low-speed air flows. The FFFT experiment is part of research entitled Solid Inflammability Boundary at Low Speeds, (SIBAL) intended for operations on the Space Station. In the FFFT experiment, a series of 15 experiments conducted aboard the space shuttle during the United States Microgravity Payload (USMP-3) mission provided information about the structure and spreading characteristics of flames in low-speed, concurrent flows. The test samples included flat sheets of cellulose and cast cylinders of cellulose, burned in air at velocities of approximately 1 to 8 cm/sec. The test results have been successfully compared to theoretical predictions of the SIBAL program, a fundamentally based numerical simulation of concurrent flow flame spread. Additionally, some guidance for the design characteristics of the SIBAL flight experiment have been obtained including some verification of the theoretical predictions of flame size versus the required size of the SIBAL flow duct, and the effect of the presence of thermocouples in the vicinity of near-limit flames in microgravity.

Sacksteder, Kurt R.↗
NASA NTRS1990

Space Station logistics policy - Risk management from the top down

Considerations are presented in the area of risk management specifically relating to logistics and system supportability. These considerations form a basis for confident application of concurrent engineering principles to a development program, aiming at simultaneous consideration of support and logistics requirements within the engineering process as the system concept and designs develop. It is shown that, by applying such a process, the chances of minimizing program logistics and supportability risk in the long term can be improved. The problem of analyzing and minimizing integrated logistics risk for the Space Station Freedom Program is discussed.

Paules, Granville↗
NASA NTRS1992

H0538 + 608 (= BY Camelopardalis) - An asynchronously rotating AM Herculis binary?

Evidence from a concurrent X-ray/optical observing program is presented which indicates that the orbital period of the anomalous AM Her-type cataclysmic variable H0538 + 608 (BY Cam) differs from the rotational period by 1.3 +/- 0.1 percent. This finding would explain much of the unusual behavior previously exhibited in optical photometry and polarimetry. The model proposed by Ishida et al. (1991) is developed further using observations of accretion and the primary characteristics of optical and X-ray light curves and radial velocity measures of H-alpha. An optical QPO with a period of about 30 min was seen on two nights and possible causes of it are discussed.

Silber, A.↗
NASA NTRS1993

Integrated design and manufacturing for the high speed civil transport

In June 1992, Georgia Tech's School of Aerospace Engineering was awarded a NASA University Space Research Association (USRA) Advanced Design Program (ADP) to address 'Integrated Design and Manufacturing for the High Speed Civil Transport (HSCT)' in its graduate aerospace systems design courses. This report summarizes the results of the five courses incorporated into the Georgia Tech's USRA ADP program. It covers AE8113: Introduction to Concurrent Engineering, AE4360: Introduction to CAE/CAD, AE4353: Design for Life Cycle Cost, AE6351: Aerospace Systems Design One, and AE6352: Aerospace Systems Design Two. AE8113: Introduction to Concurrent Engineering was an introductory course addressing the basic principles of concurrent engineering (CE) or integrated product development (IPD). The design of a total system was not the objective of this course. The goal was to understand and define the 'up-front' customer requirements, their decomposition, and determine the value objectives for a complex product, such as the high speed civil transport (HSCT). A generic CE methodology developed at Georgia Tech was used for this purpose. AE4353: Design for Life Cycle Cost addressed the basic economic issues for an HSCT using a robust design technique, Taguchi's parameter design optimization method (PDOM). An HSCT economic sensitivity assessment was conducted using a Taguchi PDOM approach to address the robustness of the basic HSCT design. AE4360: Introduction to CAE/CAD permitted students to develop and utilize CAE/CAD/CAM knowledge and skills using CATIA and CADAM as the basic geometric tools. AE6351: Aerospace Systems Design One focused on the conceptual design refinement of a baseline HSCT configuration as defined by Boeing, Douglas, and NASA in their system studies. It required the use of NASA's synthesis codes FLOPS and ACSYNT. A criterion called the productivity index (P.I.) was used to evaluate disciplinary sensitivities and provide refinements of the baseline HSCT configuration. AE6352: Aerospace Systems Design Two was a continuation of Aerospace Systems Design One in which wing concepts were researched and analyzed in more detail. FLOPS and ACSYNT were again used at the system level while other off-the-shelf computer codes were used for more detailed wing disciplinary analysis and optimization. The culmination of all efforts and submission of this report conclude the first year's efforts of Georgia Tech's NASA USRA ADP. It will hopefully provide the foundation for next year's efforts concerning continuous improvement of integrated design and manufacturing for the HSCT.

Source record↗
NASA NTRS1996

Technology readiness levels and technology status for selected long term/high payoff technologies on the RLV program

The development of a new space transportation system in a climate of constant budget cuts and staff reductions can be and is a difficult task. It is no secret that NASA's current launching system consumes a very large portion of NASA funding and requires a large army of people to operate & maintain the system. The new Reusable Launch Vehicle (RLV) project and it's programs are faced with a monumental task of making the cost of access to space dramatically lower and more efficient than NASA's current system. With pressures from congressional budget cutters and also increased competition and loss of market share from international agencies RLV's first priority is to develop a 'low-cost, reliable transportation to earth orbit.' One of the RLV's major focus in achieving low-cost, reliable transportation to earth orbit is to rely on the maturing of advanced technologies. The technologies for the RLV are numerous and varied. Trying to assess their current status, within the RLV development program is paramount. There are several ways to assess these technologies. One way is through the use of Technology Readiness Levels (TRL's). This project focused on establishing current (summer 95) 'worst case' TRL's for six selected technologies that are under consideration for use within the RLV program. The six technologies evaluated were Concurrent Engineering, Embedded Sensor Technology, Rapid Prototyping, Friction Stir Welding, Thermal Spray Coatings, and VPPA Welding.

Rosmait, Russell L.↗
NASA NTRS2005

Chapter 24 - Propulsion

This chapter provides a basic guide to the flight testing of propulsion system operability and compatibility (O&C). For the purposes of establishing a frame of reference, O&C refers to the ability of the aircrew to establish and maintain the desired level of propulsion system net propulsive force throughout the operating envelope of the aircraft. For the purposes of definition, net propulsive force is used to refer to the vector resultant of all throttle dependant forces acting upon the aircraft. By limiting the discussion in this Section to flight testing of the O&C of the propulsion system, it should not be interpreted to mean that these are the only factors that need to be considered when conducting flight test to evaluate an aircraft propulsion system. Propulsion system structural interfaces, pneumatic interfaces, mechanical interfaces, hydraulic interfaces, thermodynamic interfaces and electrical interfaces must all be evaluated prior to or concurrently with the O&C test program in order to ensure a safe and effective flight test program of the aircraft and propulsion system.

Lawrence A Thomas↗
NASA NTRS1992

Activities relating to understanding the initiation, organization and structure of moist convection in the Southeast environment

In the spring and summer of 1986, NASA/Marshall Space Flight Center (MSFC) will sponsor the Satellite Precipitation And Cloud Experiment (SPACE) to be conducted in the Central Tennessee, Northern Alabama, and Northeastern Mississippi area. The field program will incorporate high altitude flight experiments associated with meteorological remote sensor development for future space flight, and an investigation of precipitation processes associated with mesoscale and small convective systems. In addition to SPACE, the MIcroburst and Severe Thunderstorm (MIST) program, sponsored by the National Science Foundation (NSF), and the FAA-Lincoln Laboratory Operational Weather Study (FLOWS), sponsored by the Federal Aviation Administration (FAA), will take place concurrently within the SPACE experiment area. All three programs (under the joint acronym COHMEX (COoperative Huntsville Meteorological EXperiment)) will provide a data base for detailed analysis of mesoscale convective systems while providing ground truth comparisons for remote sensor evaluation. The purpose of this document is to outline the experiment design criteria for SPACE, and describe the special observing facilities and data sets that will be available under the COHMEX joint program. In addition to the planning of SPACE-COHMEX, this document covers three other parts of the program. The field program observations' main activity was the operation of an upper air rawinsonde network to provide ground truth for aircraft and spacecraft observations. Another part of the COHMEX program involved using boundary layer mesoscale models to study and simulate the initiation and organization of moist convection due to mesoscale thermal and mechanical circulations. The last part of the program was the collection, archival and distribution of the resulting COHMEX-SPACE data sets.

Mcnider, Richard T.↗