Download or read book Fault Tolerance Techniques for Spacecraft Control Computers written by Mengfei Yang and published by John Wiley & Sons. This book was released on 2017-01-23 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: Comprehensive coverage of all aspects of space application oriented fault tolerance techniques • Experienced expert author working on fault tolerance for Chinese space program for almost three decades • Initiatively provides a systematic texts for the cutting-edge fault tolerance techniques in spacecraft control computer, with emphasis on practical engineering knowledge • Presents fundamental and advanced theories and technologies in a logical and easy-to-understand manner • Beneficial to readers inside and outside the area of space applications
Download or read book Fault Tolerance Techniques for Spacecraft Control Computers written by Mengfei Yang and published by John Wiley & Sons. This book was released on 2017-01-23 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: Comprehensive coverage of all aspects of space application oriented fault tolerance techniques • Experienced expert author working on fault tolerance for Chinese space program for almost three decades • Initiatively provides a systematic texts for the cutting-edge fault tolerance techniques in spacecraft control computer, with emphasis on practical engineering knowledge • Presents fundamental and advanced theories and technologies in a logical and easy-to-understand manner • Beneficial to readers inside and outside the area of space applications
Download or read book Fault Tolerance Techniques in Spacecraft Data Handling Systems written by Ulf Gunneflo and published by . This book was released on 1986 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Tolerant Software for Spacecraft Applications written by H. Hecht and published by . This book was released on 1975 with total page 51 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-tolerant computers have been developed for applications that require a very high degree of hardware reliability, and it is frequently asked whether similar techniques can be brought to bear on software for critical applications, e.g., ascent guidance software on launch vehicles, launch-control software for ground computers, and control and command software. The principal techniques employed in hardware fault tolerance are seen to be applicable also through software fault tolerance: error detection, protective redundancy, and rollback provisions. Of course, they need to be implemented in a specific manner; particularly the redundancy must be provided by a different code than that used for the primary modules. The recovery block (proposed by Randell), with the addition of a watchdog timer, has been implemented in a number of skeleton routines and has been found quite suitable in connection with the established structure for spaceborne software. A reliability model is proposed that shows a very considerable reduction in failure probability even when the fault-tolerance provisions themselves are far from perfect. It is therefore believed that the time is quite ripe to undertake serious studies of fault-tolerant software for space applications. (Author).
Download or read book Low Power Fault Tolerance for Spacecraft FPGA Based Numerical Computing written by and published by . This book was released on 2006 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault tolerance is explored for spacecraft computers employing Field-Programmable Gate Arrays (FPGAs). Techniques are investigated for tolerating Single Event Upsets (SEUs) caused by radiation in the space environment. A new architectural approach is proposed for achieving SEU tolerance that minimizes power and size overhead costs by reducing the precision with which error checking is done. This Reduced Precision Redundancy (RPR) approach is compared to the traditional Triple Modular Redundancy (TMR) method. A methodology is presented for quantifying the costs and benefits of various performance factors, and thereby determining optimal design solutions. This methodology considers reliability as a performance factor that can be traded-off against factors such as power, size and speed. An SEU simulation system is developed for studying the effect of SEUs on actual FPGA circuits. Live proton radiation testing and computer-controlled fault injection simulations demonstrate the effectiveness of RPR and TMR. Computer simulations of power usage demonstrate the savings achieved with RPR. RPR is as reliable as TMR while requiring 1/3 to 1/2 as much power. The effect of imprecise computations that may be produced by an RPR system is studied. An image processing application illustrates the type of problems for which RPR can be applied effect.
Download or read book Software Fault Tolerance Techniques and Implementation written by Laura L. Pullum and published by Artech House. This book was released on 2001 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: Look to this innovative resource for the most-comprehensive coverage of software fault tolerance techniques available in a single volume. It offers you a thorough understanding of the operation of critical software fault tolerance techniques and guides you through their design, operation and performance. You get an in-depth discussion on the advantages and disadvantages of specific techniques, so you can decide which ones are best suited for your work.
Download or read book Software Fault Tolerance written by Michael R. Lyu and published by . This book was released on 1995-05-09 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms, and error recovery. This issue of Trends in Software focuses on identification, formulation, application, and evaluation of current software fault tolerance techniques.
Download or read book Fault Tolerance Techniques for High Performance Computing written by Thomas Herault and published by Springer. This book was released on 2015-07-01 with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical performance models. This is then followed by a review of general-purpose techniques, including several checkpoint and rollback recovery protocols. Relevant execution scenarios are also evaluated and compared through quantitative models. Features: provides a survey of resilience methods and performance models; examines the various sources for errors and faults in large-scale systems; reviews the spectrum of techniques that can be applied to design a fault-tolerant MPI; investigates different approaches to replication; discusses the challenge of energy consumption of fault-tolerance methods in extreme-scale systems.
Download or read book Fault Tolerance Techniques in Spacecraft Data Handling Systems written by and published by . This book was released on 1986 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Fault Tolerance A Tutorial written by and published by . This book was released on 2000 with total page 68 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Tolerant Attitude Control of Spacecraft written by Qinglei Hu and published by Elsevier. This book was released on 2021-06-09 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-Tolerant Attitude Control of Spacecraft presents the fundamentals of spacecraft fault-tolerant attitude control systems, along with the most recent research and advanced, nonlinear control techniques. This book gives researchers a self-contained guide to the complex tasks of envisaging, designing, implementing and experimenting by presenting designs for integrated modeling, dynamics, fault-tolerant attitude control, and fault reconstruction for spacecraft. Specifically, the book gives a full literature review and presents preliminaries and mathematical models, robust fault-tolerant attitude control, fault-tolerant attitude control with actuator saturation, velocity-free fault tolerant attitude control, finite-time fault-tolerant attitude tracking control, and active fault-tolerant attitude contour. Finally, the book looks at the future of this interesting topic, offering readers a one-stop solution for those working on fault-tolerant attitude control for spacecraft. - Presents the fundamentals of fault-tolerant attitude control systems for spacecraft in one practical solution - Gives the latest research and thinking on nonlinear attitude control, fault tolerant control, and reliable attitude control - Brings together concepts in fault control theory, fault diagnosis, and attitude control for spacecraft - Covers advances in theory, technological aspects, and applications in spacecraft - Presents detailed numerical and simulation results to assist engineers - Offers a clear, systematic reference on fault-tolerant control and attitude control for spacecraft
Download or read book Implementation of a Fault Tolerant Computing Testbed written by David C. Summers and published by . This book was released on 2000-06-01 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: With spacecraft designs placing more emphasis on reduced cost, faster design time, and higher performance, it is easy to understand why more commercial-off-the-shelf (COTS) devices are being used in space based applications. The COTS devices offer spacecraft designers shorter design-to- orbit times, lower system costs, orders of magnitude better performance, and a much better software availability than their radiation hardened (radhard) counterparts. The major drawback to using COTS devices in space is their increased susceptibility to the effects of radiation, single event upsets (SEUs) in particular. This thesis will focus on the implementation of a fault tolerant computer system. The hardware design presented here has two different benefits. First, the system can act as a software testbed, which allows testing of software fault tolerant techniques in the presence of radiation induced SEUs. This allows the testing of the software algorithms in the environment they were designed to operate in without the expense of being placed in orbit. Additionally, the design can be used as a hybrid fault tolerant computer system. By combining the masking ability of the hardware with supporting software, the system can mask out and reset processor errors in real time. The design layout will be presented using OrCAD schematics.
Download or read book Fault Tolerance Principles and Practice written by P. A. Lee and published by Springer. This book was released on 1990 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Guidance and Control Techniques for Advanced Space Vehicles written by and published by . This book was released on 1984 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Methods Models and Tools for Fault Tolerance written by Michael Butler and published by Springer Science & Business Media. This book was released on 2009-03-26 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.
Download or read book Minimalist Fault Masking Detection and Recovery Techniques for Mitigating Single Event Effects in Spaceborne Microcontrollers written by D. W. Caldwell and published by . This book was released on 1998 with total page 19 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "This paper presents a design approach for implementing fault-tolerant embedded computing nodes in spacecraft using non-hardened, commodity microcontrollers. The approach uses fault-tolerance to address high rate transient errors and occasional latch ups that are expected of such devices in the space radiation environment. A key constraint is to minimize the amount of external logic needed to support fault-tolerance so that the primary advantage of microcontrollers, high functional density, can be maintained. Low-cost approaches which leverage features of existing commercial microcontrollers are discussed. A built-in, high-speed serial port is used for voting among redundant devices and a novel wire-OR output voting scheme exploits the bidirectional controls of I/O pins. A fault-tolerant node architecture is presented, and the effectiveness of the fault-tolerance techniques is discussed. A testbed is being constructed to verify the described techniques, using triplicated microcontrollers to control a 3-axis set of rate gyros, thereby providing a realistic application example."
Download or read book Software Performability From Concepts to Applications written by Ann T. Tai and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performance computer systems.
