Search NASA⌕ Search

SEARCH · Search NASA

Results for “Embedded Systems”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

A Spacelab Expert System for Remote Engineering and Science

NASA's space science program is based on strictly pre-planned activities. This approach does not always result in the best science. We describe an existing computer system that enables space science to be conducted in a more reactive manner through advanced automation techniques that have recently been used in SLS-2 October 1993 space shuttle flight. Advanced computing techniques, usually developed in the field of Artificial Intelligence, allow large portions of the scientific investigator's knowledge to be "packaged" in a portable computer to present advice to the astronaut operator. We strongly believe that this technology has wide applicability to other forms of remote science/engineering. In this brief article, we present the technology of remote science/engineering assistance as implemented for the SLS-2 space shuttle flight. We begin with a logical overview of the system (paying particular attention to the implementation details relevant to the use of the embedded knowledge for system reasoning), then describe its use and success in space, and conclude with ideas about possible earth uses of the technology in the life and medical sciences.

Groleau, Nick↗
NASA NTRS2020

Indicators and Monitoring Systems for Urban Climate Resiliency

Cities in the USA and around the world have begun to take an active role in responding to climate change. A central requirement for effective urban climate strategies is the capacity to understand and measure how the climate is changing, the physical, environmental, and social impacts of the changes, and whether adaptation and resiliency policies and programs put in place in response are working. The objective of this paper is to review and assess how urban climate change and resiliency efforts can be measured and to define what might serve as meaningful indicator and monitoring protocols. The New York City Panel on Climate Change (NPCC) is used as a case study along with a reviews of the emerging literature of urban climate change indicators to analyze the requirements and processes needed for a successful urban climate resiliency indicator and monitoring (I and M) system. In the paper, the basic requirements of a proposed Urban Climate Resilience Indicators and Monitoring System are presented. A specific illustration of an I and M system for tracking the urban heat island highlights challenges as well as potential solutions embedded within such systems. Discussions how these protocols can be translated to other locales and settings, as well as the relationship to the US National Climate Assessment indicator process, are presented.

New York City Panel on Climate Change↗
NASA NTRS2005

Domain Compilation for Embedded Real-Time Planning

A recently conceived approach to automated real-time control of the actions of a robotic system enables an embedded real-time planning algorithm to develop plans that are more robust than they would otherwise be, without imposing an excessive computational burden. This approach occupies a middle ground between two prior approaches known in the art as the universal-plan and hybrid approaches. Ever since discovering the performance limitations of taking a sense-plan-act approach to controlling robots, the robotics community has endeavored to follow a behavior-based approach in which a behavior includes a rapid feedback loop between state estimation and motor control. Heretofore, system architectures following this approach have been based, variously, on algorithms that implement universal plans or algorithms that function as hybrids of planners and executives. In a typical universal-plan case, a set of behaviors is merged into the plan, but the system must be restricted to relatively small problem domains to avoid having to reason about too many states and represent them in the plan. In the hybrid approach, one implements actions as small sets of behaviors, each applicable to a limited set of circumstances. Each action is intended to bring the system to a subgoal state. A planning algorithm is used to string these actions together into a sequence to traverse the state space from an initial or current state to a goal state. The hybrid approach works well in a static environment, but it is inherently brittle in a dynamic environment because a failure can occur when the environment strays beyond the region of applicability of the current activity. In the present approach, a system can vary from the hybrid approach to the universal-plan approach, depending on a single integer parameter, denoted n, which can range from 1 to a maximum domain-dependent value of M. As illustrated in the figure, n = 1 represents the hybrid approach, in which each linked action covers a small part of the state space of the system. As n increases, the portion of state space associated with each action and its subgoal grows. When n reaches M, coverage extends over the full state space, so that the system contains a universal plan.

Barrett, Anthony↗
NASA NTRS1989

Initial flight qualification and operational maintenance of X-29A flight software

This paper is predominantly a nontechnical discussion of some significant aspects of the initial flight qualification and operational maintenance of the flight control system software for the X-29A technology demonstrator. Flight qualification and maintenance of complex, embedded flight control system software poses unique problems. The X-29A technology demonstrator aircraft has a digital flight control system which incorporates functions generally considered too complex for analog systems. Organizational responsibilities, software assurance issues, tools, and facilities are discussed.

Earls, Michael R.↗
NASA NTRS1989

Initial flight qualification and operational maintenance of X-29A flight software

A discussion is presented of some significant aspects of the initial flight qualification and operational maintenance of the flight control system softward for the X-29A technology demonstrator. Flight qualification and maintenance of complex, embedded flight control system software poses unique problems. The X-29A technology demonstrator aircraft has a digital flight control system which incorporates functions generally considered too complex for analog systems. Organizational responsibilities, software assurance issues, tools, and facilities are discussed.

Earls, Michael R.↗
NASA NTRS2003

Two Paths from the Same Place: Task Driven and Human Centered Evolution of a Group Information Surface

This is the tale of two different implementations of a collaborative information tool, that started from the same design source. The Blueboard, developed at IBM Research, is a tool for groups to use in exchanging information in a lightweight, informal collaborative way. It began as a large display surface for walk-by use in a corporate setting and has evolved in response to task demands and user needs. At NASA, the MERBoard is being designed to support surface operations for the upcoming Mars Exploration Rover Missions. The MERBoard is a tool that was inspired by the Blueboard design, extending this design to support the collaboration requirements for viewing, annotating, linking and distributing information for the science and engineering teams that will operate two rovers on the surface of Mars. The ways in which each group transformed the system reflects not only technical requirements, but also the needs of users in each setting and embedding of the system within the larger socio-technical environment. Lessons about how task requirements, information flow requirements and work practice drive the evolution of a system are illustrated.

Russell, Daniel M.↗
NASA NTRS1990

Parallelized reliability estimation of reconfigurable computer networks

A parallelized system, ASSURE, for computing the reliability of embedded avionics flight control systems which are able to reconfigure themselves in the event of failure is described. ASSURE accepts a grammar that describes a reliability semi-Markov state-space. From this it creates a parallel program that simultaneously generates and analyzes the state-space, placing upper and lower bounds on the probability of system failure. ASSURE is implemented on a 32-node Intel iPSC/860, and has achieved high processor efficiencies on real problems. Through a combination of improved algorithms, exploitation of parallelism, and use of an advanced microprocessor architecture, ASSURE has reduced the execution time on substantial problems by a factor of one thousand over previous workstation implementations. Furthermore, ASSURE's parallel execution rate on the iPSC/860 is an order of magnitude faster than its serial execution rate on a Cray-2 supercomputer. While dynamic load balancing is necessary for ASSURE's good performance, it is needed only infrequently; the particular method of load balancing used does not substantially affect performance.

Nicol, David M.↗
NASA NTRS1990

IEEE/AIAA/NASA Digital Avionics Systems Conference, 9th, Virginia Beach, VA, Oct. 15-18, 1990, Proceedings

The present conference on digital avionics discusses vehicle-management systems, spacecraft avionics, special vehicle avionics, communication/navigation/identification systems, software qualification and quality assurance, launch-vehicle avionics, Ada applications, sensor and signal processing, general aviation avionics, automated software development, design-for-testability techniques, and avionics-software engineering. Also discussed are optical technology and systems, modular avionics, fault-tolerant avionics, commercial avionics, space systems, data buses, crew-station technology, embedded processors and operating systems, AI and expert systems, data links, and pilot/vehicle interfaces.

Source record↗
NASA NTRS2006

Micro-Inspector Avionics Module (MAM): A Self-Contained Low Power, Reconfigurable Avionics Platform for Small Spacecrafts and Instruments

This paper describes development of a radiation tolerant, low power, reconfigurable avionics module aimed at meeting the avionics needs of the JPL Micro-Inspector spacecraft. This module represents a complete avionics system, consisting of two PowerPC 405 CPUs embedded within a reconfigurable FPGA fabric of over 8 Million logic gates, 64MB of EDAC protected Flash storage and 128MB of EDAC protected DDR SDRAM or SDRAM memories, along with FPGA SEU mitigation logic, and all necessary power conversion. Processor SEU mitigation is achieved by running the two processors in a lock-step and compare configuration. All of these building blocks are integrated into a double sided circuit board that takes as little as 6 square inches of board space. This module can be embedded into a user system as part of a bigger circuit assembly or as a self contained module. This module is being developed as part of a JPL led Micro-Inspector Program, funded by NASA ESMD aimed at producing a 10Kg micro spacecraft.

configurable↗
NASA NTRS1991

Computing Availability And Reliability For A System

Elements contributing most to failure of system identified quickly. Reliability/Availability Analysis (RELAV) computer program is comprehensive analytical software tool to determine reliability or availability of any general system modeled as embedded k-out-of-n groups of items (components) and/or subgroups. Used to assess performance of system during late testing phase of design of system, to model candidate designs and/or architectures, or to validate and form predictions during early phases of design. C-language program.

Bowerman, Paul N.↗
NASA NTRS1998

Evaluation of GPS Coverage for the X-33 Michael-6 Trajectory

The onboard navigational system for the X-33 test flights will be based on the use of measurements collected from the Embedded Global Positioning System (GPS)/INS system. Some of the factors which will affect the quality of the GPS contribution to the navigational solution will be the number of pseudorange measurements collected at any instant in time, the distribution of the GPS satellites within the field of view, and the inherent noise level of the GPS receiver. The distribution of GPS satellites within the field of view of the receiver's antenna will depend on the receiver's position, the time of day, pointing direction of the antenna, and the effective cone angle of the antenna. The number of pseudorange measurements collected will depend upon these factors as well as the time required to lock onto a GPS satellite signal once the GPS satellite comes into the field of view of the antenna and the number of available receiver channels. The objective of this study is to evaluate the GPS coverage resulting from the proposed antenna pointing directions, the proposed antenna cone angles, and the effects due to the time of day for the X-33 Michael-6 trajectory from launch at Edwards AFB, California, to the start of the Terminal Area Energy Management (TAEM) phase on approach to Michael AAF, Utah.

Lundberg, John B.↗
NASA NTRS2007

Low Noise Cruise Efficient Short Take-Off and Landing Transport Vehicle Study

The saturation of the airspace around current airports combined with increasingly stringent community noise limits represents a serious impediment to growth in world aviation travel. Breakthrough concepts that both increase throughput and reduce noise impacts are required to enable growth in aviation markets. Concepts with a 25 year horizon must facilitate a 4x increase in air travel while simultaneously meeting community noise constraints. Attacking these horizon issues holistically is the concept study of a Cruise Efficient Short Take-Off and Landing (CESTOL) high subsonic transport under the NASA's Revolutionary Systems Concepts for Aeronautics (RSCA) project. The concept is a high-lift capable airframe with a partially embedded distributed propulsion system that takes a synergistic approach in propulsion-airframe-integration (PAI) by fully integrating the airframe and propulsion systems to achieve the benefits of both low-noise short take-off and landing (STOL) operations and efficient high speed cruise. This paper presents a summary of the recent study of a distributed propulsion/airframe configuration that provides low-noise STOL operation to enable 24-hour use of the untapped regional and city center airports to increase the capacity of the overall airspace while still maintaining efficient high subsonic cruise flight capability.

Kim, Hyun D.↗
NASA NTRS1988

A flexible search strategy for production systems

Most problems considered to be solvable by expert systems have very large search space. It is imperative to use efficient search strategy in expert system tools. Thus, OPS5 uses a kind of hill climbing which is very efficient. However, hill climbing is inadequate for many problems because it is one of the least dependable search strategies. In order to make the search efficient and adequate one can: (1) adopt best-first search instead of hill climbing, or (2) modify hill climbing with intelligent backtracking. The second alternative is adopted. It is implemented in a production system called PRO2 embedded in C running on UNIX. It is called hill tracking. It is a general purpose tool for developing expert systems. This is a rule based production system with an effective, intelligent and flexible backtracking control mechanism, which makes the system more dependable. The advantages and disadvantages of PRO2 are discussed.

Dey, Pradip↗
NASA NTRS2001

Cloud Microphysics Budget in the Tropical Deep Convective Regime

Cloud microphysics budgets in the tropical deep convective regime are analyzed based on a 2-D cloud resolving simulation. The model is forced by the large-scale vertical velocity and zonal wind and large-scale horizontal advections derived from TOGA COARE for a 20-day period. The role of cloud microphysics is first examined by analyzing mass-weighted mean heat budget and column-integrated moisture budget. Hourly budgets show that local changes of mass-weighted mean temperature and column-integrated moisture are mainly determined by the residuals between vertical thermal advection and latent heat of condensation and between vertical moisture advection and condensation respectively. Thus, atmospheric thermodynamics depends on how cloud microphysical processes are parameterized. Cloud microphysics budgets are then analyzed for raining conditions. For cloud-vapor exchange between cloud system and its embedded environment, rainfall and evaporation of raindrop are compensated by the condensation and deposition of supersaturated vapor. Inside the cloud system, the condensation of supersaturated vapor balances conversion from cloud water to raindrop, snow, and graupel through collection and accretion processes. The deposition of supersaturated vapor balances conversion from cloud ice to snow through conversion and riming processes. The conversion and riming of cloud ice and the accretion of cloud water balance conversion from snow to graupel through accretion process. Finally, the collection of cloud water and the melting of graupel increase raindrop to compensate the loss of raindrop due to rainfall and the evaporation of raindrop.

Li, Xiao-Fan↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
NASA NTRS1991

A multiparameter radar examination of a mesoscale convective system

Differences in the rainrates of various cells embedded within a mesoscale convective system on July 13, 1986 during the Cooperative Huntsville Meteorological experiment are examined. The NCAR CP2 S-band polarimetric radar deployed near Huntsville, Alabama, is used to characterize the rainfall field. Rainfall estimates are compared and contrasted using the single-parameter Marshall and Palmer (1948) method with the Illingworth and Caylor (1989) dual-polarization technique (ILC). The primary differences in the rainrate estimates are shown to be associated with the differences in the drop size distributions, derived from the ILC technique, that occur within the various storms.

Wright, P. D.↗
NASA NTRS1988

Training for 21st century space missions

Although specific recommendations are difficult to make about spacecraft and missions not yet designed, several general guidelines are presently formulated concerning the training of future, long-duration space mission crews. Training systems should be embedded in the normal controls and displays of the spacecraft used, so that critical maneuvers can be practiced as often as possible. Some system for computer-based training should be available onboard, in order to maintain the spacecraft system-knowledge of the crew at a high level and deepen understanding of malfunction responses.

Hughes, Frank E.↗
NASA NTRS1991

Dynamic edge warping - An experimental system for recovering disparity maps in weakly constrained systems

Dynamic edge warping (DEW), a technique for recovering reasonably accurate disparity maps from uncalibrated stereo image pairs, is presented. No precise knowledge of the epipolar camera geometry is assumed. The technique is embedded in a system including structural stereopsis on the front end and robust estimation in digital photogrammetry on the other for the purpose of self-calibrating stereo image pairs. Once the relative camera orientation is known, the epipolar geometry is computed and the system can use this information to refine its representation of the object space. Such a system will find application in the autonomous extraction of terrain maps from stereo aerial photographs, for which camera position and orientation are unknown a priori, and for online autonomous calibration maintenance for robotic vision applications, in which the cameras are subject to vibration and other physical disturbances after calibration. This work thus forms a component of an intelligent system that begins with a pair of images and, having only vague knowledge of the conditions under which they were acquired, produces an accurate, dense, relative depth map. The resulting disparity map can also be used directly in some high-level applications involving qualitative scene analysis, spatial reasoning, and perceptual organization of the object space. The system as a whole substitutes high-level information and constraints for precise geometric knowledge in driving and constraining the early correspondence process.

Boyer, K. L.↗