SEARCH · Search NASA

Results for “model reporting 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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records

All sources NASA NTRS DOE OSTI

NASA NTRS2000

Protocol Architecture Model Report

NASA's Glenn Research Center (GRC) defines and develops advanced technology for high priority national needs in communications technologies for application to aeronautics and space. GRC tasked Computer Networks and Software Inc. (CNS) to examine protocols and architectures for an In-Space Internet Node. CNS has developed a methodology for network reference models to support NASA's four mission areas: Earth Science, Space Science, Human Exploration and Development of Space (REDS), Aerospace Technology. This report applies the methodology to three space Internet-based communications scenarios for future missions. CNS has conceptualized, designed, and developed space Internet-based communications protocols and architectures for each of the independent scenarios. The scenarios are: Scenario 1: Unicast communications between a Low-Earth-Orbit (LEO) spacecraft inspace Internet node and a ground terminal Internet node via a Tracking and Data Rela Satellite (TDRS) transfer; Scenario 2: Unicast communications between a Low-Earth-Orbit (LEO) International Space Station and a ground terminal Internet node via a TDRS transfer; Scenario 3: Multicast Communications (or "Multicasting"), 1 Spacecraft to N Ground Receivers, N Ground Transmitters to 1 Ground Receiver via a Spacecraft.

Dhas, Chris↗

NASA NTRS2012

Modeling Techniques for High Dependability Protocols and Architecture

This report documents an investigation into modeling high dependability protocols and some specific challenges that were identified as a result of the experiments. The need for an approach was established and foundational concepts proposed for modeling different layers of a complex protocol and capturing the compositional properties that provide high dependability services for a system architecture. The approach centers around the definition of an architecture layer, its interfaces for composability with other layers and its bindings to a platform specific architecture model that implements the protocols required for the layer.

LaValley, Brian↗

NASA NTRS2007

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.

Malekpour, Mahyar R.↗

NASA NTRS1997

The Simulation of Read-time Scalable Coherent Interface

Scalable Coherent Interface (SCI, IEEE/ANSI Std 1596-1992) (SCI1, SCI2) is a high performance interconnect for shared memory multiprocessor systems. In this project we investigate an SCI Real Time Protocols (RTSCI1) using Directed Flow Control Symbols. We studied the issues of efficient generation of control symbols, and created a simulation model of the protocol on a ring-based SCI system. This report presents the results of the study. The project has been implemented using SES/Workbench. The details that follow encompass aspects of both SCI and Flow Control Protocols, as well as the effect of realistic client/server processing delay. The report is organized as follows. Section 2 provides a description of the simulation model. Section 3 describes the protocol implementation details. The next three sections of the report elaborate on the workload, results and conclusions. Appended to the report is a description of the tool, SES/Workbench, used in our simulation, and internal details of our implementation of the protocol.

Li, Qiang↗

NASA NTRS2006

Delay Tolerant Networking - Bundle Protocol Simulation

In this paper, we report on the addition of MACHETE models needed to support DTN, namely: the Bundle Protocol (BP) model. To illustrate the useof MACHETE with the additional DTN model, we provide an example simulation to benchmark its performance. We demonstrate the use of the DTN protocol and discuss statistics gathered concerning the total time needed to simulate numerous bundle transmissions.

licklider protocol↗

NASA NTRS2012

Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV) for a subset of digraphs. Modeling challenges of the protocol and the system are addressed. The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗

NASA NTRS2015

The AgMIP Coordinated Global and Regional Assessments (CGRA) of Climate Change Impacts on Agriculture and Food Security

The Agricultural Model Intercomparison and Improvement Project (AgMIP) has been working since 2010 to construct a protocol-based framework enabling regional assessments (led by regional experts and modelers) that can provide consistent inputs to global economic and integrated assessment models. These global models can then relay important global-level information that drive regional decision-making and outcomes throughout an interconnected agricultural system. AgMIPs community of nearly 800 climate, crop, livestock, economics, and IT experts has improved the state-of-the-art through model intercomparisons, validation exercises, regional integrated assessments, and the launch of AgMIP programs on all six arable continents. AgMIP is now launching Coordinated Global and Regional Assessments (CGRA) of climate change impacts on agriculture and food security to link global and regional crop and economic models using a protocol-based framework. The CGRA protocols are being developed to utilize historical observations, climate projections, and RCPsSSPs from CMIP5 (and potentially CMIP6), and will examine stakeholder-driven agricultural development and adaptation scenarios to provide cutting-edge assessments of climate changes impact on agriculture and food security. These protocols will build on the foundation of established protocols from AgMIPs 30+ activities, and will emphasize the use of multiple models, scenarios, and scales to enable an accurate assessment of related uncertainties. The CGRA is also designed to provide the outputs necessary to feed into integrated assessment models (IAMs), nutrition and food security assessments, nitrogen and carbon cycle models, and additional impact-sector assessments (e.g., water resources, land-use, biomes, urban areas). This presentation will describe the current status of CGRA planning and initial prototype experiments to demonstrate key aspects of the protocols before wider implementation ahead of the IPCC Sixth Assessment Report.

models↗

NASA NTRS2011

Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

Malekpour, Mahyar R.↗

NASA NTRS1993

Thermal-vacuum response of polymer matrix composites in space

This report describes a thermal-vacuum outgassing model and test protocol for predicting outgassing times and dimensional changes for polymer matrix composites. Experimental results derived from 'control' samples are used to provide the basis for analytical predictions to compare with the outgassing response of Long Duration Exposure Facility (LDEF) flight samples. Coefficient of thermal expansion (CTE) data are also presented. In addition, an example is given illustrating the dimensional change of a 'zero' CTE laminate due to moisture outgassing.

Tennyson, R. C.↗

NASA NTRS2006

Simulation Modeling and Performance Evaluation of Space Networks

In space exploration missions, the coordinated use of spacecraft as communication relays increases the efficiency of the endeavors. To conduct trade-off studies of the performance and resource usage of different communication protocols and network designs, JPL designed a comprehensive extendable tool, the Multi-mission Advanced Communications Hybrid Environment for Test and Evaluation (MACHETE). The design and development of MACHETE began in 2000 and is constantly evolving. Currently, MACHETE contains Consultative Committee for Space Data Systems (CCSDS) protocol standards such as Proximity-1, Advanced Orbiting Systems (AOS), Packet Telemetry/Telecommand, Space Communications Protocol Specification (SCPS), and the CCSDS File Delivery Protocol (CFDP). MACHETE uses the Aerospace Corporation s Satellite Orbital Analysis Program (SOAP) to generate the orbital geometry information and contact opportunities. Matlab scripts provide the link characteristics. At the core of MACHETE is a discrete event simulator, QualNet. Delay Tolerant Networking (DTN) is an end-to-end architecture providing communication in and/or through highly stressed networking environments. Stressed networking environments include those with intermittent connectivity, large and/or variable delays, and high bit error rates. To provide its services, the DTN protocols reside at the application layer of the constituent internets, forming a store-and-forward overlay network. The key capabilities of the bundling protocols include custody-based reliability, ability to cope with intermittent connectivity, ability to take advantage of scheduled and opportunistic connectivity, and late binding of names to addresses. In this presentation, we report on the addition of MACHETE models needed to support DTN, namely: the Bundle Protocol (BP) model. To illustrate the use of MACHETE with the additional DTN model, we provide an example simulation to benchmark its performance. We demonstrate the use of the DTN protocol and discuss statistics gathered concerning the total time needed to simulate numerous bundle transmissions

network protocols↗

NASA NTRS2018

Multidecadal Changes in Lower Stratospheric Ozone: Variability Vs. Trends

As upper stratospheric ozone appears to be recovering as a result of decreasing chlorine loading following the implementation of the Montreal Protocol and its amendments and in agreement with model projections, several recent studies report an apparent decline of ozone concentrations in the lower stratosphere in the last two decades, particularly in the extratropics. Our previous work as well as at least two other studies provide evidence that this decline results from transport changes rather than an intensification of chemical depletion. It remains unclear whether these changes represent long-term internal variability or are a consequence of a climate forcing. Here we perform free-running ensembles of the recent past (1980-2016) using the Goddard Earth Observing System Model (GEOS) at the cubed sphere C180 (approximately half degree) resolution. Two suites of 10-member ensembles are performed, one in which observed sea surface temperature (SSTs) are fully prescribed, and the other in which the linear SST trend over the recent past is removed so as to only retain internal variability. We evaluate the trends in both ozone as well as two idealized tracers with prescribed uniform loss that are used to isolate the role of transport from chemistry and emissions. Probability-distribution-functions of the trends in both ozone and idealized tracers are compared among ensemble members and with observed trends in order to evaluate the likelihood of recent observed declines in lower stratospheric ozone, relative to large internal variability. Moreover, comparisons among simulations with and without imposed SST trends indicate the extent to which dynamically-driven ozone trends reflect forced trends or internal variability in lower stratospheric dynamics.

Wargan, Krzysztof↗

NASA NTRS2000

Trade-Off Analysis Report

NASAs Glenn Research Center (GRC) defines and develops advanced technology for high priority national needs in communications technologies for application to aeronautics and space. GRC tasked Computer Networks and Software Inc. (CNS) to examine protocols and architectures for an In-Space Internet Node. CNS has developed a methodology for network reference models to support NASAs four mission areas: Earth Science, Space Science, Human Exploration and Development of Space (REDS), Aerospace Technology. CNS previously developed a report which applied the methodology, to three space Internet-based communications scenarios for future missions. CNS conceptualized, designed, and developed space Internet-based communications protocols and architectures for each of the independent scenarios. GRC selected for further analysis the scenario that involved unicast communications between a Low-Earth-Orbit (LEO) International Space Station (ISS) and a ground terminal Internet node via a Tracking and Data Relay Satellite (TDRS) transfer. This report contains a tradeoff analysis on the selected scenario. The analysis examines the performance characteristics of the various protocols and architectures. The tradeoff analysis incorporates the results of a CNS developed analytical model that examined performance parameters.

Dhas, Chris↗

NASA NTRS2003

Investigating the interaction between the homeostatic and circadian processes of sleep-wake regulation for the prediction of waking neurobehavioural performance

The two-process model of sleep regulation has been applied successfully to describe, predict, and understand sleep-wake regulation in a variety of experimental protocols such as sleep deprivation and forced desynchrony. A non-linear interaction between the homeostatic and circadian processes was reported when the model was applied to describe alertness and performance data obtained during forced desynchrony. This non-linear interaction could also be due to intrinsic non-linearity in the metrics used to measure alertness and performance, however. Distinguishing these possibilities would be of theoretical interest, but could also have important implications for the design and interpretation of experiments placing sleep at different circadian phases or varying the duration of sleep and/or wakefulness. Although to date no resolution to this controversy has been found, here we show that the issue can be addressed with existing data sets. The interaction between the homeostatic and circadian processes of sleep-wake regulation was investigated using neurobehavioural performance data from a laboratory experiment involving total sleep deprivation. The results provided evidence of an actual non-linear interaction between the homeostatic and circadian processes of sleep-wake regulation for the prediction of waking neurobehavioural performance.

Non-NASA Center↗

NASA NTRS1995

The specification-based validation of reliable multicast protocol: Problem Report

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

NASA NTRS1995

The Specification-Based Validation of Reliable Multicast Protocol

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

NASA NTRS1996

Life and Microgravity Sciences Spacelab Mission: Human Research Pilot Study

The Life Sciences, Microgravity Science and Spacelab Mission contains a number of human experiments directed toward identifying the functional, metabolic and neurological characteristics of muscle weakness and atrophy during space flight. To ensure the successful completion of the flight experiments, a ground-based pilot study, designed to mimic the flight protocols as closely as possible, was carried out in the head-down tilt bed rest model. This report records the rationales, procedures, preliminary results and estimated value of the pilot study, the first of its kind, for 12 of the 13 planned experiments in human research. The bed rest study was conducted in the Human Research Facility at Ames Research Center from July 11 - August 28, 1995. Eight healthy male volunteers performed the experiments before, during and after 17 days bed rest. The immediate purposes of this simulation were to integrate the experiments, provide data in a large enough sample for publication of results, enable investigators to review individual experiments in the framework of a multi-disciplinary study and relay the experience of the pilot study to the mission specialists prior to launch.

Arnaud, Sara B.↗

NASA NTRS2004

The GLOBE Contrail Protocol: Initial Analysis of Results

The GLOBE contrail protocol was launched in March 2003 to obtain surface observer reports of contrail occurrence to complement satellite and model studies underway at NASA Langley, among others. During the first year, more than 30,000 ground observations of contrails were submitted to GLOBE. An initial analysis comparing the GLOBE observations to weather prediction model results for relative humidity at flight altitudes is in progress. This paper reports on the findings to date from this effort.

Chambers, Lin↗

NASA NTRS2024

Updates to NASA’s Break-in-Prebreathe Rules Due to Type II Decompression Sickness Risk Considerations

INTRODUCTION. Investigation of a central neurological decompression sickness (DCS) case during ground testing at Johnson Space Center identified a break-in-prebreathe (BIP) 13 minutes prior to depressurization as the leading credible cause despite applicable prebreathe payback rules being followed. Applicable NASA rules, for ground and flight, directed 2:1 payback of breaks up to 10 mins in duration, regardless of when a break occurs relative to depress. Full restart of prebreathe is directed following breaks > 10 min. The adequacy of NASA’s BIP rules was evaluated prior to resuming hypobaric ground testing or ISS extravehicular activities. METHODS. The following information sources were reviewed prior to formulating recommendations: i) Type II DCS case report and investigation findings; ii) documented rationale for existing flight rules, iii) consultations with subject matter experts involved in definition of existing flight rules (several of whom had since left NASA), iv) relevant published literature, v) model estimates of tissue on-gassing and off-gassing, and vi) NASA’s operational experience with late breaks in prebreathe. RESULTS. NASA’s nominal prebreathe protocols are validated via extensive ground testing to ensure DCS risk is reduced to within acceptable limits. Conversely, there exists a paucity of data, no validated models, and limited documentation regarding BIP risk for NASA prebreathe protocols. Flight rules implemented for shuttle and later ISS are based primarily on expert opinion and an assumption of symmetric on-gassing and off-gassing, which would make 2:1 payback a conservative mitigation for a BIP. Assumption of exponential gas kinetics makes late breaks higher risk, or require greater payback, than earlier breaks. Two BIPs have occurred using the current ISS prebreathe protocol, each of which was followed by greater than 2:1 payback and at least 59 minutes of 100% O2 pre-depress. No DCS cases have been reported during shuttle or ISS EVA operations. DISCUSSION. Interim changes were implemented to protect against late breaks during ground and flight prebreathes by ensuring negligible difference in conservatively modeled ppN2 pre-depress compared to nominal validated protocols. Additional documentation and literature review as well as chamber test planning are ongoing with the objective of further ground and flight rule updates and validation of a BIP risk model.

Prebreathe↗