Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Dependable Computing and Fault-Tolerant Systems

Dependable Computing for Critical Applications 4

Editors: Cristian, Flaviu, LeLann, Gerard, Lunt, Teresa (Eds.)

Buy this book

eBook $74.99
price for USA
  • ISBN 978-3-7091-9396-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-9398-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (38 chapters)

  • On Doubly Guarded Multiprocessor Control System Design

    Turski, Władysław M.

    Pages 3-13

  • Using Data Consistency Assumptions to Show System Safety

    Bruns, Glenn (et al.)

    Pages 15-27

  • Formal Methods Panel: Are Formal Methods Ready for Dependable Systems?

    Butler, Ricky W.

    Pages 31-32

  • Industrial Use of Formal Methods

    Miller, Steven P.

    Pages 33-35

  • Formal Methods for Safety in Critical Systems

    Morley, M. J.

    Pages 37-39

Buy this book

eBook $74.99
price for USA
  • ISBN 978-3-7091-9396-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-9398-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Dependable Computing for Critical Applications 4
Editors
  • Flaviu Cristian
  • Gerard LeLann
  • Teresa Lunt
Series Title
Dependable Computing and Fault-Tolerant Systems
Series Volume
9
Copyright
1995
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag/Wien
eBook ISBN
978-3-7091-9396-9
DOI
10.1007/978-3-7091-9396-9
Softcover ISBN
978-3-7091-9398-3
Series ISSN
0932-5581
Edition Number
1
Number of Pages
VIII, 499
Topics