Open Systems Dependability - Dependability Engineering for Ever-Changing Systems, Second Edition

List of contents

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.

About the author

Mario Tokoro

Summary

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 cons

Product details

• Authors: Mario Tokoro, Mario (Keio University) Tokoro, Mario (Sony Computer Science Laboratories Tokoro
• Assisted by: Mario Tokoro (Editor)
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Paperback / Softback
• Released: 31.12.2020
• EAN: 9780367738174
• ISBN: 978-0-367-73817-4
• No. of pages: 288
• Subjects: Social sciences, law, business > Sociology; Software Engineering, Sociology, SOCIAL SCIENCE / Sociology / General, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Power Resources / General, Information technology: general issues, Information technology: general topics, Energy, power generation, distribution and storage, Power generation & distribution