CCSDS File Delivery Protocol for Flight Applications
This viewgraph presentation addresses the development of an Internet protocol for space missions.
Ferrer, Art↗
SEARCH · Engineering Papers
Results for “protocol”
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.
Comparing the effects of two in-flight aerobic exercise protocols on standing heart rates and VO(2peak) before and after space flight
The effects of regular aerobic exercise on orthostatic tolerance have been the subject of a long-standing controversy that will influence the use of exercise during space flight. To examine these effects, astronauts performed continuous (CE) aerobic exercise (n = 8), interval (IE) aerobic exercise (n = 4), or no (NE) exercise (n = 5) during flights of 7 to 11 days. Heart rate (HR) responses to an orthostatic challenge (stand test) were measured 10 days before flight and on landing day. VO(2peak) (graded treadmill exercise) was measured 7 to 21 days before and 2 days after flight. No significant differences across the groups were observed in standing HRs before or after flight. However, the within-group mean HRs significantly increased in the NE (71-89 beats/min) and CE (60-85 beats/min) groups after space flight. The HRs for the IE group did not significantly increase (75-86 beats/min) after space flight. VO(2peak) decreased (P < .05) in the NE (-9.5%) group, but did not change in the CE (-2.4%) and IE (1%) groups. The relationship (r = 0.237) between the delta HR and delta VO(2peak) was not significant. These preliminary results indicate that: (1) continuous exercise does not affect the orthostatic HR response after space flight; (2) interval exercise may minimize an increase in the postflight orthostatic HR; and (3) both exercise protocols can maintain VO(2peak).
NASA Discipline Musculoskeletal↗
Exercise countermeasure protocol management expert system
Exercise will be used primarily to countermeasure against deconditioning on extended space flight. In this paper we describe the development and evaluation of an expert system for exercise countermeasure protocol management. Currently, the system includes two major subsystems: baseline prescription and prescription adjustment. The baseline prescription subsystem is designed to provide initial exercise prescriptions while prescription adjustment subsystem is designed to modify the initial prescription based on the exercised progress. The system runs under three different environments: PC, SUN workstation, and Symbolic machine. The inference engine, baseline prescription module, prescription adjustment module and explanation module are developed under the Symbolic environment by using the ART (Automated Reasoning Tool) software. The Sun environment handles database management features and interfaces with PC environment to obtain physical and physiological data from exercise units on-board during the flight. Eight subjects' data have been used to evaluate the system performance by comparing the prescription of nine experienced exercise physiologists and the one prescribed by the expert system. The results of the validation test indicated that the performance of the expert system was acceptable.
NASA Discipline Data Analysis↗
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a hybrid Knowledge Base expressed in a language called CCR-2, based on production rules and hierarchies of frames, which permits the representation of non-monotonic reasoning, uncertain reasoning and arithmetic constraints in the rules. The method can give a specification of the scenarios in which the agent would deduce an inconsistency. We define a scenario to be a description of the initial agent s state (in the agent life cycle), a deductive tree of rule firings, and a partially ordered set of messages and/or stimuli that the agent must receive from other agents and/or the environment. Moreover, the method will make sure that the scenarios will be valid w.r.t. the communication protocols in which the agent is involved.
Ramirez, Jaime↗
Measurement Protocols for In situ Analysis of Organic Compounds at Mars and Comets
The determination of the abundance and chemical and isotopic composition of organic molecules in comets and those that might be found in protected environments at Mars is a first step toward understanding prebiotic chemistries on these solar system bodies. While future sample return missions from Mars and comets will enable detailed chemical and isotopic analysis with a wide range of analytical techniques, precursor insitu investigations can complement these missions and facilitate the identification of optimal sites for sample return. Robust automated experiments that make efficient use of limited spacecraft power, mass, and data volume resources are required for use by insitu missions. Within these constraints we continue to explore a range of instrument techniques and measurement protocols that can maximize the return from such insitu investigations.
Mahaffy, P. R.↗
Measurement Protocols for In Situ Analysis of Organic Compounds at Mars and Comets
The determination of the abundance and chemical and isotopic composition of organic molecules in comets and those that might be found in protected environments at Mars is a first step toward understanding prebiotic chemistries on these solar system bodies. While future sample return missions from Mars and comets will enable detailed chemical and isotopic analysis with a wide range of analytical techniques, precursor insitu investigations can complement these missions and facilitate the identification of optimal sites for sample return. Robust automated experiments that make efficient use of limited spacecraft power, mass, and data volume resources are required for use by insitu missions. Within these constraints we continue to explore a range of instrument techniques and measurement protocols that can maximize the return from such insitu investigations.
Mahaffy, P. R.↗
Internet-Protocol-Based Satellite Bus Architecture Designed
NASA is designing future complex satellite missions ranging from single satellites and constellations to space networks and sensor webs. These missions require more interoperability, autonomy, and coordination than previous missions; in addition, a desire exists to have scientists retrieve data directly from the satellite rather than a central distribution source. To meet these goals, NASA has been studying the possibility of extending the Transmission Control Protocol/Internet Protocol (TCP/IP) suite for spacebased applications.
Slywczak, Richard A.↗
Design of the Protocol Processor for the ROBUS-2 Communication System
The ROBUS-2 Protocol Processor (RPP) is a custom-designed hardware component implementing the functionality of the ROBUS-2 fault-tolerant communication system. The Reliable Optical Bus (ROBUS) is the core communication system of the Scalable Processor-Independent Design for Enhanced Reliability (SPIDER), a general-purpose fault tolerant integrated modular architecture currently under development at NASA Langley Research Center. ROBUS is a time-division multiple access (TDMA) broadcast communication system with medium access control by means of time-indexed communication schedule. ROBUS-2 is a developmental version of the ROBUS providing guaranteed fault-tolerant services to the attached processing elements (PEs), in the presence of a bounded number of faults. These services include message broadcast (Byzantine Agreement), dynamic communication schedule update, time reference (clock synchronization), and distributed diagnosis (group membership). ROBUS also features fault-tolerant startup and restart capabilities. ROBUS-2 tolerates internal as well as PE faults, and incorporates a dynamic self-reconfiguration capability driven by the internal diagnostic system. ROBUS consists of RPPs connected to each other by a lower-level physical communication network. The RPP has a pipelined architecture and the design is parameterized in the behavioral and structural domains. The design of the RPP enables the bus to achieve a PE-message throughput that approaches the available bandwidth at the physical layer.
Torres-Pomales, Wilfredo↗
Development of Analytical Protocols For Organics and Isotopes Analysis on the 2009 MARS Science Laboratory.
The Mars Science Laboratory, under development for launch in 2009, is designed explore and quantitatively asses a local region on Mars as a potential habitat for present or past life. Its ambitious goals are to (1) assess the past or present biological potential of the target environment, (2) to characterize the geology and geochemistry at the MSL landing site, and (3) to investigate planetary processes that influence habitability. The planned capabilities of the rover payload will enable a comprehensive search for organic molecules, a determination of definitive mineralogy of sampled rocks and fines, chemical and isotopic analysis of both atmospheric and solid samples, and precision isotope measurements of several volatile elements. A range of contact and remote surface and subsurface survey tools will establish context for these measurements and will facilitate sample identification and selection. The Sample Analysis at Mars (SAM) suite of MSL addresses several of the mission's core measurement goals. It includes a gas chromatograph, a mass spectrometer, and a tunable laser spectrometer. These instruments will be designed to analyze either atmospheric samples or gases extracted from solid phase samples such as rocks and fines. We will describe the range of measurement protocols under development and study by the SAM engineering and science teams for use on the surface of Mars.
Mahaffy, P. R.↗
Quantum network protocols
This paper talks about quantum network protocols.
quantum cryptography networks key exchange↗
A simple protocol for coordinating planning agents
This paper introduces a simple decentralized protocol that enables seperate planners to coordinate shared tasks and resolve conflicts over shared and private resources.
multiple agents coordination planning scheduling M↗
On throughput analysis of the Mars In-situ ARQ Protocol
In this paper, an analytical framework for modeling the COP-1 protocol is presented for both AWGN channels along with bursty fading channels.
ARQ throughput analysis↗
Using Transmission Control Protocol in the Trans-Pacific High Definition Video Satellite Communication Experiment - the Next Test
Ths paper describes a future Transmission Control Protocol (TCP) test which was planned as a part of the Trans-Pacific High Definition Video Satellite Communications Experiment. The TCP test portion of the Trans-Pacific High Definition Video Satellite Communications Experiment intends to examine the correlation between the underlying assumptions of come TCP algorithms and the performance shortfalls observed when the algorithms are used in a stellite-based environment, and to make experimental changes to existing TCP variants to study the effects of the modifications.
global information infrastructure (GII) satellites↗
Using software security analysis to verify the secure socket layer (SSL) protocol
nal Aeronautics and Space Administration (NASA) have tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information the3, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach '' offers, among its capabilities, formal verification of software security properties, through the use of model based verification (MBV) to address software security risks. [1,2,3,4,5,6] MBV is a formal approach to software assurance that combines analysis of software, via abstract models, with technology, such as model checkers, that provide automation of the mechanical portions of the analysis process. This paper will discuss: The need for formal analysis to assure software systems with respect to software and why testing alone cannot provide it. The means by which MBV with a Flexible Modeling Framework (FMF) accomplishes the necessary analysis task. An example of FMF style MBV in the verification of properties over the Secure Socket Layer (SSL) communication protocol as a demonstration.
software↗
Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol
This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.
software security↗
Time Triggered Protocol (TTP) for Integrated Modular Avionics
Traditional avionics computing systems are federated, with each system provided on a number of dedicated hardware units. Federated applications are physically separated from one another and analysis of the systems is undertaken individually. Integrated Modular Avionics (IMA) takes these federated functions and integrates them on a common computing platform in a tightly deterministic distributed real-time network of computing modules in which the different applications can run. IMA supports different levels of criticality in the same computing resource and provides a platform for implementation of fault tolerance through hardware and application redundancy. Modular implementation has distinct benefits in design, testing and system maintainability. This paper covers the requirements for fault tolerant bus systems used to provide reliable communication between IMA computing modules. An overview of the Time Triggered Protocol (TTP) specification and implementation as a reliable solution for IMA systems is presented. Application examples in aircraft avionics and a development system for future space application are covered. The commercially available TTP controller can be also be implemented in an FPGA and the results from implementation studies are covered. Finally future direction for the application of TTP and related development activities are presented.
Motzet, Guenter↗
Time Triggered Protocol (TTP) for Integration Modular Avionics (IMA)
This viewgraph presentation is a review of the Time Triggered Protocol, designed to work with NASA's Integrated Safety-Critical Advanced Avionics Communication and Control (ISAACC) system. ISAACC is the product of the Propulsion High-Impact Avionics Technologies (PHIAT) project at NASA Marshall Space Flight Center (MSFC) during FY03 to the end of FY05. The goal is an avionics architecture suitable for control and monitoring of safety critical systems of manned spacecraft. It must be scalable to allow its use in robotic vehicles or launch pad and propulsion test stand monitoring and control systems. The developed IMA should have: a common power supply and rugged chassis for a set of modules, many upgradeable software functions on one module (i.e. processing unit Reduced weight, straightforward update and system integration. It is also important that it have Partitioning and a Memory Management Unit (MMU)
Gwaltney, David A.↗
A Gateway to Support Interoperability of OPeNDAP and OGC Protocols
Data access and analysis tools that are developed within specific disciplines and the protocols that they are built upon provide valuable services to their respective users but can actually be a barrier to the interation of data from a broad set of data sources. An example of this is data supported by OPeNDAP that is widely used in the ocean and atmospheric sciences, and data provided through the interface specifications of the Open Geospatial Consortium (OGC) that typically serves the land science community. This paper described a project that is developing a gateway to bridge these two data system infrastructures, in response to a specific need expressed by CEOP, an international science program.
McDonald, Kenneth↗