Software engineering of fault tolerant systems / editors, P. Pelliccione ... [et al.].

Format:

Book

Contributor:

Pelliccione, P. (Patrizio)

Series:

Series on software engineering and knowledge engineering ; v. 19.

Series on software engineering and knowledge engineering ; v. 19

Language:

English

Subjects (All):

Fault-tolerant computing.

Computer systems--Reliability.

Computer systems.

Physical Description:

1 online resource (292 p.)

Place of Publication:

Singapore ; Hackensack, NJ : World Scientific, c2007.

Language Note:

English

Summary:

In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexp

Contents:

Preface; CONTENTS; Introduction P. Pelliccione, H. Muccini, N. Guelfi and A. Romanovsky; 1. Motivations for the Book; 2. Dependability and Fault Tolerance; 3. Defining Software Engineering; 3.1. If Software Fails, This May Cost Millions of Dollars and Harm People; 3.2. How to Make Good Software; 4. Fault Tolerance Engineering: from Requirements to Code; 4.1. Requirements Engineering and Fault Tolerance; 4.2. Software Architecture and Fault Tolerance; 4.3. Low-level Design and Fault Tolerance; 5. Verification and Validation of Fault Tolerant Systems; 5.1. Model Checking; 5.2. Theorem Provers

5.3. Constraint Solvers5.4. Testing; 5.5. UML-based approaches to modelling and validating dependable systems; 6. Languages and Frameworks; 6.1. Programming Languages Perspectives; 6.1.1. Exception Handling; 6.1.2. Atomic Actions; 6.1.3. Reflection and Aspect-Orientation; 6.2. Frameworks for Fault Tolerance; 6.3. Advanced Frameworks for Fault Tolerance; 7. Contribution of this Book to the Topic; Acknowledgments; References; Part A. Fault Tolerance Engineering: From Requirements to Code

Exploiting Reflection to Enable Scalable and Performant Database Replication at the Middleware Level J . Salas, R. Jimenez-Peris, M. Patino-Martinez and B. Kemme1. Introduction; 2. Two Basic Database Replication Protocols; 3. Reflective Interfaces for Database Replication; 3.1. Reflective database connection; 3.1.1. Basic algorithm; 3.1.2. Fault-Tolerance; 3.2. Reflective requests; 3.3. Reflective transactions; 3.3.1. Writesets; 3.3.2. Readsets; 3.4. Reflective log; 3.5. Reflective concurrency control; 3.5.1. Conflict reafication/antrospection; 3.5.2. Indirect abort

3.5.3. Lock release intercession3.5.4. Priority transactions; 4. Evaluation; 4.1. Experiment setup; 4.2. The cost of reflective writeset retrieval; 4.3. The gain of reflective writeset application; 4.4. The impact of reflective requests; 4.5. The cost of reflective concurrency control; 4.6. Analytical scalability; 5. Related Work; 6. Conclusions; References; Adding Fault-Tolerance to State Machine-Based Designs S. S. Kulkarni, A. Arora and A . Ebnenasir; 1. Introduction; 2. Preliminaries; 2.1. Program Design Model; 2.2. Specifications and Correctness Criteria for Functional Designs

2.3. Faults2.4. Fault-Tolerance; 3. Problem Statement; 4. Adding Failsafe Fault-Tolerance; 4.1. Case Study: Parking Lot Problem; 5. Adding Nonmasking Fault-Tolerance; 5.1. Parking Lot Problem: Adding Nonmasking Fault- Tolerance; 6. Adding Masking Fault-Tolerance; 6.1. Parking Lot Problem: Adding Masking Fault- Tolerance; 7. Related Work; 8. Impact of Proposed Algorithms and Open Problems; 9. Conclusions and Future Work; References; Replication in Service-Oriented Systems J. Osrael, L. Froihofer and K. M. Goeschka; 1. Introduction; 1.1. Motivation; 1.2. Types of services

1.2.1. Stateful us. stateless services

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

9786611930097

9781281930095

1281930091

9789812778864

9812778861