Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems (Kluwer International Series in Engineering and Computer Science)

個数:

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems (Kluwer International Series in Engineering and Computer Science)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 188 p.
  • 言語 ENG
  • 商品コード 9780792376248
  • DDC分類 004.2

Full Description

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system.
The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part of the book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures.
From the Foreword: "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards."
George Verghese, Massachusetts Institute of Technology
Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.

Contents

List of Figures. List of Tables. Foreword by George Verghese. Preface. Acknowledgments. 1: Introduction. 1. Definitions, Motivation and Background. 2. Fault-Tolerant Combinational Systems. 2.1. Reliable Combinational Systems. 2.2. Minimizing Redundant Hardware. 3. Fault-Tolerant Dynamic Systems. 3.1. Redundant Implementations. 3.2. Faults in the Error-Correcting Mechanism. 4. Coding Techniques for Fault Diagnosis. Part I: Fault-Tolerant Combinational Systems. 2: Reliable Combinational Systems Out of Unreliable Components. 1. Introduction. 2. Computational Models for Combinational Systems. 3. Von Neumann's Approach to Fault Tolerance. 4. Extensions of Von Neumann's Approach. 4.1. Maximum Tolerable Noise for 3-Input Gates. 4.2. Maximum Tolerable Noise for u-Input Gates. 5. Related Work and Further Reading. 3: ABFT for Combinational Systems. 1. Introduction. 2. Arithmetic Codes. 3.Algorithm-Based Fault Tolerance. 4. Generalizations of Arithmetic Coding to Operations with Algebraic Structure. 4.1. Fault Tolerance for Abelian Group Operations. 4.1.1. Use of Group Homomorphisms. 4.1.2. Error Detection and Correction. 4.1.3. Separate Group Codes. 4.2. Fault Tolerance for Semigroup Operations. 4.2.1. Use of Semigroup Homomorphisms. 4.2.2. Error Detection and Correction. 4.2.3. Separate Semigroup Codes. 4.3. Extensions. Part II: Fault-Tolerant Dynamic Systems. 4: Redundant Implementations of Algebraic Machines. 1. Introduction. 2. Algebraic Machines: Definitions and Decompositions. 3. Redundant Implementations of Group Machines. 3.1. Separate Monitors for Group Machines. 3.2. Non-Separate Redundant Implementations for Group Machines. 4. Redundant Implementations of Semigroup Machines. 4.1. Separate Monitors for Reset-Identity Machines. 4.2. Non-Separate Redundant Implementations for Reset-Identity Machines. 5. Summary. 5: Redundant Implementations of Discrete-Time LTI Dynamic Systems. 1. Introduction. 2. Discrete-Time LTI Dynamic Systems. 3. Characterization of Redundant Implementations. 4. Hardware Implementation and Fault Model. 5. Examples of Fault-Tolerant Systems. 6. Summary. 6: Redundant Implementations of Linear Finite-state Machines. 1. Introduction. 2. Linear Finite-State Machines. 3. Characterization of Redundant Implementations. 4. Examples of Fault-Tolerant Systems. 5. Hardware Minimization in Redundant LFSM Implementations. 6. Summary. 7: Unreliable Error Correction in Dynamic Systems. 1. Introduction. 2. Fault Model for Dynamic Systems. 3. Reliable Dynamic Systems using Distributed Voting Schemes. 4. Reliable Linear Finite-State Machines. 4.1. Low-Density Parity Check Codes and Stable Memories. 4.2. Reliable Linear Finite-State Machines using Constant Redundancy. 5. Other Issues. 8: Coding A