Product Description: Computer systems have become an important element of the world economy, with billions of dollars spent each year on development, manufacture, operation, and maintenance. Combining coverage of computer system reliability, safety, usability, and other related topics into a single volume, Computer System Reliability: Safety and Usability eliminates the need to consult many different and diverse sources in the hunt for the information required to design better computer systems...read more

Product 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...read more

Product Description: The most important uses of computing in the future will be those related to the global `digital convergence' where all computing becomes digital and internetworked. This convergence will be propelled by new and advanced applications in storage, searching, retrieval and exchanging of information in a myriad of forms...read more

Product Description: This book describes how to achieve dependability in information systems. The author first proposes viewing systems as open systems instead of closed systems and presents Open Systems Dependability as a property for a system that has the ability to provide optimal services, minimize damage when stoppages occur, resume services quickly, and achieve accountability...read more

System Test and Diagnosis is the first book on test and diagnosis at the system level, defined as any aggregation of related elements that together form an entity of sufficient complexity for which it is impractical to treat all of the elements at the lowest level of detail. The ideas presented emphasize that it is possible to diagnose complex systems efficiently. Since the notion of system is hierarchical, these ideas are applicable to all levels. The philosophy is presented in the context of a model-based approach, using the information flow model, that focuses on the information provided by the tests rather than the functions embedded in the system. Detailed algorithms are offered for evaluating system testability, performing efficient diagnosis, verifying and validating the models, and constructing an architecture for system maintenance. Several advanced algorithms, not commonly available in existing diagnosis tools, are discussed, including reasoning with inexact or uncertain test data, breaking large problems into manageable smaller problems, diagnosing systems with time sensitive information and time dependent tests and learning from experience. The book is divided into three parts. The first part provides motivation for careful development of the subject and the second part provides the tools necessary for analyzing system testability and computing diagnostic strategies. The third part presents advanced topics in diagnosis. Several case studies are provided, including a single detailed case study. Smaller case studies describe experiences from actual applications of the methods discussed. The detailed case study walks the reader through a complete analysis of a system to illustrate the concepts and describe the analyses that are possible. All case studies are based upon real systems that have been modeled for the purposes of diagnosis. System Test and Diagnosis is the culmination of nearly twelve years of research into diagnosis modeling and its applications. It is designed as a primary reference for engineers and practitioners interested in system test and diagnosis.

Product Description: 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...read more

Product Description: Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability...read more

Product Description: This book presents and discusses research in the study of computer science. Topics discussed include biological pathways; supervised learning approaches; pathway modelling; shortest path algorithms; clustering algorithms; and, inductive logic programming and computationally efficient approximation schemes for functional optimisation...read more

Product Description: IT systems explode budget estimates, bust production deadlines by years, and then fail to work properly. Why this IT-system crisis? Poor programmers? Inadequate project management? No.  The Seductive Computer argues that the fundamental nature of programming technology itself is the real culprit; it promises perfection but can only deliver emergent chaos...read more

Product Description: A class of Delay Tolerant Networks (DTN), which may violate one or more of the assumptions regarding the overall performance characteristics of the underlying links in order to achieve smooth operation, is rapidly growing in importance but may not be well served by the current end-to-end TCP/IP model...read more

Product Description: Computational clusters have long provided a mechanism for the acceleration of high performance computing (HPC) applications. With today's supercomputers now exceeding the petaflop scale, however, they are also exhibiting an increase in heterogeneity...read more

Product Description: This book discusses the programmability and reconfigurability of modern full featured embedded systems along with current trends in interfacing methods. This book also introduces tools that allow embedded system developers to easily program for their specific embedded system hierarchy and deal with multiple levels of complexity using the C language, while exposing the feature rich functionality of embedded operating systems...read more

Product Description: In this technological era, failure to address application-layer fault-tolerance, a key ingredient to crafting truly dependable computer services, leaves the door open to unfortunate consequences in quality of service. Application-Layer Fault-Tolerance Protocols increases awareness of the need for application-layer fault-tolerance (ALFT) through introduction of problems and qualitative analysis of solutions...read more

Product Description: It was once widely believed that quantum computation would never become a reality. However, the discovery of quantum error correction and the proof of the accuracy threshold theorem nearly ten years ago gave rise to extensive development and research aimed at creating a working, scalable quantum computer...read more

Product Description: Software patterns have revolutionized the way developer’s and architects think about how software is designed, built and documented.This new title in Wiley’s prestigious Series in Software Design Patterns presents proven techniques to achieve patterns for fault tolerant software...read more

Product Description: There are many applications in which the reliability of the overall system must be far higher than the reliability of its individual components. In such cases, designers devise mechanisms and architectures that allow the system to either completely mask the effects of a component failure or recover from it so quickly that the application is not seriously affected...read more

Product Description: This book presents the theory behind software-implemented hardware fault tolerance, as well as the practical aspects needed to put it to work on real examples. By evaluating accurately the advantages and disadvantages of the already available approaches, the book provides a guide to developers willing to adopt software-implemented hardware fault tolerance in their applications...read more

Product Description: A team of recognized experts leads the way to dependable computing systemsWith computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems...read more

Product Description: In 1989, Michael Rabin proposed a fundamentally new approach to the problems of fault-tolerant routing and memory management in parallel computation, based on the idea of information dispersal. Yuh-Dauh Lyuu developed this idea in a number of new and exciting ways in his PhD thesis...read more

Product Description: As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level...read more

Product Description: As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level...read more

With computers becoming embedded as controllers in everything from network servers to the routing of subway schedules to NASA missions, there is a critical need to ensure that systems continue to function even when a component fails. In this book, bestselling author Martin Shooman draws on his expertise in reliability engineering and software engineering to provide a complete and authoritative look at fault tolerant computing. He clearly explains all fundamentals, including how to use redundant elements in system design to ensure the reliability of computer systems and networks.Market: Systems and Networking Engineers, Computer Programmers, IT Professionals. (view table of contents)

Product Description: Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events...read more (view table of contents, read Amazon.com's description)

Product Description: Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service...read more (view table of contents, read Amazon.com's description)

(view table of contents)