Search NASA⌕ Search

SEARCH · Search NASA

Results for “Communications process”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures

This paper presents the formal verification of a new protocol for online distributed diagnosis for the SPIDER family of architectures. An instance of the Scalable Processor-Independent Design for Electromagnetic Resilience (SPIDER) architecture consists of a collection of processing elements communicating over a Reliable Optical Bus (ROBUS). The ROBUS is a specialized fault-tolerant device that guarantees Interactive Consistency, Distributed Diagnosis (Group Membership), and Synchronization in the presence of a bounded number of physical faults. Formal verification of the original SPIDER diagnosis protocol provided a detailed understanding that led to the discovery of a significantly more efficient protocol. The original protocol was adapted from the formally verified protocol used in the MAFT architecture. It required O(N) message exchanges per defendant to correctly diagnose failures in a system with N nodes. The new protocol achieves the same diagnostic fidelity, but only requires O(1) exchanges per defendant. This paper presents this new diagnosis protocol and a formal proof of its correctness using PVS.

Geser, Alfons↗
NASA NTRS2007

Mise en Scene: Conversion of Scenarios to CSP Traces for the Requirements-to-Design-to-Code Project

The "Requirements-to-Design-to-Code" (R2D2C) project at NASA's Goddard Space Flight Center is based on deriving a formal specification expressed in Communicating Sequential Processes (CSP) notation from system requirements supplied in the form of CSP traces. The traces, in turn, are to be extracted from scenarios, a user-friendly medium often used to describe the required behavior of computer systems under development. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) that encompasses CSP traces. Mise en Scene is offered as an initial solution to the problem of the scenarios-to-traces "D2" phase of R2D2C. A survey of the "scenario" concept and some case studies are also provided.

Carter. John D.↗
NASA NTRS2008

Commercial Product Activation Using RFID

Radio-frequency identification (RFID) would be used for commercial product activation, according to a proposal. What is new here is the concept of combining RFID with activation - more specifically, using RFID for activating commercial products (principally, electronic ones) and for performing such ancillary functions as tracking individual product units on production lines, tracking shipments, and updating inventories. According to the proposal, an RFID chip would be embedded in each product. The information encoded in the chip would include a unique number for identifying the product. An RFID reader at the point of sale would record the number of the product and would write digital information to the RFID chip for either immediate activation of the product or for later interrogation and processing. To be practical, an RFID product-activation system should satisfy a number of key requirements: the system should be designed to be integrable into the inventory-tracking and the data-processing and -communication infrastructures of businesses along the entire supply chain from manufacture to retail; the system should be resistant to sophisticated hacking; activation codes should be made sufficiently complexity to minimize the probability of activating stolen products; RFID activation equipment at points of sale must be capable to two-way RF communication for the purposes of reading information from, and writing information to, embedded RFID chips; the equipment at points of sale should be easily operable by sales clerks with little or no training; the point-of-sale equipment should verify activation and provide visible and/or audible signals indicating verification or lack thereof; and, the system should be able to handle millions of products per year with minimal human intervention, among other requirements.

Jedrey, Thomas↗
NASA NTRS2008

2007 Research and Technology

The NASA Glenn Research Center is pushing the envelope of research and technology in aeronautics, space exploration, science, and space operations. Our research in aeropropulsion, structures and materials, and instrumentation and controls is enabling next-generation transportation systems that are faster, more environmentally friendly, more fuel efficient, and safer. Our research and development of space flight systems is enabling advanced power, propulsion, communications, and human health systems that will advance the exploration of our solar system. This report selectively summarizes NASA Glenn Research Center s research and technology accomplishments for fiscal year 2007. Comprising 104 short articles submitted by the staff scientists and engineers, the report is organized into six major sections: Aeropropulsion, Power and Space Propulsion, Communications, Space Processes and Experiments, Instrumentation and Controls, and Structures and Materials. It is not intended to be a comprehensive summary of all the research and technology work done over the past fiscal year; most of the work is reported in Glenn-published technical reports, journal articles, and presentations. For each article in this report, a Glenn contact person has been identified, and where possible, a reference document is listed so that additional information can be easily obtained.

Riddlebaugh, Stephen M.↗
NASA NTRS2009

Minimizing Input-to-Output Latency in Virtual Environment

A method and apparatus were developed to minimize latency (time delay ) in virtual environment (VE) and other discrete- time computer-base d systems that require real-time display in response to sensor input s. Latency in such systems is due to the sum of the finite time requi red for information processing and communication within and between sensors, software, and displays.

Adelstein, Bernard D.↗
NASA NTRS2007

Mission Operations of the Mars Exploration Rovers

A document describes a system of processes involved in planning, commanding, and monitoring operations of the rovers Spirit and Opportunity of the Mars Exploration Rover mission. The system is designed to minimize command turnaround time, given that inherent uncertainties in terrain conditions and in successful completion of planned landed spacecraft motions preclude planning of some spacecraft activities until the results of prior activities are known by the ground-based operations team. The processes are partitioned into those (designated as tactical) that must be tied to the Martian clock and those (designated strategic) that can, without loss, be completed in a more leisurely fashion. The tactical processes include assessment of downlinked data, refinement and validation of activity plans, sequencing of commands, and integration and validation of sequences. Strategic processes include communications planning and generation of long-term activity plans. The primary benefit of this partition is to enable the tactical portion of the team to focus solely on tasks that contribute directly to meeting the deadlines for commanding the rover s each sol (1 sol = 1 Martian day) - achieving a turnaround time of 18 hours or less, while facilitating strategic team interactions with other organizations that do not work on a Mars time schedule.

Bass, Deborah↗
NASA NTRS2007

Update on Controlling Herds of Cooperative Robots

A document presents further information on the subject matter of "Controlling Herds of Cooperative Robots". The document describes the results of the computational simulations of a one-blimp, three-surface-sonde herd in various operational scenarios, including sensitivity studies as a function of distributed communication and processing delays between the sondes and the blimp. From results of the simulations, it is concluded that the methodology is feasible, even if there are significant uncertainties in the dynamical models.

Quadrelli, Marco↗
NASA NTRS2009

Machine-Checkable Timed CSP

The correctness of safety-critical embedded software is crucial, whereas non-functional properties like deadlock-freedom and real-time constraints are particularly important. The real-time calculus Timed Communicating Sequential Processes (CSP) is capable of expressing such properties and can therefore be used to verify embedded software. In this paper, we present our formalization of Timed CSP in the Isabelle/HOL theorem prover, which we have formulated as an operational coalgebraic semantics together with bisimulation equivalences and coalgebraic invariants. Furthermore, we apply these techniques in an abstract specification with real-time constraints, which is the basis for current work in which we verify the components of a simple real-time operating system deployed on a satellite.

Goethel, Thomas↗
NASA NTRS2011

Linking Space-Borne and Ground-Based Observations Observed Around Substorm Onset to Magnetospheric Processes

The combined THEMIS five spacecraft in-situ and ground magnetic and camera arrays have advanced considerably our understanding of the causal relationship between midtail plasma flows, transient ionospheric features, and ground magnetic signatures. In particular, recent work has shown a connection between equatorward moving visible ionospheric transients and substorm onset, in both 6300 nm and white-light emissions. Although both observations detail pre-onset auroral features the interpretations differ substantially. We first provide a brief summary of these observations, highlighting in particular areas where the two observations differ, and suggest reasons for the differences. We then detail how these observations relate to dynamical magnetospheric processes, and show how they constrain models of transient convection. Next, we pull together observations and models of Pi2 generation, substorm current wedge (SCW) initiation and dipolarization to present a self-consistent description of the dynamical processes and communicative pathways that occur just prior to and during substorm expansion onset. Finally, we present a summary of open questions and suggest a roadmap for future work.

Kepko, Larry↗
NASA NTRS2010

Space Borne and Ground-Based Observations of Transient Processes Occurring Around Substorm Onset

The combined THEMIS five spacecraft in-situ and ground magnetic and visible camera arrays have advanced considerably our understanding of the causal relationship between midtail plasma flows, transient ionospheric features, and ground magnetic signatures. In particular recent work has shown a connection between equatorward moving visible ionospheric transients and substorm onset, in both white-light and 6300 nm emissions. These observations, together with THEMIS in-situ measurements of bulk flows, provides strict constraints on the sequence of events leading to substorm auroral onset.We first provide a brief summary of these observations, highlighting in particular areas where the two observations differ, and suggest reasons for the differences. Next, by combining the observed correlation of flow and Pi2 waveform with a unified model of global Pi2 generation and substorm current wedge initiation we present a self-consistent description of the dynamical processes and communicative pathways that occur just prior to and during substorm expansion onset.

Kepko, L.↗
NASA NTRS2011

A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking

Formal behavioral specifications written early in the system-design process and communicated across all design phases have been shown to increase the efficiency, consistency, and quality of the system under development. To prevent introducing design or verification errors, it is crucial to test specifications for satisfiability. Our focus here is on specifications expressed in linear temporal logic (LTL). We introduce a novel encoding of symbolic transition-based Buchi automata and a novel, "sloppy," transition encoding, both of which result in improved scalability. We also define novel BDD variable orders based on tree decomposition of formula parse trees. We describe and extensively test a new multi-encoding approach utilizing these novel encoding techniques to create 30 encoding variations. We show that our novel encodings translate to significant, sometimes exponential, improvement over the current standard encoding for symbolic LTL satisfiability checking.

Rozier, Kristin Y.↗
NASA NTRS2004

Discrepancy Reporting Management System

Discrepancy Reporting Management System (DRMS) is a computer program designed for use in the stations of NASA's Deep Space Network (DSN) to help establish the operational history of equipment items; acquire data on the quality of service provided to DSN customers; enable measurement of service performance; provide early insight into the need to improve processes, procedures, and interfaces; and enable the tracing of a data outage to a change in software or hardware. DRMS is a Web-based software system designed to include a distributed database and replication feature to achieve location-specific autonomy while maintaining a consistent high quality of data. DRMS incorporates commercial Web and database software. DRMS collects, processes, replicates, communicates, and manages information on spacecraft data discrepancies, equipment resets, and physical equipment status, and maintains an internal station log. All discrepancy reports (DRs), Master discrepancy reports (MDRs), and Reset data are replicated to a master server at NASA's Jet Propulsion Laboratory; Master DR data are replicated to all the DSN sites; and Station Logs are internal to each of the DSN sites and are not replicated. Data are validated according to several logical mathematical criteria. Queries can be performed on any combination of data.

Cooper, Tonja M.↗
NASA NTRS2013

A Next Generation Air Monitor: Combining Orion and ISS Requirements for a Common Major Constituent Analyzer

The Major Constituent Analyzer (MCA) is a mass spectrometer-based instrument designed to provide critical monitoring of six major atmospheric constituents; nitrogen, oxygen, hydrogen, carbon dioxide, methane, and water vapor on-board the International Space Station. The analyzer has been an integral part of the Environmental Control and Life Support System (ECLSS) since the station went on-line. The Orion Air Monitor (OAM) was derived from the MCA and heavily optimized for reduced mass, lower power, faster water vapor response, and maintenance-free operation. The resulting OAM is approximately the size of the analyzer portion of the MCA, orbital-replacement unit 02 (ORU 02), while incorporating the functions of three other modules: Data Processing and Communication (ORU 01), Verification Gas Assembly (ORU 08), and Low Voltage Power Supply (ORU 04). The overlap in MCA and OAM requirements makes it possible to derive a common Air Monitor design that spans both applications while minimally impacting the weight and power limits imposed by the Multipurpose Crew Vehicle (MPCV). Benefits to ISS include the retirement of ORUs 01, 04, and 08, reducing up-mass and eliminating EEE parts obsolescence issues through the extended ISS mission phases. Benefits to MPCV and future deployed habitats under the Constellation program include greater interchangeability across ECLSS subsystems. This paper discusses the results of the requirements development study, where a superset of ISS and Orion air monitoring requirements were distilled; evaluated against increases in OAM functionality, mass, and power; and traded-off where possible using simple operating mode modifications. A system architecture and preliminary design addressing the common requirements will be presented.

Burchfield, David E.↗
NASA NTRS2014

SSL Freeform Generator v1.00

The Orion spacecraft utilizes a system of Compact Unique Identifiers (CUIs) to identify telemetry measurements in the process of communicating with the ground. While avionic systems are still in development, simulation of telemetric data must be used for the development of dependent systems. The SuperScript Language (SSL) developed by Honeywell Aerospace provides users a programming language for simulation of this data. The use of tools that provide SSL generation capabilities at a higher level allows for faster and more efficient generation of simulation waveforms. Previous SSL Generator implementations such as Orion Scripted Interface Generator (OrionSIG) relied on software supported routines to generate simulation points for the SSL scripts. This provided relevant simulation capabilities, but was reduced in flexibility by the available software routines available. For this approach, software supported routines have been entirely dropped. Rather, the user is required to enter their own simulation waveform input. This allows arbitrarily complex functions to be utilized simulated with maximum degree of freedom for the user.: The idea for this version of the SSL Generator was a mapping of arbitrary waveforms to Orion CUI telemetry data. The SSL Generator implemented offers a higher degree of freedom to the user than previous versions while attempting to maintain abstraction from the underlying SSL script and the Orion CUI data types. As such, many mappings of waveforms to CUIs will simply not work. Certain implementation decisions were made to minimize the damage caused by these unintended side-effects, such as saturation of values exceeding the maximum or minimum bounds of the data type. Other details, such as signed values being represented in unsigned data types, present problems which cant be fixed to an acceptable degree of intended behavior without user input. Awareness of the limitations of all layers of the software stack will increase the productivity of the end-user.

telemetry↗
NASA NTRS2009

Power Sources for Micro-Autonomous Vehicles- Challenges and Prospects

Micro-autonomous vehicle systems are expected to have expanded role in military missions by providing full spectrum intelligence, surveillance and reconnaissance support on the battlefield, suppression of enemy defenses, and enabling co-operative (swarm-like) configurations. Of the numerous demanding requirements of autonomy, sensing, navigation, mobility, etc., meeting the requirement of mission duration or endurance is a very challenging one. This requirement is demanding because of the constraints of mass and volume that limit the quantity of energy that can be stored on-board. Energy is required for mobility, payload operation, information processing, and communication. Mobility requirements typically place an extraordinary demand on the specific energy (Wh/kg) and specific power (W/kg) of the power source; the actual distribution of the energy between mobility and other system functions could vary substantially with the mission type. The power requirements for continuous mobility can vary from 100-1000 W/kg depending on the terrain, ground speed and flight speed. Even with the power source accounting for 30% of the mass of the vehicle, the best of rechargeable batteries can provide only up to 1-2 hours of run-time for a continuous power demand at 100W/kg. In the case of micro-aerial vehicles with flight speed requirements in the range of 5-15 m s-1, the mission times rarely exceed 20 minutes [2]. Further, the power required during take-off and hover can be twice or thrice that needed for steady level flight, and thus the number and sequence of such events is also limited by the mass and size of the power source. For operations such as "perch and stare" or "silent watch" the power demand is often only a tenth of that required during continuous flight. Thus, variation in power demand during various phases of the mission importantly affects the power source selection.

fuel cells↗
NASA NTRS2016

Biosleeve Human-Machine Interface

Systems and methods for sensing human muscle action and gestures in order to control machines or robotic devices are disclosed. One exemplary system employs a tight fitting sleeve worn on a user arm and including a plurality of electromyography (EMG) sensors and at least one inertial measurement unit (IMU). Power, signal processing, and communications electronics may be built into the sleeve and control data may be transmitted wirelessly to the controlled machine or robotic device.

Assad, Christopher↗
NASA NTRS2019

Flight Awareness Collaboration Tool

FACT is a software program that provides important information about winter weather operations to airline dispatchers and airport personnel. FACT has a "quad" design and shows various maps, text, and tabular information. It also has a team messaging capability. It is meant to be used by airline dispatchers and airport personnel to manage winter storms. This presentation is for a meeting with Boeing. COMMERCIAL AIRCRAFT; AIRLINE OPERATIONS; STORMS COMPUTER PROGRAMS; AIRLINE OPERATIONS; WEATHER FORECASTING; MESSAGE PROCESSING; AIRCRAFT COMMUNICATION; WINTER; STORMS (METEOROLOGY); COMMERCIAL AIRCRAFT

airline dispatchers↗
NASA NTRS2018

Mega-Drivers to Inform NASA Space Technology Strategic Planning

The National Aeronautics and Space Administration (NASA) Space Technology Mission Directorate (STMD) has been developing a new Strategic Framework to guide investment prioritization and communication of STMD strategic goals to stakeholders. STMD’s analysis of global trends identified four overarching drivers which are anticipated to shape the needs of civilian space research for years to come. These Mega-Drivers form the foundation of the Strategic Framework. The Increasing Access Mega-Driver reflects the increase in the availability of launch options, more capable propulsion systems, access to planetary surfaces, and the introduction of new platforms to enable exploration, science, and commercial activities. Accelerating Pace of Discovery reflects the exploration of more remote and challenging destinations, drives increased demand for improved abilities to communicate and process large datasets. The Democratization of Space reflects the broadening participation in the space industry, from governments to private investors to citizens. Growing Utilization of Space reflects space market diversification and growth. This paper will further describe the observable trends that inform each of these Mega Drivers, as well as the interrelationships between them within STMD’s new Strategic Framework.

Grande, Melanie L.↗