A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

Author: David Powell

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 249

ISBN-13: 1475733534

DOWNLOAD EBOOK

The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology.


Book Synopsis A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems by : David Powell

Download or read book A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems written by David Powell and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology.

Delta-4: A Generic Architecture for Dependable Distributed Computing

Delta-4: A Generic Architecture for Dependable Distributed Computing

Author: David Powell

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 477

ISBN-13: 3642846963

DOWNLOAD EBOOK

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.


Book Synopsis Delta-4: A Generic Architecture for Dependable Distributed Computing by : David Powell

Download or read book Delta-4: A Generic Architecture for Dependable Distributed Computing written by David Powell and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 477 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Architecting Dependable Systems IV

Architecting Dependable Systems IV

Author: Rogério de Lemos

Publisher: Springer Science & Business Media

Published: 2007-08-15

Total Pages: 446

ISBN-13: 3540740333

DOWNLOAD EBOOK

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.


Book Synopsis Architecting Dependable Systems IV by : Rogério de Lemos

Download or read book Architecting Dependable Systems IV written by Rogério de Lemos and published by Springer Science & Business Media. This book was released on 2007-08-15 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Architecting Dependable Systems

Architecting Dependable Systems

Author: Rogério de Lemos

Publisher: Springer Science & Business Media

Published: 2007-08-01

Total Pages: 317

ISBN-13: 3540451773

DOWNLOAD EBOOK

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. This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in order to achieve competent and complete coverage of all relevant aspects. The papers are organized in topical sections on - architectures for dependability - fault tolerance in software architectures - dependability analysis in software architectures - industrial experience.


Book Synopsis Architecting Dependable Systems by : Rogério de Lemos

Download or read book Architecting Dependable Systems written by Rogério de Lemos and published by Springer Science & Business Media. This book was released on 2007-08-01 with total page 317 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in order to achieve competent and complete coverage of all relevant aspects. The papers are organized in topical sections on - architectures for dependability - fault tolerance in software architectures - dependability analysis in software architectures - industrial experience.

Architecting Dependable Systems VII

Architecting Dependable Systems VII

Author: Antonio Casimiro

Publisher: Springer

Published: 2010-11-18

Total Pages: 334

ISBN-13: 3642172458

DOWNLOAD EBOOK

As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security. This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting Dependable Systems (WADS 2009), held at the International Conference on Dependable Systems and Networks (DSN 2009), as well as a number of invited papers written by renowned experts in the area. The 13 papers are organized in topical sections on: mobile and ubiquitous systems, architecting systems, fault management, and experience and vision.


Book Synopsis Architecting Dependable Systems VII by : Antonio Casimiro

Download or read book Architecting Dependable Systems VII written by Antonio Casimiro and published by Springer. This book was released on 2010-11-18 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security. This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting Dependable Systems (WADS 2009), held at the International Conference on Dependable Systems and Networks (DSN 2009), as well as a number of invited papers written by renowned experts in the area. The 13 papers are organized in topical sections on: mobile and ubiquitous systems, architecting systems, fault management, and experience and vision.

Architecting Dependable Systems II

Architecting Dependable Systems II

Author: Rogério de Lemos

Publisher: Springer Science & Business Media

Published: 2004-10-22

Total Pages: 357

ISBN-13: 3540231684

DOWNLOAD EBOOK

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. This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting dependable systems. The 15 thoroughly reviewed papers originate partly from the workshop; others were solicited in order to achieve complete coverage of all relevant aspects. The papers are organized into topical sections on architectures for dependability, fault-tolerance in software architectures, dependability analysis in software architectures, and industrial experience.


Book Synopsis Architecting Dependable Systems II by : Rogério de Lemos

Download or read book Architecting Dependable Systems II written by Rogério de Lemos and published by Springer Science & Business Media. This book was released on 2004-10-22 with total page 357 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting dependable systems. The 15 thoroughly reviewed papers originate partly from the workshop; others were solicited in order to achieve complete coverage of all relevant aspects. The papers are organized into topical sections on architectures for dependability, fault-tolerance in software architectures, dependability analysis in software architectures, and industrial experience.

Fault Tolerant Computer Architecture

Fault Tolerant Computer Architecture

Author: Daniel Sorin

Publisher: Morgan & Claypool Publishers

Published: 2009-07-08

Total Pages: 116

ISBN-13: 1598299549

DOWNLOAD EBOOK

For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future


Book Synopsis Fault Tolerant Computer Architecture by : Daniel Sorin

Download or read book Fault Tolerant Computer Architecture written by Daniel Sorin and published by Morgan & Claypool Publishers. This book was released on 2009-07-08 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt: For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future

Foundations of Dependable Computing

Foundations of Dependable Computing

Author: Gary M. Koob

Publisher: Springer Science & Business Media

Published: 2007-07-23

Total Pages: 272

ISBN-13: 0585273774

DOWNLOAD EBOOK

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.


Book Synopsis Foundations of Dependable Computing by : Gary M. Koob

Download or read book Foundations of Dependable Computing written by Gary M. Koob and published by Springer Science & Business Media. This book was released on 2007-07-23 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. Another companion book (published by Kluwer) subtitled System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead.

Software Engineering of Fault Tolerant Systems

Software Engineering of Fault Tolerant Systems

Author: Patrizio Pelliccione

Publisher: World Scientific

Published: 2007

Total Pages: 293

ISBN-13: 9812705031

DOWNLOAD EBOOK

When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to some faults. Researchers have advocated that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of exceptions must be identified for each identified phase of software development, depending on the abstraction level of the software system being modeled. This book builds on this trend and investigates how fault tolerance mechanisms can be used when engineering a software system. New problems will arise, new models are needed at different abstraction levels, methodologies for mode driven engineering of such systems must be defined, new technologies are required, and new validation and verification environments are necessary.


Book Synopsis Software Engineering of Fault Tolerant Systems by : Patrizio Pelliccione

Download or read book Software Engineering of Fault Tolerant Systems written by Patrizio Pelliccione and published by World Scientific. This book was released on 2007 with total page 293 pages. Available in PDF, EPUB and Kindle. Book excerpt: When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to some faults. Researchers have advocated that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of exceptions must be identified for each identified phase of software development, depending on the abstraction level of the software system being modeled. This book builds on this trend and investigates how fault tolerance mechanisms can be used when engineering a software system. New problems will arise, new models are needed at different abstraction levels, methodologies for mode driven engineering of such systems must be defined, new technologies are required, and new validation and verification environments are necessary.

Architecting Dependable Systems III

Architecting Dependable Systems III

Author: Rogério de Lemos

Publisher: Springer

Published: 2005-09-27

Total Pages: 357

ISBN-13: 3540316485

DOWNLOAD EBOOK

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.


Book Synopsis Architecting Dependable Systems III by : Rogério de Lemos

Download or read book Architecting Dependable Systems III written by Rogério de Lemos and published by Springer. This book was released on 2005-09-27 with total page 357 pages. Available in PDF, EPUB and Kindle. Book excerpt: As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.