Skip to main content
SpringerLink
Log in
Book cover

Dependable Computing for Critical Applications 3

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Carl E. Landwehr

    1. Naval Research Laboratory, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Brian Randell

    1. Dept. of Computer Sc., Univ. of Newcastle, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luca Simoncini

    1. Dip. Ingegneria dell’Informazione, Università di Pisa, Pisa, Italia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages N2-XII
    Download chapter PDF

  2. Functional Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Functional Statistical Testing Designed from Software Behavior Models

      • Pascale Thévenod-Fosse, Hélène Waeselynck
      Pages 3-28

    3. Functional Test Case Generation for Real-Time Systems

      • Dino Mandrioli, Sandro Morasca, Angelo Morzenti
      Pages 29-61

  3. Specification and Verification of Fault Tolerance

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Design for Dependability

      • Jens Nordahl
      Pages 65-89

    3. Tracing Fault Tolerance

      • Henk Schepers
      Pages 91-110

  4. Dependability and Performance

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Evaluation of Fault-Tolerant Software: A Performability Modeling Approach

      • Ann T. Tai, Algirdas Avižienis, John F. Meyer
      Pages 113-135

    3. On the Transient Analysis of Stiff Markov Chains

      • Jürgen Dunkel, Harald Stahl
      Pages 137-160

  5. Application of Formal Methods

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Formal Techniques for Synchronized Fault-Tolerant Systems

      • Ben L. Di Vito, Ricky W. Butler
      Pages 163-188

    3. Compiler Correctness and Input/Output

      • Paul Curzon
      Pages 189-209

  6. On Line Error Detection

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Control Flow Checking in Object-Based Distributed Systems

      • Nasser A. Kanawati, Ghani A. Kanawati, Jacob A. Abraham
      Pages 213-232

  7. Safety-Critical Industrial Systems

    1. Front Matter

      Pages 233-233
      Download chapter PDF

    2. A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systems

      • Serge Noraz, Michel Prunier
      Pages 235-253

    3. Dependable Computing for Railway Control Systems

      • Giorgio Mongardi
      Pages 255-277

  8. Experimental Evaluation

    1. Front Matter

      Pages 279-279
      Download chapter PDF

    2. A Hybrid Monitor Assisted Fault Injection Environment

      • Luke T. Young, Carlos Alonso, Ravi K. Iyer, Kumar K. Goswami
      Pages 281-302
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Naval Research Laboratory, USA

    Carl E. Landwehr

  • Dept. of Computer Sc., Univ. of Newcastle, Newcastle upon Tyne, UK

    Brian Randell

  • Dip. Ingegneria dell’Informazione, Università di Pisa, Pisa, Italia

    Luca Simoncini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation