Advertisement

Dependable Computing for Critical Applications 2

  • John F. Meyer
  • Richard D. Schlichting

Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 6)

Table of contents

  1. Front Matter
    Pages N2-XIII
  2. Distributed Systems I

    1. Front Matter
      Pages 1-1
    2. Junsheng Long, W. Kent Fuchs, Jacob A. Abraham
      Pages 27-46
  3. Replication

    1. Front Matter
      Pages 47-47
    2. Paul D. Ezhilchelvan, Santosh K. Shrivastava
      Pages 67-91
  4. Evaluation

    1. Front Matter
      Pages 93-93
    2. Jacob Abraham, Don Lee, David Rennels, George Gilley
      Pages 95-114
    3. Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers
      Pages 115-134
    4. Victor F. Nicola, Ambuj Goyal
      Pages 135-154
  5. Correlated Failures

    1. Front Matter
      Pages 155-155
    2. Joanne Bechta Dugan
      Pages 157-174
    3. Dong Tang, Ravishankar K. Iyer
      Pages 175-194
  6. Design Diversity

    1. Front Matter
      Pages 195-195
    2. Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto
      Pages 219-240
  7. Verification Techniques

    1. Front Matter
      Pages 241-241
    2. William R. Bevier, William D. Young
      Pages 243-260
    3. E. Thomas Schubert, Karl N. Levitt
      Pages 261-278
    4. Ben L. DiVito, Ricky W. Butler, James L. Caldwell
      Pages 279-306
  8. Distributed Systems II

    1. Front Matter
      Pages 307-307
    2. Shivakant Mishra, Larry L. Peterson, Richard D. Schlichting
      Pages 309-331
    3. Toshibumi Seki, Yasukuni Okataku, Shinsuke Tamura
      Pages 333-353
  9. Validation

    1. Front Matter
      Pages 355-355
    2. G. Florin, C. Fraize, S. Natkin
      Pages 357-374
    3. Richard Hamlet
      Pages 375-392
  10. Signatures

    1. Front Matter
      Pages 393-393
    2. Henrique Madeira, João G. Silva
      Pages 395-420
    3. Shambhu J. Upadhyaya, Bina Ramamurthy
      Pages 421-437
  11. Back Matter
    Pages 439-439

About these proceedings

Introduction

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.

Keywords

design development safety validation

Editors and affiliations

  • John F. Meyer
    • 1
  • Richard D. Schlichting
    • 2
  1. 1.The University of MichiganAnn ArborUSA
  2. 2.The University of ArizonaTucsonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-9198-9
  • Copyright Information Springer-Verlag Vienna 1992
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-9200-9
  • Online ISBN 978-3-7091-9198-9
  • Series Print ISSN 0932-5581
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace