Dependable Computing for Critical Applications 4

  • Flaviu Cristian
  • Gerard Le Lann
  • Teresa Lunt
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Formal Methods for Critical Systems

    1. Front Matter
      Pages 1-1
    2. Glenn Bruns, Stuart Anderson
      Pages 15-27
  3. Panel Session: Formal Methods for Safety in Critical Systems

    1. Front Matter
      Pages 29-29
    2. Steven P. Miller
      Pages 33-35
    3. Natarajan Shankar
      Pages 41-42
    4. Fred B. Schneider
      Pages 43-45
  4. Combining the Fault-Tolerance, Security and Real-Time Aspects of Computing

    1. Front Matter
      Pages 47-47
    2. Peter K. Boucher, Raymond K. Clark, Ira B. Greenberg, E. Douglas Jensen, Douglas M. Wells
      Pages 49-68
  5. Secure Systems

    1. Front Matter
      Pages 91-91
    2. Jonathan K. Millen
      Pages 93-108
    3. Rajashekar Kailar, Virgil D. Gligor, Stuart G. Stubblebine
      Pages 109-137
    4. Rajashekar Kailar, Virgil D. Gligor, Li Gong
      Pages 139-157
  6. Assessment of Dependability

    1. Front Matter
      Pages 159-159
    2. Chris Garrett, Michael Yau, Sergio Guarro, George Apostolakis
      Pages 161-184
    3. Danforth Ball, Amir Abouelnaga
      Pages 185-207

About these proceedings

Introduction

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.

Keywords

Mathematica computer formal method formal methods logic mathematical logic safety

Editors and affiliations

  • Flaviu Cristian
    • 1
  • Gerard Le Lann
    • 2
  • Teresa Lunt
    • 3
  1. 1.University of CaliforniaLa JollaUSA
  2. 2.INRIALe ChesnayFrance
  3. 3.ARPA/CSTOArlingtonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-9396-9
  • Copyright Information Springer-Verlag Vienna 1995
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-9398-3
  • Online ISBN 978-3-7091-9396-9
  • Series Print ISSN 0932-5581
  • About this book