2nd Edition
Open Systems Dependability Dependability Engineering for Ever-Changing Systems, Second Edition
Edited By Mario Tokoro
Copyright 2015
288 Pages
by
CRC Press
288 Pages
126 B/W Illustrations
by
CRC Press
288 Pages
by
CRC Press
Also available as eBook on:
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... Read more
Introduction. Open Systems Dependability. The DEOS Technology. D-Case: Building Consensus and Achieving Accountability. D-Case Tools. D-Case Integrity Checking and Formal Assurance Case. D-RE: The DEOS Runtime Environment Runtime Environment. D-Script: System Operation Based on D-Case Agreement. D-ADD—The Agreement Description Database. Toward Standardization of Open Systems Dependability. Concluding Remarks. Appendix. Index.
Biography
Mario Tokoro
