Search NASASearch

SEARCH · Search NASA

Results for “socket”

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 37 records · Page 2

Data Transfer Efficiency Over Satellite Circuits Using a Multi-Socket Extension to the File Transfer Protocol (FTP)

In several experiments using NASA's Advanced Communications Technology Satellite (ACTS), investigators have reported disappointing throughput using the transmission control protocol/Internet protocol (TCP/IP) protocol suite over 1.536Mbit/sec (T1) satellite circuits. A detailed analysis of file transfer protocol (FTP) file transfers reveals that both the TCP window size and the TCP 'slow starter' algorithm contribute to the observed limits in throughput. In this paper we summarize the experimental and and theoretical analysis of the throughput limit imposed by TCP on the satellite circuit. We then discuss in detail the implementation of a multi-socket FTP, XFTP client and server. XFTP has been tested using the ACTS system. Finally, we discuss a preliminary set of tests on a link with non-zero bit error rates. XFTP shows promising performance under these conditions, suggesting the possibility that a multi-socket application may be less effected by bit errors than a single, large-window TCP connection.

Allman, Mark

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

Plug-in connector socket accepts coaxial cable end

Connector which includes a spring-loaded contact to receive a protruding center conductor and an internal collet to clamp against a collar attached to a woven outer conductor, is used as a receptacle for the end of a coaxial cable. This plug-in connector socket is used successfully with remote manipulators.

Mitchell, D.

Low-friction ball-and-socket

Ball-bearing retainer assembly reduces friction in ball-and-socket mount which replaces gimbals mounting used with spacecraft antennas.

Imus, R. E.

Gravity receptors in a microcrustacean water flea - Sensitivity of antennal-socket setae in Daphnia magna

Gravity receptors of Dephnia magna were discovered on the basal segment of the swimming antennae and were shown to respond to upward water currents that pass the animal as it sinks between swimming strokes. Sensitivity of the gravity perceiving mechanism was tested by subjecting daphnids to a series of five decreasingly dense aqueous solutions (neutral density to water) in darkness (to avoid visual cues). Three-dimensional, video analysis of body position (pitch, yaw and roll) and swimming path (hop and sink, vertical and horizontal patterns) revealed a gradual threshold that occurred near a density difference between the animal and its environment of less than 0.25%. Because daphnids do not sink but continue to slide after stroking in the increased density solutions, gravity perception appears to occur during a vertical swing of the longitudinal body axis to the vertical plane, about their center of gravity, and, thereby, implies a multidirectional sensitivity for the antennal-socket setae.

Meyers, D. G.

Protective Socket For Integrated Circuits

Socket for intergrated circuits (IC's) protects from excessive voltages and currents or from application of voltages and currents in wrong sequence during insertion or removal. Contains built-in switch that opens as IC removed, disconnecting leads from signals and power. Also protects other components on circuit board from transients produced by insertion and removal of IC. Makes unnecessary to turn off power to entire circuit board so other circuits on board continue to function.

Wilkinson, Chris

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

Model based verification of the Secure Socket Layer (SSL) Protocol for NASA systems

The National Aeronautics and Space Administration (NASA) has tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information theft, 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 formal verification of information technology (IT), through the creation of a Software Security Assessment Instrument (SSAI), to address software security risks.

software security

Arecibo Observatory Auxiliary M4N Socket Termination Failure Investigation

The NASA Engineering and Safety Center (NESC) was requested to support the Arecibo Observatory failure investigation in determining the root cause of the Auxiliary M4N cable failure. The NESC and Kennedy Space Center led an integrated NASA investigation with support from Marshall Space Flight Center and The Aerospace Corporation that included forensic investigation of failed hardware, finite element modeling, materials characterization, and root cause analysis. This document contains the outcome of the NESC Assessment.

Zinc Spelter Sockets

Creating a Universal PV Plug and Socket Standard

Photovoltaic connectors are designed to be quick and easy to install. Current connector qualification standards, such as UL 6703 and IEC 62852, are only intended to evaluate connectors from the same manufacturer and were recently changed to explicitly proscribe the mating of connectors from different manufacturers. Unfortunately, the industry has chosen to design connectors that will commonly connect together with those from other manufacturers. This is done to simplify installation avoiding the situations such as when the connectors on a microinverter, or other module level power electronics, do not match the connectors on the modules in the system. This rampant violation of electrical codes worldwide indicates that there is a strong desire and need to develop a universal connector standard. Here we present the initial approach and philosophy behind the formation of an IEC subgroup under TC82 WG2 looking at this problem. We intend to develop a standard where the materials and geometry of construction are specified to ensure compatibility and the design is intended to be of the highest quality. We expect that this connector will be more costly but especially in rooftop installations where power electronics requires matching components from several manufacturers, that this may still result in a net cost savings. These connectors must be of the highest quality because we wouldn’t want to develop a connector that precluded the manufacturing of a higher quality product, and because these will most commonly be used on rooftop installations where safety is more of a concern. Additionally, because we do not know which brands of connectors will be used together, we cannot simply rely on test results to ensure safety but must create a design that is as inherently safe as possible.

connectors

Ball-and-Socket-Bearing Wear Test

Series of experiments to measure wear life of spherical bearing summarized. Report designed to establish clearance, contour, finish, and lubricant parameters for highly-loaded, compact plain spherical bearing. Information useful in design of bearings for helicopter control linkages, business machines, nuclear reactor, and rotor bearings.

Graham, W. G.

Ball-and-Socket Mount for Instruments

Jaws engage instrument precisely but release it readily. Mounting mechanism holds scientific instrument securely, allows instrument to be oriented, and minimizes conduction of heat to and from instrument. Mechanism also allows quick replacement of instrument.

Kaelber, E.