Search NASA⌕ Search

SEARCH · Search NASA

Results for “Fault mechanics”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Predeployment validation of fault-tolerant systems through software-implemented fault insertion

Fault injection-based automated testing (FIAT) environment, which can be used to experimentally characterize and evaluate distributed realtime systems under fault-free and faulted conditions is described. A survey is presented of validation methodologies. The need for fault insertion based on validation methodologies is demonstrated. The origins and models of faults, and motivation for the FIAT concept are reviewed. FIAT employs a validation methodology which builds confidence in the system through first providing a baseline of fault-free performance data and then characterizing the behavior of the system with faults present. Fault insertion is accomplished through software and allows faults or the manifestation of faults to be inserted by either seeding faults into memory or triggering error detection mechanisms. FIAT is capable of emulating a variety of fault-tolerant strategies and architectures, can monitor system activity, and can automatically orchestrate experiments involving insertion of faults. There is a common system interface which allows ease of use to decrease experiment development and run time. Fault models chosen for experiments on FIAT have generated system responses which parallel those observed in real systems under faulty conditions. These capabilities are shown by two example experiments each using a different fault-tolerance strategy.

Czeck, Edward W.↗
NASA NTRS1985

On the Absence of Strike-slip Faults from the Planets and Satellites

Lunar grabens are bounded by two downward converging 60 deg dipping normal faults. These faults intersect below the surface at a major mechanical discontinuity in the shallow crust between the megaregolith (total ejecta built up by repeated cratering) and the underlying in situ fractured rock. The ymmetry and simplicity of lunar grabens demands that the bounding faults initiate at this mechanical discontinuity and propagate up. Wrinkle ridges are though to result from thrust faulting or compressional folding of mare basalts. Identification and analysis of a number of terrestrial analogs that are morphologically similar to lunar and martian examples indicates that wrinkle ridges results from thrust faulting. The location of wrinkle ridges above suggested subsurface basin structures indicates that the trend and location of many wrinkle ridges are inherited from these pre-existing basin structures. This implies that the thrust faults responsible for wrinkle ridges initiate at the ase of the basalt-basin floor contact. This contact almost certainly represents a mechanical discontinuity in the shallow lunar crust because mare basalts are undoubtedly stronger than the underlying fall-back ejecta of the basin floor.

Golombek, M. P.↗
NASA NTRS1971

Gravity gradient preliminary investigations, part 2: Lunar tidal gravity gradients and stresses (exhibit C)

Preliminary analysis of the gravity gradients associated with gravity tides on the moon caused by the earth indicates that the relative changes in the gradients are very irregular, and large, and about 15 times greater than those experienced on earth. Thus gradients, in preference to gravity tides themselves, may well be an important key in correlating tide effects with lunar transient events and moonquakes, and also in determining triggering mechanisms for crustal movement and faulting. Preliminary analysis of lunar crustal stresses and strains caused by lunar gravity tides indicates that these factors may be more direct causative agents or triggering mechanisms. In particular, the cubic dilation undergoes relatively large changes and is about 11 times greater on the moon than on earth. Thus it should be correspondingly more important.

Houston, M. H.↗
NASA NTRS1992

Lithospheric dynamics near plate boundaries

The progress report on research conducted between 15 Mar. - 14 Sep. 1992 is presented. The focus of the research during the first grant year has been on several problems broadly related to the nature and dynamics of time-dependent deformation and stress along major seismic zones, with an emphasis on western North America but with additional work on seismic zones in oceanic lithosphere as well. The principal findings of our research to date are described in the accompanying papers and abstract. Topics covered include: (1) Global Positioning System measurements of deformations associated with the 1987 Superstition Hills earthquake: evidence for conjugate faulting; (2) Global Positioning System measurements of strain accumulation across the Imperial Valley, California: 1986-1989; (3) present-day crustal deformation in the Salton Trough, southern California; (4) oceanic transform earthquakes with unusual mechanisms or locations: relation to fault geometry and state of stress in the lithosphere; and (5) crustal strain and the 1992 Mojave Desert earthquakes.

Solomon, Sean C.↗
NASA NTRS1992

A verified design of a fault-tolerant clock synchronization circuit: Preliminary investigations

Schneider demonstrates that many fault tolerant clock synchronization algorithms can be represented as refinements of a single proven correct paradigm. Shankar provides mechanical proof that Schneider's schema achieves Byzantine fault tolerant clock synchronization provided that 11 constraints are satisfied. Some of the constraints are assumptions about physical properties of the system and cannot be established formally. Proofs are given that the fault tolerant midpoint convergence function satisfies three of the constraints. A hardware design is presented, implementing the fault tolerant midpoint function, which is shown to satisfy the remaining constraints. The synchronization circuit will recover completely from transient faults provided the maximum fault assumption is not violated. The initialization protocol for the circuit also provides a recovery mechanism from total system failure caused by correlated transient faults.

Miner, Paul S.↗
NASA NTRS1997

[Advanced Development for Space Robotics With Emphasis on Fault Tolerance Technology]

This report describes work developing fault tolerant redundant robotic architectures and adaptive control strategies for robotic manipulator systems which can dynamically accommodate drastic robot manipulator mechanism, sensor or control failures and maintain stable end-point trajectory control with minimum disturbance. Kinematic designs of redundant, modular, reconfigurable arms for fault tolerance were pursued at a fundamental level. The approach developed robotic testbeds to evaluate disturbance responses of fault tolerant concepts in robotic mechanisms and controllers. The development was implemented in various fault tolerant mechanism testbeds including duality in the joint servo motor modules, parallel and serial structural architectures, and dual arms. All have real-time adaptive controller technologies to react to mechanism or controller disturbances (failures) to perform real-time reconfiguration to continue the task operations. The developments fall into three main areas: hardware, software, and theoretical.

Tesar, Delbert↗
NASA NTRS1993

Fault geometries and extension in the Valles Marineris, Mars

The central troughs of the Valles Marineris system on Mars are generally regarded to be of tectonic origin because they are linear and bounded by faults. Their radial orientation to the Tharsis rise suggests that at least their incipient formation was influenced by the formation of the rise, but the exact role of Tharsis is not yet well understood. Collapse and erosion may have significantly modified the original tectonic troughs. To better understand the magnitude and mechanism of crustal extension across the Valles Marineris, the attitudes of trough-wall faults that parallel the long axes of the troughs were studied. Our results will help to determine if the extension is related to the Tharsis rise, to a local arch along which the troughs lie, or to other mechanisms. Fault-plane attitudes were obtained by performing a photogrammetric study of fault traces in the walls of Candor and Melas Chasmata. If the exposed wall faults are not major trough-bounding faults, it is assumed that these major faults are buried at the base of the walls and have similar geometries to the exposed faults. Three dimensional coordinates of several points along each fault trace were obtained and three-point solutions to their geometries were constructed. As expected, the results show that the faults dip toward the interior of the troughs, suggesting that they are indeed normal faults associated with trough formation.

Chadwick, D. J.↗
NASA NTRS1990

Multiversion software reliability through fault-avoidance and fault-tolerance

In this project we have proposed to investigate a number of experimental and theoretical issues associated with the practical use of multi-version software in providing dependable software through fault-avoidance and fault-elimination, as well as run-time tolerance of software faults. In the period reported here we have working on the following: We have continued collection of data on the relationships between software faults and reliability, and the coverage provided by the testing process as measured by different metrics (including data flow metrics). We continued work on software reliability estimation methods based on non-random sampling, and the relationship between software reliability and code coverage provided through testing. We have continued studying back-to-back testing as an efficient mechanism for removal of uncorrelated faults, and common-cause faults of variable span. We have also been studying back-to-back testing as a tool for improvement of the software change process, including regression testing. We continued investigating existing, and worked on formulation of new fault-tolerance models. In particular, we have partly finished evaluation of Consensus Voting in the presence of correlated failures, and are in the process of finishing evaluation of Consensus Recovery Block (CRB) under failure correlation. We find both approaches far superior to commonly employed fixed agreement number voting (usually majority voting). We have also finished a cost analysis of the CRB approach.

Vouk, Mladen A.↗
NASA NTRS1986

The tensile and fatigue deformation structures in a single crystal Ni-base superalloy

Dislocation structures produced in Rene N4 crystals of various orientations deformed in tension and low cycle fatigue (LCF) at 760 and 980 degrees C were examined in order to elucidate the observed differences in stress-strain behavior. Specimens tensile tested at 760 degrees C displayed significant crystallographic orientation dependences in mechanical response but comparable inhomogeneous dislocation structures. LCF specimens of various orientations had comparable cyclic stress-strain curves and generally similar somewhat more homogeneous dislocation structures. Tensile specimens at the higher temperature had comparable mechanical response and corresponding similar quite homogeneous dislocation structures with gamma' faulting; and LCF specimens had orientation-dependent mechanical response but comparable homogeneous loose dislocation networks.

Gabb, T. P.↗
NASA NTRS1990

Distributed deformation and block rotation in 3D

The authors address how block rotation and complex distributed deformation in the Earth's shallow crust may be explained within a stationary regional stress field. Distributed deformation is characterized by domains of sub-parallel fault-bounded blocks. In response to the contemporaneous activity of neighboring domains some domains rotate, as suggested by both structural and paleomagnetic evidence. Rotations within domains are achieved through the contemporaneous slip and rotation of the faults and of the blocks they bound. Thus, in regions of distributed deformation, faults must remain active in spite of their poor orientation in the stress field. The authors developed a model that tracks the orientation of blocks and their bounding faults during rotation in a 3D stress field. In the model, the effective stress magnitudes of the principal stresses (sigma sub 1, sigma sub 2, and sigma sub 3) are controlled by the orientation of fault sets in each domain. Therefore, adjacent fault sets with differing orientations may be active and may display differing faulting styles, and a given set of faults may change its style of motion as it rotates within a stationary stress regime. The style of faulting predicted by the model depends on a dimensionless parameter phi = (sigma sub 2 - sigma sub 3)/(sigma sub 1 - sigma sub 3). Thus, the authors present a model for complex distributed deformation and complex offset history requiring neither geographical nor temporal changes in the stress regime. They apply the model to the Western Transverse Range domain of southern California. There, it is mechanically feasible for blocks and faults to have experienced up to 75 degrees of clockwise rotation in a phi = 0.1 strike-slip stress regime. The results of the model suggest that this domain may first have accommodated deformation along preexisting NNE-SSW faults, reactivated as normal faults. After rotation, these same faults became strike-slip in nature.

Scotti, Oona↗
NASA NTRS1992

Payload retention device

A payload retention device for grappling and retaining a payload in docked position on a supporting structure in the cargo bay of a space vehicle is presented. The device comprises a two-fault tolerant electromagnetic grappling system comprising electromagnets for attracting and grappling a grapple strike plate affixed to the payload when in proximity thereto and an electromechanical latching assembly comprising a pair of independent latching subassemblies. Each subassembly comprises a set of latching pawls which are driven into latching and unlatching positions relative to a grappled payload by a pair of gearmotors, each equipped with a ratchet clutch drive mechanism which is two-fault tolerant with respect to latching such that only one gearmotor of the four needs to be operational to effect a latch of the payload but is single fault tolerant with respect to release of a latched payload. Sensors are included for automatically sensing the magnetic grappling of a payload and for automatically de-energizing the gearmotors of the latching subassemblies when a latch condition is achieved.

Monford, Leo G., Jr.↗
NASA NTRS1989

Multi-version software reliability through fault-avoidance and fault-tolerance

A number of experimental and theoretical issues associated with the practical use of multi-version software to provide run-time tolerance to software faults were investigated. A specialized tool was developed and evaluated for measuring testing coverage for a variety of metrics. The tool was used to collect information on the relationships between software faults and coverage provided by the testing process as measured by different metrics (including data flow metrics). Considerable correlation was found between coverage provided by some higher metrics and the elimination of faults in the code. Back-to-back testing was continued as an efficient mechanism for removal of un-correlated faults, and common-cause faults of variable span. Software reliability estimation methods was also continued based on non-random sampling, and the relationship between software reliability and code coverage provided through testing. New fault tolerance models were formulated. Simulation studies of the Acceptance Voting and Multi-stage Voting algorithms were finished and it was found that these two schemes for software fault tolerance are superior in many respects to some commonly used schemes. Particularly encouraging are the safety properties of the Acceptance testing scheme.

Vouk, Mladen A.↗
NASA NTRS1977

Computer simulation of earthquakes

In a computer simulation study of earthquakes a seismically active strike slip fault is represented by coupled mechanical blocks which are driven by a moving plate and which slide on a friction surface. Elastic forces and time independent friction are used to generate main shock events, while viscoelastic forces and time dependent friction add aftershock features. The study reveals that the size, length, and time and place of event occurrence are strongly influenced by the magnitude and degree of homogeneity in the elastic, viscous, and friction parameters of the fault region. For example, periodically reoccurring similar events are observed in simulations with near-homogeneous parameters along the fault, whereas seismic gaps are a common feature of simulations employing large variations in the fault parameters. The study also reveals correlations between strain energy release and fault length and average displacement and between main shock and aftershock displacements.

Cohen, S. C.↗
NASA NTRS1999

Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance

Automated aircraft control has traditionally been divided into distinct "functions" that are implemented separately (e.g., autopilot, autothrottle, flight management); each function has its own fault-tolerant computer system, and dependencies among different functions are generally limited to the exchange of sensor and control data. A by-product of this "federated" architecture is that faults are strongly contained within the computer system of the function where they occur and cannot readily propagate to affect the operation of other functions. More modern avionics architectures contemplate supporting multiple functions on a single, shared, fault-tolerant computer system where natural fault containment boundaries are less sharply defined. Partitioning uses appropriate hardware and software mechanisms to restore strong fault containment to such integrated architectures. This report examines the requirements for partitioning, mechanisms for their realization, and issues in providing assurance for partitioning. Because partitioning shares some concerns with computer security, security models are reviewed and compared with the concerns of partitioning.

Rushby, John↗
NASA NTRS1991

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

The formal specification and mechanically checked verification for a model of fault-masking and transient-recovery among the replicated computers of digital flight-control systems are presented. The verification establishes, subject to certain carefully stated assumptions, that faults among the component computers are masked so that commands sent to the actuators are the same as those that would be sent by a single computer that suffers no failures.

Rushby, John↗
NASA NTRS1983

AC propulsion system for an electric vehicle, phase 2

A second-generation prototype ac propulsion system for a passenger electric vehicle was designed, fabricated, tested, installed in a modified Mercury Lynx vehicle and track tested at the Contractor's site. The system consisted of a Phase 2, 18.7 kw rated ac induction traction motor, a 192-volt, battery powered, pulse-width-modulated, transistorized inverter packaged for under rear seat installation, a 2-axis, 2-speed, automatically-shifted mechanical transaxle and a microprocessor-based powertrain/vehicle controller. A diagnostics computer to assist tuning and fault finding was fabricated. Dc-to-mechanical-system efficiency varied from 78% to 82% as axle speed/torque ranged from 159 rpm/788 nm to 65 rpm/328 nm. Track test efficiency results suggest that the ac system will be equal or superior to dc systems when driving urban cycles. Additional short-term work is being performed under a third contract phase (AC-3) to raise transaxle efficiency to predicted levels, and to improve starting and shifting characteristics. However, the long-term challenge to the system's viability remains inverter cost. A final report on the Phase 2 system, describing Phase 3 modifications, will be issued at the conclusion of AC-3.

Slicker, J. M.↗
NASA NTRS2008

Verification of a Byzantine-Fault-Tolerant Self-stabilizing Protocol for Clock Synchronization

This paper 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 except for the presence of sufficient good nodes, thus making the weakest possible assumptions and producing the strongest results. 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). 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.

Malekpour, Mahyar R.↗