1 Introduction. - 1. 1 Need for Unified Measures. - 1. 2 Basic Definitions and Associated Terminology. - 1. 3 Overview of Chapters. - 2 General Concepts and Applications of Performability Modeling. - 2. 1 Concepts. - 2. 2 Developments and Applications. - 3 Framework of Software Performability Modeling. - 3. 1 Overview. - 3. 2 Formal Framework. - 4 Viable Techniques for Model Construction and Solution. - 4. 1 Introduction. - 4. 2 Modeling Techniques. - 4. 3 Using Different Modeling Techniques: Examples. - 5 Case Study I: Comparative Studies of Fault-Tolerant Software. - 5. 1 Introduction. - 5. 2 General Approach. - 5. 3 RB Model. - 5. 4 Basic NVP Model. - 5. 5 Comparative Evaluation Results. - 5. 6 Improving Effectiveness. - 5. 7 Conclusion. - 6 Case Study II: Performability-Management Oriented Adaptive Fault Tolerance. - 6. 1 Introduction. - 6. 2 An Adaptive Fault-Tolerant System. - 6. 3 Performability Variable. - 6. 4 Base Model Construction and Solution. - 6. 5 Adaptive Rule Generation. - 6. 6 Analysis. - 6. 7 Discussion. - 7 Case Study III: Performability Management in Distributed Database Systems. - 7. 1 Introduction. - 7. 2 Background. - 7. 3 Performability Models. - 7. 4 Evaluation and Discussion. - 7. 5 Summary and Future Work. - References. - A San Specifications. - A. 1 SAN Model for Synchronized Checkpointing. - A. 2 SAN Model for Asynchronous Checkpointing. - B Sample Mathematica Programs and Outputs. - B. 1 Mathematica Program for Performability Evaluation of RB. - B. 2 Mathematica Output for Performability Evaluation of RB. - B. 3 Mathematica Program for Performability Evaluation of Basic NVP. - B. 4 Mathematica Output for Performability Evaluation of Basic NVP. - B. 5 Mathematica Program for Performability Evaluation of NVP-TB. - B. 6 Mathematica Output for Performability Evaluation of NVP-TB. Language: English