Foundations of Dependable Computing: Paradigms for Dependable Applications (Kluwer International Series in Engineering and Computer Science, 284)
|
Автор | | Gary M. Koob, Clifford G. Lau |
Издатель | | Kluwer Academic Publishers |
|
Содержание:
Общедоступная история астрономии в XIX столетии
Описание:
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems. The companion volume subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the...Похожие книги