Overview
- Editors:
-
-
John F. Meyer
-
The University of Michigan, Ann Arbor, USA
-
Richard D. Schlichting
-
The University of Arizona, Tucson, USA
Access this book
Other ways to access
Table of contents (20 papers)
-
Front Matter
Pages N2-XIII
-
Distributed Systems I
-
-
- Sandro Bologna, Øivind Berg, Kjell Haugset, Jon Kvalem
Pages 3-26
-
- Junsheng Long, W. Kent Fuchs, Jacob A. Abraham
Pages 27-46
-
Replication
-
-
-
- Paul D. Ezhilchelvan, Santosh K. Shrivastava
Pages 67-91
-
Evaluation
-
-
- Jacob Abraham, Don Lee, David Rennels, George Gilley
Pages 95-114
-
- Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers
Pages 115-134
-
- Victor F. Nicola, Ambuj Goyal
Pages 135-154
-
Correlated Failures
-
Front Matter
Pages 155-155
-
-
- Dong Tang, Ravishankar K. Iyer
Pages 175-194
-
Design Diversity
-
Front Matter
Pages 195-195
-
- Michael R. Lyu, Algirdas Avižienis
Pages 197-218
-
- Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto
Pages 219-240
-
Verification Techniques
-
Front Matter
Pages 241-241
-
- William R. Bevier, William D. Young
Pages 243-260
-
- E. Thomas Schubert, Karl N. Levitt
Pages 261-278
About this book
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.
Editors and Affiliations
-
The University of Michigan, Ann Arbor, USA
John F. Meyer
-
The University of Arizona, Tucson, USA
Richard D. Schlichting
