Cover image for Software engineering of fault tolerant systems
Title:
Software engineering of fault tolerant systems
Series:
Series on software engineering and knowledge engineering ; 19
Publication Information:
New Jersey : World Scientific, 2007
ISBN:
9789812705037

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010163038 QA76.9.F38 S634 2007 Open Access Book Book
Searching...
Searching...
30000010163040 QA76.9.F38 S634 2007 Open Access Book Book
Searching...

On Order

Summary

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 unexpected ways due to faults.It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled.This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this.


Table of Contents

P. Pelliccione and H. Muccini and N. Guelfi and A. RomanovskyJ. Salas and R. Jimenez-Peris and M. Patino-Martinez and B. KemmeS. S. Kulkarni and A. Arora and A. EbnenasirJ. Osrael and L. Froihofer and K. M. GoeschkaJ. Pardo and J. C. Campelo and J. C. Ruiz and P. GilG. Pinter and I. MajzikC. Kuhnel and M. SpichkovaS. Entwisle and E. KendallR. Su and M. R. V. Chaudron and J. J. LukkienL. Falai and A. Bondavalli
Prefacep. V
Introductionp. 1
Part A Fault Tolerance Engineering: From Requirements to Code
Exploiting Reflection to Enable Scalable and Performant Database Replication at the Middleware Levelp. 33
Adding FauIt-Tolerance to State Machine-Based Designsp. 62
Replication in Service-Oriented Systemsp. 91
Part B Verification and Validation of Fault Tolerant Systems
Embedded Software Validation Using On-Chip Debugging Mechanismsp. 121
Error Detection in Control Flow of Event-Driven State Based Applicationsp. 150
Fault-Tolerant Communication for Distributed Embedded Systemsp. 175
Part C Languages and Tools for Engineering Fault Tolerant Systems
A Model Driven Exception Management Frameworkp. 201
Runtime Failure Detection and Adaptive Repair for Fault-Tolerant Component-Based Applicationsp. 230
Extending the Applicability of the Neko Framework for the Validation and Verification of Distributed Algorithmsp. 256