Open Systems Dependability: Dependability Engineering for Ever-Changing Systems, 2nd Edition

The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users’ requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders’ agreement and accountability achievement for business/service continuity than in elemental technologies.

Table of Contents

Chapter 1. Introduction
Chapter 2. Open Systems Dependability
Chapter 3. The Deos Technological System
Chapter 4. D-Case—Building Consensus And Achieving Accountability
Chapter 5. D-Case Tools
Chapter 6. D-Case Integrity Checking Tool And Formal Assurance Case
Chapter 7. D-Re—The Deos Runtime Environment
Chapter 8. D-Script—Support For System Operation Based On D-Case Agreements
Chapter 9. D-Add—The Agreement Description Database
Chapter 10. Standardization Of Open Systems Dependability
Chapter 11. Conclusions