Software fault tolerance techniques and implementation
著者
書誌事項
Software fault tolerance techniques and implementation
（Artech House computing library）
Artech House, c2001
大学図書館所蔵 全12件
注記
Artech House computing library
Includes bibliographical references and index
内容説明・目次
内容説明
This innovative resource provides the most comprehensive coverage of software fault tolerance techniques to guide professionals through design, operation and performance. It features an in-depth discussion on the advantages and disadvantages of specific techniques, so practitioners can decide which ones are best suited for their work. The book examines key programming techniques such as assertions, checkpointing, and atomic actions, and provides design tips and models to assist in the development of critical software fault tolerance software systems that help ensure dependable performance. From software reliability, recovery and redundancy to design- and data-diverse software fault tolerance techniques, this practical reference provides detailed insight into techniques that will improve the overall quality of software.
目次
Introduction - Means to Achieve Dependable Software. Types of Recovery. Types of Redundancy for Software Fault Tolerance. Structuring Redundancy for Software Fault Tolerance - Robust Software. Design Diversity. Data Diversity. Temporal Diversity. Architectural Structure for Diverse Software. Structure for Development of Diverse Software. Summary. Design Methods, Programming Techniques and Issues - Problems and Issues. Programming Techniques. Dependable System Development Model and N-Version Software Paradigm. Design Diverse Software Fault Tolerance Techniques - Recovery Blocks. N-Version Programming. Distributed Recovery Blocks. N -Self-Checking Programming. Consensus Recovery Block. Acceptance Voting. Technique Comparisons. Data Diverse Software Fault Tolerance Techniques - Retry Blocks. N-Copy Programming. Two-Pass Adjudicators. Other Software Fault Tolerance Techniques - N-Version Programming Variants. Resourceful Systems. Data-Driven Dependability Assurance Scheme. Self-Configuring Optimal Programming. Other Techniques. Adjudicating the Results - Voters. Acceptance Tests.
「Nielsen BookData」 より