Normal view MARC view ISBD view

Open systems dependability : dependability engineering for ever-changing systems / editor, Mario Tokoro, Co-founder, executive advisor, Sony Computer Science Laboratories, Incorporated, Tokyo, Japan, formerly Sr. Vice President and CTO, Sony Corporati - Second edition - Boca Raton, Florida : CRC Press, [2015];©2015 - 1 online resource

1. Introduction -- 2. Open systems dependability -- 3. The DEOS technological system -- 4. D-Case : building consensus and achieving accountability -- 5. D-Case tools -- 6. D-Case integrity checking tool and formal assurance case -- 7. D-RE : the DEOS runtime environment -- 8. D-Script : support for system operation based on D-Case agreements -- 9. D-ADD : the Agreement Description Database -- 10. Standardization of open systems dependability -- 11. Conclusions

ISBN: 9781498736299

Subjects--Topical Terms:
Computer systems
Fault-tolerant computing

Dewey Class. No.: 004.200 / O611