Skip to main content
SpringerLink
Log in

Dependable Computing for Critical Applications 4

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Flaviu Cristian

    1. University of California, La Jolla, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerard Lann

    1. INRIA, Le Chesnay, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teresa Lunt

    1. ARPA/CSTO, Arlington, USA

    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 9)

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 (38 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Formal Methods for Critical Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Doubly Guarded Multiprocessor Control System Design

      • WÅ‚adysÅ‚aw M. Turski
      Pages 3-13

    3. Using Data Consistency Assumptions to Show System Safety

      • Glenn Bruns, Stuart Anderson
      Pages 15-27

  3. Panel Session: Formal Methods for Safety in Critical Systems

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. Formal Methods Panel: Are Formal Methods Ready for Dependable Systems?

      • Ricky W. Butler
      Pages 31-32

    3. Industrial Use of Formal Methods

      • Steven P. Miller
      Pages 33-35

    4. Formal Methods for Safety in Critical Systems

      • M. J. Morley
      Pages 37-39

    5. Can we rely on Formal Methods?

      • Natarajan Shankar
      Pages 41-42

    6. A Role for Formal Methodists

      • Fred B. Schneider
      Pages 43-45

  4. Combining the Fault-Tolerance, Security and Real-Time Aspects of Computing

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. Toward a Multilevel-Secure, Best-Effort Real-Time Scheduler

      • Peter K. Boucher, Raymond K. Clark, Ira B. Greenberg, E. Douglas Jensen, Douglas M. Wells
      Pages 49-68

    3. Fault-Detecting Network Membership Protocols for Unknown Topologies

      • Klaus Echtle, Martin Leu
      Pages 69-90

  5. Secure Systems

    1. Front Matter

      Pages 91-91
      Download chapter PDF

    2. Denial of Service: A Perspective

      • Jonathan K. Millen
      Pages 93-108

    3. Reasoning about Message Integrity

      • Rajashekar Kailar, Virgil D. Gligor, Stuart G. Stubblebine
      Pages 109-137

    4. On the Security Effectiveness of Cryptographic Protocols

      • Rajashekar Kailar, Virgil D. Gligor, Li Gong
      Pages 139-157

  6. Assessment of Dependability

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology

      • Chris Garrett, Michael Yau, Sergio Guarro, George Apostolakis
      Pages 161-184

    3. On Managing Fault-Tolerant Design Risks

      • Danforth Ball, Amir Abouelnaga
      Pages 185-207
Back to top

Keywords

About this book

This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 at Mondello (Italy), the conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of 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 of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. The Program Committee selected 21 papers for presentation from a total of 95 submissions at a September meeting in Menlo Park, California. The resulting program represents a broad spectrum of interests, with papers from universities, corporations and government agencies in eight countries. The selection process was greatly facilitated by the diligent work of the program committee members, for which we are most grateful. As a Working Conference, the program was designed to promote the exchange of ideas by extensive discussions. All paper sessions ended with a 30 minute discussion period on the topics covered by the session. In addition, three panel sessions have been organizcd.

Editors and Affiliations

  • University of California, La Jolla, USA

    Flaviu Cristian

  • INRIA, Le Chesnay, France

    Gerard Lann

  • ARPA/CSTO, Arlington, USA

    Teresa Lunt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation