| 书目名称 | Foundations of Dependable Computing |
| 副标题 | Paradigms for Depend |
| 编辑 | Gary M. Koob,Clifford G. Lau |
| 视频video | |
| 丛书名称 | The Springer International Series in Engineering and Computer Science |
| 图书封面 |  |
| 描述 | .Foundations of Dependable Computing: Paradigms .forDependable. .Applications., presents a variety of specificapproaches to achieving dependability at the application level. Drivenby the higher level fault models of .Models and Frameworks forDependable. .Systems., and built on the lower level abstractionsimplemented in a third companion book subtitled .SystemImplementation., these approaches demonstrate how dependability maybe tuned to the requirements of an application, the fault environment,and the characteristics of the target platform. Three classes ofparadigms are considered: protocol-based paradigms for distributedapplications, algorithm-based paradigms for parallel applications, andapproaches to exploiting application semantics in embedded real-timecontrol systems. .The companion volume subtitled.Models and Frameworks for..Dependable Systems. presents two comprehensive frameworks forreasoning about system dependability, thereby establishing a contextfor understanding the roles played by specific approaches presented inthis book‘s two companion volumes. It then explores the range ofmodels and analysis methods necessary to design, validate and analyzedependable systems. .Anoth |
| 出版日期 | Book 1994 |
| 关键词 | algorithms; control; operating system; performance; processor; programming; real-time system |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b102255 |
| isbn_softcover | 978-1-4757-8311-7 |
| isbn_ebook | 978-0-585-27316-7Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1994 |
发表于 2025-3-21 18:42:40
