Advertisement

Dependable Computing for Critical Applications 3

  • Carl E. Landwehr
  • Brian Randell
  • Luca Simoncini

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
    3. Luiz A. Laranjeira, Miroslaw Malek, Roy Jenevein
      Pages 303-318
  9. Protocols for Dependability

    1. Front Matter
      Pages 319-319
    2. Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg
      Pages 321-343
    3. Gul Agha, Svend Frølund, Rajendra Panwar, Daniel Sturman
      Pages 345-363
  10. Back Matter
    Pages 383-384

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-7091-4009-3
  • Copyright Information Springer-Verlag Vienna 1993
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-4011-6
  • Online ISBN 978-3-7091-4009-3
  • 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