Dependable Computing for Critical Applications 2

1. Front Matter

   Pages N2-XIII

   PDF

2. Distributed Systems I

   1. Front Matter

      Pages 1-1

      PDF

   2. Architectural Foundations, Concepts and Methods Behind ISACS — A Real-Time Intelligent System for Critical Applications

      • Sandro Bologna, Øivind Berg, Kjell Haugset, Jon Kvalem

      Pages 3-26

   3. Implementing Forward Recovery Using Checkpoints in Distributed Systems

      • Junsheng Long, W. Kent Fuchs, Jacob A. Abraham

      Pages 27-46

3. Replication

   1. Front Matter

      Pages 47-47

      PDF

   2. Evaluating the Impact of Network Partitions on Replicated Data Availability

      • Jehan-François Pâris

      Pages 49-65

   3. A Distributed Systems Architecture Supporting High Availability and Reliability

      • Paul D. Ezhilchelvan, Santosh K. Shrivastava

      Pages 67-91

4. Evaluation

   1. Front Matter

      Pages 93-93

      PDF

   2. A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems

      • Jacob Abraham, Don Lee, David Rennels, George Gilley

      Pages 95-114

   3. Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events

      • Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers

      Pages 115-134

   4. Limits of Parallelism in Fault-Tolerant Multiprocessors

      • Victor F. Nicola, Ambuj Goyal

      Pages 135-154

5. Correlated Failures

   1. Front Matter

      Pages 155-155

      PDF

   2. Correlated Hardware Failures in Redundant Systems

      • Joanne Bechta Dugan

      Pages 157-174

   3. Impact of Correlated Failures on Dependability in a VAXcluster System

      • Dong Tang, Ravishankar K. Iyer

      Pages 175-194

6. Design Diversity

   1. Front Matter

      Pages 195-195

      PDF

   2. Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version Programming

      • Michael R. Lyu, Algirdas Avižienis

      Pages 197-218

   3. An Empirical Investigation of the Effect of Formal Specifications on Program Diversity

      • Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto

      Pages 219-240

7. Verification Techniques

   1. Front Matter

      Pages 241-241

      PDF

   2. The Proof of Correctness of a Fault-Tolerant Circuit Design

      • William R. Bevier, William D. Young

      Pages 243-260

   3. Verification of Memory Management Units

      • E. Thomas Schubert, Karl N. Levitt

      Pages 261-278

This volume contains the papers presented at the Second International Work­ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like­ wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de­ pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or­ ganized to examine particular topics in detail.

• design
• development
• safety
• validation

• The University of Michigan, Ann Arbor, USA

  John F. Meyer

• The University of Arizona, Tucson, USA

  Richard D. Schlichting

Policies and ethics