175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Dependable Computing and Fault-Tolerant Systems

Dependable Computing for Critical Applications 3

Editors: Landwehr, Carl E., Randell, Brian, Simoncini, Luca (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-4009-3
  • 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-4011-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (16 chapters)

  • On Functional Statistical Testing Designed from Software Behavior Models

    Thévenod-Fosse, Pascale (et al.)

    Pages 3-28

  • Functional Test Case Generation for Real-Time Systems

    Mandrioli, Dino (et al.)

    Pages 29-61

  • Design for Dependability

    Nordahl, Jens

    Pages 65-89

  • Tracing Fault Tolerance

    Schepers, Henk

    Pages 91-110

  • Evaluation of Fault-Tolerant Software: A Performability Modeling Approach

    Tai, Ann T. (et al.)

    Pages 113-135

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-4009-3
  • 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-4011-6
  • 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 3
Editors
  • Carl E. Landwehr
  • Brian Randell
  • Luca Simoncini
Series Title
Dependable Computing and Fault-Tolerant Systems
Series Volume
8
Copyright
1993
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag Wien
eBook ISBN
978-3-7091-4009-3
DOI
10.1007/978-3-7091-4009-3
Softcover ISBN
978-3-7091-4011-6
Series ISSN
0932-5581
Edition Number
1
Number of Pages
XII, 384
Topics