Search NASA⌕ Search

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.

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

At least 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Modeling of the ground-to-SSFMB link networking features using SPW

This report describes the modeling and simulation of the networking features of the ground-to-Space Station Freedom manned base (SSFMB) link using COMDISCO signal processing work-system (SPW). The networking features modeled include the implementation of Consultative Committee for Space Data Systems (CCSDS) protocols in the multiplexing of digitized audio and core data into virtual channel data units (VCDU's) in the control center complex and the demultiplexing of VCDU's in the onboard baseband signal processor. The emphasis of this work has been placed on techniques for modeling the CCSDS networking features using SPW. The objectives for developing the SPW models are to test the suitability of SPW for modeling networking features and to develop SPW simulation models of the control center complex and space station baseband signal processor for use in end-to-end testing of the ground-to-SSFMB S-band single access forward (SSAF) link.

Watson, John C.↗
NASA NTRS2016

A Global Repository for Planet-Sized Experiments and Observations

Working across U.S. federal agencies, international agencies, and multiple worldwide data centers, and spanning seven international network organizations, the Earth System Grid Federation (ESGF) allows users to access, analyze, and visualize data using a globally federated collection of networks, computers, and software. Its architecture employs a system of geographically distributed peer nodes that are independently administered yet united by common federation protocols and application programming interfaces (APIs). The full ESGF infrastructure has now been adopted by multiple Earth science projects and allows access to petabytes of geophysical data, including the Coupled Model Intercomparison Project (CMIP) output used by the Intergovernmental Panel on Climate Change assessment reports. Data served by ESGF not only include model output (i.e., CMIP simulation runs) but also include observational data from satellites and instruments, reanalyses, and generated images. Metadata summarize basic information about the data for fast and easy data discovery.

Earth Systems Grid Federation (ESGFC)↗
NASA NTRS2012

Statechart Analysis with Symbolic PathFinder

We report here on our on-going work that addresses the automated analysis and test case generation for software systems modeled using multiple Statechart formalisms. The work is motivated by large programs such as NASA Exploration, that involve multiple systems that interact via safety-critical protocols and are designed with different Statechart variants. To verify these safety-critical systems, we have developed Polyglot, a framework for modeling and analysis of model-based software written using different Statechart formalisms. Polyglot uses a common intermediate representation with customizable Statechart semantics and leverages the analysis and test generation capabilities of the Symbolic PathFinder tool. Polyglot is used as follows: First, the structure of the Statechart model (expressed in Matlab Stateflow or Rational Rhapsody) is translated into a common intermediate representation (IR). The IR is then translated into Java code that represents the structure of the model. The semantics are provided as "pluggable" modules.

Pasareanu, Corina S.↗
NASA NTRS2009

A Self-Stabilizing Byzantine-Fault-Tolerant Clock Synchronization Protocol

This report presents a rapid Byzantine-fault-tolerant self-stabilizing clock synchronization protocol that is independent of application-specific requirements. It is focused on clock synchronization of a system in the presence of Byzantine faults after the cause of any transient faults has dissipated. A model of this protocol is mechanically verified using the Symbolic Model Verifier (SMV) [SMV] where the entire state space is examined and proven to self-stabilize in the presence of one arbitrary faulty node. Instances of the protocol are proven to tolerate bursts of transient failures and deterministically converge with a linear convergence time with respect to the synchronization period. This protocol does not rely on assumptions about the initial state of the system other than the presence of sufficient number of good nodes. All timing measures of variables are based on the node s local clock, and no central clock or externally generated pulse is used. The Byzantine faulty behavior modeled here is a node with arbitrarily malicious behavior that is allowed to influence other nodes at every clock tick. The only constraint is that the interactions are restricted to defined interfaces.

Malekpour, Mahyar R.↗
NASA NTRS2012

Moon and Mars Analog Mission Activities for Mauna Kea 2012

Rover-based 2012 Moon and Mars Analog Mission Activities (MMAMA) scientific investigations were recently completed at Mauna Kea, Hawaii. Scientific investigations, scientific input, and science operations constraints were tested in the context of an existing project and protocols for the field activities designed to help NASA achieve the Vision for Space Exploration. Initial science operations were planned based on a model similar to the operations control of the Mars Exploration Rovers (MER). However, evolution of the operations process occurred as the analog mission progressed. We report here on the preliminary sensor data results, an applicable methodology for developing an optimum science input based on productive engineering and science trades discussions and the science operations approach for an investigation into the valley on the upper slopes of Mauna Kea identified as "Apollo Valley".

Graham, Lee D.↗
NASA NTRS2005

Real-Time System Verification by Kappa-Induction

We report the first formal verification of a reintegration protocol for a safety-critical, fault-tolerant, real-time distributed embedded system. A reintegration protocol increases system survivability by allowing a node that has suffered a fault to regain state consistent with the operational nodes. The protocol is verified in the Symbolic Analysis Laboratory (SAL), where bounded model checking and decision procedures are used to verify infinite-state systems by k-induction. The protocol and its environment are modeled as synchronizing timeout automata. Because k-induction is exponential with respect to k, we optimize the formal model to reduce the size of k. Also, the reintegrator's event-triggered behavior is conservatively modeled as time-triggered behavior to further reduce the size of k and to make it invariant to the number of nodes modeled. A corollary is that a clique avoidance property is satisfied.

Pike, Lee S.↗
NASA NTRS2005

Chemical Loss of Polar Ozone: Present Understanding and Remaining Uncertainties

Not long after the discovery of the Antarctic ozone hole, it was established that halogen compounds, supplied to the atmosphere mainly by anthropogenic activities, are the primary driver of polar ozone loss. We will briefly review the chemical mechanisms that cause polar ozone loss and the early evidence showing the key role played by anthropogenic halogens. Recently, stratospheric halogen loading has leveled off, due to adherence to the Montreal Protocol and its amendments that has essentially banned CFCs (chlorofluorocarbons) and other halocarbons. We will describe recent reports of the first stage of recovery of the Antarctic ozone hole (e.g., a statistically significant slowing of the downward trend), associated with the leveling off of stratospheric halogens. Despite this degree of understanding, we will discuss the tendency of photochemical models to underestimate the observed rate of polar ozone loss and a hypothesis that has recently been put forth that might resolve this discrepancy. Finally, we will briefly discuss chemical loss of Arctic ozone, which

climate change↗
NASA NTRS2011

Vehicle Integrated Prognostic Reasoner (VIPR) 2010 Annual Final Report

Honeywell's Central Maintenance Computer Function (CMCF) and Aircraft Condition Monitoring Function (ACMF) represent the state-of-the art in integrated vehicle health management (IVHM). Underlying these technologies is a fault propagation modeling system that provides nose-to-tail coverage and root cause diagnostics. The Vehicle Integrated Prognostic Reasoner (VIPR) extends this technology to interpret evidence generated by advanced diagnostic and prognostic monitors provided by component suppliers to detect, isolate, and predict adverse events that affect flight safety. This report describes year one work that included defining the architecture and communication protocols and establishing the user requirements for such a system. Based on these and a set of ConOps scenarios, we designed and implemented a demonstration of communication pathways and associated three-tiered health management architecture. A series of scripted scenarios showed how VIPR would detect adverse events before they escalate as safety incidents through a combination of advanced reasoning and additional aircraft data collected from an aircraft condition monitoring system. Demonstrating VIPR capability for cases recorded in the ASIAS database and cross linking them with historical aircraft data is planned for year two.

Hadden, George D.↗
NASA NTRS2000

Architectural Methodology Report

The establishment of conventions between two communicating entities in the end systems is essential for communications. Examples of the kind of decisions that need to be made in establishing a protocol convention include the nature of the data representation, the for-mat and the speed of the date representation over the communications path, and the sequence of control messages (if any) which are sent. One of the main functions of a protocol is to establish a standard path between the communicating entities. This is necessary to create a virtual communications medium with certain desirable characteristics. In essence, it is the function of the protocol to transform the characteristics of the physical communications environment into a more useful virtual communications model. The final function of a protocol is to establish standard data elements for communications over the path; that is, the protocol serves to create a virtual data element for exchange. Other systems may be constructed in which the transferred element is a program or a job. Finally, there are special purpose applications in which the element to be transferred may be a complex structure such as all or part of a graphic display. 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 describe the methodologies used in developing a protocol architecture for an in-space Internet node. The node would support NASA:s four mission areas: Earth Science; Space Science; Human Exploration and Development of Space (HEDS); Aerospace Technology. This report presents the methodology for developing the protocol architecture. The methodology addresses the architecture for a computer communications environment. It does not address an analog voice architecture.

Dhas, Chris↗
NASA NTRS2012

Model-Driven Test Generation of Distributed Systems

This report describes a novel test generation technique for distributed systems. Utilizing formal models and formal verification tools, spe cifically the Symbolic Analysis Laboratory (SAL) tool-suite from SRI, we present techniques to generate concurrent test vectors for distrib uted systems. These are initially explored within an informal test validation context and later extended to achieve full MC/DC coverage of the TTEthernet protocol operating within a system-centric context.

Easwaran, Arvind↗
NASA NTRS1981

Panel C report: Standards needed for the use of ISO Open Systems Interconnection - basic reference model

The use of an International Standards Organization (ISO) Open Systems Interconnection (OSI) Reference Model and its relevance to interconnecting an Applications Data Service (ADS) pilot program for data sharing is discussed. A top level mapping between the conjectured ADS requirements and identified layers within the OSI Reference Model was performed. It was concluded that the OSI model represents an orderly architecture for the ADS networking planning and that the protocols being developed by the National Bureau of Standards offer the best available implementation approach.

Source record↗
NASA NTRS2014

The Carbon Tetrachloride (CCl4) Budget: Mystery or Not

Carbon tetrachloride (CCl4) is a major anthropogenic ozone-depleting substance and greenhouse gas and has been regulated under the Montreal Protocol. However, atmospheric observations show a very slow decline in CCl4 concentrations, inconsistent with the nearly zero emissions estimate based on the UNEP reported production and feedstock usage in recent years. It is now apparent that there are either unidentified industrial leakages, an unknown production source of CCl4, or large legacy emissions from CCl4 contaminated sites. In this paper we use a global chemistry climate model to assess the budget mystery of atmospheric CCl4. We explore various factors that affect the global trend and the gradient between the Northern and Southern hemispheres or interhemispheric gradient (IHG): emissions, emission hemispheric partitioning, and lifetime variations. We find a present-day emission of 30-50 Gg per yr and a total lifetime 25 - 36 years are necessary to reconcile both the observed CCl4 global trend and IHG.

CC14↗
NASA NTRS1992

Improving survival after tissue vaporization (Ebullism)

Exposure of unprotected humans to altitudes above 63,000 ft results in ebullism. Ebullism occurs when the vapor pressure of tissues is less than the ambient pressure and the tissues spontaneously 'boil'. This may result in rapid unconsciousness, cardiac vaporlock, pulmonary collapse, cerebral anoxia, and sometimes even death. Potential places for this include EVA accidents in space, aircraft experiencing rapid decompression at high altitudes with cabin or pressure suit failure, and accidents during pressure suit training exercises. The pathophysiology of ebullism was studied in the 40's to 60's using animal models. There is one report of a prolonged, unprotected human exposure and several anecdotal of unprotected short term exposures to near vacuum. In addition to pulmonary and neurologic concerns, unprotected exposure of the head may result in freezing of the corneal surface of the eye. Surface eye freezing may impair vision and significantly impact mission completion. At this time, little data are available on the effectiveness of conventional treatment protocols, such as hyperbaric oxygen, for ebullism induced injuries. Research is needed to assess the efficacy of other adjunctive therapies such as high frequency ventilation and cerebral protective drugs that are still under development.

Stegmann, Barbara J.↗
NASA NTRS2006

Hypovolemia Induced Orthostatic Hypotension in Presyncopal Astronauts and Normal Subjects Related to Hypoadrenergic Responsiveness

Circulating blood volume is reduced during spaceflight, making astronauts hemodynamically compromised. After landing, astronauts separate into two groups. One group compensates for the hypovolemia with a hyper-sympathetic response during upright tilt testing and can complete a tilt test with few symptoms. The other group is unable to mount a hyper-sympathetic response and experiences orthostatic hypotension and presyncope during upright tilt tests. We tested the hypothesis that hypovolemia alone, in the absence of spaceflight, also would cause subjects to separate into presyncopal and non-presyncopal groups according to their sympathetic responses during tilt. We studied 20 subjects, including 10 veteran astronauts, on three occasions. On Days 1 (normovolemia) and 3 (hypovolemia), plasma volume, tilt tolerance and supine and standing plasma norepinephrine levels were measured. Forty hours prior to Day 3, subjects were given intravenous furosemide, followed by 36 hours of a 10MEq Na diet. Statistical comparisons were made between normovolemia and hypovolemia responses. This protocol reproduced landing day tilt test outcomes with 100% fidelity in the astronauts. Similarly to patterns reported after flight, non-presyncopal subjects had greater norepinephrine responses to tilt during hypovolemia compared to normovolemia (580 plus or minus 79 vs. 298 plus or minus 37 pg/ml, P less than 0.05), but presyncopal subjects had no increase (180 plus or minus 44 vs. 145 plus or minus 32 pg/ml, P=NS). This model can be used to predict astronauts who will become presyncopal on landing day, so that prospective, individualized countermeasures can be developed. Within patient populations, it can be used to study the interaction of volemic state and the sympathetic nervous system.

Meck, Janice V.↗
NASA NTRS1994

Data communication network at the ASRM facility

This three-year project (February 1991 to February 1994) has involved analyzing and helping to design the communication network for the Advanced Solid Rocket Motor (ASRM) facility at Yellow Creek, near Iuka, MS. The principal concerns in the analysis were the bandwidth (both on average and in the worst case) and the expandability of the network. As the communication network was designed and modified, a careful evaluation of the bandwidth of the network, the capabilities of the protocol, and the requirements of the controllers and computers on the network was required. The overall network, which was heterogeneous in protocol and bandwidth, needed to be modeled, analyzed, and simulated to obtain some degree of confidence in its performance capabilities and in its performance under nominal and heavy loads. The results of our analysis did have an impact on the design and operation of the ASRM facility. During 1993 we analyzed many configurations of this basic network structure. The analyses are described in detail in Section 2 and 3 herein. Section 2 reports on an analysis of the whole network. The preliminary results of that research indicated that the most likely bottleneck as the network traffic increased would be the hubs. Thus a study of Cabletron hubs was initiated. The results of that study are in Section 3. Section 4 herein reports on the final network configuration analyzed. When the ASRM facility was mothballed in December of 1993, this was basically the planned and partially installed network. A briefing was held at NASA/MSFC on December 7, 1993, at which time our final analysis and conclusions were disseminated. This report contains a written record of most of the information disseminated at that briefing.

Moorhead, Robert J., III↗
NASA NTRS2010

Future Flight Opportunities and Calibration Protocols for CERES: Continuation of Observations in Support of the Long-Term Earth Radiation Budget Climate Data Record

The goal of the Clouds and the Earth s Radiant Energy System (CERES) project is to provide a long-term record of radiation budget at the top-of-atmosphere (TOA), within the atmosphere, and at the surface with consistent cloud and aerosol properties at climate accuracy. CERES consists of an integrated instrument-algorithm validation science team that provides development of higher-level products (Levels 1-3) and investigations. It involves a high level of data fusion, merging inputs from 25 unique input data sources to produce 18 CERES data products. Over 90% of the CERES data product volume involves two or more instruments. Continuation of the Earth Radiation Budget (ERB) Climate Data Record (CDR) has been identified as critical in the 2007 NRC Decadal Survey, the Global Climate Observing System WCRP report, and in an assessment titled Impacts of NPOESS Nunn-McCurdy Certification on Joint NASA-NOAA Climate Goals . Five CERES instruments have flown on three different spacecraft: TRMM, EOS-Terra and EOS-Aqua. In response, NASA, NOAA and NPOESS have agreed to fly the existing CERES Flight Model (FM-5) on the NPP spacecraft in 2011 and to procure an additional CERES Sensor with modest upgrades for flight on the JPSS C1 spacecraft in 2014, followed by a CERES follow-on sensor for flight in 2018. CERES is a scanning broadband radiometer that measures filtered radiance in the SW (0.3-5 m), total (TOT) (0.3-200 m) and WN (8-12 m) regions. Pre-launch calibration is performed on each Flight Model to meet accuracy requirements of 1% for SW and 0.5% for outgoing LW observations. Ground to flight or in-flight changes are monitored using protocols employing onboard and vicarious calibration sources. Studies of flight data show that SW response can change dramatically due to optical contamination. with greatest impact in blue-to UV radiance, where tungsten lamps are largely devoid of output. While science goals remain unchanged for ERB Climate Data Record, it is now understood that achieving these goals is more difficult for two reasons. The first is an increased understanding of the dynamics of the Earth/atmosphere system which demonstrates that separation of natural variability from anthropogenic change on decadal time scales requires observations with higher accuracy and stabilit

Priestley, Kory J.↗
NASA NTRS2001

Alendronate and Resistive Exercise Countermeasures Against Bed Rest-Induced Bone Loss: Biochemical Markers of Bone and Calcium Metabolism

Weightlessness-induced bone loss must be counteracted to ensure crew health during extendedduration space missions. Studies were conducted to assess two bone loss countermeasures in a ground-based model: horizontal bed rest. Following a 3-wk ambulatory adaptation period, male and female subjects (aged 21-56 y) completed a 17-wk bed rest protocol. Subjects were assigned to one of three treatments: alendronate (ALEN; 10 mg/d, n=6), resistive exercise (RE; 1.5 h/d, 6 d/wk, n=8), or control (CN; no countermeasure, n=8). Dietary intake was adjusted to maintain body weight. Endocrine and biochemical indices were measured in blood and urine using standard laboratory methods. All data reported are expressed as percent change from individual pre-bedrest data. Serum calcium changed little during bed rest, and tended to decrease (4-8%) in ALEN subjects. In RE subjects, bone alkaline phosphatase and osteocalcin were increased >65 and >30%, respectively, during bed rest, while these were unchanged or decreased in ALEN and CN subjects. Urinary calcium was increased 50% in CN subjects, but was unchanged or decreased in both ALEN and RE groups. Urinary n-telopeptide excretion was increased 40-50% in CN and RE subjects, but decreased 20% in ALEN subjects. Pyridinium crosslink and deoxypyridinoline excretion were increased 20-50% during bed rest. These data suggest that RE countermeasures are effective at increasing markers of bone formation in an analog of weightlessness, while ALEN reduces markers of bone resorption. Counteracting the bone loss of space flight may require both pharmacologic and exercise countermeasures.

Smith, Scott M.↗
NASA NTRS1994

Using Dedal to share and reuse distributed engineering design information

The overall goal of the project is to facilitate the reuse of previous design experience for the maintenance, repair and redesign of artifacts in the electromechanical engineering domain. An engineering team creates information in the form of meeting summaries, project memos, progress reports, engineering notes, spreadsheet calculations and CAD drawings. Design information captured in these media is difficult to reuse because the way design concepts are referred to evolve over the life of a project and because decisions, requirements and structure are interrelated but rarely explicitly linked. Based on protocol analysis of the information seeking behavior of designer's, we defined a language to describe the content and the form of design records and implemented this language in Dedal, a tool for indexing, modeling and retrieving design information. We first describe the approach to indexing and retrieval in Dedal. Next we describe ongoing work in extending Dedal's capabilities to a distributed environment by integrating it with World Wide Web. This will enable members of a design team who are not co-located to share and reuse information.

Baya, Vinod↗