Search NASA⌕ Search

SEARCH · Search NASA

Results for “additional 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 109 records · Page 6

Internet Voice Distribution System (IVoDS) Utilization in Remote Payload Operations

Due to limited crew availability to support science and the large number of experiments to be operated simultaneously, telescience is key to a successful International Space Station (ISS) science program. Crew, operations personnel at NASA centers, and researchers at universities and companies around the world must work closely together to perform scientific experiments on-board ISS. NASA has initiated use of Voice over Internet Protocol (VoIP) to supplement the existing HVoDS mission voice communications system used by researchers. The Internet Voice Distribution System (IVoDS) connects researchers to mission support "loops" or conferences via Internet Protocol networks such as the high-speed Internet 2. Researchers use IVoDS software on personal computers to talk with operations personnel at NASA centers. IVoDS also has the capability, if authorized, to allow researchers to communicate with the ISS crew during experiment operations. NODS was developed by Marshall Space Flight Center with contractors A2 Technology, Inc. FVC, Lockheed- Martin, and VoIP Group. IVoDS is currently undergoing field-testing with full deployment for up to 50 simultaneous users expected in 2002. Research is currently being performed to take full advantage of the digital world - the Personal Computer and Internet Protocol networks - to qualitatively enhance communications among ISS operations personnel. In addition to the current voice capability, video and data-sharing capabilities are being investigated. Major obstacles being addressed include network bandwidth capacity and strict security requirements. Techniques being investigated to reduce and overcome these obstacles include emerging audio-video protocols and network technology including multicast and quality-of-service.

Best, Susan↗

Orbiting quarantine facility. The Antaeus report

A mission plan for the Orbiting Quarantine Facility (OQF) is presented. Coverage includes system overview, quarantine and protocol, the laboratory, support systems, cost analysis and possible additional uses of the OQF.

Devincenzi, D. L.↗

Vnode Layering Changes in NetBSD Version 1.5

In this paper, I describe changes to the vnode layer in NetBSD between versions 1.4 and 1.5 to assist layered filesystems. The major feature of these chano,es on the whole is that layered filesystems are now sufficiently robust for production applications. These changes divide readily into three groups: modifications to vnode locking along the lines suggested by Heidemann, changes to the vnode locking protocol, and the introduction of an overlay filesystem. In addition to describing these changes, I will describe the testing we have performed.

Studenmund, William↗

Demonstration/Validation of Environmentally-Preferable Coatings for Launch Facilities

Kennedy Space Center (KSC) is responsible for a number of facilities/structures with metallic structural and non-structural components in a highly corrosive environment. Metals require periodic maintenance activity to guard against the insidious effects of corrosion and thus ensure that structures meet or exceed design or performance life. The standard practice for protecting metallic substrates in atmospheric environments is the application of an applied coating system. Applied coating systems work via a variety of methods (barrier, galvanic and/or inhibitor) and adhere to the substrate through a combination of chemical and physical bonds. Maintenance at KSC and other NASA Centers is governed by NASA-STD-50088 (Protective Coating of Carbon Steel, Stainless Steel, and Aluminum on Launch Structures, Facilities, and Ground Support Equipment) which establishes practices for the protective coating of ground support equipment and related facilities used by or for NASA programs and projects. The Standard is for the design of non-flight hardware used to support the operations of receiving, transportation, handling, assembly, inspection, test, checkout, service, and launch of space vehicles and payloads at NASA launch, landing, or retrieval sites. These criteria and practices contained within the Standard may be used for items used at the manufacturing, development, and test sites upstream of the launch, landing, or retrieval sites. The objective of this effort is to demonstrate and validate environmentally-preferable alternatives in accordance with NASA-STD-50088 and KSC requirements which can then be added to the Approved Products List. This Test Protocol contains the critical requirements and tests necessary to qualify alternatives for structural steel applications. These tests were derived from engineering, performance, and operational impact (supportability) requirements defined by a consensus of KSC participants. A Test Report will document the results of the testing as well as any test modifications made during the execution of the testing. Users of this Test Protocol should check the project's Test Report for additional test details or minor modifications that may have been necessary in the execution of the testing. The technical stakeholders will have agreed upon test procedures modifications documented in the Test Report.

Lewis, Pattie↗

Solid State Multinuclear Magnetic Resonance Investigation of Electrolyte Decomposition Products on Lithium Ion Electrodes

Solid electrolyte interphase (SEI) formation in lithium ion cells prepared with advanced electrolytes is investigated by solid state multinuclear (7Li, 19F, 31P) magnetic resonance (NMR) measurements of electrode materials harvested from cycled cells subjected to an accelerated aging protocol. The electrolyte composition is varied to include the addition of fluorinated carbonates and triphenyl phosphate (TPP, a flame retardant). In addition to species associated with LiPF6 decomposition, cathode NMR spectra are characterized by the presence of compounds originating from the TPP additive. Substantial amounts of LiF are observed in the anodes as well as compounds originating from the fluorinated carbonates.

Li-ion battery electrolytes↗

NASA's Functional Task Test: Providing Information for an Integrated Countermeasure System

Exposure to the microgravity conditions of spaceflight causes astronauts to experience alterations in multiple physiological systems. These physiological changes include sensorimotor disturbances, cardiovascular deconditioning, and loss of muscle mass and strength. Some or all of these changes might affect the ability of crewmembers to perform critical mission tasks immediately after landing on a planetary surface. The goals of the Functional Task Test (FTT) study were to determine the effects of spaceflight on functional tests that are representative of critical exploration mission tasks and to identify the key physiological factors that contribute to decrements in performance. The FTT was comprised of seven functional tests and a corresponding set of interdisciplinary physiological measures targeting the sensorimotor, cardiovascular and muscular changes associated with exposure to spaceflight. Both Shuttle and ISS crewmembers participated in this study. Additionally, we conducted a supporting study using the FTT protocol on subjects before and after 70 days of 6 head-down bed rest. The bed rest analog allowed us to investigate the impact of body unloading in isolation on both functional tasks and on the underlying physiological factors that lead to decrements in performance, and then to compare them with the results obtained in our spaceflight study. Spaceflight data were collected on three sessions before flight, on landing day (Shuttle only) and 1, 6 and 30 days after landing. Bed rest subjects were tested three times before bed rest and immediately after getting up from bed rest as well as 1, 6, and 12 days after reambulation. We have shown that for Shuttle, ISS and bed rest subjects, functional tasks requiring a greater demand for dynamic control of postural equilibrium (i.e. fall recovery, seat egress/obstacle avoidance during walking, object translation, jump down) showed the greatest decrement in performance. Functional tests with reduced requirements for postural stability (i.e. hatch opening, ladder climb, manual manipulation of objects and tool use) showed little reduction in performance. These changes in functional performance were paralleled by similar decrements in sensorimotor tests designed to specifically assess postural equilibrium and dynamic gait control. Bed rest subjects experienced similar deficits both in functional tests with balance challenges and in sensorimotor tests designed to evaluate postural and gait control as spaceflight subjects indicating that body support unloading experienced during spaceflight plays a central role in post-flight alteration of functional task performance. To determine how differences in body-support loading experienced during in-flight treadmill exercise affect postflight functional performance, the loading history for each subject during in-flight treadmill (T2) exercise was correlated with postflight measures of performance. ISS crewmembers who walked on the treadmill with higher pull-down loads had enhanced post-flight performance on tests requiring mobility. Taken together the spaceflight and bed rest data point to the importance of supplementing inflight exercise countermeasures with balance and sensorimotor adaptability training. These data also support the notion that inflight treadmill exercise performed with higher body loading provides sensorimotor benefits leading to improved performance on functional tasks that require dynamic postural stability and mobility.

Bloomberg, J. J.↗

New Horizons for a Practical and Performance-Optimized Solar System Internet

The High-rate Delay Tolerant Networking (HDTN) project at the NASA Glenn Research Center (GRC) is developing a performance-optimized Delay Tolerant Networking (DTN) implementation using the Bundle Protocol (BP) both for infusion in modern, distributed spacecraft systems and for foundational network research purposes. While one purpose of networking is to enable a returns-to-scale with communicating assets, it is recognized that neither the protocol nor its implementations may impose a bottleneck on data delivery if expected to be implemented. With this in mind, this paper explores the current status of the HDTN software, including its capabilities and also various performance metrics at the bundle layer, the convergence layers (e.g. performance-optimized Licklider Transmission Protocol, or LTP), and bundle storage and retrieval. This includes goals of software implementations that support multi-gigabit per second communications regardless of payload size. A discussion on the current software architecture and internal scheduling and routing is included. Interoperability with such extant DTN implementations as Interplanetary Overlay Network (ION) and DTN Marshall Enterprise Implementation (DTNME) are included. The research goals of the project are also listed, including Software-Defined Networking (SDN) and the theory of DTNs. A table-based filtration system for the Bundle Protocol (BP), called BP Filter, is also explored: this addition enables table-based policies within the context of a DTN for management purposes. Infusion begins with systems testing in the Johnson Space Center (JSC) Software Development and Integration Laboratory (SDIL), which supports International Space Station (ISS) Flight Software development, integration, and verification. Observations made from the results of testing in the SDIL and in flight testing are also discussed, pointing to a path for infusion into high data return low-earth orbit (LEO) missions. The paper concludes with areas for future work.

Delay Tolerant Networking↗

The Utilization Profiles of the CCSDS Unified Space Link Protocol (USLP)

The purpose of this paper is to identify the utilization profiles for interfacing the Data Protocol Sublayer using the Unified Space Link Protocols (USLP) (reference 1) with the space link coding procedures as specified in the CCSDS Coding & Synchronization Blue Books (references 2 through 5), used in both telecommand and telemetry applications. This paper describes how the USLP Protocol utilizes the coding and synchronization sublayer to support: a. Direct to Earth (DTE) telemetry links for engineering and science data b. Direct to Earth (DTE) telemetry links for very high rate science data c. Direct from Earth (DFE) command, sequencing and flight software loads d. Space to Space Links (Proximity) utilized by orbiters for data exchange to/from surface bound assets. The CCSDS has divided the functions of the Data Link Layer into two sublayers: the Data Link Protocol Sublayer (DLP-SL) and the Coding and Synchronization Sublayer (CS-SL). The Data Link Protocol Sublayer (DLP-SL) interfaces to the users, accepting the data that is to be transported, on the sending side of the link, and delivering that data on the receiving end. The Transfer Frame is the data unit that is transferred across the Data Link Protocol Sublayer and the Coding and Synchronization Sublayer boundary. The Coding and Synchronization Sublayer (CS-SL) provides the encoding, randomization, and frame synchronization functions that prepares the USLP Transfer Frame for transport across the space link. The CS-SL is divided into 2 processes: 1) The Frame Interface Processes (FIP) performs the interface functions required to prepare the data for delivery to the Coding/Decoding Process (CDP). This process includes prepending a Frame Start Marker to the provided frame, when management has designated that the frame is not to be aligned to the codeblock or when there is no block code used. 2) The Coding/Decoding Process (CDP) performs the forward error correction processes that are used to optimize the performance of the link and minimize the error rate. The CDP creates the symbol stream that is delivered to the Physical Layer. The transfer of the USLP transfer frames across different types of space links is the focus of this paper. The Protocol Data Unit (PDU) that is passed in both directions between the Data Link Protocol Sublayer (DLP-SL) and Coding and Synchronization Sublayer (CS-SL) is the transfer frame. The USLP frame structure provides flexibility that can be constrained by the functions utilized within the CS-SL that prepare the transfer frame for transit. For example, the USLP transfer frame contains a length field that enables the frame to be of variable length but CS-SL under certain conditions may constrain the frame to be fixed in length. This paper describes 5 operational modes available for use by the Data Link Layer to provide data exchange across the USLP space link. These modes are different because different operational requirements apply to vastly different types of space links and thus the communications implementation requirements differ. The environmental issues include the power or energy available, the distance between the end points of the link, the complexity of the equipment available at those end points, the atmospheric conditions and radiometric frequency selection. The CS-SL utilizes different forward error correcting codes supported by specific operational modes to configure the data for transit. This paper describes all of the operational modes in a series of data models which decompose the functionality between the Data Link Protocol Sublayer and the Coding and Synchronization sublayer. The operational modes described are: 1. Uncoded Mode: has been used for short links that contain significant available power to provide an acceptable frame error rate. The frames in this mode can be variable in length and typically use an error detection algorithm (i.e., CRC) to determine if there are errors in the received frame. 2. Convolutional Only Mode: is currently the prime forward error correction coding used for the proximity links. The frames in this mode can be variable in length and typically use an error detection algorithm (i.e., CRC) to determine if there are errors in the received frame. 3. Variable Length Frame Aligned to Variable Length Codeblock (TC): is used for Direct from Earth links were power levels are high and the simple, least complex code i.e., the BCH code is used. This mode has been in use since the early 1970s. The BCH code is a short code and the decoder is easy to implement. 4. Fixed Length Frame Aligned to Fixed Length Codeblock (AOS/TM): was introduced when the concatenated Convolutional and Reed-Solomon Code was formulated to provide significant reduction in link data error rate and the ability to determine if there was an error in the decoded codeblock. The frame is aligned to the codeblock so that there is a one to one relationship of frame errors to codeblock errors without additional error detection coding being added. This mode requires the protocol frames to be the exact size of the message portion of the codeblock. 5. Frames Unaligned to Fixed Length Codeblocks (Currently used for very high rates and space to space links): This mode is currently used for missions that have a very high data rate that can be controlled adaptively as the environment changes and as the next generation operating mode for the proximity link. This mode from a coded data stream point of view is exactly like that described in 4. above, except that the frame need not be aligned to the codeblock. There is no requirement on frame length when using this mode. Thus when using USLP it can be used to support links that require short or long frames. There is also no mandatory requirement that frames cannot be separated by idle data reducing the tight data rate connection requirements between the data link protocol sublayer and the coding & synchronization sublayer. In conclusion, how these operational modes can be put to use in mission operational scenarios is described for Direct from Earth links (DFE), Direct to Earth links (DTE), and Proximity links.

Greenberg, E.↗

“Just Do It” Mission Operations Training in a COVID World

“No”- “not”- “can’t do it” – these words don’t fly in M2020 Mission Operations. The M2020 Surface Mission Operations Team trained for landing the Perseverance Rover under COVID-19 remote work/mandatory stay-at-home conditions. Training activities included presenting Flight Schools to the team via video conferencing, training COVID personal safety requirements to on-premises staff, and constantly updating and communicating COVID restrictions to the team as safety requirements changed. This paper explores the impact of COVID on the Mission System Training for M2020 Mission Operations. The layers of COVID, aptly named the “COVID Tax” by team management, affected project roles, communications, personnel interactions, operations facility usage and training exercises practiced by the team. Flight Schools and Operational Readiness Tests (ORTs) are driving forces behind the surface mission operations training. These activities work hand-in-hand to prepare the team for landing day, surface operations that transition from cruise to nominal operations, and nominal operations. Under normal training conditions, Flight Schools and ORTs are only concerned with tactical operations for the Uplink (Command) Downlink (Analysis) and Campaign Implementation (Planning) Teams of scientists and system engineers. Due to COVID, and the necessity to maintain physical distance between people, training for the landing team needed to include the new category of COVID personal safety. COVID also necessitated remote teams and video conferencing of the entirety of Flight Schools. This reliance on distance learning had not been done on previous missions. We will explore the advantages and disadvantages of video conferencing as a training platform; training effectiveness in communicating and practicing the multiple changes to the COVID safety protocols; and the timing in which we received and responded to COVID directives. Additionally, this paper will review the practical measures taken by the on-premises team and how the team adapted during the readiness tests, landing, and early mission operations, as well as how the team responded to the post-vaccine ramping down of COVID Protocols. The M2020 Surface Mission Operations Team responded very well to the challenges of COVID. All pre-landing operational and COVID-related training was completed. Post-landing COVID Training was provided as needed to new on-premises personnel. Training presented on COVID for the first operational readiness test (ORT) consisted of 2.5 hours of training. Each ORT had COVID Training. A person who had participated in all of the ORTs from September 2020 – February 2021 would have received over 7 hours of COVID Training. By ORT-12 (approximately 8 weeks after the first ORT), the Training team consolidated the original COVID training to a one-hour COVID Basic Training course, with additional recommended training. The Basic training course was updated after landing, as vaccines became available. COVID Training had multiple Flight Schools in the self-directed Blackboard Learning system, as well as a Quick Reference Wiki for Onboarding of new on-premises personnel and keeping on-premises personnel up-to-date. COVID Training covered many topics including practical methods of 6-foot distancing, how to interact with an IT professional when help was needed at a workstation, and challenging indoor meal-eating protocols. COVID Training continued to be updated, as the lab and the project respond to the virus variants and federal, state and local ordinances.

Rosette, Theresa↗

Measurement Challenges for Carbon Nanotube Material

The advances in large scale applications of carbon nanotubes demand a reliable supply of raw and processed materials. It is imperative to have a consistent quality control of these nanomaterials to distinguish material inconsistency from the modifications induced by processing of nanotubes for any application. NASA Johnson Space Center realized this need five years back and started a program to standardize the characterization methods. The JSC team conducted two workshops (2003 and 2005) in collaboration with NIST focusing on purity and dispersion measurement issues of carbon nanotubes [1]. In 2004, the NASA-JSC protocol was developed by combining analytical techniques of SEM, TEM, UV-VIS-NIR absorption, Raman, and TGA [2]. This protocol is routinely used by several researchers across the world as a first step in characterizing raw and purified carbon nanotubes. A suggested practice guide consisting of detailed chapters on TGA, Raman, electron microscopy and NIR absorption is in the final stages and is undergoing revisions with input from the nanotube community [3]. The possible addition of other techniques such as XPS, and ICP to the existing protocol will be presented. Recent activities at ANSI and ISO towards implementing these protocols as nanotube characterization standards will be discussed.

Sosa, Edward↗

Mars Aqueous Chemistry Experiment (MACE)

The concept of an aqueous-based chemical analyzer for Martian surface materials has been demonstrated to be feasible. During the processes of analysis, design, breadboarding, and most importantly, testing, it has become quite apparent that there are many challenges in implementing such a system. Nonetheless, excellent progress has been made and a number of problems which arose have been solved. The ability to conduct this work under a development environment which is separate and which precedes the project-level development has allowed us to find solutions to these implementation realities at low cost. If the instrument had been selected for a mission without this laboratory pre-project work, the costs of implementation would be much higher. In the four areas covered in Sections D, E, F, and G of this Final Report, outstanding progress has been made. There still remains the task of flight-qualifying certain of the components. This is traditionally done under the aegis of a Flight Project, but just as the concept development can be done at much lower cost when kept small and focused, so could the qualification program of critical parts benefit. We recommend, therefore, that NASA consider means of such qualifications and brass-boarding, in advance of final flight development. This is a generic recommendation, but hardware such as the Mars aqueous chemistry experiment (MACE) and other similarly-new concepts are particularly applicable. MACE now has wide versatility, in being able to reliably dispense both liquids and solids as chemical reagents to an entire suite of samples. The hardware and the experiment is much simpler than was developed for the Viking Biology instrument, yet can accomplish all the inorganic chemical measurements that the Viking desing was capable of. In addition, it is much more flexible and versatile to new experiment protocols (and reagents) than the Viking design ever could have been. MACE opens up the opportunity for many different scientific disciplines to design sub- experiments and to benefit from the investigations that can be conducted. In this sense, it will have the value of a facility, although our recommendation would be that it be under the stewardship of a single lead investigator to insure that conflicting requirements not compromise the straight-forward design that have been achieved. MACE is an excellent candidate for upcoming Mars missions, including the Mars Surveyor Program (MSP) lander missions in 2001 and 2003. In addition, it could be used for any mission to the surface of any other planet or planetary body (including small bodies). An important next step is to encourage various investigators to propose specific uses for this experiment that specifically address their major scientific objectives for upcoming missions.

Benton, Clark C.↗

Understanding the Effects of Long-duration Space Flight on Astronant Functional Task Performance

Space flight is known to cause alterations in multiple physiological systems including changes in sensorimotor, cardiovascular, and neuromuscular systems. These physiological changes cause balance, gait and visual disturbances, cardiovascular deconditioning, and loss of muscle mass and strength. These changes may affect a crewmember's ability to perform critical mission tasks immediately after landing on a planetary surface. To understand how changes in physiological function affect functional performance, an interdisciplinary pre- and postflight testing regimen, Functional Task Test (FTT), was developed to systematically evaluate both astronaut functional performance and related physiological changes. Ultimately this information will be used to assess performance risks and inform the design of countermeasures for exploration class missions. We are currently conducting the FTT study on International Space Station (ISS) crewmembers before and after 6-month expeditions. Additionally, in a corresponding study we are using the FTT protocol on subjects before and after 70 days of 6deg head-down bed-rest as an analog for space flight. Bed-rest provides the opportunity for us to investigate the role of prolonged axial body unloading in isolation from the other physiological effects produced by exposure to the microgravity environment of space flight. Therefore, the bed rest analog allows us to investigate the impact of body unloading on both functional tasks and on the underlying physiological factors that lead to decrement in performance and then compare them with the results obtained in our space flight study. Functional tests included ladder climbing, hatch opening, jump down, manual manipulation of objects and tool use, seat egress and obstacle avoidance, recovery from a fall and object translation tasks. Physiological measures included assessments of postural and gait control, dynamic visual acuity, fine motor control, plasma volume, heart rate, blood pressure, orthostatic intolerance, upper- and lower-body muscle strength, power, endurance, control, and neuromuscular drive. ISS crewmembers were tested three times before flight, and on 1, 6, and 30 days after landing. Bed-rest subjects were tested three times before bed-rest and immediately after getting up from bed-rest as well as 1, 6, and 12 days after reambulation.

Bloomberg, Jacob J.↗

Scroll Filter System Development for Crewed Deep Space Missions

On board the International Space Station, particulate HEPA filters known as Bacterial Filter Elements (BFE's) are used as the main ventilation filters on the US modules. They consist of two stages of filtration, a static screen filter and a HEPA filter element. Historically, these filters have performed well during the life of the ISS. However, as NASA sets its sights towards mission beyond low earth orbit, or deep space, more capable filters requiring minimal maintenance will be essential because of the nature of these remote and of long duration missions. Therefore NASA is currently developing new filter systems for these mission. One of the filter designs being considered is a new filter system, coined the Scroll BFE. This filter provides two stages of filtration. The first stage is a pre-filter stage using a roll of screen media on a motorized spooling, or scrolling, mechanism to automate the change-out of the screen media in the flow. The second and finishing stage is a static HEPA filter element similar to the ones used on the ISS BFE's. The volume and dimensional format of the filter matches that of the ISS BFE which facilitates is deployment as potential future flight technology demonstration on board the ISS. Ground tests are underway to assess the filter system's performance under industrial standard test protocols applied in a custom designed filtration test stand. In addition, a method of generating relevant particulate matter loads, such as loose fibrous matter, is also being devised to challenge the filter in testing. The latter test challenge will help determine the pre-filter's capacity for handling layers of lint, or fibrous, particulate matter. Early results confirm HEPA efficiency performance of the HEPA stage. This paper will present the results of ground testing of the Scroll Filter System prototype.

Agui, Juan H.↗

Regenerative Life Support Systems for Exploration Habitats: Unique Capabilities and Challenges to Enable Long-Duration-Mission Habitats Beyond Low Earth Orbit

The Artemis I launch of NASA’s Space Launch System and Orion crew vehicle will mark a major milestone in the agency’s efforts to return humans to the Moon. Work is underway on the Human Landing System that will carry the next astronauts to the lunar surface, and the lunar orbiting Gateway that will host science and serve as a platform to support sustained human presence on the Moon and ultimately crewed missions to Mars. Two decades of continuous human presence on the International Space Station has provided a wealth of experience operating, upgrading, and demonstrating advanced Regenerative Environmental Control and Life Support Systems (Regen ECLSS). However, habitats that enable sustained lunar surface presence and transit to Mars will encounter many unique conditions and challenges. System characteristics including reliability, maintainability, mass, and power become significantly more critical. Operating environments associated with lower total pressure, low gravity, contingency protocols, and extensive un-crewed and dormant periods impose additional functionality requirements and alter the performance of certain critical systems. Integration and combined operations with other elements such as orbiting outposts, logistics suppliers, and mobility platforms impact capability and interface requirements. Limits on allocated water and oxygen consumable mass influence the need for higher levels of water and oxygen recovery from waste products. Impacts and challenges these unique exploration circumstances impose on the suite of Regen ECLSS systems are explored and discussed herein.

David F Howard↗

Adding tools to the open source toolbox: The Internet

The Internet offers researchers additional sources of information not easily available from traditional sources such as print volumes or commercial data bases. Internet tools such as e-mail and file transfer protocol (ftp) speed up the way researchers communicate and transmit data. Mosaic, one of the newest additions to the Internet toolbox, allows users to combine tools such as ftp, gopher, wide area information server, and the world wide web with multimedia capabilities. Mosaic has quickly become a popular means of making information available on the Internet because it is versatile and easily customizable.

Porth, Tricia↗

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.↗

Flight Avionics Hardware Roadmap

The Avionics Technology Roadmap takes an 80% approach to technology investment in spacecraft avionics. It delineates a suite of technologies covering foundational, component, and subsystem-levels, which directly support 80% of future NASA space mission needs. The roadmap eschews high cost, limited utility technologies in favor of lower cost, and broadly applicable technologies with high return on investment. The roadmap is also phased to support future NASA mission needs and desires, with a view towards creating an optimized investment portfolio that matures specific, high impact technologies on a schedule that matches optimum insertion points of these technologies into NASA missions. The roadmap looks out over 15+ years and covers some 114 technologies, 58 of which are targeted for TRL6 within 5 years, with 23 additional technologies to be at TRL6 by 2020. Of that number, only a few are recommended for near term investment: 1. Rad Hard High Performance Computing 2. Extreme temperature capable electronics and packaging 3. RFID/SAW-based spacecraft sensors and instruments 4. Lightweight, low power 2D displays suitable for crewed missions 5. Radiation tolerant Graphics Processing Unit to drive crew displays 6. Distributed/reconfigurable, extreme temperature and radiation tolerant, spacecraft sensor controller and sensor modules 7. Spacecraft to spacecraft, long link data communication protocols 8. High performance and extreme temperature capable C&DH subsystem In addition, the roadmap team recommends several other activities that it believes are necessary to advance avionics technology across NASA: center dot Engage the OCT roadmap teams to coordinate avionics technology advances and infusion into these roadmaps and their mission set center dot Charter a team to develop a set of use cases for future avionics capabilities in order to decouple this roadmap from specific missions center dot Partner with the Software Steering Committee to coordinate computing hardware and software technology roadmaps and investment recommendations center dot Continue monitoring foundational technologies upon which future avionics technologies will be dependent, e.g., RHBD and COTS semiconductor technologies

Some, Raphael↗

Some Protocols For Optical-Fiber Digital Communications

One works best in heavy traffic, another, in light traffic. Three protocols proposed for digital communications among stations connected by passive taps to pair of uni-directional optical-fiber buses. Mediate round-robin, bounded-delay access to buses by all stations and particularly suited to fast transmission. Partly because transmission medium passive (no relay stations) and partly because protocols distribute control of network among all stations with provision for addition and deletion of stations (no control stations), communication network able to resist and recover from failures. Implicit token propagates in one direction on one bus and in opposite direction on other bus, minimizing interval of silence between end of one round and beginning of next.

Yeh, Cavour↗