{"product_id":"9780792396703","title":"The Springer International Series in Engineering and Computer Science","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science\u003c\/h1\u003e \u003ch2\u003eTai, Ann T.; Meyer, John F.; Avizienis, Algirdas\u003c\/h2\u003e \u003cp\u003eComputers are currently used in a variety of critical  applications, including systems for nuclear reactor control, flight  control (both aircraft and spacecraft), and air traffic control.  Moreover, experience has shown that the dependability of such systems  is particularly sensitive to that of its software components, both the  system software of the embedded computers and the application software  they support. \u003cbr\u003e  \u003cem\u003eSoftware Performability: From Concepts to Applications\u003c\/em\u003e addresses  the construction and solution of analytic performability models for  critical-application software. The book includes a review of general  performability concepts along with notions which are peculiar to  software performability. Since fault tolerance is widely recognized as  a viable means for improving the dependability of computer system  (beyond what can be achieved by fault prevention), the examples  considered are fault-tolerant software systems that incorporate  particular methods of design diversity and fault recovery. \u003cbr\u003e  \u003cem\u003eSoftware Performability: From Concepts to Applications\u003c\/em\u003e will be  of direct benefit to both practitioners and researchers in the area of  performance and dependability evaluation, fault-tolerant computing,  and dependable systems for critical applications. For practitioners,  it supplies a basis for defining combined performance-dependability  criteria (in the form of objective functions) that can be used to  enhance the performability (performance\/dependability) of existing  software designs. For those with research interests in model-based  evaluation, the book provides an analytic framework and a variety of  performability modeling examples in an application context of  recognized importance. The material contained in this book will both  stimulate future research on related topics and, for teaching  purposes, serve as a reference text in courses on computer system  evaluation, fault-tolerant computing, and dependable high-performancecomputer systems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1995-12-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792396703\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4613-1325-0\u003c\/p\u003e \u003cp\u003eDimensions: 234cm x156cm\u003c\/p\u003e \u003cp\u003ePages: 202\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578389487756,"sku":"9780792396703","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792396703.jpg?v=1771510983","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792396703","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}