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 344 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 Software Fault Tolerance written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-06-11 with total page 66 pages. Available in PDF, EPUB and Kindle. Book excerpt: Because of our present inability to produce error-free software, software fault tolerance is and will continue to be an important consideration in software systems. The root cause of software design errors is the complexity of the systems. Compounding the problems in building correct software is the difficulty in assessing the correctness of software for highly complex systems. After a brief overview of the software development processes, we note how hard-to-detect design faults are likely to be introduced during development and how software faults tend to be state-dependent and activated by particular input sequences. Although component reliability is an important quality measure for system level analysis, software reliability is hard to characterize and the use of post-verification reliability estimates remains a controversial issue. For some applications software safety is more important than reliability, and fault tolerance techniques used in those applications are aimed at preventing catastrophes. Single version software fault tolerance techniques discussed include system structuring and closure, atomic actions, inline fault detection, exception handling, and others. Multiversion techniques are based on the assumption that software built differently should fail differently and thus, if one of the redundant versions fails, it is expected that at least one of the other versions will provide an acceptable output. Recovery blocks, N-version programming, and other multiversion techniques are reviewed.Torres-Pomales, WilfredoLangley Research CenterSOFTWARE ENGINEERING; SOFTWARE RELIABILITY; COMPUTER PROGRAMMING; COMPUTER PROGRAMS; FAULT TOLERANCE; APPLICATIONS PROGRAMS (COMPUTERS); SOFTWARE DEVELOPMENT TOOLS; OPERATING SYSTEMS (COMPUTERS); COMPUTER SYSTEMS DESIGN; COMPLEX SYSTEMS; COMPONENT RELIABILITY; QUALITY CONTROL

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 Control Allocation for Spacecraft Under Actuator Faults written by Qinglei Hu and published by Springer Nature. This book was released on 2021-03-13 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a systematical and comprehensive description of some facets of modeling, designing, analyzing and exploring the control allocation and fault-tolerant control problems for over-actuated spacecraft attitude control system under actuator failures, system uncertainties and disturbances. The book intends to provide a unified platform for understanding and applicability of the fault-tolerant attitude control and control allocation for different purposes in aerospace engineering and some related fields. And it is particularly suited for readers who are interested to learn solutions in spacecraft attitude control system design and related engineering applications.

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 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 Fault tolerant Onboard Digital Information Switching and Routing for Communications Satellites written by Mary Jo W. Shalkhauser and published by . This book was released on 1993 with total page 16 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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.

Download or read book Principles of Computer System Design written by Jerome H. Saltzer and published by Morgan Kaufmann. This book was released on 2009-05-21 with total page 561 pages. Available in PDF, EPUB and Kindle. Book excerpt: Principles of Computer System Design is the first textbook to take a principles-based approach to the computer system design. It identifies, examines, and illustrates fundamental concepts in computer system design that are common across operating systems, networks, database systems, distributed systems, programming languages, software engineering, security, fault tolerance, and architecture. Through carefully analyzed case studies from each of these disciplines, it demonstrates how to apply these concepts to tackle practical system design problems. To support the focus on design, the text identifies and explains abstractions that have proven successful in practice such as remote procedure call, client/service organization, file systems, data integrity, consistency, and authenticated messages. Most computer systems are built using a handful of such abstractions. The text describes how these abstractions are implemented, demonstrates how they are used in different systems, and prepares the reader to apply them in future designs. The book is recommended for junior and senior undergraduate students in Operating Systems, Distributed Systems, Distributed Operating Systems and/or Computer Systems Design courses; and professional computer systems designers. Concepts of computer system design guided by fundamental principles Cross-cutting approach that identifies abstractions common to networking, operating systems, transaction systems, distributed systems, architecture, and software engineering Case studies that make the abstractions real: naming (DNS and the URL); file systems (the UNIX file system); clients and services (NFS); virtualization (virtual machines); scheduling (disk arms); security (TLS) Numerous pseudocode fragments that provide concrete examples of abstract concepts Extensive support. The authors and MIT OpenCourseWare provide on-line, free of charge, open educational resources, including additional chapters, course syllabi, board layouts and slides, lecture videos, and an archive of lecture schedules, class assignments, and design projects

Download or read book Application of Fault Tolerant Computing for Spacecraft Using Commercial off the Shelf Microprocessors written by Susan E. Groening and published by . This book was released on 2000-06-01 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: Low availability, high cost, and poor performance of radiation hardened (rad-hard) equipment has driven the market to rely on commercial-off- the-shelf (COTS) equipment for the computing needs of today's spacecraft. This thesis describes the tailoring of a COTS embedded real-time operating system and design of a human-computer interface (HCI) for a triple modular redundant (TMR) fault-tolerant microprocessor for use in space-based applications. Once disadvantage of using COTS hardware components is their susceptibility to the radiation effects present in the space environment. and specifically, radiation- induced single-event upsets (SEUs). In the event of an SEU, a fault-tolerant system can mitigate the effects of the upset and continue to process from the last known correct system state. The TMR basic hardware design used for this research is an acceptable fault-tolerant design candidate for the main processor for space-based applications. We found that a COTS embedded real-time operating system could be tailored to support the TMR hardware. The HCI accepts serial data from the TMR, correctly identifies the source of the error, allows for processor mode selection and provides system- and board-level reset capabilities. The tailored operating system combined with the HCI is a viable software imp- lementation to support hardware-based fault-tolerant computing in a space environment.

Download or read book Guidance and Control written by and published by . This book was released on 1993 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fault Tolerant Computer Architecture written by Daniel Sorin and published by Springer Nature. This book was released on 2022-05-31 with total page 103 pages. Available in PDF, EPUB and Kindle. Book excerpt: For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future

Download or read book Guidance and Control 1993 written by Robert D. Culp and published by . This book was released on 1993 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fault Tolerant Design written by Elena Dubrova and published by Springer Science & Business Media. This book was released on 2013-03-15 with total page 195 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook serves as an introduction to fault-tolerance, intended for upper-division undergraduate students, graduate-level students and practicing engineers in need of an overview of the field. Readers will develop skills in modeling and evaluating fault-tolerant architectures in terms of reliability, availability and safety. They will gain a thorough understanding of fault tolerant computers, including both the theory of how to design and evaluate them and the practical knowledge of achieving fault-tolerance in electronic, communication and software systems. Coverage includes fault-tolerance techniques through hardware, software, information and time redundancy. The content is designed to be highly accessible, including numerous examples and exercises. Solutions and powerpoint slides are available for instructors.

Download or read book Design and Analysis of Fault tolerant Digital Systems written by Barry W. Johnson and published by . This book was released on 1989 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book An Introductory Guide to EC Competition Law and Practice written by Valentine Korah and published by . This book was released on 1994 with total page 2354 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fault Tolerant Systems written by Israel Koren and published by Elsevier. This book was released on 2010-07-19 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software. No other text on the market takes this approach, nor offers the comprehensive and up-to-date treatment that Koren and Krishna provide. This book incorporates case studies that highlight six different computer systems with fault-tolerance techniques implemented in their design. A complete ancillary package is available to lecturers, including online solutions manual for instructors and PowerPoint slides. Students, designers, and architects of high performance processors will value this comprehensive overview of the field. The first book on fault tolerance design with a systems approach Comprehensive coverage of both hardware and software fault tolerance, as well as information and time redundancy Incorporated case studies highlight six different computer systems with fault-tolerance techniques implemented in their design Available to lecturers is a complete ancillary package including online solutions manual for instructors and PowerPoint slides