Author: Jean-Claude Laprie
Publisher: Springer
ISBN: 370919170X
Category : Computers
Languages : en
Pages : 268
Book Description
Dependability: Basic Concepts and Terminology
Building Dependable Distributed Systems
Author: Wenbing Zhao
Publisher: John Wiley & Sons
ISBN: 1118912632
Category : Computers
Languages : en
Pages : 246
Book Description
A one-volume guide to the most essential techniques for designing and building dependable distributed systems Instead of covering a broad range of research works for each dependability strategy, this useful reference focuses on only a selected few (usually the most seminal works, the most practical approaches, or the first publication of each approach), explaining each in depth, usually with a comprehensive set of examples. Each technique is dissected thoroughly enough so that readers who are not familiar with dependable distributed computing can actually grasp the technique after studying the book. Building Dependable Distributed Systems consists of eight chapters. The first introduces the basic concepts and terminology of dependable distributed computing, and also provides an overview of the primary means of achieving dependability. Checkpointing and logging mechanisms, which are the most commonly used means of achieving limited degree of fault tolerance, are described in the second chapter. Works on recovery-oriented computing, focusing on the practical techniques that reduce the fault detection and recovery times for Internet-based applications, are covered in chapter three. Chapter four outlines the replication techniques for data and service fault tolerance. This chapter also pays particular attention to optimistic replication and the CAP theorem. Chapter five explains a few seminal works on group communication systems. Chapter six introduces the distributed consensus problem and covers a number of Paxos family algorithms in depth. The Byzantine generals problem and its latest solutions, including the seminal Practical Byzantine Fault Tolerance (PBFT) algorithm and a number of its derivatives, are introduced in chapter seven. The final chapter details the latest research results surrounding application-aware Byzantine fault tolerance, which represents an important step forward in the practical use of Byzantine fault tolerance techniques.
Publisher: John Wiley & Sons
ISBN: 1118912632
Category : Computers
Languages : en
Pages : 246
Book Description
A one-volume guide to the most essential techniques for designing and building dependable distributed systems Instead of covering a broad range of research works for each dependability strategy, this useful reference focuses on only a selected few (usually the most seminal works, the most practical approaches, or the first publication of each approach), explaining each in depth, usually with a comprehensive set of examples. Each technique is dissected thoroughly enough so that readers who are not familiar with dependable distributed computing can actually grasp the technique after studying the book. Building Dependable Distributed Systems consists of eight chapters. The first introduces the basic concepts and terminology of dependable distributed computing, and also provides an overview of the primary means of achieving dependability. Checkpointing and logging mechanisms, which are the most commonly used means of achieving limited degree of fault tolerance, are described in the second chapter. Works on recovery-oriented computing, focusing on the practical techniques that reduce the fault detection and recovery times for Internet-based applications, are covered in chapter three. Chapter four outlines the replication techniques for data and service fault tolerance. This chapter also pays particular attention to optimistic replication and the CAP theorem. Chapter five explains a few seminal works on group communication systems. Chapter six introduces the distributed consensus problem and covers a number of Paxos family algorithms in depth. The Byzantine generals problem and its latest solutions, including the seminal Practical Byzantine Fault Tolerance (PBFT) algorithm and a number of its derivatives, are introduced in chapter seven. The final chapter details the latest research results surrounding application-aware Byzantine fault tolerance, which represents an important step forward in the practical use of Byzantine fault tolerance techniques.
Fundamentals of Dependable Computing for Software Engineers
Author: John Knight
Publisher: CRC Press
ISBN: 1439862559
Category : Computers
Languages : en
Pages : 438
Book 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. Readers will learn: Why dependability matters What it means for a system to be dependable How to build a dependable software system How to assess whether a software system is adequately dependable The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature. Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.
Publisher: CRC Press
ISBN: 1439862559
Category : Computers
Languages : en
Pages : 438
Book 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. Readers will learn: Why dependability matters What it means for a system to be dependable How to build a dependable software system How to assess whether a software system is adequately dependable The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature. Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.
Dependable Computing - EDCC-1
Author: Klaus Echtle
Publisher: Springer Science & Business Media
ISBN: 9783540584261
Category : Computers
Languages : en
Pages : 642
Book Description
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
Publisher: Springer Science & Business Media
ISBN: 9783540584261
Category : Computers
Languages : en
Pages : 642
Book Description
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
Reliability Engineering and Services
Author: Tongdan Jin
Publisher: John Wiley & Sons
ISBN: 1119167019
Category : Technology & Engineering
Languages : en
Pages : 562
Book Description
Offers a holistic approach to guiding product design, manufacturing, and after-sales support as the manufacturing industry transitions from a product-oriented model to service-oriented paradigm This book provides fundamental knowledge and best industry practices in reliability modelling, maintenance optimization, and service parts logistics planning. It aims to develop an integrated product-service system (IPSS) synthesizing design for reliability, performance-based maintenance, and spare parts inventory. It also presents a lifecycle reliability-inventory optimization framework where reliability, redundancy, maintenance, and service parts are jointly coordinated. Additionally, the book aims to report the latest advances in reliability growth planning, maintenance contracting and spares inventory logistics under non-stationary demand condition. Reliability Engineering and Service provides in-depth chapter coverage of topics such as: Reliability Concepts and Models; Mean and Variance of Reliability Estimates; Design for Reliability; Reliability Growth Planning; Accelerated Life Testing and Its Economics; Renewal Theory and Superimposed Renewals; Maintenance and Performance-Based Logistics; Warranty Service Models; Basic Spare Parts Inventory Models; Repairable Inventory Systems; Integrated Product-Service Systems (IPPS), and Resilience Modeling and Planning Guides engineers to design reliable products at a low cost Assists service engineers in providing superior after-sales support Enables managers to respond to the changing market and customer needs Uses end-of-chapter case studies to illustrate industry best practice Lifecycle approach to reliability, maintenance and spares provisioning Reliability Engineering and Service is an important book for graduate engineering students, researchers, and industry-based reliability practitioners and consultants.
Publisher: John Wiley & Sons
ISBN: 1119167019
Category : Technology & Engineering
Languages : en
Pages : 562
Book Description
Offers a holistic approach to guiding product design, manufacturing, and after-sales support as the manufacturing industry transitions from a product-oriented model to service-oriented paradigm This book provides fundamental knowledge and best industry practices in reliability modelling, maintenance optimization, and service parts logistics planning. It aims to develop an integrated product-service system (IPSS) synthesizing design for reliability, performance-based maintenance, and spare parts inventory. It also presents a lifecycle reliability-inventory optimization framework where reliability, redundancy, maintenance, and service parts are jointly coordinated. Additionally, the book aims to report the latest advances in reliability growth planning, maintenance contracting and spares inventory logistics under non-stationary demand condition. Reliability Engineering and Service provides in-depth chapter coverage of topics such as: Reliability Concepts and Models; Mean and Variance of Reliability Estimates; Design for Reliability; Reliability Growth Planning; Accelerated Life Testing and Its Economics; Renewal Theory and Superimposed Renewals; Maintenance and Performance-Based Logistics; Warranty Service Models; Basic Spare Parts Inventory Models; Repairable Inventory Systems; Integrated Product-Service Systems (IPPS), and Resilience Modeling and Planning Guides engineers to design reliable products at a low cost Assists service engineers in providing superior after-sales support Enables managers to respond to the changing market and customer needs Uses end-of-chapter case studies to illustrate industry best practice Lifecycle approach to reliability, maintenance and spares provisioning Reliability Engineering and Service is an important book for graduate engineering students, researchers, and industry-based reliability practitioners and consultants.
Building the Information Society
Author: Rene Jacquart
Publisher: Springer
ISBN: 140208157X
Category : Computers
Languages : en
Pages : 739
Book Description
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas. Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence. Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Publisher: Springer
ISBN: 140208157X
Category : Computers
Languages : en
Pages : 739
Book Description
In the context of the 18th IFIP World Computer Congress (WCC’04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC’04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas. Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence. Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Delta-4: A Generic Architecture for Dependable Distributed Computing
Author: David Powell
Publisher: Springer Science & Business Media
ISBN: 3642846963
Category : Computers
Languages : en
Pages : 477
Book Description
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems. This book describes the design and validation of the distributed fault-tolerant architecture developed within this project. The key features of the Delta-4 architecture are: (a) a distributed object-oriented application support environment; (b) built-in support for user-transparent fault tolerance; (c) use of multicast or group communication protocols; and (d) use of standard off the-shelf processors and standard local area network technology with minimum specialized hardware. The book is organized as follows: The first 3 chapters give an overview of the architecture's objectives and of the architecture itself, and compare the proposed solutions with other approaches. Chapters 4 to 12 give a more detailed insight into the Delta-4 architectural concepts. Chapters 4 and 5 are devoted to providing a firm set of general concepts and terminology regarding dependable and real-time computing. Chapter 6 is centred on fault-tolerance techniques based on distribution. The description of the architecture itself commences with a description of the Delta-4 application support environment (Deltase) in chapter 7. Two variants of the architecture - the Delta-4 Open System Architecture (OSA) and the Delta-4 Extra Performance Architecture (XPA) - are described respectively in chapters 8 and 9. Both variants of the architecture have a common underlying basis for dependable multicasting, i. e.
Publisher: Springer Science & Business Media
ISBN: 3642846963
Category : Computers
Languages : en
Pages : 477
Book Description
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems. This book describes the design and validation of the distributed fault-tolerant architecture developed within this project. The key features of the Delta-4 architecture are: (a) a distributed object-oriented application support environment; (b) built-in support for user-transparent fault tolerance; (c) use of multicast or group communication protocols; and (d) use of standard off the-shelf processors and standard local area network technology with minimum specialized hardware. The book is organized as follows: The first 3 chapters give an overview of the architecture's objectives and of the architecture itself, and compare the proposed solutions with other approaches. Chapters 4 to 12 give a more detailed insight into the Delta-4 architectural concepts. Chapters 4 and 5 are devoted to providing a firm set of general concepts and terminology regarding dependable and real-time computing. Chapter 6 is centred on fault-tolerance techniques based on distribution. The description of the architecture itself commences with a description of the Delta-4 application support environment (Deltase) in chapter 7. Two variants of the architecture - the Delta-4 Open System Architecture (OSA) and the Delta-4 Extra Performance Architecture (XPA) - are described respectively in chapters 8 and 9. Both variants of the architecture have a common underlying basis for dependable multicasting, i. e.
Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 10439
Book Description
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 10439
Book Description
Markov Chains and Dependability Theory
Author: Gerardo Rubino
Publisher: Cambridge University Press
ISBN: 1107007577
Category : Business & Economics
Languages : en
Pages : 287
Book Description
Covers fundamental and applied results of Markov chain analysis for the evaluation of dependability metrics, for graduate students and researchers.
Publisher: Cambridge University Press
ISBN: 1107007577
Category : Business & Economics
Languages : en
Pages : 287
Book Description
Covers fundamental and applied results of Markov chain analysis for the evaluation of dependability metrics, for graduate students and researchers.
Software Architecture and Design for Reliability Predictability
Author: Assefa D. Semegn
Publisher: Cambridge Scholars Publishing
ISBN: 1443834157
Category : Computers
Languages : en
Pages : 410
Book Description
Reliability prediction of a software product is complex due to interdependence and interactions among components and the difficulty of representing this behavior with tractable models. Models developed by making simplifying assumptions about the software structure may be easy to use, but their result may be far from what happens in reality. Making assumptions closer to the reality, which allows complex interactions and interdependences among components, results in models that are too complex to use. Their results may also be too difficult to interpret. The reliability prediction problem is worsened by the lack of precise information on the behavior of components and their interactions, information that is relevant for reliability modeling. Usually, the interactions are not known precisely because of subtle undocumented side effects. Without accurate precise information, even mathematically correct models will not yield accurate reliability predictions. Deriving the necessary information from program code is not practical if not impossible. This is because the code contains too much implementation detail to be useful in creating a tractable model. It is also difficult to analyze system reliability completely based on the program code. This book documents the resulting novel approach of designing, specifying, and describing the behavior of software systems in a way that helps to predict their reliability from the reliability of the components and their interactions. The design approach is named design for reliability predictability (DRP). It integrates design for change, precise behavioral documentation and structure based reliability prediction to achieve improved reliability prediction of software systems. The specification and documentation approach builds upon precise behavioral specification of interfaces using the trace function method (TFM). It also introduces a number of structure functions or connection documents. These functions capture both the static and dynamic behaviors of component based software systems. They are used as a basis for a novel document driven structure based reliability prediction model. System reliability assessment is studied in at least three levels: component reliability, which is assumed to be known; interaction reliability, a novel approach to studying software reliability; and service reliability, whose estimation is the primary objective of reliability assessment. System reliability can be expressed as a function of service reliability. A mobile streaming system, designed and developed by the author as an industrial product, is used as a case study to demonstrate the application of the approach.
Publisher: Cambridge Scholars Publishing
ISBN: 1443834157
Category : Computers
Languages : en
Pages : 410
Book Description
Reliability prediction of a software product is complex due to interdependence and interactions among components and the difficulty of representing this behavior with tractable models. Models developed by making simplifying assumptions about the software structure may be easy to use, but their result may be far from what happens in reality. Making assumptions closer to the reality, which allows complex interactions and interdependences among components, results in models that are too complex to use. Their results may also be too difficult to interpret. The reliability prediction problem is worsened by the lack of precise information on the behavior of components and their interactions, information that is relevant for reliability modeling. Usually, the interactions are not known precisely because of subtle undocumented side effects. Without accurate precise information, even mathematically correct models will not yield accurate reliability predictions. Deriving the necessary information from program code is not practical if not impossible. This is because the code contains too much implementation detail to be useful in creating a tractable model. It is also difficult to analyze system reliability completely based on the program code. This book documents the resulting novel approach of designing, specifying, and describing the behavior of software systems in a way that helps to predict their reliability from the reliability of the components and their interactions. The design approach is named design for reliability predictability (DRP). It integrates design for change, precise behavioral documentation and structure based reliability prediction to achieve improved reliability prediction of software systems. The specification and documentation approach builds upon precise behavioral specification of interfaces using the trace function method (TFM). It also introduces a number of structure functions or connection documents. These functions capture both the static and dynamic behaviors of component based software systems. They are used as a basis for a novel document driven structure based reliability prediction model. System reliability assessment is studied in at least three levels: component reliability, which is assumed to be known; interaction reliability, a novel approach to studying software reliability; and service reliability, whose estimation is the primary objective of reliability assessment. System reliability can be expressed as a function of service reliability. A mobile streaming system, designed and developed by the author as an industrial product, is used as a case study to demonstrate the application of the approach.