© 1993

Dependable Computing for Critical Applications 3

  • Carl E. Landwehr
  • Brian Randell
  • Luca Simoncini
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-XII
  2. Functional Testing

    1. Front Matter
      Pages 1-1
    2. Pascale Thévenod-Fosse, Hélène Waeselynck
      Pages 3-28
    3. Dino Mandrioli, Sandro Morasca, Angelo Morzenti
      Pages 29-61
  3. Specification and Verification of Fault Tolerance

    1. Front Matter
      Pages 63-63
    2. Jens Nordahl
      Pages 65-89
    3. Henk Schepers
      Pages 91-110
  4. Dependability and Performance

    1. Front Matter
      Pages 111-111
    2. Ann T. Tai, Algirdas Avižienis, John F. Meyer
      Pages 113-135
    3. Jürgen Dunkel, Harald Stahl
      Pages 137-160
  5. Application of Formal Methods

    1. Front Matter
      Pages 161-161
    2. Ben L. Di Vito, Ricky W. Butler
      Pages 163-188
    3. Paul Curzon
      Pages 189-209
  6. On Line Error Detection

    1. Front Matter
      Pages 211-211
    2. Nasser A. Kanawati, Ghani A. Kanawati, Jacob A. Abraham
      Pages 213-232
  7. Safety-Critical Industrial Systems

  8. Experimental Evaluation

    1. Front Matter
      Pages 279-279
    2. Luke T. Young, Carlos Alonso, Ravi K. Iyer, Kumar K. Goswami
      Pages 281-302

About these proceedings


This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.


design development safety validation

Editors and affiliations

  • Carl E. Landwehr
    • 1
  • Brian Randell
    • 2
  • Luca Simoncini
    • 3
  1. 1.Naval Research LaboratoryUSA
  2. 2.Dept. of Computer Sc.Univ. of NewcastleNewcastle upon TyneUK
  3. 3.Dip. Ingegneria dell’InformazioneUniversità di PisaPisaItalia

Bibliographic information