Advertisement

Software Performability: From Concepts to Applications

  • Ann T. Tai
  • John F. Meyer
  • Algirdas Avižienis

Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 347)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 1-7
  3. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 9-13
  4. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 15-23
  5. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 25-52
  6. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 53-95
  7. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 97-123
  8. Ann T. Tai, John F. Meyer, Algirdas Avižienis
    Pages 125-156
  9. Back Matter
    Pages 157-201

About this book

Introduction

Computers 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.
Software Performability: From Concepts to Applications 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.
Software Performability: From Concepts to Applications 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-performance computer systems.

Keywords

database design distributed databases modeling software structured analysis

Authors and affiliations

  • Ann T. Tai
    • 1
  • John F. Meyer
    • 2
  • Algirdas Avižienis
    • 3
  1. 1.SoHaR Inc.Beverly HillsUSA
  2. 2.University of MichiganAnn ArborUSA
  3. 3.University of CaliforniaLos AngelesUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4613-1325-0
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8569-4
  • Online ISBN 978-1-4613-1325-0
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site