{"product_id":"9780792394846","title":"Foundations of Dependable Computing: Models and Frameworks for Dependable Systems","description":"\u003ch1\u003eFoundations of Dependable Computing: Models and Frameworks for Dependable Systems\u003c\/h1\u003e \u003ch2\u003eKoob, Gary M.; Lau, Clifford G.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFoundations of Dependable Computing: Models and Frameworks  for\u003c\/em\u003e \u003cem\u003eDependable Systems\u003c\/em\u003e presents two comprehensive frameworks  for reasoning about system dependability, thereby establishing a  context for understanding the roles played by specific approaches  presented in this book's two companion volumes. It then explores the  range of models and analysis methods necessary to design, validate and  analyze dependable systems. \u003cbr\u003e  A companion to this book (published by Kluwer), subtitled  \u003cem\u003eParadigms\u003c\/em\u003e \u003cem\u003efor Dependable Applications\u003c\/em\u003e, presents a variety  of specific approaches to achieving dependability at the application  level. Driven by the higher level fault models of \u003cem\u003eModels and  Frameworks for Dependable\u003c\/em\u003e \u003cem\u003eSystems\u003c\/em\u003e, and built on the lower  level abstractions implemented in a third companion book subtitled  \u003cem\u003eSystem Implementation\u003c\/em\u003e, 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. \u003cbr\u003e  Another companion book (published by Kluwer) subtitled  \u003cem\u003eSystem\u003c\/em\u003e  \u003cem\u003eImplementation\u003c\/em\u003e, explores the system infrastructure needed to  support the various paradigms of  \u003cem\u003eParadigms for Dependable  Applications\u003c\/em\u003e. Approaches to implementing support mechanisms and to  incorporating additional appropriate levels of fault detection and  fault tolerance at the processor, network, and operating system level  are presented. A primary concern at these levels is balancing cost and  performance against coverage and overall dependability. As these  chapters demonstrate, low overhead, practical solutions are attainable  and not necessarily incompatible with performance considerations. The  section on innovative compiler support, in particular, demonstrates  how the benefits of application specificity may be obtained while  reducing hardware cost and run-time overhead. \u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-10-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792394846\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b102259\u003c\/p\u003e \u003cp\u003eDimensions: 234.0cm x156.0cm\u003c\/p\u003e \u003cp\u003ePages: 264.0\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578390700172,"sku":"9780792394846","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792394846.jpg?v=1767145480","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792394846","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}