Foundations of dependable computing : models and frameworks for dependable systems

Preface. 1: Frameworks for Dependable Systems. 1.1. A Consensus-Based Framework and Model for the Design of Responsive Computing Systems M. Malek. 1.2. A Methodology for Adapting to Patterns of Faults G. Agha, D.C. Sturman. 2: Requirements Models. 2.1. Military Fault-Tolerant Requirements T.P. Monaghan. 2.3. Derivation and Use of Deadline Information in Real-Time Control Systems K.G. Shin, H. Kim. 3: System Validation. 3.1. Software-Implemented Fault Injection of Transient Hardware Errors C.R. Young, D.P. Siewiorek. 3.2. REACT: an Integrated Tool for the Design of Dependable Computer Systems J.A. Clark, D.K. Pradhan. 4: System Evaluation. 4.1. Measurement-Based Dependability Evaluation of Operational Computer Systems R.K. Iyr, D. Tang. 4.2. Modeling and Evaluation of Opto-Electronic Computing Systems T.Y. Lin. Index.